2251
Implementing SM-2 in Rust
An implemenation of the SuperMemo-2 algorithm.
New
The latest blog posts to take off on Hacker News. 14,540 posts.
2252
Write Your Own Virtual Machine (2022)
In this tutorial, I will teach you how to write your own virtual machine (VM) that can run assembly language programs, such as my friend’s 2048 or my Roguelike . If you know how to program, but would like to gain a deeper understanding of what is going on inside a computer and better understand how programming…
2253
Lua is so underrated
Introduction The more I learn about Lua's design and implementation, the more impressed I am. It's very rare to see software that does so much with so lit...
2254
A Simple ELF
The Ivory Tower is a blog about software engineering and development philosophy by Anders Sundman.
2255
2256
Seconds Since the Epoch
This is not at all news, but it comes up often enough that I think there should be a concise explanation of the problem. People, myself included, like to say that POSIX time, also known as Unix time, is the number of seconds since the Unix epoch , which was 1970-01-01 at 00:00:00.
2257
I thought I found a bug
So I was working on improving a DOS emulator, when I found that something seemingly trivial wasn’t working right when COMMAND.COM was asked to do the following:
2258
Into CPS, Never to Return
CPS, or continuation-passing style, is an intermediate representation for programs, particularly functional programs. It’s used in compilers for languages such as SML and Scheme. Much of its utility comes from its support for tail calls and nonlocal control flow such as call/cc, but it can also be used as an…
2259
2260
JavaScript Benchmarking Is a Mess
Design decisions core to JavaScript have caused a multitude of problems for benchmarking. Is there a solution to this?
2261
Demystifying Debuggers, Part 2: The Anatomy of a Running Program
On the concepts involved in a running program. What happens, exactly, when you double click an executable file, or launch it from the command line, and it begins to execute?
2262
C++ is an absolute blast
Where I try to explain why I feel like C\+\+ is so much fun, and to correct some misinformation.
2263
The intricacies of implementing memoization in Ruby
A long time ago, I wrote a memoization library for Ruby. It was not easy, but I learned a great deal in the process. In this article, I am share these learnings and showing you how deep the memoization rabbit hole goes.
2264
On the nature of computing science (1984)
Now this summer school draws to a close, it seems appropriate to try to put its topic into some perspective
2265
Navtive FlameGraphViewer
This website is for sale! laladrik.xyz is your first and best source for information about laladrik. Here you will also find topics relating to issues of general interest. We hope you find what you are looking for!
2266
What would it take to add refinement types to Rust?
A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust that checked that the code was using units of measures correctly, e.g. a distance in meters is not a distance in centimeters, dividing meters by seconds gave you a value in m / s (aka m * s^-1). YAIOUOM was an example of a refinement…
2267
Cognitive load is what matters
There are so many buzzwords and best practices out there, but let's focus on something more fundamental. What matters is the amount of confusion developers feel when going through the code.
2268
The Jujutsu version control system
The missing introduction.
2269
Long Term Software Development
Recently the Dutch Electoral Board (where I am also a very part time advisor) invited me to do a talk reflecting on their open source Abacus vote tabulation software. Much software is now provided as a service, and is typically deployed continuously (CD, continuous deployment), surrounded by enough automated testing…
2270
Four limitations of Rust's borrow checker
I’ve been using Rust for hobby projects since 2016 and have been working professionally in Rust since 2021, so I tend to consider myself pretty knowledgeable about Rust. I’m already familiar with all the common limitations of Rust’s type system and how to work around them, so it’s pretty rare that I have to “fight the…
2271
Reads Causing Writes in Postgres
It is good practice to regularly inspect the statements running in the hot path of your Postgres instance. One way to do this is to examine the pg_stat_statements view , which shows various statistics about the SQL statements executed by the Postgres server.
2272
Murder Mystery: GCC builds failing after sbuild refactoring
This is the story of an investigation conducted by Jochen Sprickerhof, Helmut Grohne, and myself. It was true teamwork, and we would have not reached the bottom of the …
2273
Slow deployment causes meetings (2015)
First published 2016.
2274
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.
2275
Dividing unsigned 8-bit numbers
Division is quite an expensive operation. For instance, latency of the 32-bit division varies between 10 and 15 cycles on the Cannon Lake CPU, and for Zen4 this range is from 9 to 14 cycles. The latency of 32-bit multiplication is 3 or 4 cycles on both CPU models.
2276
Curl removes experimental HTTP back end in Rust
The ride is coming to an end. The experiment is done. We tried, but we admit defeat. Four years ago we started adding support for an alternative HTTP backend in curl. It would use a library written in rust, called hyper. The idea was to introduce an alternative implementation of HTTP internals that you could ……
2277
Keeping a Changelog at Work (2020)
What did you do at work today? How about last week? I spent a couple of days in quarterly business reviews, and wrapped up yearly planning activities for AWS Data Exchange and AWS Marketplace. I also added some unit tests to a project that I am onboarding into.
2278
Turing Machines
An interactive introduction to Turing machines, the theoretical foundation of modern computing.
2279
How types make hard problems easy
A deep dive into how I use types to the fullest
2280
There's No Such Thing as Software Productivity (2012)
Bill Caputo , through repeated conversations we've had, has convinced me of something very surprising. It was something that changed the way I think about the world, and how I do my job.