The unreasonable effectiveness of fuzzing for porting programs
A simple strategy of having LLMs write fuzz tests and build up a port in topological order seems effective at automating porting from C to Rust.
The latest blog posts to take off on Hacker News. 6,220 posts.
A simple strategy of having LLMs write fuzz tests and build up a port in topological order seems effective at automating porting from C to Rust.
How I turned an old iPhone 8 into a solar-powered OCR server using Apple's Vision framework. Running 24/7 off-grid, processing thousands of images.
AI Agents, Modularity, and Alignment
Table of Contents Agents Need to Interact With LLMs Agents Should Be Event-Driven Agents Need Context Agents Require Memory When SQL Is Not Enough Parting Thoughts AI Agents have improved in leaps …
Homomorphic encryption allows a computer to run programs on encrypted data. Learn how homomorphic encryption works through interactive examples, build a homomorphically encrypted CRDT and see whether it has promise for local-first software.
File parsers in Go contain unexpected behaviors that can lead to serious security vulnerabilities. This post examines how JSON, XML, and YAML parsers in Go handle edge cases in ways that have repeatedly resulted in high-impact security issues in production systems. We explore three real-world attack scenarios…
Building on the recent empirical work of Kwa et al. (2025), I show that within their suite of research-engineering tasks the performance of AI agents on longer-duration tasks can be explained by an extremely simple mathematical model — a constant rate of failing during each minute a human would take
The Fall of Civilizations podcast put out a 6¾-hour episode on the history of the Mongol Empire, which I eagerly listened to. After finishing the episode I wondered about contemporary Mongolian society, I wanted to learn what the lands that the Mongol Empire exploded from are like in our current day. There are many…
Check project's website: https://www.brainonllm.comWith today's wide adoption of LLM products like ChatGPT from OpenAI, humans and businesses engage and u…
Prototype in Marimo, deploy in Bauplan. Learn how to build production-grade pipelines from notebooks with a Python-native stack. No handoffs, no rewrites.
Today we published bzip2 version 0.6.0 , which uses our rust implementation of the bzip2 algorithm, libbz2-rs-sys , by default. The bzip2 crate is now faster and easier to cross-compile.
There has been rather a lot of doomsaying (and perhaps astroturfing) lately about LLMs as the end of computer programming. Much of the discussion has been lacking nuance, so I’d like to add mine. I see claims from one side that “I used $LLM_SERVICE_PROVIDER to make a small throwaway tool, so all programmers will be…
The most exciting part of Programming Languages (PL) research for me has always been in Programming Language Design.
Nintendo's Switch 2, launched with Mario Kart World, suffers from inadequate HDR implementation despite industry standards. The game qualifies "fake HDR," using SDR-first methods that limit color and dynamic range. Developers must prioritize HDR from the outset to truly leverage its potential and enhance visual…
Introduction to Kumo Relational — the relational foundation model for predictive AI on relational data
Practical guidance from Anthropic on building reliable AI agents, from simple composable patterns to fully autonomous systems.
So I was uh, downloading some linux isos, like usual. It was going slowly, so I opened up the Trackers tab in qBittorrent and saw the following:
Gemini 2.5 Flash and Pro are now generally available, and we’re introducing 2.5 Flash-Lite, our most cost-efficient and fastest 2.5 model yet.
Honda Global | Honda R&D Co., Ltd., a research and development subsidiary of Honda Motor Co., Ltd., today conducted a launch and landing test of an experimental reusable rocket*1 (6.3 m in length, 85 cm in diameter, 900 kg dry weight/1,312 kg wet weight) developed independently by Honda. The test was completed…
Cofounders of Tiger Data (creators of TimescaleDB) Ajay Kulkarni and Mike Freedman discuss the company’s new name, showing how it reflects the company’s.
You can now have o3 throw vastly more compute at a given problem.
Hamburger menus are a more familiar pattern today than 10 years ago, but the same old best practices for hidden navigation still apply.
Interactive visualization of the history of the latin alphabet, showing the temporal and formal relationships of the different scripts and typefaces to each other
Around 97% of US households have internet access, but bandwidth and latency are likely worse than you expect.
As some of the work planned for Marginalia Search this year has been progressing a bit faster than anticipated, there was time to implement an unplanned change. This post details the implementation of a system for detecting when servers are online, to avoid serving dead links and improve data quality, and for…
The KiCad development team frequently receives questions about our support for Wayland. Given that Fedora and Ubuntu are both planning to drop X11 support from their main desktop environments in the near future, we want to provide clear, transparent guidance to our users about the current state of Wayland support in…
Personal blog of Omar Abid