https://www.youtube.com/watch?v=7MpdZkGj5AI · Enjoy the videos and music that you love, upload original content and share it all with friends, family and the world on YouTube.
https://counterexamples.org/
https://www.mcmillen.dev/language_checklist.html
https://blog.yoshuawuyts.com/tree-structured-concurrency/ · Yoshua Wuyts's blog
https://claytonwramsey.github.io/2023/06/20/fiddler-const-magic.html · The tree of useless optimization yields questionable fruit.
https://pboyd.io/posts/productivity-limit/ · Fred Brooks published The Mythical Man-Month in 1974. As technology goes, it's ancient. Yet it still has lessons to teach us.
https://matklad.github.io/2023/05/06/zig-language-server-and-cancellation.html · I already have a dedicated post about a hypothetical Zig language server. But perhaps the most important thing I've written so far on the topic is the short note at the end of Zig and Rust.
https://novalis.org/blog/2016-09-27-against-generality.html
https://pijul.org/posts/2023-05-23-nest-a-new-hope/ · An easy to use, distributed and fast version control system.
https://gopiandcode.uk/logs/log-ways-of-sql-in-ocaml.html