I'm a computer scientist that became passionate about precision medicine in a quest to diagnose my son Bertrand .
Visit matt.might.net → On Hacker News Apr 2010 – Jan 2025
Software Engineering 18Life, Learning & Writing 11Career & Management 8Math & Algorithms 7Tools & Productivity 6Programming Languages 6
These structures are so universal that most research papers in the theory of computation, programming languages and formal methods present concepts in terms of discrete mathematics rather than code.
Continuations are the least understood of all control-flow constructs. This lack of understanding (or awareness) is unfortunate, given that continuations permit the programmer to implement powerful language features and algorithms, including exceptions, backtracking search, threads, generators and coroutines.
Generative AI tools like ChatGPT and Midjournery are able to replicate (and often exceed) human-like performance on tasks like taking exams, generating text and making art.
Though it contains forms only for function applications, variable references and anonymous functions, it is equivalent to a Turing machine.
The halting problem asks whether the execution of a specific program for a given input will terminate.
In terms of unreasonable effectiveness, the transformation to continuation-passing style (CPS) ranks with the Y combinator .
The draft of " Yacc is Dead " that David Darais and I posted on arXiv received some attention, so we'd like to share updates and feedback.