The Math Is Haunted
A taste of Lean.
A taste of Lean.
A blog post written by Lorentz Kinde. It's probably about something technical.
Suppose you have an appetite for tilting at windmills. Let's say you love pain. Well then why not write a PDF parser today?
A paper from Anthropic describing persona vectors and their applications to monitoring and controlling model behavior.
Every couple of years somebody notices that large tech companies sometimes produce surprisingly sloppy code. If you haven’t worked at a big company, it might be…
Welcome to kmx.io
Your product's core abstractions determine whether new features compound into a moat or just add to a feature list. Here's how to get it right.
Igalia is an open source consulting firm specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and client-side web technologies, graphics pipeline, compilers and virtual machines. We have the most WPE, WebKit…
People keep asking me If I use Generative AI tools for coding and what I think of them, so this is my effort to put my thoughts in writing, so that I can send people here instead of having to repeat…
With AI workloads on the rise, the demand for Python support on WebAssembly on the Edge has grown rapidly. However, bringing Python to WebAssembly isn'...
Codex just got faster, more reliable, and better at real-time collaboration and tackling tasks independently anywhere you develop—whether via the terminal, IDE, web, or even your phone.
Important lessons from trying to build the world's fastest autorouter for about a year
Counting years backwards unlocks faster speed. The first date algorithm to use only 4 multiplications, instead of 7+
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
A collection of advanced Python features that I've found interesting, underrated, or unique - as someone who's seen a lot of Python code.
Hatching... Cursor Shenanigans Cursor, my beloved, started rate limiting shenanigans a few days back. For a good 2 weeks after June 16, 2025, we had almo...
Slightly unusual genre today: a negative result about our git-review tool for a different take on code review process, which we decided to shelve, at least for the time being.
The target system was a distributed data processing platform that ran across hundreds of thousands of machines. At such scales, a 0.5% improvement would easily make up my salary going forward, and 2% was a good result for the half.
How to build a RAG system that's fully self-hosted.
A blameful postmortem of how my viral HackerNews project got compromised by legacy passwords, missing auth, and the perils of vibe coding.
If you don't want a long an boring introduction, skip directly to the virtual pipes method description . I will get a little bit sad if you do this, though x)
Asynchrony is not concurrency.
Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more.
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
Whether it's building a new project from scratch, implementing a big feature, or beginning a large refactor, it can be difficult to stay motivated and complete large technical projects. A method that works really well for me is to continuously see real results and to order my work based on that.
Announcing AoCO 2025 - daily December posts about compiler optimisations