1921
Tvix: We Are Rewriting Nix
TVL's blog
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 3,470 posts.
1922
DataLake
A Data Lake is a store that hold raw data as a source for data scientists to explore ways to gain information. It should not be accessed by end-users or used for system integration.
1923
1924
Hands-Free Coding (2020)
Earlier this year, I lost the ability to use a keyboard and mouse for extended periods. Fortunately, this wasn't as catastrophic as it sounds! This article chronicles my experience using adaptive tools like dictation and eye-tracking as my primary mechanisms for writing code.
1925
1926
Parallelism in Crystal
Crystal has made a huge step forward to have parallelism as a first class citizen. In short, you can set up the number of worker threads on runtime and each new fiber will be scheduled to run on one of them. Channel and select will work seamlessly. You are allowed to share memory between workers, but you will probably…
1927
Getting to Docker 1.0
Docker is a founding member of the Blueprint Alliance, a 12-company reference architecture for securing AI agents, built around four governance questions.
1928
Speculation in JavaScriptCore
This post is all about speculative compilation, or just speculation for short, in the context of the JavaScriptCore virtual machine.
1929
Quasi-Polynomial Algorithm for Graph Isomorphism
Update (Dec. 14): The long wait is over! Here’s Laci’s paper on the arXiv. So far, I’ve read it only deeply enough to note that it contains the following sentence: A group G ≤ S…
1930
Bring your monorepo down to size with sparse-checkout
Git 2.25.0 includes a new experimental git sparse-checkout command that makes the existing feature easier to use, along with some important performance benefits for large repositories.
1931
XKCD Plots in Matplotlib: Going the Whole Way
One of the most consistently popular posts on this blog has been my XKCDify post, where I followed in the footsteps of others to write a little hack for xkcd-style plotting in matplotlib. In it, I mentioned the Sketch Path Filter pull request that would eventually supersede my ugly little hack.
1932
1933
Memory Reordering Caught in the Act
When writing lock-free code in C or C++, one must often take special care to enforce correct memory ordering. Otherwise, surprising things can happen. Intel lists several such …
1934
1935
Past, present, and future of Sorbet type syntax
A discussion of how Sorbet's type syntax came to be, the problems it solves, and how it could improve.
1936
Shell Has a Forth-Like Quality
This post takes a short break from ASDL to expand on one of my Hacker News comments.
1937
Pretty State Machine Patterns in Rust (2016)
A computer scientist working in open source towards a more hopeful future.
1938
A better merge workflow with Jujutsu
A merge workflow for activating multiple branches simultaneously using Jujutsu, an alternative VCS to Git.
1939
An Ill-Advised Personal Note about "Media for Thinking the Unthinkable"
The talk I released today is called " Media for Thinking the Unthinkable ". It's the most personal talk I've given, in that it was driven by my own motivations as opposed to someone else's.
1940
Non-Lexical Lifetimes in Rust
Over the last few weeks, I’ve been devoting my free time to fleshing out the theory behind non-lexical lifetimes (NLL). I think I’ve arrived at a pretty good point and I plan to write various posts talking about it. Before getting into the details, though, I wanted to start out with a post that lays out roughly how…
1941
Modular Errors in Rust
It is thankfully common wisdom nowadays that documentation must be placed as near as possible to the code it documents, and should be fine-grained to a minimal unit of describability (the thing being documented). The practice provides numerous benefits to the codebase and project as a whole:
1942
Building a baseline JIT for Lua automatically (2023)
This is the Part 2 of a series. Feel free to read the prequel for more context: Building the fastest Lua interpreter automatically Building a good VM for a dynamic language takes a ton of engineerin
1943
1944
Avoiding game crashes related to linked lists
Linked lists look harmless until they start detonating your game at runtime. This is the bug pattern far too many programmers miss.
1945
1946
Co-routines as an alternative to state machines (2009)
When you have to traverse some sort of a nested data structure (say, a binary tree), one approach is to create a stack that remembers where in the tree you are. Another, much more elegant approach, is to write the function recursively. A recursive function employs the machine stack used to implicitly implement…
1947
1948
Dangling by a Trivial Feature
It's not about technology for its own sake. It's about being able to implement your ideas.
1949
Vim Koans
These koans have been independently translated into Chinese (archived) , thanks to Wanzhang Sheng, and into Spanish (archived) , thanks to Daniel Campoverde Carrión.
1950
Querying Parquet with Precision Using DuckDB
DuckDB, a free and open source analytical data management system, can run SQL queries directly on Parquet files and automatically take advantage of the advanced features of the Parquet format.