A break from programming languages, by Alexis King.
Breaking the Sorting Barrier for Directed Single-Source Shortest Paths, by Ran Duan, Jiayi Mao, Xiao Mao, Xinkai Shu, and Longhui Yin. “We give a deterministic O(m log2/3n)-time algorithm for single-source shortest paths (SSSP) on directed graphs with real non-negative edge weights in the comparison-addition model. This is the first result to break the O(m+n log n) time bound of Dijkstra’s algorithm on sparse graphs, showing that Dijkstra’s algorithm is not optimal for SSSP.” (Won STOC Best Paper Award.)
A Guided Tour of Polarity and Focusing (YouTube), talk by Chris Martens. Excellent introduction! Additional material.
Multi-Stage Programming with Splice Variables, by Tsung-Ju Chiang and Ningning Xie (ICFP 2025).
Steel is an embeddable scheme interpreter with bytecode VM, written in Rust.
Zeekstd, a Rust implementation of the Zstandard Seekable Format.
Precision Clock Mk IV, by mitxela. What a level of detail!