1021
The Database Inside Your Codebase
Navigating codebases of any meaningful size is difficult. Most of a programmer's time is spent jumping through the codebase, reading or skimming to build a ment...
1022
MIT Scheme on Apple Silicon
Instructions for compiling and running MIT/GNU Scheme.
1023
Tools I use: PyCharm / Idea plugins
List of all the plugins I use in PyCharm and Idea.
1024
1025
Patten Matching in Nim
Nim fusion and pattern matching
1026
Animated guide to Symex: Emacs structural editing with Lisp
[This is about Symex.el , the Emacs extension for structural editing with Lisp. If you are unfamiliar with Symex, you could read the post introducing it , or TL;DR: just know that “symex” is short for Lisp symbolic expression / S-expression, and this extension provides a full-featured modal interface / Evil state for…
1027
Modern Text Features in R
ragg has taken a major leap forward in text-rendering capabilities with the latest releases of systemfonts, textshaping, and ragg itself. This post will go into detail with what is now possible and how it compares to the build in devices.
1028
Smooth Voxel Terrain, Part 2 (2012)
Last time we formulated the problem of isosurface extraction and discussed some general approaches at a high level. Today, we’re going to get very specific and look at meshing in particular.…
1029
Decompressing a Gzip File by Hand
2024 Update: Part 2 is out! Let’s make a gzipped file and see what’s in it. We’ll keep it simple: just write 8 ‘a’s to a file. $ echo "aaaaaaaa" > test.out $ xxd test.out 00000000: 6161 6161 6161 6161 0a aaaaaaaa. As we can see, our file is 9 bytes long. We have 8 ‘a’ bytes written, plus a Line Feed (LF) character…
1030
Obvious and possible software innovations
There are a number of things that people theoretically know how to do, but which aren’t possible because of how software gets made. Some of these are almost forgotten, but there are at least …
1031
The Plan for React 18
The library for web and native user interfaces
1032
Tvix: We Are Rewriting Nix
TVL's blog
1033
Calling Rust from Python using PyO3
speed up your Python using Rust
1034
A Data Pipeline Is a Materialized View
Say you run an online book store and want to build a data pipeline that figures out who the top-selling authors are. Logically, the input to the pipeline is a log of every individual book purchase on the store for all time, along with details about each book like who authored it. And the output is a list of the…
1035
Cap'n Proto 0.9
There’s no huge new features in this release, but there are many minor improvements and bug fixes. You can read the PR history to find out what has changed.
1036
Fuzzy Name Matching in Postgres
The page "Falsehoods Programmers Believe About Names" covers some of the ways names are hard to deal with in programming. This post will ignore most of those complexities, and deal with the problem of matching up loose user input to a database of names.
1037
HATEOAS: An Alternative Explaination
In this essay, Carson Gross explores HATEOAS (Hypermedia as the Engine of Application State), explaining how it enables REST APIs through hypermedia responses and contrasting it with modern JSON-based APIs. Using clear HTML examples, Carson demonstrates how HATEOAS allows clients to discover available actions…
1038
It Doesn't Work
8 AM. Like any other day, I take a quick glance at my GitHub notifications via Octobox.
1039
Avoid Git LFS if possible
I have long held the opinion that you should avoid Git LFS if possible. Since people keeping asking me why, I figured I'd capture my thoughts in a blog post so I have something to refer them to.
1040
Git as a NoSql Database (2016)
Git’s man-pages state that it’s a stupid content tracker. It’s probably the most used version control system in the world. Which is very strange, since it doesn’t describe itself as being a source control system. And in fact, you can use git to track any
1041
Treat Kubernetes clusters as cattle, not pets
ZITADEL is the identity infrastructure platform that is built for developers and works for all users and applications.
1042
Building an efficient and portable programming language with Zig
Zig is a general purpose programming language, meaning that if you have in front of you something that looks like a Von Neumann-ish, Turing-complete machine, you should be able to comfortably program it with Zig. Lately there has been a lot of interest in two such (virtual) machines: BPF and WebAssembly.
1043
The Reactive Monolith – How to Move from CRUD to Event Sourcing
Photo by Alex Wong on UnsplashWe all heard that story before: The big monolith which brings so much business value and faithfully serves our customers is starting to slow us down. The product vision is evolving towards reactive features, which means reacting in real time to multiple domain events in the right context…
1044
Representing SHA-256 Hashes as Avatars
How to turn 256 bits of entropy into a beautiful, avatar-friendly circular SVG: the Hashvatar.
1045
Local man switches to Arch, tells no one
Yesterday, at approximately 5:05pm, a Seattle area man installed Arch Linux on his home computer and has yet to tell anyone.
1046
A brief introduction to esoteric programming languages
This is the companion reference for A Brief Introduction to Esoteric Languages, my lecture for a friend’s college class. The video should be legible to other viewers, and the material here should be (mostly) understandable without watching the video. The Esolangs Listed roughly in order of appearance in the talk, with…
1047
I got nerd sniped into benchmarking legacy x86 instructions (2019)
How I got nerd sniped into benchmarking legacy x86 instructions
1048
Software Verification and Analysis Using Z3
Cutting-edge cyber security research from NCC Group. Find public reports, technical advisories, analyses, & other novel insights from our global experts.
1049
What’s wrong with Git? A conceptual design analysis (2016)
What’s wrong with Git? A conceptual design analysis De Rossi & Jackson Onward! 2013 We finished up last week talking about the how to find good concepts / abstractions in a software desig…
1050
Golang.org will be merged into go.dev
Consolidating our web sites onto go.dev.