961
Turing Machines
An interactive introduction to Turing machines, the theoretical foundation of modern computing.
962
What is the best pointer tagging method?
In this post, we are going to take a deep dive into pointer tagging, where metadata is encoded into a word-sized pointer. Doing so allows us to keep a compact representation that can be passed around in machine registers. This is very common in implementing dynamic programming languages, but can really be used…
963
Recursion, continuations and trampolines (2017)
How is tail recursion different from regular recursion? What do continuations have to do with this, what is CPS, and how do trampolines help? This article provides an introduction, with code samples in Python and Clojure.
964
Linear Algebra of Types (2019)
It gives my brain a pleasant thrum to learn new mathematics which mimics the algebra I learned in middle school. Basically this means that the new system has operations with properties that match those of regular numbers as much as possible. Two pretty important operations are addition and multiplication with the…
965
Understanding React Compiler
Cache all the things. How React Compiler works under-the-hood.
966
How GCC and Clang handle statically known undefined behaviour
Recently, we had a discussion in our team about undefined behaviour (UB) in C. For those unfamiliar: We say that a program has undefined behaviour when we write code where the language specification doesn't define what should happen during execution. That means compilers can do whatever they like if they encounter…
967
Outsourcing Cost Boeing Billions (2019)
On October 29, 2018 Lion Air Flight 610, a 737 MAX 8 flight from Jakarta, Indonesia to Pangkal Pinang, Indonesia, crashed into the sea 13…
968
969
Boring Python: dependency management (2022)
*This post has been significantly updated since it was originally written. The most recent update was in September 2026; a …
970
Compilers are too smart
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…
971
A few facts about POSIX
MEGA888 merupakan link alternatif slot gacor tutorial terbaru cara bermain game slot88 server indonesia penuh kesempatan menang maksimal teori konspirasi nyata pasti maxwin.
972
Closed form arc length parametrization is impossible for quadratic Bézier curves
Bézier curves are widely used for defining vector graphics. They are basically polynomial parametric curves, but given in the Bernstein basis, which enables us to define the curve using control points. The first and last control point define the start and endpoint of the curves, the intermediate control points kind of…
973
TIL: Some surprising code execution sources in bash
I ran across two surprising sources of code execution in bash (and probably other shells) recently.
974
Bit Vectors and my first steps into assembly
Trying to speedup my lexer using lookups and bitvectors but simd was just a step to far for me.
975
Compiling a Lisp (2020)
Overture to our small Lisp to x86-64 compiler
976
Self-contained Linux applications with lone Lisp
Creating standalone Linux applications with lone.
977
Speeding up the Rust edit-build-run cycle
There are two main aspects to compile times that matter to developers. Cold build times, when building from scratch and warm build times when you’ve already built and you’re rebuilding following an edit. This article focuses on warm build times, which for rapid iteration during development is what generally matters…
978
Dissecting the gzip format (2011)
In this article I describe the DEFLATE algorithm that GZIP implements and depends on. The DEFLATE algorithm uses a combination of LZ77, Huffman codes and run-length-encoding; this article describes each in detail by walking through an example and developing source code to implement the algorithm. My aim is to…
979
980
PIDs: Creating Stable Control in Games
Using a game use-case to motivate and explain PIDs
981
The LMAX Architecture (2011)
LMAX is a retail financial trading system that can handle that can 6 million orders per second on a single JVM thread. The business logic runs in-memory surrounded by disruptors using event sourcing.
982
Emacs: Contextual Interfaces in Casual Calc
A compelling idea in the Transient UI package is the ability to craft interfaces where commands specific to a context can be discovered and used. Such contextual interfaces enable a user to...
983
Space-filling curves, constructively
In 1890 Giuseppe Peano discovered a square-filling curve , and a year later David Hilbert published his variation . In those days people did not waste readers’ attention with dribble – Peano explained it all on 3 pages, and Hilbert on just 2 pages, with a picture!
984
985
Lamport Clocks
Last weekend I wanted to get some inspiration to write some TLA+ spec and I got my hands back on the paper Time, Clocks, and the Ordering of Events...
986
Don’t look down on print debugging
Print good, not bad!
987
The Dual Nature of Events in Event-Driven Architecture
On Software Architecture, Programming Languages,…2024112 points63 commentsSoftware Engineering details
Given that events play such a central role in event-driven architecture, there’s an astonishing lack of agreement on what should be contained in an event. This may be rooted in the fact that, depending on your perspective, events fulfill different purposes.
988
Python Modern Practices
Good development practices for modern Python
989
Linux Text Manipulation
learning a lot about sed, awk and other commands by making a spotify statusbar widget
990
I added some optimizations to my compiler that turns Lisp into JavaScript
Smaller programs that do less work.