| | Write Your Next Ethereum Contract in Pyramid Scheme (michaelburge.us) |
| 64 points by gjvc on Aug 31, 2021 | past | 6 comments |
|
| | Writing a formally-verified image browser in Coq and Haskell (2017) (michaelburge.us) |
| 90 points by lelf on June 5, 2019 | past | 12 comments |
|
| | Curiosity Killed the Mario (michaelburge.us) |
| 127 points by MichaelBurge on May 22, 2019 | past | 23 comments |
|
| | Implementing a NES Emulator in Rust (michaelburge.us) |
| 386 points by MichaelBurge on March 19, 2019 | past | 89 comments |
|
| | DSLs for Ethereum Contracts (michaelburge.us) |
| 76 points by MichaelBurge on May 15, 2018 | past | 15 comments |
|
| | Continuations in Racket (michaelburge.us) |
| 3 points by MichaelBurge on March 7, 2018 | past | 1 comment |
|
| | Roko's Ransomware (michaelburge.us) |
| 2 points by MichaelBurge on Feb 17, 2018 | past |
|
| | Roko's Ransomware (michaelburge.us) |
| 2 points by MichaelBurge on Feb 11, 2018 | past |
|
| | New Ethereum Roko's Basilisk Ransomware (michaelburge.us) |
| 1 point by MichaelBurge on Feb 9, 2018 | past |
|
| | Roko's Ransomware (michaelburge.us) |
| 1 point by MichaelBurge on Feb 8, 2018 | past |
|
| | Roko's Ransomware (michaelburge.us) |
| 2 points by MichaelBurge on Feb 7, 2018 | past |
|
| | Write your next Ethereum contract in Pyramid Scheme (michaelburge.us) |
| 406 points by MichaelBurge on Nov 30, 2017 | past | 56 comments |
|
| | Haskell Typeclasses vs. C++ Classes (michaelburge.us) |
| 155 points by MichaelBurge on Oct 17, 2017 | past | 79 comments |
|
| | Haskell Typeclasses vs. C++ Classes (michaelburge.us) |
| 1 point by MichaelBurge on Oct 17, 2017 | past |
|
| | Using Haskell to debug a C chess engine (michaelburge.us) |
| 125 points by mrkgnao on Oct 13, 2017 | past | 5 comments |
|
| | Debugging C with Haskell's Divisible (michaelburge.us) |
| 2 points by MichaelBurge on Sept 29, 2017 | past |
|
| | Debugging C with Haskell's Divisible (michaelburge.us) |
| 1 point by MichaelBurge on Sept 28, 2017 | past |
|
| | Debugging C with Haskell's Divisible (michaelburge.us) |
| 2 points by MichaelBurge on Sept 27, 2017 | past |
|
| | Injecting a Chess Engine into Amazon Redshift (michaelburge.us) |
| 3 points by MichaelBurge on Sept 13, 2017 | past |
|
| | Injecting a Chess Engine into Amazon Redshift (michaelburge.us) |
| 91 points by chewxy on Sept 13, 2017 | past | 8 comments |
|
| | Injecting a Chess Engine into Amazon Redshift (michaelburge.us) |
| 3 points by MichaelBurge on Sept 12, 2017 | past |
|
| | Roll Your Own Bitcoin Exchange in Haskell (michaelburge.us) |
| 137 points by MichaelBurge on Sept 4, 2017 | past | 10 comments |
|
| | Roll Your Own Bitcoin Exchange in Haskell (michaelburge.us) |
| 5 points by MichaelBurge on Aug 31, 2017 | past | 2 comments |
|
| | Writing a formally-verified image browser in Coq and Haskell (michaelburge.us) |
| 144 points by MichaelBurge on Aug 26, 2017 | past | 39 comments |
|
| | Rolling Your Own Blockchain in Haskell (michaelburge.us) |
| 234 points by nicolast on Aug 20, 2017 | past | 32 comments |
|
| | Rolling your own blockchain in Haskell (michaelburge.us) |
| 2 points by MichaelBurge on Aug 19, 2017 | past |
|
| | [flagged] The Daily Stormer: A Hurricane Alerting Service (michaelburge.us) |
| 47 points by MichaelBurge on Aug 17, 2017 | past | 19 comments |
|
| | The Daily Stormer, in Haskell (michaelburge.us) |
| 1 point by MichaelBurge on Aug 16, 2017 | past |
|
| | How do I modify a variable in Haskell? (michaelburge.us) |
| 47 points by MichaelBurge on Aug 15, 2017 | past | 69 comments |
|
