diff options
| -rw-r--r-- | _templates/footer.html | 2 | ||||
| -rw-r--r-- | css/style.css | 4 | ||||
| -rw-r--r-- | index.html | 2 | ||||
| -rw-r--r-- | links.md | 13 | ||||
| -rw-r--r-- | robots.txt | 12 |
5 files changed, 26 insertions, 7 deletions
diff --git a/_templates/footer.html b/_templates/footer.html index cdb0912..ed8c274 100644 --- a/_templates/footer.html +++ b/_templates/footer.html @@ -1,3 +1,3 @@ <footer> - <span title="https://en.wikipedia.org/wiki/Criticism_of_copyright"><img src="/assets/copyleft.svg" width="12" height="12"/> 2020-2024 </span> + <span title="https://en.wikipedia.org/wiki/Criticism_of_copyright"><img src="/assets/copyleft.svg" width="12" height="12"/> 2020-2025 </span> </footer> diff --git a/css/style.css b/css/style.css index 4e66b5f..812e7ea 100644 --- a/css/style.css +++ b/css/style.css @@ -76,6 +76,10 @@ nav a:hover { margin-top: 0 } +:is(ol, ul) + :is(div, p) { + margin-top: 0; +} + ul { list-style: square; } @@ -28,5 +28,5 @@ title: my special corner of the web In mathematics: I have a particular interest in <b>foundations</b> and <b>category theory</b>: and how they inform what we <i>mean</i> by proof. This in turn has manifested an interest in theorem provers and <b>proof mechanization</b>. </li> </ul> - <p> I am actively looking for a research position on this topic, to start Sep. 2025. If you know a professor who is hiring students or interns for any of the above, please send me an email! </p> + <p> I am actively looking for a research position on this topic, to start Sep. 2026. If you know a professor who is hiring students or interns for any of the above, please send me an email! </p> </div> @@ -51,6 +51,7 @@ Here are some of the more interesting ones. * [riley](https://audiovalentine.com) * [jade](https://jade.fyi) * [lily](https://rctcwyvrn.github.io/) +* [jacob](https://blog.jacobnewman.ca/) * [xal](https://xal.systems/) * [mlechu](https://mlechu.com/) * [liam](https://www.crim.ist/) @@ -96,12 +97,18 @@ Here are some of the more interesting ones. * [GioCities](https://blog.giovanh.com/) * [Cadence's Weblog](https://cadence.moe/blog) * [Faultlore](https://faultlore.com/blah/) +* [Artificial Truth](https://dustri.org/b/) +* [Terminally Undead](https://countvajhula.com/) +* [brr.fyi](https://brr.fyi/) +* [fun memory violations](https://spacekookie.de/blog/) +* [Mazzo's Blog](https://mazzo.li/archive.html) * [Aphyr's Blog](https://aphyr.com/posts) +* [Lea Verou's Blog](https://lea.verou.me/blog/) * [Josh W. Comeau](https://www.joshwcomeau.com/) * [Without Boats](https://without.boats/) * [baby steps](https://smallcultfollowing.com/babysteps/blog/) -### more lists of links +### links to lists of links * [merveilles webring](https://webring.xxiivv.com/) ([search](https://lieu.cblgh.org/)) * [bucketfish webring](https://webring.bucketfish.me/) * [george webring](https://george.gh0.pw/) @@ -127,6 +134,7 @@ I have a [dedicated page](/textbooks) for textbooks I recommend / have been reco * [Standard Ebooks](https://standardebooks.org/) - nicely typeset public domain ebooks * [Library Genesis](https://gen.lib.rus.ec/) - the modern library of alexandria * [Anna's Archive](https://annas-archive.org/) - preserving humanity's written heritage +* [AbeBooks](https://www.abebooks.com/) - the place to buy used books off the internet ### papers * [Sci-Hub](https://sci-hub.se/) - public access research @@ -175,6 +183,7 @@ I have a [dedicated page](/textbooks) for textbooks I recommend / have been reco ### protocols * TCP [[RFC9293](https://datatracker.ietf.org/doc/html/rfc9293/)], UDP [[RFC768](https://datatracker.ietf.org/doc/html/rfc768)], QUIC [[RFC9000](https://datatracker.ietf.org/doc/html/rfc9000/)], IPV6 [[RFC8200](https://datatracker.ietf.org/doc/html/rfc8200)] * HTTP 1.1 [[RFC9110](https://datatracker.ietf.org/doc/html/rfc9110)], [[RFC9111](https://datatracker.ietf.org/doc/html/rfc9111)], [[RFC9112](https://datatracker.ietf.org/doc/html/rfc9112)] - we didn't really need anything past this +* [Atom](https://m15o.ichi.city/site/writing-atom-feed-manually.html) [[RFC](https://datatracker.ietf.org/doc/html/rfc4287/)] - a common and coherent feed format standard * [ActivityPub](https://activitypub.rocks/) [[W3](https://www.w3.org/TR/activitypub/)] - a decentralized social networking standard * [Messaging Layer Security](https://messaginglayersecurity.rocks/) [[RFC9420](https://datatracker.ietf.org/doc/rfc9420/)] - a security standard for group chat encryption @@ -234,7 +243,7 @@ I have a [dedicated page](/textbooks) for textbooks I recommend / have been reco * [catbox.moe](https://catbox.moe/) - free file hosting * [litterbox.catbox.moe](https://litterbox.catbox.moe/) - temporary file hosting * [sourcehut](https://sourcehut.org/) - spartan code hosting. -* [git.gay](https://git.gay/) - code hosting for cool people. cooler than forgejo +* [git.gay](https://git.gay/) - code hosting for cool people. * [pages.gay](https://pages.gay/) - static site hosting for git.gay users * [codeberg](https://codeberg.org/) - code hosting. runs on forgejo. better than github * [github](https://www.github.com) - the *de facto* code forge. better than sourceforge @@ -19,17 +19,23 @@ User-agent: NPBot User-agent: PiplBot User-agent: SlySearch User-agent: TurnitinBot +User-Agent: AcademicBotRTU +User-agent: PiplBot Disallow: / ## LLM Scrapers User-agent: ChatGPT-User User-agent: GPTBot User-agent: ClaudeBot -Disallow: / - -## (More) LLM Scrapers User-agent: Applebot-Extended User-agent: Google-Extended User-agent: FacebookBot User-agent: meta-externalagent +User-Agent: GenAI +User-Agent: SemrushBot-OCOB +User-Agent: SemrushBot-FT +User-agent: Cotoyogi +User-agent: Webzio-extended +User-agent: Kangaroo Bot +User-Agent: VelenPublicWebCrawler Disallow: / |