Auto-research with codex: How I achieved a 232x Faster Kernel
Table of Contents Intro Contest in short Problem intro Why this problem is auto-research-able Learning Enough to Ask Better Questions (Optional) Math f...
The latest blog posts to take off on Hacker News. 14,535 posts.
Table of Contents Intro Contest in short Problem intro Why this problem is auto-research-able Learning Enough to Ask Better Questions (Optional) Math f...
When the address of a nested function is taken, GCC creates at trampoline at run-time. This trampoline is placed on the stack, which means that the stack has to be executable. This is problematic because a non-executable stack is an important security feature. For some time now, GCC has the option to place the…
From the highly eclectic blog of Mark Dominus
If you learned about NP-hard problems in university, your takeaway was probably this:
A long division story
After the ACE BASIC posts of the last months, this one is about a different project I have been working on for the last half year: CL-Amiga , or Clamiga for short. It is a Common Lisp implementation built for the Amiga family -- classic AmigaOS 3 on 68k and MorphOS as a fully native PPC build, AROS and AmigaOS 4 maybe…
Building a SPA (Single-page Application) is a complex puzzle: a JavaScript framework that draws the view, an API serving JSON, and 2 independent…
Guillaume Técher — Personal website
Personal website of Chad Arimura - My agent setup
A blog about computers, functional languages, Lisp, and Scheme.
A look inside Copilot’s network traffic, harness, memory, and how context is becoming the product.
A useful pattern for LLM classification at scale is to let it hallucinate plausible, fake entities. Then resolve to real ones.
This somewhat widely cited post (I keep seeing it cited, anyway) suggests that dynamic languages and/or languages that represent things more concisely are more token efficient. It seems to be cited enough that LLM search results agree. For example, when I searched for "dynamic vs static language token cost" (no…
use WASD + Mouse or tap on the screen to walk around :) Amulet of St. Michael in Kyiv, Ukraine (reconstructed with GaussianSplatting.jl, ~6M Gaussians)
My disdain for astrology is so utter, and my esteem for Godier’s previous work so high, that it simply never occurred to me that he might have actually made and submitted to the App Store an astrology app, let alone that he’d then feign surprise and frustration that an astrology app was rejected for being an astrology…
The software development profession is in the midst of upheaval. Nobody knows how the AI revolution will play out in the end, but it is c...
One of the most surprising aspects of the Nix language is that it is lazy, especially if you have never used a lazy language before. This laziness is what makes much of Nixpkgs possible, and its complexity.
My disdain for astrology is so utter, and my esteem for Godier’s previous work so high, that it simply never occurred to me that he might have actually made and submitted to the App Store an astrology app, let alone that he’d then feign surprise and frustration that an astrology app was rejected for being an astrology…
Why AI can make software development faster without replacing the judgment and understanding needed to build consistently good software.
Event designators have been hiding in not-so-plain-sight since the late 1970s — so powerful that forgetting might be part of a massive conspiracy to wear out developer keyboards faster than otherwise.
Compilers have a hard time optimizing floating point math. Rust has a new API to fix this.
The best parts of Django are the ones you stop noticing — a tour of the abstractions that have given Buttondown the most leverage over the years.
I've built the same webhook consumer three times at three companies. The fourth time, I want a better primitive.
From a single pilot to an air campaign: planning, parallelism, memory, verification, and observability for production-shaped agents.
How Pi's minimal harness improves coding-agent cost and performance, with examples from Databricks and Shopify's pi-autoresearch extension.
If you are an Emacs user with a keen eye, you will have noticed that in Emacs Lisp, code is data. After all, 'Lisp' is shorthand for 'List Processing'. One of E...
Two years ago, I was Porting my JavaScript Game Engine to C for No Reason . I have since found a reason: making a new N64 game!