5881
Today I Learned: Binfmt_misc
Technical blog by Stephan Berger (@malmoeb)
5882
5883
Vanished from Google/Bing/LinkedIn: a rebuttal of an anti-net neutrality paper
What if something can't be found through Google Search? Does it still exist? That question I have to ask myself when I found that a blogpost...
5884
5885
Doge to Fired CISA Staff: Email Us Your Personal Data
A message posted on Monday to the homepage of the U.S. Cybersecurity & Infrastructure Security Agency (CISA) is the latest exhibit in the Trump administration’s continued disregard for basic cybersecurity protections. The message instructed recently-fired CISA employees to get in touch so they can be rehired and then…
5886
Lesser known mobile adtech domains where data is sent
AppGoblin has now run over 40k apps in an emulator, tracking millions of API calls thousands of advertising domains. Unfortunately, some of them are dark, meaning they have no landing page of any kind, and I’m unclear who controls these domains.
5887
History of “Adventure” for the Atari 2600
Of all the original games Atari put out for the VCS, Adventure may be the one that most people are familiar with today.
5888
Code golfing a tiny demo using maths and a pinch of insanity
The number of characters was 464 characters at first, but thanks to the community it got reduced further, and the article updated accordingly.
5889
Euclid opens data treasure trove, offers glimpse of deep fields
On 19 March 2025, the European Space Agency’s Euclid mission released its first batch of survey data, including a preview of its deep fields. Here, hundreds of thousands of galaxies in different shapes and sizes take centre stage and show a glimpse of their large-scale organisation in the cosmic web.
5890
Lambda Calculus and Lisp, part 1
The first of a series of envisioned blog posts on lambda calculus, and Lisp. It’s unclear exactly where to start: there is a whole heap of interesting issues, both theoretical and in terms of concrete implementations, which tangle and interconnect. A particular application of lambda calculus is a very salient…
5891
Zig 0.15.1
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
5892
How devtools map minified JS code back to your TypeScript source code
A deep dive into how JavaScript source maps work under the hood, with examples showing how all the pieces fit together.
5893
Clang Static Analyzer and the Z3 constraint solver (2022)
Notes on using the Z3 constraint solver with the Clang Static Analyzer
5894
5895
Help my website is too small
How can it be a real website if it’s less than 7k?
5896
Transducer: Composition, abstraction, performance (2018)
Transducer: Composition, Abstraction, Performance
5897
Deterministic simulation testing for async Rust
How S2 uses deterministic simulation testing for async Rust to find distributed-systems bugs before they reach production.
5898
The Expression Problem and its solutions (2016)
The craft of programming is almost universally concerned with different types of data and operations/algorithms that act on this data [1] . Therefore, it's hardly surprising that designing abstractions for data types and operations has been on the mind of software engineers and programming-language designers since…
5899
Systemd has been a complete, utter, unmitigated success
Eleven init systems enter, one init system leaves.
5900
"Special register groups" invaded computer dictionaries for decades (2019)
Half a century ago, the puzzling phrase "special register groups" started showing up in definitions of "CPU", and it is still there. In this...
5901
Be Worried
Author's note: I wrote this in March 2023, but just published in October 2025. I held back from publishing this originally for fear that I was being sensationalist. But with the launch of Sora 2, I couldn't not share these thoughts. I only regret I didn't publish it 2 years ago.
5902
SQLite (with WAL) doesn't do `fsync` on each commit under default settings
SQLite doesn’t do fsync unless specified.
5903
My favourite German word
If creators of documentation are prepared to sacrifice its human purpose in order that LLMs can more effectively slurp it up and regurgitate it on demand, then they have meekly accepted values that more properly belong in a dystopian horror story.
5904
America Has Become a Digital Narco-State
Social media giants have bought our government, and are trying to bully Europe
5905
OpenAI releasing new open model in coming months, seeks community feedback
We’re planning to release our first open language model since GPT‑2 in the coming months. We’re excited to collaborate with developers, researchers, and the broader community to gather inputs and make this model as useful as possible.
5906
Disk I/O bottlenecks in GitHub Actions
When your CI pipelines are slow, you can only optimize so much. Bottlenecks in CPU, Network, Memory, and Disk I/O can all contribute to slow CI pipelines. Let's take a look at how disk I/O can be a bottleneck in GitHub Actions.
5907
What I Learned Failing to Finish a Game in 2024
Here’s a breakdown of my year in game dev, the challenges I faced, and the key takeaways that’ll shape my 2025 projects.
5908
Simulated Economy Tutorial
Concept Motivation Imagine an open world RPG where your actions affect the price of goods, the markets reacting to anything the player may do (burn down wheat fields, cost of food increases; kill the merchants, prices differentiate between cities; sell the many swords you’ve collected on your adventures, tank the…
5909
5910
Ada crate of the year 2024 announced
In 2024 we announced our fourth Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for Ada/SPARK, so we want to…