| | 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
|
|
