Hacker News
- Write Your Next Ethereum Contract in Pyramid Scheme https://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html 6 comments
- Writing a formally-verified image browser in Coq and Haskell (2017) http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html 12 comments
- Curiosity Killed the Mario http://www.michaelburge.us/2019/05/21/marai-agent.html 23 comments
- Implementing a NES Emulator in Rust http://www.michaelburge.us/2019/03/18/nes-design.html 89 comments
- DSLs for Ethereum Contracts https://www.michaelburge.us/2018/05/15/ethereum-chess-engine.html 15 comments
- Write your next Ethereum contract in Pyramid Scheme http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html 56 comments
- Haskell Typeclasses vs. C++ Classes http://www.michaelburge.us/2017/10/15/haskell-typeclasses-vs-cpp-classes.html 79 comments
- Using Haskell to debug a C chess engine http://www.michaelburge.us/2017/09/27/delta-debugging-in-haskell.html 5 comments
- Injecting a Chess Engine into Amazon Redshift http://www.michaelburge.us/2017/09/10/injecting-shellcode-to-speed-up-amazon-redshift.html 8 comments
- Roll Your Own Bitcoin Exchange in Haskell http://www.michaelburge.us/2017/08/31/roll-your-own-bitcoin-exchange.html 10 comments
- Writing a formally-verified image browser in Coq and Haskell http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html 39 comments
- Rolling Your Own Blockchain in Haskell http://www.michaelburge.us/2017/08/17/rolling-your-own-blockchain.html 32 comments
- The Daily Stormer: A Hurricane Alerting Service http://www.michaelburge.us/2017/08/16/the-daily-stormer-in-haskell.html 19 comments
- How do I modify a variable in Haskell? http://www.michaelburge.us/2017/08/15/how-do-i-modify-a-variable-in-haskell.html 69 comments
Lobsters
- Implementing a NES Emulator in Rust http://www.michaelburge.us/2019/03/18/nes-design.html 10 comments assembly , hardware , performance , rust
- DSLs for Ethereum Contracts http://www.michaelburge.us/2018/05/15/ethereum-chess-engine.html 4 comments c , compilers , formalmethods , lisp , merkle-trees
- Continuations in Racket http://www.michaelburge.us/2018/03/06/continuations-in-racket.html 3 comments lisp
- Roko's Ransomware http://www.michaelburge.us/2018/02/06/rokos-ransomware.html 13 comments lisp , merkle-trees
- Write your next Ethereum Contract in Pyramid Scheme http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html 7 comments compilers , lisp , merkle-trees
- Injecting a Chess Engine into Amazon Redshift http://www.michaelburge.us/2017/09/10/injecting-shellcode-to-speed-up-amazon-redshift.html 3 comments assembly , c , databases
- Writing a Formally-Verified, Image Browser in Coq http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html 3 comments formalmethods , programming
- "Curiosity Killed the Mario": implementing intrinsic curiosity for NES Mario http://www.michaelburge.us/2019/05/21/marai-agent.html 6 comments reinforcementlearning
- Implementing a NES Emulator in Rust http://www.michaelburge.us/2019/03/18/nes-design.html 3 comments rust
- Implementing a NES Emulator in Rust http://www.michaelburge.us/2019/03/18/nes-design.html 22 comments programming
- Implementing a NES Emulator in Rust https://www.michaelburge.us/2019/03/18/nes-design.html 38 comments rust
- Write your next Ethereum Contract in Pyramid Scheme http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html 13 comments programming
- Write your next Ethereum Contract in Pyramid Scheme http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html 3 comments ethereum
- Write your next Ethereum Contract in Pyramid Scheme http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html 14 comments programming
- Haskell Typeclasses vs. C++ Classes http://www.michaelburge.us/2017/10/15/haskell-typeclasses-vs-cpp-classes.html 9 comments haskell
- Debugging C with Haskell's Divisible http://www.michaelburge.us/2017/09/27/delta-debugging-in-haskell.html 6 comments haskell
- Injecting a Chess Engine into Amazon Redshift http://www.michaelburge.us/2017/09/10/injecting-shellcode-to-speed-up-amazon-redshift.html 3 comments programming
- Writing a Formally-Verified Porn Browser in Coq and Haskell http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html 23 comments programming
- Using Theorem Provers with Haskell: Writing a Formally-verified Porn Browser in Coq & Haskell http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html 115 comments haskell
- Rolling your own blockchain in Haskell http://www.michaelburge.us/2017/08/17/rolling-your-own-blockchain.html 4 comments haskell
- The Daily Stormer: A Hurricane Alerting Service http://www.michaelburge.us/2017/08/16/the-daily-stormer-in-haskell.html 4 comments haskell
- How do I modify a variable in Haskell? http://www.michaelburge.us/2017/08/15/how-do-i-modify-a-variable-in-haskell.html 14 comments haskell