Research
Hilbert’s tenth: from machines to equations, and a new rational-case claim
How integer equations encode computation, what formalization checks, and how to read OpenAI’s model-generated claim over the rationals.
16 min read
The notebook
Thinking
out loud.
Notes on code, computer science, and the ideas underneath.
A small archive of things I’ve learned along the way.
8 articles · Since 2018RSS feed
All articles
8 articles
Web development
React With Higher Order Component
Mixing data-fetching behavior into React components with a reusable higher-order component.
2 min read
Functional programming
Learn Computer Science From Scratch -- Map and Reduce in Function world
A hands-on introduction to map, reduce, and counting characters with Haskell.
3 min read
Computer science
Learn Computer Science From Scratch - Boyer-Moore Algorithm
A look at string searching, the bad-character rule, and the good-suffix rule.
2 min read
Research
Hilbert 10 meets Isabelle
Diophantine equations, Hilbert’s tenth problem, and the beginnings of a formalisation project in Isabelle.
2 min read
Functional programming
Learn Computer Science From Scratch - Recursive Functions
Thinking through recursion in Haskell, from a simple sum to the Fibonacci sequence.
2 min read
Computer science
Learn Computer Science From Scratch - Complexity and Correctness
What makes an algorithm scalable — and what it actually means for an algorithm to be correct.
2 min read
Functional programming
Learn Computer Science from Scratch -- Recursive Function Revisted
Divide, conquer, and combine: a closer look at recursive algorithms and repeated work.
3 min read
Reference notebook
Algorithms & data structures
A longer reference notebook of algorithms, examples, and study notes.
No articles found.
Try another search or explore all the writing.