2431
The Hat, the Spectre and SAT Solvers (2024)
Introduction In this blog post you are going to read about two things:
New
The latest blog posts to take off on Hacker News. 21,819 posts.
2432
Jemalloc Postmortem
The jemalloc memory allocator was first conceived in early 2004, and hasbeen in public use for about 20 years now. Thanks to the nature of open source software licensing,jemalloc will remain publicly available indefinitely. But active upstream development has come to anend. This post briefly desc...
2433
The Case for Software Craftsmanship in the Era of Vibes
From the Zed Blog: Working toward genuine, quality software in an era where code production is not the constraint anymore.
2434
Wrong ways to use the databases, when the pendulum swung too far
Disclaimer: This story took place when I was a junior developer for a previous employer ages ago. Some details might be fuzzy, and goes without saying this is entirely from my own POV so take everything here with humor and a grain of salt.
2435
Solving LinkedIn Queens with SMT
For sure easier than solving it in SAT!
2436
Agentic Coding Recommendations
Current recommendations of agentic coding.
2437
Microsoft Office migration from Source Depot to Git
Part 7 of my software journey, getting to know developer experience.
2438
GitHub CI/CD observability with OpenTelemetry step by step guide
Instrument your CI/CD pipelines with OpenTelemetry. A step-by-step guide to capturing GitHub Actions data via the Collector.
2439
Left-Pad (2024)
8 years have passed since the the left-pad incident happened. It's been good for me to avoid this subject for focusing on actual work. Also, silence is gold. On the other hand, left-pad is seen as a notable event mentioned in books, so I'll share more info and thoughts about what exactly happened.
2440
Fine-tuning LLMs is a waste of time
People think they can use Fine-Tune for Knowledge Injection. People are Wrong
2441
Me an' Algernon – grappling with (temporary) cognitive decline
Originally published May 20, 2015.
2442
Magistral — the first reasoning model by Mistral AI
The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.
2443
The curious case of shell commands, or how "this bug is required by POSIX" (2021)
About the fatal perils and traps of many modern tools that handle "shell commands" as passed through `system(3)` or `sh -c`. Or, how by the end of 2020, we still haven't given up on shell's equivalent "SQL building", or how shell's equivalent "SQL injection" still thrives in our engineering world... Plus a `glibc`…
2444
Rust compiler performance
Perhaps the most often repeated complaint about Rust is its slow feedback loop and long compilation times. I hear about it all the time; in Rust podcasts, blog posts, surveys, conference talks or offline discussions. I also regularly complain about it, being a Rust user myself!
2445
2446
Why agents are bad pair programmers
LLM agents make bad pairs because they code faster than humans think. I'll admit, I've had a lot of fun using GitHub Copilot's agent mode in VS Code this month.…
2447
Apple announces Foundation Models and Containerization frameworks, etc
Apple announced new technologies and enhancements to its developer tools to help developers create more beautiful, intelligent, and engaging apps.
2448
How I program with agents
This is the second part of my ongoing self-education in how to adapt my programming experience to a world with computers that talk. The first part, How I program with LLMs , covered ways LLMs can be adapted into our existing tools (basically, autocomplete) and how careful prompting can replace traditional web search…
2449
Self-hosted x86 back end is now default in debug mode
This page contains entries for the year 2025 . Other years are available in the Devlog archive page .
2450
Binfmtc – binfmt_misc C scripting interface
"I love C". "I enjoy writing in C". "I don't feel well when I have passed a day without coding a line of C". "My conversation with my wife simply doesn't flow without the C language". "I want to write everything in C, even the everyday scripting, but due to the steps required for writing make files and other things, I…
2451
Demystifying Debuggers
An introduction to a new post series covering debugger basics.
2452
Reverse engineering Claude Code
I’ve been curious about what happens inside Claude Code so I’ve spent a couple hours digging through prompts that it sends back to Anthropic.
2453
You need much less memory than time
Just as I was complaining that we haven't seen many surprising breakthroughs in complexity recently, we get an earthquake of a result to st...
2454
Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray
Discovering a JDK Race Condition, and Debugging it in 30 Minutes with Fray I’ve been adding more integration tests for Fray recently. To ensure Fray can handle different scenarios, I wrote many creative test cases. Many of them passed as expected, while some failures led to epic fixes in Fray. Then something…
2455
Field Notes from Shipping Real Code with Claude
Note: This post comes with a NotebookLM podcast (1linked at the bottom), and three generated audio recordings. You can read the conversation I had
2456
Why We're Moving on from Nix
Meet Railpack — the next iteration of the Railway builder, developed from the ground up on lessons from building over 14 million apps with Nixpacks.
2457
Low-Level Optimization with Zig
The power of Zig's comptime code execution
2458
Falsehoods programmers believe about aviation
There are a lot of assumptions one could make when designing data types and schemas for aviation data that turn out to be inaccurate. In the spirit of Patrick McKenzie’s classic piece on names, here are some false assumptions one might make about aviation.
2459
Smalltalk, Haskell and Lisp
To assist with job interviews at the NRAO we recently wrote a small “contest” program. Without giving away the details, the crux of the problem is
2460
Highly efficient matrix transpose in Mojo
In this blogpost I will step by step show you how to implement a highly efficient transpose kernel for the Hopper architecture using Mojo. The best kernel a...