Dev vs. Ops (2017)(bassi.io)

39 points by Tomte 3 years ago | 7 comments

TLA+ in Isabelle/HOL(davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments

Why Elixir (2014)(theerlangelist.com)

104 points by arrowsmith 2 years ago | 38 comments

PSA: SQLite WAL checksums fail silently and may lose data(avi.im)

266 points by avinassh 1 year ago | 121 comments

Ghostty is leaving GitHub(mitchellh.com)

3380 points by WadeGrimridge 6 months ago | 1008 comments

Mitchell Hashimoto's blog post announcing that the Ghostty terminal emulator project is moving off GitHub, reflecting on his long history with the platform.

Vulkan Foliage rendering using GPU Instancing(thegeeko.me)

154 points by ibobev 2 years ago | 15 comments