Sam Hart

9,212 Twitter followers

head of product/strategy @skipprotocol, co-founder @timewavelabs, squad @otherinternet__, library @cyberneticslib, nft @foliafoliafolia — selective angel

Posts

Sam Hart

01-13

Thread

A little esoteric, but I implemented a faithful port of Paco from Coq → Lean, which I needed for another project. Paco lets you write composable proofs about infinite processes. Original: http:/plv.mpi-sws.org/paco Lean:

Trump is using the H1B to coerce tech and higher education, labor sectors he wants under his thumb.

TRUMP