Tags
A cross-section of the site by topic: projects, writeups, and directory entries grouped by the ideas they share.
Topics
rust 6 math 5 metadata 5 protocol 5 developer-tools 4 mcp 4 web-history 4 number-theory 3 ai 2 cli 2 compression 2 formal-verification 2 lean4 2 public-knowledge 2 wasm 2 algebra 1 algorithms 1 archives 1 benchmarks 1 computational-math 1 dependent-types 1 dotrepo 1 fractals 1 geometry 1 infrastructure 1 local-news 1 memes 1 microkernel 1 os 1 physics 1 preservation 1 reference 1 ries 1 search 1 systems 1 theorem-proving 1 video 1 viral-video 1 wikipedia 1