- Why and how we’re migrating many of our servers from Linux to the BSDs
by msangi on 10/3/24, 4:45 PM, with comments
- GoToSocial
by msangi on 11/6/22, 8:53 AM, with comments
- Armada
by msangi on 5/2/22, 6:40 AM, with comments
- Ask HN: What are you using drones for?
by msangi on 8/27/18, 3:16 PM, with comments
- On engineers and influence
by msangi on 8/18/18, 10:13 AM, with comments
- Sloc Cloc and Code – What Happened on the Way to Faster Cloc
by msangi on 6/4/18, 9:48 PM, with comments
- The great theorem prover showdown
by msangi on 4/25/18, 1:50 PM, with comments
- Have we reached peak English in the world?
by msangi on 4/5/18, 7:25 PM, with comments
- PubGrub: Next-Generation Version Solving
by msangi on 4/4/18, 7:32 PM, with comments