7921
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!
New
The latest blog posts to take off on Hacker News. 49,204 posts.
7922
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…
7923
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.
7924
When power cycling your (x86) server isn't enough to recover it
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
7925
The Jujutsu version control system
The missing introduction.
7926
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…
7927
How bloom filters made SQLite 10x faster
This is the fascinating story of how researchers used Bloom filters cleverly to make SQLite 10x faster for analytical queries. These are my five-minute notes on the paper SQLite: Past, Present, and Future
7928
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…
7929
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.
7930
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 …
7931
I sensed anxiety and frustration at NeurIPS 24
last week at NeurIPS’24, one extremely salient thing was the anxiety and frustration felt and expressed by late-year PhD students and postdocs who were confused by the job market that looks and feels so much different from what they expected perhaps when they were applying for PhD programs five or so years ago. and…
7932
Slow deployment causes meetings (2015)
First published 2016.
7933
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.
7934
A data table thousands of years old (2020)
I knew that data tables had been around a long time, but I didn't appreciate how long until I read recently about account-keeping in ancient Mesopotamia.
7935
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.
7936
7937
Collatz’s Ant
if $n \equiv 0 \, (\text{mod}\, 2)$ the ant turns 90º clockwise, else the ant turns 90º counter-clockwise. On both accounts, the state of the cell is flipped and the ant moves forward one unit. This is repeated until $n = 1$.
7938
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 ……
7939
The Ugly Truth About Spotify Is Finally Revealed
A year-long investigation by an indie journalist is a call to action
7940
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.
7941
Turing Machines
An interactive introduction to Turing machines, the theoretical foundation of modern computing.
7942
DOS APPEND
For a long time, I couldn’t quite grasp what the DOS APPEND command could possibly be good for. Until I came across a situation which APPEND was made for.
7943
Why are UK electricity bills so expensive?
I recently built a website that breaks down the cost of a UK electricity bill. It's interactive, and I'd recommend visiting it before reading this post. Check it out here: electricitybills.uk Here are three interesting things about the data. #1: The wholesale power cost is only one third of
7944
7945
Spherical Harmonics
3D visualization tool of spherical harmonics. Visualize and compare real, imaginary, and complex components by adjusting the degree l and order m parameters.
7946
7947
How types make hard problems easy
A deep dive into how I use types to the fullest
7948
Polyamory doesn't liberate; monogamy doesn't protect
Reflections and community quotes from a decade in the Bay Area dating landscape.
7949
Music and Geometry: Intervals and Scales
An article about music and geometry, in particular about musical intervals and scales and their geometric equivalent ...
7950
Revisiting Stereotype Threat
A Reckoning for Social Psychology