27 points | by fanf2 8 days ago ago
4 comments
(2013) Popular in:
2021 (153 points, 60 comments) https://news.ycombinator.com/item?id=34578411
2018 (86 points, 10 comments) https://news.ycombinator.com/item?id=18159087
Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...
Uuh i miss the strange loop conference. It was simply the best and most fun programming related conference ever.
very useful when writing toy assemblers in Haskell as loeb let's you easily resolve labels to addresses once you've output the other instructions. Also a good use of the tardis monad which does the same thing as loeb but with a bit more panache
(2013) Popular in:
2021 (153 points, 60 comments) https://news.ycombinator.com/item?id=34578411
2018 (86 points, 10 comments) https://news.ycombinator.com/item?id=18159087
Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...
Uuh i miss the strange loop conference. It was simply the best and most fun programming related conference ever.
very useful when writing toy assemblers in Haskell as loeb let's you easily resolve labels to addresses once you've output the other instructions. Also a good use of the tardis monad which does the same thing as loeb but with a bit more panache