1
2
Speed up Magit on macOS by using Git from Homebrew (gregnewman.io)
2
PostgreSQL replication slots: preventing WAL bloat and other production issues (morling.dev)
4
A new Finnish flavor of feline coat coloration, "salmiak" (wiley.com)
1
Phil Rogaway on Computer Science (nist.gov)
3
Getting started with the W65C832 FPGA core, a 32 bit extended 6502 (joedavisson.com)
2
Re-implementing the Nix protocol in Rust (tweag.io)
1
Rain of Fire Falling: The crash of American Airlines flight 191 (admiralcloudberg.medium.com)
1
Gofumpt: A Stricter Gofmt (github.com/mvdan)
1
Performance of memory reclamation for lockless synchronization [pdf] (toronto.edu)
2
SIMD in Rust: you do not need multithreading to do more than one thing at a time (saares.eu)
18
The Story of Mel, A Real Programmer, Annotated (1996) (utah.edu)
1
Client rate throttling in the Heroku platform API Ruby gem (schneems.com)
3
Idris 2: quantitative type theory in practice (arxiv.org)
2
Type Inference Zoo (cuichen.cc)
2
Weird architectures weren't supported to begin with (yossarian.net)
1
Emacs which-key vs. Embark for help on prefix keymaps (matem.unam.mx)
1
Parsing Mixfix Operators (chalmers.se)
1
A Mind Is Born: 256 byte Commodore 64 demo (linusakesson.net)
1
Critical Analysis of the Meshtastic Protocol (disk91.com)
1
What is my fuzzer doing? How to get coverage of Rust code (tweedegolf.nl)
3
Picking uncontested private IP subnets with usage data (benjojo.co.uk)
3
The plight of the misunderstood atomic memory ordering (grayolson.me)
1
Mach-O linking and loading tricks (darlinghq.org)
1
Nasal Sprays for Covid Prophylaxis (ceb.dreamwidth.org)
1
Statistical shortcomings in standard math libraries, and how to fix them (evanmiller.org)
1
Exploring ways to make async Rust easier (carllerche.com)
1
Making openat(2) and friends more useful in OpenBSD (undeadly.org)
2
Taichi: High-performance parallel programming in Python (taichi-lang.org)
1
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution (github.com/sweirich)
2
The AMEN Combinators [pdf] (2013) (uu.nl)
1
Programming = proving? The Curry-Howard correspondence today (xavierleroy.org)
4
Eļ¬cient manipulation of binary data using pattern matching [pdf] (uu.se)
4
Structured combinators for efficient graph reduction [pdf] (fun-arch.org)
1
A brief history of Erlang's BEAM compiler (2018) (erlang.org)
1
Vectorized interpreters: mass rapid transit for programming languages [pdf] (venge.net)
4
Building accurate postal address matching systems (robinlinacre.com)
1
Using otel to emit and view debug traces from Golang command-line tools (github.com/jonjohnsonjr)
1
Tantacrul on Finale: how music software dies. [video] (youtube.com)
1
The SLAX scripting language: an alternative syntax for XSLT (juniper.github.io)
2
Recovering control flow structures from Java bytecode without CFGs (purplesyringa.moe)
2
Programming Parallel Computers (aalto.fi)
3
Parsing layout, or: Haskell's syntax is a mess (amelia.how)
1
Roadmap Towards the Redefinition of the Second (2024) (iop.org)
3
That boolean should probably be something else (ntietz.com)
5
Use test data that looks like data (thorstenball.com)
2
When do pattern match compilation heuristics matter? (tufts.edu)
1
Where did C++ <random> go wrong? [pdf] (codingnest.com)
1
Relocation Generation in Assemblers (maskray.me)
2
POSIX shell and utilities quick reference (shellhaters.org)
1
From Prometheus to RRDtool Graphs (isatty.net)
1
Three Cases Against If Not Exists / If Exists in PostgreSQL DDL (2021) (postgres.ai)
9
phkmalloc (freebsd.dk)
1
Netbird: Connect your devices into a WireGuard overlay network with SSO, MFA and (github.com/netbirdio)
2
Let's create a Tree-sitter grammar (jonashietala.se)
1
UK Online Safety Act Notes for Small Sites (2024) (garrett.co.uk)
1
A Python frozenset interpretation of dependent type theory (philipzucker.com)
2
The database row that did and didn't exist according to Django (mistys-internet.website)
1
The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) g [pdf] (clemson.edu)
3
The Epic Verse calculus: a core calculus for functional logic programming (peytonjones.org)
2
Against Curry-Howard Mysticism (liamoc.net)
2
The Manchester Compiler Compiler and CPL: reflections of a user 50 years on [pdf] (manchester.ac.uk)
62
10 Years of Pomological Watercolors (parkerhiggins.net)
2
ECFiber: Building a fibre-to-the-premises network in rural Vermont (2021) (apnic.net)
2
Bluefishjs: Composing Diagrams in with Declarative Relations (acm.org)
2
Heron: Modern Hardware Graph Reduction (2024) (acm.org)
2
Portable dynamically linked packages on Linux (brioche.dev)
1
I Got Plenty o' Nuttin': linear dependent types [pdf] (strath.ac.uk)
1
A collection of articles about retries (justinblank.com)
1
Arithmetic with Continued Fractions (plover.com)
2
BNFGen: A random text generator based on context-free grammars (baturin.org)
2
Staged compilation with two-level type theory [pdf] (andraskovacs.github.io)
1
Autosetup: A Tcl-based build environment "autoconfigurator" (msteveb.github.io)
1
Haflang: Hardware Acceleration of Functional Languages (haflang.github.io)
9
Bluefishjs: A diagram drawing framework for JavaScript (bluefishjs.org)
1
The Joys of Unix Keyboards (donatstudios.com)
1
Thoughts on Hashing in Rust (purplesyringa.moe)
1
A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf] (leafpetersen.com)
1
A Retrospective on SCCS, the Source Code Control System [pdf] (mrochkind.com)
1
Fast type class resolution with a trie (welltypedwit.ch)
3
Fixing the traffic jam in the science of technology safety (citizensandtech.org)
1
Dependent types and program equivalence [pdf] (2010) (upenn.edu)
1
Fend: An arbitrary-precision unit-aware calculator (github.com/printfn)
1
What's higher-order about so-called higher-order references? (williamjbowman.com)
1
Faer: A general-purpose linear algebra library for Rust (docs.rs)
1
Rewriting the Ruby Parser (railsatscale.com)
1
Dependent types at work in Agda [pdf] (chalmers.se)
1
The complexity and performance of parsing with derivatives (acm.org)
2
Simulating time with square-root space (arxiv.org)
3
Deploying IPv6-mostly access networks (ripe.net)
1
Boolean Blindness (existentialtype.wordpress.com)
25
Posit floating point numbers: thin triangles and other tricks (2019) (marc-b-reynolds.github.io)
3
Jef Raskin: Intuitive equals familiar. (1994) (acm.org)
2
Efficient communication and collection with compact normal forms in Haskell [pdf] (ezyang.com)
2
Pattern matching and exhaustiveness checking algorithms implemented in Rust (github.com/yorickpeterse)
2
HashChain: A family of fast factor-based sublinear exact-matching string se (github.com/nishihatapalmer)
1
Eidophor: 1950's space age video projection technology. [video] (youtube.com)
1
Triangle of power notation: exponents roots and logarithms (emory.edu)
1
Situated Software (archive.org)
1