| 1. | | Continuations Under the Covers [video] (youtube.com) |
|
28 points by sctb on Sept 27, 2023 | past | 8 comments
|
|
| 2. | | Patterns of data flow in words (okmij.org) |
|
59 points by sctb on June 23, 2023 | past | 1 comment
|
|
| 3. | | Lightweight Static Guarantees (okmij.org) |
|
42 points by sctb on Aug 11, 2019 | past | 6 comments
|
|
| 4. | | Introduction to Tagless Final (serokell.io) |
|
3 points by sctb on June 29, 2019 | past
|
|
| 5. | | Programming Language Reminiscence: R-Technology (okmij.org) |
|
20 points by sctb on May 16, 2019 | past | 1 comment
|
|
| 6. | | Fractional Set Covering with Experts (pvk.ca) |
|
1 point by sctb on May 3, 2019 | past
|
|
| 7. | | Vanishing Violence (sfchronicle.com) |
|
151 points by sctb on March 21, 2019 | past | 189 comments
|
|
| 8. | | Something about IR Optimization (brrt-to-the-future.blogspot.com) |
|
27 points by sctb on March 18, 2019 | past | 9 comments
|
|
| 9. | | The medium shapes the message: Printing and the rise of the arts and sciences (plos.org) |
|
10 points by sctb on March 5, 2019 | past
|
|
| 10. | | Generating Mutually Recursive Definitions [pdf] (okmij.org) |
|
27 points by sctb on Feb 4, 2019 | past | 1 comment
|
|
| 11. | | Sliding Right into Information Theory (joachim-breitner.de) |
|
83 points by sctb on Dec 10, 2018 | past | 8 comments
|
|
| 12. | | Some documents on AM and EURISKO (funcall.org) |
|
32 points by sctb on Nov 13, 2018 | past | 10 comments
|
|
| 13. | | Beginning an SBCL port (rhodes.io) |
|
3 points by sctb on Aug 4, 2018 | past
|
|
| 14. | | Nano-Protoplasm: The Ultimate Unit of Life (2007) [pdf] (gilbertling.org) |
|
1 point by sctb on July 5, 2018 | past
|
|
| 15. | | Rethinking Static Reference Tables in GHC (simonmar.github.io) |
|
1 point by sctb on June 24, 2018 | past
|
|
| 16. | | Sequent Calculus as a Compiler Intermediate Language (2016) [pdf] (microsoft.com) |
|
1 point by sctb on June 16, 2018 | past
|
|
| 17. | | Lambda to SKI: a different view on the old translation (okmij.org) |
|
1 point by sctb on May 14, 2018 | past
|
|
| 18. | | Sort of UTF-6 (kenta.blogspot.com) |
|
3 points by sctb on April 24, 2018 | past
|
|
| 19. | | Verifying local definitions in Coq (joachim-breitner.de) |
|
1 point by sctb on April 23, 2018 | past
|
|
| 20. | | Show HN: Woe – A concatenative language inspired by Joy (github.com/sctb) |
|
3 points by sctb on Feb 20, 2018 | past | 2 comments
|
|
| 21. | | Simple, Open Pleasure in a New Landscape: The Philosophy of David Hockney (nplusonemag.com) |
|
1 point by sctb on Feb 12, 2018 | past
|
|
| 22. | | Natural Sounding Artificial Reverberation (1962) [pdf] (charlesames.net) |
|
49 points by sctb on Feb 4, 2018 | past | 13 comments
|
|
| 23. | | Turntables in clubs (residentadvisor.net) |
|
1 point by sctb on Jan 25, 2018 | past
|
|
| 24. | | The Synthesis of Complex Audio by Means of Frequency Modulation (1973) [pdf] (stanford.edu) |
|
2 points by sctb on Jan 19, 2018 | past
|
|
| 25. | | Instruction explosion in Guile (wingolog.org) |
|
111 points by sctb on Jan 17, 2018 | past | 3 comments
|
|
| 26. | | Programming Language for Old Timers (2009) (rcn.com) |
|
3 points by sctb on Dec 19, 2017 | past | 1 comment
|
|
| 27. | | The challenge of first-class memory (okmij.org) |
|
61 points by sctb on Nov 24, 2017 | past | 2 comments
|
|
| 28. | | 1ML with Special Effects – F-ing Generativity Polymorphism (2016) [pdf] (mpi-sws.org) |
|
2 points by sctb on Nov 16, 2017 | past
|
|
| 29. | | Optimizing with persistent data structures [pdf] (wingolog.org) |
|
3 points by sctb on Sept 8, 2016 | past
|
|
| 30. | | Carts without horses (aaronkharris.com) |
|
120 points by sctb on June 2, 2016 | past | 26 comments
|
|
|
|
More |
