331
Copy-and-Patch: A Copy-and-Patch Tutorial
If you can ctrl-c and ctrl-v, you can build a JIT.
332
Lessons from Mixing Rust and Java: Fast, Safe, and Practical
This article provides a hands-on guide to integrating Rust and Java through the Java Native Interface (JNI).
333
Generic Containers in C: Safe Division Using Maybe
Martin Uecker, 2025-08-10 I discuss the implementation of type and bounds safe generic containers in C. Previously, I discussed a span type , bounds checking using arrays . and a a vector type . This time, I will discuss maybe inspired by Haskell. This type can used to return a value that may not exist, e.g. because…
334
10 Years of Betting on Rust
I wrote my first line of Rust in June 2015, a month after Rust 1.0 landed. Coming from C, Python, and JavaScript, I never looked back. Two Rust-based startups and 500k lines of Rust later, here are some reflections on the milestone.
335
Let's write a macro in Rust
Macros are required to do some very helpful things in Rust, but this isn't an article about any of those things.
336
Experiment: Making TypeScript immutable-by-default
I got it working with arrays and records, but couldn't make it work for regular objects.
337
Zig's dot star syntax (value.*)
Karl Seguin's Blog - A mix of coding and creative writing
338
Result is all I need
Rocky Jaiswal. Christian developer living in Berlin. Blogs about programming & technology.
339
When if is just a function
what does this mean and does it matter
340
Common Lisp, ASDF, and Quicklisp: packaging explained
Common Lisp has good packaging tools, but they're different. Here we explain the what and how.
341
342
I Wrote a Compiler
I have a Computer Science degree. I attended a whole course of lectures on compilers (and have a certain fondness for “the red dragon book” as a result). However, I had never actually written a compiler from start to finish until a rainy day last weekend.
343
Should I choose Ada, SPARK, or Rust over C/C++? (2024)
At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming…
344
Why we still build with Ruby
Why we still choose Ruby on Rails in 2025: Learn how Lago scales millions of API events with Rails, Go, and Rust, balancing developer speed, concurrency, and performance.
345
Clojure Zippers (2021)
In this article, we will discuss zippers in the Clojure language. These are an unusual way to work with collections. Using a zipper, you can traverse a data structure arbitrarily and modify its content as well as search in it. A zipper is a powerful abstraction that pays off over time. However, it is not as…
346
Writing a competitive BZip2 encoder in Ada from scratch in a few days (2024)
Spoiler : it is also likely already the best BZip2 encoder for a given block size. See the green charts below. Note for subscribers: if you...
347
Ways to generate SSA
Static Single Assignment is a program representation where each “variable” (though this term can be misleading) is assigned exactly once. Mostly the variables aren’t variables at all, but instead names for values—for expressions. SSA is used a lot in compilers. See this lesson from Cornell for converting Bril to SSA…
348
Fixing left and mutual recursions in grammars
Left & Mutual Recursion Mitigation
349
Zig / C++ Interop
Learn how we use macros to make it less painful to use Zig structs in C++ (and vice versa)
350
`std::flip`
std::flip is a little-known utility from the C++ standard library header <functional>: it is a higher-order function that accepts a Callable and returns an equivalent Callable with the order of its parameters reversed (or “flipped”).
351
Contracts for C
C++ seems to finally converge with their contracts proposal, I decided to give it a try and come up with ideas how such a thing would look for C. This is in early stages, not a full proposal yet, a…
352
Zig's New Writer
Karl Seguin's Blog - A mix of coding and creative writing
353
Lambda Calculus and Lisp, part 1
The first of a series of envisioned blog posts on lambda calculus, and Lisp. It’s unclear exactly where to start: there is a whole heap of interesting issues, both theoretical and in terms of concrete implementations, which tangle and interconnect. A particular application of lambda calculus is a very salient…
354
Zig 0.15.1
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
355
The Expression Problem and its solutions (2016)
The craft of programming is almost universally concerned with different types of data and operations/algorithms that act on this data [1] . Therefore, it's hardly surprising that designing abstractions for data types and operations has been on the mind of software engineers and programming-language designers since…
356
Ada crate of the year 2024 announced
In 2024 we announced our fourth Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for Ada/SPARK, so we want to…
357
Writing a .NET Garbage Collector in C# – Part 1
First part of a series of articles about writing a .NET Garbage Collector in C# using NativeAOT. This part sets the expectations and setups the project, dealing with the first difficulties.
358
Is Fortran better than Python for teaching basics of numerical linear algebra?
Quarto Academic Website Template adapted by Dr. Gang He
359
360
Falsehoods programmers believe about null pointers
Null pointers look simple on the surface, and that’s why they’re so dangerous. As compiler optimizations, intuitive but incorrect simplifications, and platform-specific quirks have piled on, the odds of making a wrong assumption have increased, leading to the proliferation of bugs and vulnerabilities. This article…