1711
Implementing Logic Programming
I just think it's neat!
New
The latest blog posts to take off on Hacker News. 14,538 posts.
1712
The Hat, the Spectre and SAT Solvers (2024)
Introduction In this blog post you are going to read about two things:
1713
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...
1714
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.
1715
Solving LinkedIn Queens with SMT
For sure easier than solving it in SAT!
1716
Agentic Coding Recommendations
Current recommendations of agentic coding.
1717
Microsoft Office migration from Source Depot to Git
Part 7 of my software journey, getting to know developer experience.
1718
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.
1719
Fine-tuning LLMs is a waste of time
People think they can use Fine-Tune for Knowledge Injection. People are Wrong
1720
Me an' Algernon – grappling with (temporary) cognitive decline
Originally published May 20, 2015.
1721
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`…
1722
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!
1723
1724
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.…
1725
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…
1726
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…
1727
Demystifying Debuggers
An introduction to a new post series covering debugger basics.
1728
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.
1729
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...
1730
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…
1731
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
1732
Low-Level Optimization with Zig
The power of Zig's comptime code execution
1733
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
1734
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...
1735
Too Many Open Files
Recently I’ve been working on a pretty big rust project and to my surprise Icouldn’t get tests to work properly.
1736
An Interactive Guide to Rate Limiting
Learn about rate limiting algorithms with interactive apps, including Token Bucket, Leaky Bucket, Fixed Window, and Sliding Window methods
1737
A masochist's guide to web development
I have recently worked on making a web application out of my latest Rubik’s cube optimal solver . This involved building a rather complex C code base (with multithreading, SIMD, callback functions and whatnot) to WebAssembly via Emscripten , and writing a minimal amount of JavaScript and HTML for the frontend.
1738
Curate your shell history
You can make your shell history more useful by removing the typos and false starts.
1739
Swift and the Cute 2d game framework: Setting up a project with CMake
Cute Framework is a simple, yet powerful C/C++ framework for building 2D games using the modern GPU pipeline. While C or C++ is fine, Swift is a modern language that many developers prefer for its safety and expressiveness. In this post, we will explore how to set up a project using Cute Framework with CMake, enabling…
1740
I made a search engine worse than Elasticsearch (2024)
Integrating my BM25 pandas search library, SearchArray, into BEIR, in order to embarass myself in public.