modalduality

Karma: 302
Created: 8 years ago

About

[ my public key: https://keybase.io/modalduality; my proof: https://keybase.io/modalduality/sigs/AFEeqRQcdFDAsfFHFTYPcsi07V63-9j3xR2g3vW13Eg ]

Recent Submissions

1. ▲ Show HN: Sibylant graze, play the multiplayer word game Contact (Haskell/WS) (modalduality.org) 1 point · 7 years ago · 1 comment
2. ▲ Show HN: Delaunay Triangulating Robert Delaunay's Eiffel Tower Paintings (modalduality.org) 39 points · 8 years ago · 11 comments
3. ▲ Recurse Center Application Process (recurse.com) 1 point · 8 years ago · 0 comments
4. ▲ Show HN: Angelic-hierarchy, a game about Turing machines, philosophy, and math (modalduality.org) 95 points · 8 years ago · 20 comments
5. ▲ Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic) (modalduality.org) 2 points · 8 years ago · 0 comments
6. ▲ Show HN: Thetapack: Type-homogenous, crypto-friendly, padded binary serialization (github.com) 1 point · 8 years ago · 0 comments
7. ▲ TFHE: Fast Fully-Homomorphic Encryption Over the Torus (tfhe.github.io) 196 points · 8 years ago · 94 comments

All submissions on HN · View profile on HN