| 1. | | After years of zero-Covid China is suddenly opening up (globaltimes.cn) |
| 2 points by theaeolist on Dec 5, 2022 | past | 2 comments |
|
| 2. | | F Things You (Probably) Didn’t Know About Hexadecimal (springer.com) |
| 2 points by theaeolist on Aug 25, 2022 | past |
|
| 3. | | SMIC (China) has started shipping 7nm chips despite US sanctions (bloomberg.com) |
| 4 points by theaeolist on July 25, 2022 | past |
|
| 4. | | Deep Hole Geothermal Energy (independent.co.uk) |
| 1 point by theaeolist on March 17, 2022 | past |
|
| 5. | | A library for effect handlers in C++ (github.com/maciejpirog) |
| 36 points by theaeolist on Feb 15, 2022 | past | 10 comments |
|
| 6. | | Ask HN: New Programming Language? |
| 29 points by theaeolist on Jan 12, 2022 | past | 98 comments |
|
| 7. | | Ask HN: Why are personalised ads bad? |
| 29 points by theaeolist on Dec 27, 2020 | past | 51 comments |
|
| 8. | | How to make functional programming more like Excel (danghica.blogspot.com) |
| 2 points by theaeolist on Nov 4, 2019 | past |
|
| 9. | | Not a Turing Machine (danghica.blogspot.com) |
| 1 point by theaeolist on July 16, 2019 | past |
|
| 10. | | Automatic Application Modernisation (danghica.blogspot.com) |
| 9 points by theaeolist on June 28, 2019 | past |
|
| 11. | | Lufthansa sues customer for skipping flight (godsavethepoints.com) |
| 2 points by theaeolist on Feb 10, 2019 | past | 2 comments |
|
| 12. | | Why is everything in US/UK so expensive? (techcrunch.com) |
| 1 point by theaeolist on Feb 4, 2019 | past | 1 comment |
|
| 13. | | If Silicon Valley’s unicorn bubble bursts, what legacy will it leave? (theguardian.com) |
| 3 points by theaeolist on Feb 3, 2019 | past |
|
| 14. | | Elon and the collective (piekniewski.info) |
| 93 points by theaeolist on Dec 30, 2018 | past | 71 comments |
|
| 15. | | Graphical Async programming (medium.com/connect-platform) |
| 4 points by theaeolist on Dec 11, 2018 | past |
|
| 16. | | The Boom Hierarchy (1993) [pdf] (psu.edu) |
| 10 points by theaeolist on Dec 6, 2018 | past | 2 comments |
|
| 17. | | Zippers for non-inductive types (danghica.blogspot.com) |
| 1 point by theaeolist on Nov 12, 2018 | past |
|
| 18. | | 'Human brain' supercomputer with 1M processors switched on for first time (manchester.ac.uk) |
| 93 points by theaeolist on Nov 5, 2018 | past | 117 comments |
|
| 19. | | Mathematics as a domain specific language (github.com/dslsofmath) |
| 2 points by theaeolist on Aug 15, 2018 | past |
|
| 20. | | Undecidable problems in physics (nature.com) |
| 2 points by theaeolist on Aug 13, 2018 | past |
|
| 21. | | Functional Bits: Lambda-calculus based algorithmic information theory [pdf] (tromp.github.io) |
| 122 points by theaeolist on Aug 9, 2018 | past | 17 comments |
|
| 22. | | Logitext – An educational proof assistant for first-order classical logic (logitext.mit.edu) |
| 38 points by theaeolist on Aug 2, 2018 | past | 3 comments |
|
| 23. | | If monads are the solution, what is the problem? (danghica.blogspot.com) |
| 189 points by theaeolist on July 30, 2018 | past | 175 comments |
|
| 24. | | Haskell ain't maths (danghica.blogspot.com) |
| 3 points by theaeolist on July 17, 2018 | past |
|
| 25. | | A brief introduction to the ppx extension mechanism in OCaml (darvariu.me) |
| 70 points by theaeolist on June 21, 2018 | past |
|
| 26. | | Wittgenstein and emoji (qz.com) |
| 37 points by theaeolist on April 30, 2018 | past | 26 comments |
|
| 27. | | Fourier series audio demo by Prof. Peter Selinger (youtube.com) |
| 2 points by theaeolist on April 8, 2018 | past |
|
| 28. | | Debugging and profiling functional languages using diagrams (danghica.blogspot.com) |
| 2 points by theaeolist on March 6, 2018 | past |
|
| 29. | | Ask HN: What happened to RMI? |
| 1 point by theaeolist on Jan 25, 2018 | past | 1 comment |
|
| 30. | | Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com) |
| 1 point by theaeolist on Nov 6, 2017 | past |
|
|
| More |
