Hacker News
- Edgar Dijkstra: Go To Statement Considered Harmful (1968) [pdf] https://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf 2 comments
- Go to Statement Considered Harmful (1968) [pdf] https://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf 49 comments
- Enquire: Everything you wanted to know about your C compiler and machine https://homepages.cwi.nl/~steven/enquire.html 28 comments
- The Haskell Road to Logic, Maths and Programming http://homepages.cwi.nl/~jve/HR/ 8 comments
- # - the Unix truth http://homepages.cwi.nl/~aeb/std/hashexclam-1.html 16 comments
- John's Combinatory Logic Playground http://homepages.cwi.nl/%7Etromp/cl/cl.html 3 comments
Lobsters
- Programmers are humans too https://homepages.cwi.nl/~steven/Talks/2019/11-21-dijkstra/ 2 comments programming , slides
- Tip: You can post a rough description of an ISA/ language semantics and ask ChatGPT to create an interpreter or Coq proofs for the language. https://homepages.cwi.nl/~steven/pascal/book/10pcode.html 10 comments programminglanguages
- What language features do you "Consider Harmful" and why? https://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf 312 comments programminglanguages
- TIL discussions about best practices in programming are not recent, the proof is this letter from Dijkstra published in 1968 called "Go to statement considered harmful". https://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf 30 comments programmertil
- Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection [pdf] http://homepages.cwi.nl/~ploeg/papers/zseq.pdf 36 comments haskell
- If chess were solved, who do you think would win and by how much? http://homepages.cwi.nl/~tromp/chess/chess.html 12 comments chess
- NoDB: Efficient Query Execution on Raw Data Files [PDF] http://homepages.cwi.nl/~idreos/nodbsigmod2012.pdf 7 comments programming
- #! - the Unix truth as far as I know it.: #! http://homepages.cwi.nl/~aeb/std/hashexclam-1.html 4 comments programming
- Computational Semantics with Functional Programming http://homepages.cwi.nl/~jve/cs/ 2 comments compsci
- Binary Lambda Calculus and Combinatory Logic (pdf) http://homepages.cwi.nl/~tromp/cl/lc.pdf 5 comments math
- It terminates, but you can't prove it from Peano's axioms for arithmetic http://homepages.cwi.nl/~tromp/pearls.html#goodstein 8 comments programming
- Obfuscated maze generator in C. http://homepages.cwi.nl/~tromp/maze.html 2 comments programming
- Lazy K - when Unlambda just isn't Unlambda enough http://homepages.cwi.nl/~tromp/cl/lazy-k.html 4 comments programming
Lambda the Ultimate
- Computational Semantics with Functional Programming http://homepages.cwi.nl/~jve/cs/ 2 comments Functional , Misc Books
- Pascal-P compiler annotated text http://homepages.cwi.nl/~steven/pascal/ 3 comments LtU Forum
- Binary Lambda Calculus and Combinatory Logic http://homepages.cwi.nl/~tromp/cl/cl.html 23 comments Fun , Lambda Calculus
- More Haskell in Java 7 or 8? http://homepages.cwi.nl/~ralf/JavaGI/ 12 comments General
- Software Extension and Integration with Type Classes http://homepages.cwi.nl/~ralf/gpce06/ 4 comments Functional , Software Engineering
- Revealing the X/O impedance mismatch http://homepages.cwi.nl/~ralf/xo-impedance-mismatch/ 9 comments OOP , XML
- Haskell's overlooked object system http://homepages.cwi.nl/~ralf/OOHaskell/ 3 comments Object-Functional
- Lazy K http://homepages.cwi.nl/~tromp/cl/lazy-k.html 2 comments Fun
- The Haskell Road to Logic, Maths and Programming http://homepages.cwi.nl/~jve/HR/ 4 comments teaching/learning
- The Logic Programming Paradigm and Prolog http://homepages.cwi.nl/~apt/ps/lp00.ps 17 comments logic/declarative
- K.R. Apt: Principles of Constraint Programming http://homepages.cwi.nl/~apt/pcp/all-slides.tar.gz 3 comments logic/declarative