https://loudcoder.com/blog/Notes on code, computer science, and the ideas underneath.enhttps://loudcoder.com/blog/hilberts-tenth-from-machines-to-rationals/https://loudcoder.com/blog/hilberts-tenth-from-machines-to-rationals/Wed, 07 Oct 2026 12:00:00 GMTHow integer equations encode computation, what formalization checks, and how to read OpenAI’s model-generated claim over the rationals.https://loudcoder.com/blog/react-with-higher-order-component/https://loudcoder.com/blog/react-with-higher-order-component/Sun, 19 Aug 2018 01:43:00 GMTMixing data-fetching behavior into React components with a reusable higher-order component.https://loudcoder.com/blog/map-and-reduce/https://loudcoder.com/blog/map-and-reduce/Sun, 05 Aug 2018 21:13:00 GMTA hands-on introduction to map, reduce, and counting characters with Haskell.https://loudcoder.com/blog/boyer-moore-algorithm/https://loudcoder.com/blog/boyer-moore-algorithm/Sun, 05 Aug 2018 21:13:00 GMTA look at string searching, the bad-character rule, and the good-suffix rule.https://loudcoder.com/blog/hilbert-10-meets-isabelle/https://loudcoder.com/blog/hilbert-10-meets-isabelle/Sun, 05 Aug 2018 21:13:00 GMTDiophantine equations, Hilbert’s tenth problem, and the beginnings of a formalisation project in Isabelle.https://loudcoder.com/blog/recursive-functions/https://loudcoder.com/blog/recursive-functions/Sun, 05 Aug 2018 21:13:00 GMTThinking through recursion in Haskell, from a simple sum to the Fibonacci sequence.https://loudcoder.com/blog/complexity-and-correctness/https://loudcoder.com/blog/complexity-and-correctness/Sun, 05 Aug 2018 21:13:00 GMTWhat makes an algorithm scalable — and what it actually means for an algorithm to be correct.https://loudcoder.com/blog/recursive-functions-revisited/https://loudcoder.com/blog/recursive-functions-revisited/Sun, 05 Aug 2018 21:13:00 GMTDivide, conquer, and combine: a closer look at recursive algorithms and repeated work.