Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * Disallow: |
Title | Recent Posts — Jakob’s Personal |
Description | About Tags Atom Recent Posts What I’ve Learned About Formal Methods In Half a Year April 10, 2023 ❖ Tags: writeup , formal-verification , lean , alloy , l |
Keywords | N/A |
WebSite | jakob.space |
Host IP | 71.174.237.129 |
Location | United States |
Site | Rank |
US$1,345,776
Last updated: 2023-05-12 14:37:18
jakob.space has Semrush global rank of 7,864,837. jakob.space has an estimated worth of US$ 1,345,776, based on its estimated Ads revenue. jakob.space receives approximately 155,282 unique visitors each day. Its web server is located in United States, with IP address 71.174.237.129. According to SiteAdvisor, jakob.space is safe to visit. |
Purchase/Sale Value | US$1,345,776 |
Daily Ads Revenue | US$1,243 |
Monthly Ads Revenue | US$37,268 |
Yearly Ads Revenue | US$447,212 |
Daily Unique Visitors | 10,353 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
jakob.space. | A | 10800 | IP: 71.174.237.129 |
jakob.space. | NS | 10800 | NS Record: ns-119-c.gandi.net. |
jakob.space. | NS | 10800 | NS Record: ns-166-a.gandi.net. |
jakob.space. | NS | 10800 | NS Record: ns-153-b.gandi.net. |
About Tags Atom Recent Posts What I’ve Learned About Formal Methods In Half a Year April 10, 2023 ❖ Tags: writeup , formal-verification , lean , alloy , lisp , scheme I started working on my master’s degree last September. The goal was to return to my workplace as a domain expert in formal methods – a topic I knew I was interested in, and yet something I knew practically nothing about. I partially attribute my lack of exposure to the lack of supervised learning opportunities (courses) at my undergraduate institution. Brown has an ample supply of teaching and research faculty who work in the field, though, so I’ve been taking advantage of that and soaking up as much knowledge as I can. I’m writing this to summarize what I’ve learned and done through my few months at grad school, and also to touch on what I have yet to learn because, as it turns out, three semesters is not nearly enough time to become a "domain expert" in anything. A beginning practitioner, perhaps, but I’m sure even |
HTTP/1.1 301 Moved Permanently Date: Sun, 19 Dec 2021 11:04:00 GMT Server: Apache/2.4.10 (Raspbian) Location: https://jakob.space/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Sun, 19 Dec 2021 11:04:01 GMT Server: Apache/2.4.10 (Raspbian) Last-Modified: Sun, 19 Dec 2021 01:02:58 GMT ETag: "352c-5d375554157a7" Accept-Ranges: bytes Content-Length: 13612 Vary: Accept-Encoding Content-Type: text/html |
Domain Name: JAKOB.SPACE Registry Domain ID: D40528578-CNIC Registrar WHOIS Server: whois.gandi.net Registrar URL: http://www.gandi.net/ Updated Date: 2021-11-13T13:44:40.0Z Creation Date: 2016-12-11T13:16:06.0Z Registry Expiry Date: 2022-12-11T23:59:59.0Z Registrar: Gandi SAS Registrar IANA ID: 81 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant State/Province: MA Registrant Country: US Name Server: NS-166-A.GANDI.NET Name Server: NS-153-B.GANDI.NET Name Server: NS-119-C.GANDI.NET DNSSEC: unsigned Registrar Abuse Contact Email: abuse@support.gandi.net Registrar Abuse Contact Phone: +33.170377661 >>> Last update of WHOIS database: 2021-12-23T12:49:20.0Z <<< |