61
Rust to C compiler – 95.9% test pass rate, odd platforms
I am experimenting a bit with a new article format: instead of an overarching theme, this is more of a collection of smaller bits and pieces, sewn together.
62
Some programming language ideas
Programming languages seem to have somewhat stagnated to me. A lot of shuffling around ideas that already exist, not a lot of new ones.
63
Go subtleties
Some of my favorite tidbits from the past year of working with Go.
64
I Switched from Flutter and Rust to Rust and Egui
This is just a personal experience, there are no absolute truths. Like in any other blog post, a lot of the things you'll read here could be just a skill issue, or legitimate issues. It's up to you to decide.
65
I believe 6502 instruction set is a good first assembly language
Why I believe 6502 instruction set is a good first assembly language
66
PHP 8.5
A blog about modern PHP, the web, and programming in general. Follow my newsletter and YouTube channel as well.
67
68
Cancellations in async Rust
Correctness in the face of cancellations: a written version of my talk at RustConf 2025.
69
Zig's Lovely Syntax
It's a bit of a silly post, because syntax is the least interesting detail about the language, but, still, I can't stop thinking how Zig gets this detail just right for the class of curly-braced languages, and, well, now you'll have to think about that too.
70
The state of SIMD in Rust in 2025
If you’re already familiar with SIMD, the table is all you need. And if you’re not, you will understand the table by the end of the…
71
72
My first impressions of Gleam
What I’ve learned in my first few hours using Gleam for a small project.
73
Go Proposal: Secret Mode
Automatically erase memory to prevent secret leaks.
74
Rating 26 years of Java changes
I first started programming Java at IBM back in 1999 as a Pre-University Employee. If I remember correctly, we had Java 1.1.8 installed at that time, but were moving to Java 1.2 (“Java 2”), which w…
75
A review of Nim 2: The good and bad with example code
I've been using Nim for about 1-2 years now, and I believe the language is undervalued. It's not perfect, of course, but it's pleasant to write and read. My personal website uses Nim .
76
Ruby and Its Neighbors: Smalltalk
Smalltalk was the second major influence on Ruby's design. A different kind of influence, since almost nothing of Smalltalk's syntax made into Ruby. But many of the details of how objects work are directly inspired by Smalltalk, including the idea that every piece of data is part of the object system.
77
Zig's new LinkedList API (it's time to learn fieldParentPtr)
Karl Seguin's Blog - A mix of coding and creative writing
78
The Algebra of Loans in Rust
The heart of Rust borrow-checking is this: when a borrow is taken, and until it expires, access to the borrowed place is restricted. For example you may not read from a place while it is mutably borrowed.
79
What to do with C++ modules?
Note: Everything that follows is purely my personal opinion as an individual. It should not be seen as any sort of policy of the Meson buil...
80
Gleam, Coming from Erlang
I recently took some time to try Gleam, the type-safe language that runs on the Erlang virtual machine. For a couple of weeks, I used it to build a little feed aggregator. These are my notes.
81
The provenance memory model for C
[The wordpress markdown inclusion does a very bad job, it seems, there have been some idiotic formatting errors. I hope that these are fixed, now.] A years-long effort led by Kayvan Memarian and Pe…
82
Building the Rust Compiler with GCC
If you know one thing about me, it is that I love working on the Rust compiler. Some people kayak, travel or play guitar - and I stare at assembly, trying to figure out what I broke.
83
Why formalize mathematics – more than catching errors
I read a good post by one of the authors of the Isabelle theorem prover, that got me thinking. The author, Lawrence Paulson, observed that most math proofs are trivial, but writing them (preferably with a proof assistant) is a worthwhile activity, for reasons similar to safety checklists - “Not every obvious statement…
84
Why SSA?
If you’ve read anything about compilers in the last two decades or so, you have almost certainly heard of SSA compilers , a popular architecture featured in many optimizing compilers, including ahead-of-time compilers such as LLVM, GCC, Go, CUDA (and various shader compilers), Swift 1 , and MSVC 2 , and just-in-time…
85
LLMs pose an interesting problem for DSL designers
The most exciting part of Programming Languages (PL) research for me has always been in Programming Language Design.
86
Rust's Block Pattern
Here’s a little idiom that I haven’t really seen discussed anywhere, that I think makes Rust code much cleaner and more robust.
87
Implementing Logic Programming
I just think it's neat!
88
`satisfies` is my favorite TypeScript keyword (2024)
TIL: `satisfies` is my favorite TypeScript keyword
89
Odin: A programming language made for me
In my book Understanding the Odin Programming Language I wrote that “Odin incorporates some of my favorite C best practices, straight into the language”. But I didn’t really elaborate on the details. Let’s do that here! This brings me to talking a bit about a previous job I had. Back in 2021 I worked at a place called…
90
The Cost of a Closure in C
I had a vague idea that closures could have a variety of performance implications; I did not believe that so many of the chosen and potential designs for C and C++ extensions ones, however, were so…