Recent Posts

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