Stories by fanf2

Libtree: Ldd as a tree saying why a library is found or not

Protecting PostgreSQL from FreeBSD's OOM Killer

Speeding up crash recovery and VACUUM in PostgreSQL 14

Waiting for PostgreSQL 14: SEARCH and CYCLE clauses (2021)

Retroﬁtted parallelism considered grossly sub-optimal

Diff modulo base, for comparing rebased branches

ITU News Magazine: The Future of Coordinated Universal Time

Rust and C++ Interoperability

Add a facility to sshd(8) to penalise particular problematic client behaviours

Italian streets that don't exist on any map (2022)

What is the "God Mode" folder in Windows 10, and how do I enable it? (2022)

Migrating from Emacs lsp-mode to Eglot

Lon Lat or Lat Lon?

Classical data structures that can outperform learned indexes

Call-by-push-value: decomposing call-by-value and call-by-name [pdf]

Can your static type system handle linear algebra?

Benchmarking Division and Libdivide on Apple M1 and Intel AVX512 (2021)

Bit-twiddling abstract addition with unknown bits (2020)

bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis [pdf]

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers