theaeolist
- Karma
- 1,145
- Created
- April 22, 2011 (15y ago)
- Submissions
- 0
- After years of zero-Covid China is suddenly opening up (globaltimes.cn)
- F Things You (Probably) Didn’t Know About Hexadecimal (link.springer.com)
- SMIC (China) has started shipping 7nm chips despite US sanctions (bloomberg.com)
- Deep Hole Geothermal Energy (independent.co.uk)
- A library for effect handlers in C++ (github.com)
-
If you were not constrained by material considerations and were to commission the design of a new mainstream general-purpose programming language what new technical feature would it have and what important problem would…
-
The fact that targetteed ads are bad seems to be accepted as a given. However, in my naivité I struggle to grasp the rationale of this obvious truth. I hate all ads, but I kind of hate random, useless ads worse than…
- How to make functional programming more like Excel (danghica.blogspot.com)
- Not a Turing Machine (danghica.blogspot.com)
- Automatic Application Modernisation (danghica.blogspot.com)
- Lufthansa sues customer for skipping flight (godsavethepoints.com)
- Why is everything in US/UK so expensive? (techcrunch.com)
- If Silicon Valley’s unicorn bubble bursts, what legacy will it leave? (theguardian.com)
- Elon and the collective (blog.piekniewski.info)
- Graphical Async programming (medium.com)
- The Boom Hierarchy (1993) [pdf] (citeseerx.ist.psu.edu)
- Zippers for non-inductive types (danghica.blogspot.com)
- 'Human brain' supercomputer with 1M processors switched on for first time (manchester.ac.uk)
- Why ML systems are not testable (dzone.com)
- Mathematics as a domain specific language (github.com)
- Undecidable problems in physics (nature.com)
- Logitext – An educational proof assistant for first-order classical logic (logitext.mit.edu)
- If monads are the solution, what is the problem? (danghica.blogspot.com)