pgustafs's submissions

1.		Predict the Unpredictable (kdivergent.substack.com)
		1 point by pgustafs 8 months ago \| past
2.		Why is dependent type theory more suitable than set theory for proof assistants? (mathoverflow.net)
		221 points by pgustafs on Nov 21, 2020 \| past \| 59 comments
3.		Show HN: Toy Haskell blockchain with variable hash functions for ASIC resistance (github.com/paulgustafson)
		15 points by pgustafs on Nov 5, 2020 \| past \| 7 comments
4.		We need to fix our feedback loops (paulgustafson.substack.com)
		6 points by pgustafs on Oct 22, 2020 \| past
5.		Lembrary: A multiplayer persistent Haskell REPL (lembrary.com)
		2 points by pgustafs on Aug 31, 2020 \| past \| 1 comment
6.		Ask HN: Cryptocurrency naturally pegged to cost of hashing
		2 points by pgustafs on Oct 12, 2018 \| past \| 2 comments