| 1. | | Evaluation order and nontermination in query languages (rntz.net) |
| 1 point by rntz 82 days ago | past |
|
| 2. | | Deconstructing Datalog (rntz.net) |
| 18 points by rntz 3 months ago | past |
|
| 3. | | Who invented vector clocks? (decomposition.al) |
| 125 points by rntz on April 9, 2023 | past | 39 comments |
|
| 4. | | Ink Traps and Pals (2021) (tosche.net) |
| 3 points by rntz on April 3, 2021 | past | 1 comment |
|
| 5. | | Covid vaccine passes phase 1 human trial (thelancet.com) |
| 47 points by rntz on May 23, 2020 | past | 21 comments |
|
| 6. | | What is soundness in static analysis? (2017) (pl-enthusiast.net) |
| 34 points by rntz on Oct 12, 2019 | past | 3 comments |
|
| 7. | | Computing, Climate Change and All Our Relationships (video with Transcript) (deconstructconf.com) |
| 2 points by rntz on Aug 16, 2018 | past |
|
| 8. | | Are artifacts objects or processes? (rntz.net) |
| 1 point by rntz on July 28, 2018 | past |
|
| 9. | | Why I am not a fan of Cabal or Stack (rntz.net) |
| 3 points by rntz on May 18, 2018 | past |
|
| 10. | | Sequent Calculus as a Compiler Intermediate Language [pdf] (microsoft.com) |
| 3 points by rntz on April 5, 2018 | past |
|
| 11. | | What is soundness in static analysis? (2017) (pl-enthusiast.net) |
| 1 point by rntz on Oct 23, 2017 | past |
|
| 12. | | Semilattices and their tensor products (rntz.net) |
| 2 points by rntz on Oct 14, 2017 | past |
|
| 13. | | Narrative Neediness (hapgood.us) |
| 2 points by rntz on Feb 10, 2017 | past |
|
| 14. | | Aphorisms on programming language design (rntz.net) |
| 2 points by rntz on Jan 27, 2017 | past |
|
| 15. | | None, One, Many – What's the Difference, Anyhow? [pdf] (dagstuhl.de) |
| 6 points by rntz on Dec 5, 2015 | past |
|
| 16. | | Treatment of Migrants Evokes Memories of Europe's Darkest Hour (nytimes.com) |
| 2 points by rntz on Sept 5, 2015 | past | 1 comment |
|
| 17. | | Haptic Turk: A Motion Platform Based on People (2014) [pdf] (xman.tw) |
| 5 points by rntz on June 24, 2015 | past |
|
| 18. | | Ken Thompson's Trusting Trust as a tiny self-hosting lisp compiler (github.com/rntz) |
| 4 points by rntz on Feb 27, 2015 | past |
|
| 19. | | Option and Null in Dynamic Languages (rntz.net) |
| 37 points by rntz on July 8, 2014 | past | 85 comments |
|
| 20. | | Computer program that learns to play classic NES games (youtube.com) |
| 2 points by rntz on April 2, 2013 | past |
|
| 21. | | Abolishing truancy and unintended consequences (jseliger.com) |
| 3 points by rntz on March 6, 2011 | past |
|
| 22. | | Reason as memetic immune disorder (lesswrong.com) |
| 33 points by rntz on Sept 20, 2009 | past | 13 comments |
|
