Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Joomy Korkut - Recent |
Description | Joomy’s computer science |
Keywords | joomy,cumhur,korkut,cat,theory,category,programming,haskell,javascript,vim,turkish,politics,wesleyan |
WebSite | cattheory.com |
Host IP | 192.30.252.154 |
Location | United States |
Site | Rank |
US$1,261,744
Last updated: 2023-05-16 11:50:31
cattheory.com has Semrush global rank of 8,388,636. cattheory.com has an estimated worth of US$ 1,261,744, based on its estimated Ads revenue. cattheory.com receives approximately 145,586 unique visitors each day. Its web server is located in United States, with IP address 192.30.252.154. According to SiteAdvisor, cattheory.com is safe to visit. |
Purchase/Sale Value | US$1,261,744 |
Daily Ads Revenue | US$1,165 |
Monthly Ads Revenue | US$34,941 |
Yearly Ads Revenue | US$419,287 |
Daily Unique Visitors | 9,706 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
cattheory.com. | A | 299 | IP: 192.30.252.154 |
cattheory.com. | A | 299 | IP: 192.30.252.153 |
cattheory.com. | NS | 300 | NS Record: ns1djs.name.com. |
cattheory.com. | NS | 300 | NS Record: ns2dky.name.com. |
cattheory.com. | NS | 300 | NS Record: ns3dgj.name.com. |
cattheory.com. | NS | 300 | NS Record: ns4dmx.name.com. |
cattheory.com. | MX | 300 | MX Record: 10 mx.zoho.com. |
cattheory.com. | MX | 300 | MX Record: 20 mx2.zoho.com. |
Joomy Korkut Home Archive Research ?? Türkçe --> I’m Joomy A nickname for Cumhur, [d͡ʒumhuɾ] in Turkish IPA, "joom hoor" in English approximation. I prefer Joomy unless you speak Turkish. Korkut, an aspiring academic who is interested in programming language theory and linguistics. My CV is here. I am currently a PhD student at Princeton University , advised by Andrew W. Appel . My academic web page is here . Before this, I was an undergrad and then a master’s student at Wesleyan University , advised by Dan Licata . For my master’s research, I extended the editor features of Idris , a dependently typed language and proof assistant, through metaprogramming. My goal was to produce a system in which one can use Idris metaprograms in the editor to write Idris code more easily, and even automatically. Here’s a screencast that shows how it works and here is my thesis . In my free time, I play the accordion and fretless bass , occasionally recite and translate poetry, and sing a bit . Oh, |
HTTP/1.1 200 OK Server: GitHub.com Date: Tue, 25 Jan 2022 10:31:17 GMT Content-Type: text/html; charset=utf-8 Content-Length: 9575 Vary: Accept-Encoding Last-Modified: Tue, 11 May 2021 22:43:33 GMT Vary: Accept-Encoding Access-Control-Allow-Origin: * ETag: "609b0895-2567" expires: Tue, 25 Jan 2022 10:41:17 GMT Cache-Control: max-age=600 Accept-Ranges: bytes x-proxy-cache: MISS X-GitHub-Request-Id: E128:4C5B:17856E:298F93:61EFD175 |
Domain Name: CATTHEORY.COM Registry Domain ID: 1886590375_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.name.com Registrar URL: http://www.name.com Updated Date: 2020-11-09T02:00:05Z Creation Date: 2014-11-21T21:13:26Z Registry Expiry Date: 2022-11-21T21:13:26Z Registrar: Name.com, Inc. Registrar IANA ID: 625 Registrar Abuse Contact Email: abuse@name.com Registrar Abuse Contact Phone: 7202492374 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS1DJS.NAME.COM Name Server: NS2DKY.NAME.COM Name Server: NS3DGJ.NAME.COM Name Server: NS4DMX.NAME.COM DNSSEC: unsigned >>> Last update of whois database: 2022-01-25T08:17:18Z <<< |