Weekly Tech Thread - ~2025.3.5

Something Old:

• Vernor Vinge, “The coming technological singularity: How to survive in a post-human era”
  

  
  

Something New:

• Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, “Build Systems à la Carte” on build systems as type systems, in a way.
  

  
  

Something Borrowed:

• OODAWiki is sponsoring a course on How to Prove It with Lean. DM for info.
  

  
  

Something Blue

• Warp Terminal, seems like an interesting concept.