Turnstile+: Dependent Type Systems as Macros

Article URL: https://developer.nvidia.com/blog/spotlight-qodo-innovates-efficient-code-s

Article URL: https://www.bbc.com/news/articles/cwy79nq4yz4o

Comments URL:

Article URL: https://thefoggiest.dev/2025/04/24/daily-driving-a-linux-phone-but-why

Comments URL:

Article URL: https://ankursethi.com/blog/the-tools-i-love-are-made-by-awful-people/

Comments URL:

Article URL: https://furry.engineer/@soatok/114381133533722007

Comments URL:

Hi there! I've been on-and-off working on TacOS for a few months, which follows some UNIX-derived concepts (exec/fork, unix-style VFS, etc) and is now able to run a port of Doom, with a fairly sma

Article URL: https://www.math.uwaterloo.ca/tsp/korea/index.html

Comments URL: