The latest blog posts to take off on Hacker News. 21,819 posts.
Twice per year I co-host the Lisp Game Jam: a 10-day game jam where participants create small games in their favorite Lisp dialect. Unlike classic game jams like Ludum Dare, which have an intensive 2-3 day long duration, the Lisp Game Jam is much more casual and spans two whole weekends to give busy people (most of…
We've been building a bridge from React Router to Remix, and we made it so good that we're going to merge the two projects.
When brothers Thomas and John Knoll began designing and writing an image editing program in the late 1980s, they could not have imagined that they would be adding a word to the dictionary.
How I build a website for choosing movies
When Simplicity is Preferrable to Efficiency
Štar is a concise and extensible iteration construct for Common Lisp which aims to be pleasant to use, easy to understand, fast if needed, general, and not to look like Fortran....
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrapordefault or all other primitive functions. For each…
APT 2.9.3 introduces the first iteration of the new solver codenamed solver3, and now available with the –solver 3.0 option. The new solver works fundamentally different from the old one. How does it work? Solver3 is a fully backtracking dependency solving algorithm that defers choices to as late as possible. It…
Or the 'Matt Godbolt shows us some compiler magic' edition!
Using linked lists to optimize performance in a JSON schema validator.
I sometimes find myself asked to give advice on how organisations should go about creating software, but often my advice doesn’t gel with those who sought it. Sometimes that’s because only one answer was ever considered acceptable; sometimes I am ignorant of important wider context and my answer is unworthy of…
Maximizing Postgres connection economy by using a single connection per program to receive and distribute all listen/notify notifications.
Learning about the subtle gotcha with ARG and FROM instruction ordering in Dockerfile definitions.
Discover the power of Snapdragon X Elite with upstreamed Linux kernel support. Explore areas of focus and unlock new potential with Snapdragon Linux today.
There are a couple of version control commands that deserve wider appreciation: SCCS what and RCS ident . They allow you to find out what source a binary was built from, without having to run it – handy if it is a library! They basically scan a file looking for magic strings that contain version control metadata and…
I had free access to GitHub Copilot for about a year, I used it, got used to it, and slowly started to take it for granted, until one day it was taken away. I had to re-adapt to a life without Copilot, but it also gave me a chance to look back at how I used Copilot, and reflect - had Copilot actually been helpful to…
Garbage collectors are expected to be invisible: if programmers (or even users) notice them, something is wrong. Usually, such problems are are performance problems, but there could be correctness issues as well. This makes implementing them a bit scary.
Okay, promises, promises. Here's the first of my bucket list projects I'm completing which I've intermittently worked on for literally two d...
Designing a notebook that can be shared as an app, run as a script, versioned with git, and more
Window management in Emacs gets a bad rap. Some of this is deserved, but mostly this is a consequence of combining a very flexible and granular layout system with rather coarse controls. This leaves the door open to creating and using tools for handling windows that employ and provide better metaphors and affordances…
Random thoughts, articles and projects by a chronic overengineer.
Multiprocessor Synchronization was one of my favorite classes during my undergrad — it had a clear progression from theory to practice, starting at the theory of consensus numbers and moving onto atomic operations and then synchronization primitives and lock-free data structures, all from first principles. With…
A story of finding, understanding, and fixing a memory leak in our Rails app. With graphs and code!
This document presents new time-based UUID formats which are suited for use as a database key. A common case for modern applications is to create a unique identifier for use as a primary key in a database table. This identifier usually implements an embedded timestamp that is sortable using the monotonic creation time…
In this post I want to create a single file C file program to open a windows inside Linux without using xlib or any similar libraries. The idea is to explore X11 protocol and see how it is used to interact with X server to create windows.
