The latest blog posts to take off on Hacker News. 1,535 posts.
This post lays out a 4-part roadmap for the borrow checker that I call “the borrow checker within”. These changes are meant to help Rust become a better version of itself, enabling patterns of code which feel like they fit within Rust’s spirit , but run afoul of the letter of its law . I feel fairly comfortable with…
Elixir v1.17 released: set-theoretic data types, calendar durations, and Erlang/OTP 27 support.
This morning, I came accross Cameron Sun’s Probabilistic Tic-Tac-Toe on HN . However, the comments were disappointing, with people proposing probabilistic models, linear programming, minimax algorithms, and heuristic evaluations to develop AI approaches for the game, none of which quite correct. In this post, I’ll…
The RP2040 is a microcontroller made by Raspberry Pi. Unlike their more widely known products, the RP2040 is meant to be embedded in consumer electronics. It's cheap and available in tens of thousands for immediate dispatch from your local Mouser.
Modern processors have instructions to process several bytes at once. Effectively all processors have the capability of processing 16 bytes at once. These instructions are called SIMD, for single instruction, multiple data. It was once an open question whether these instructions could be useful to accelerate common…
Le site où je raconte comment faire du logiciel de qualité2024193 points92 commentsProgramming Languages details
From Erlang, to Elixir and now, GLEAM!?
A whistlestop tour of the cool bits of DuckDB
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
The emerging golden age of home-cooked software, barefoot developers, and why the local-first community should help build it
If you've ever seen a discussion of functional programming languages on the Internet, you'll have probably noticed one talking point in particular that comes up frequently. For the sake of generalization, let's make up a hypothetical functional programming language called Gooby. In these discussions, often someone…
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
How character training cultivates traits like curiosity, open-mindedness, and thoughtfulness in Claude using a variant of Constitutional AI.
Don't test in production. Test in simulation!
One of the great strengths of strace as a debugging tool is that it shows you what a program is doing regardless of whether it was compiled with debug info or not. The downside of this is that you …
Event-driven architecture is great, but it can cause a lot of headaches if it is used for the wrong purpose.
Using an odd floating point error to detect emulators
Last week I noticed some unexpected assembly code in a function calling std::unordered_map::find (yes, I know, friends don’t let friends use STL, but that is a topic for another discussion). I decided to investigate a bit and it turned out to be quite a journey. It was a Clang compiler, ARM-based platform, I will use…
How to kill off a top source of browser exploits
Here’s a fact: GPT-4o charges 170 tokens to process each 512x512 tile used in high-res mode. At ~0.75 tokens/word, this suggests a picture is worth about 227 words—only a factor of four off from the traditional saying. (There’s also an 85 tokens charge for a low-res ‘master thumbnail’ of each picture and higher…
Resolving PS2SDK Soft Reset Issues
The other day I posted something silly, and learned some interesting things about raw pointers in Rust.
Using new techniques for scaling sparse autoencoders, we automatically identified 16 million patterns in GPT-4's computations.
The personal website of Elias Daler about programming, technology and videogames
Here are some notes that may help newcomers understand what is actually happening with QEMU devices:
GitHub Actions now offers Arm-hosted runners with images built by Arm for developers to begin building on the latest and most sustainable processors on the market.
