fanf2

Mon Aug 9, 2010 6:18pm PST

Karma:

41489

about

dot@dotat.at

https://dotat.at (home page)

https://dotat.at/@/ (blog)

https://dotat.at/:/ (links)

erstwhile fanf@isc.org hostmaster@cam.ac.uk postmaster@cam.ac.uk fanf@exim.org fanf@apache.org

submitted

Sat Apr 26, 2025 2:42pm PST

Probabilistic programming: doing statistics using the tools of computer science

@fanf2

3

Sat Apr 26, 2025 11:42am PST

Fuzzing TLS certificates from their ASN.1 grammar

@fanf2

2

Sat Apr 26, 2025 8:42am PST

Compile-time speed analysis of compiler frameworks for database query compilatio [pdf]

@fanf2

2

Fri Apr 25, 2025 8:42pm PST

Reasons Kubernetes is so complex (2022)

@fanf2

1

4

Fri Apr 25, 2025 5:42pm PST

Internal Combustion Engine

@fanf2

1

2

Fri Apr 25, 2025 11:42am PST

Birth of the Bazel

@fanf2

1

Thurs Apr 24, 2025 8:42pm PST

TOTP Key URI Format

@fanf2

1

3

Thurs Apr 24, 2025 2:42pm PST

Fundamental flaws of SIMD ISAs (2021)

@fanf2

16

138

150

Thurs Apr 24, 2025 8:42am PST

International meteor organization / international fireball program: amateur data

@fanf2

1

Wed Apr 23, 2025 8:42pm PST

Memento filter: a fast, dynamic, and robust range filter

@fanf2

1

Wed Apr 23, 2025 5:42pm PST

Reproducible builds for Debian: a big step forward

@fanf2

1

Wed Apr 23, 2025 11:42am PST

Proving a stupid sort algorithm with Dafny

@fanf2

1

Tues Apr 22, 2025 8:42pm PST

Misconceptions about static analysis of loops in C (2024)

@fanf2

1

8

Tues Apr 22, 2025 11:42am PST

NIST Uncertainty Machine

@fanf2

3

Mon Apr 21, 2025 8:42pm PST

C++ Boost:Unordered_flat_map

@fanf2

3

Mon Apr 21, 2025 2:42pm PST

Pivotal Moments in the History of Timekeeping

@fanf2

1

Mon Apr 21, 2025 8:42am PST

How to solve the hardest logic puzzle

@fanf2

2

Sun Apr 20, 2025 5:42pm PST

Votes for children Why we should lower the voting age to six

@fanf2

1

1

3

Sun Apr 20, 2025 2:42pm PST

Unexpected uses of the GF2P8AFFINEQB bit matrix multiply instruction

@fanf2

3

Sun Apr 20, 2025 11:42am PST

Simple as in SNMP

@fanf2

4

Sun Apr 20, 2025 8:42am PST

Jlibtool: A replacement for libtool written in C

@fanf2

3

Sat Apr 19, 2025 8:42pm PST

Fear and loathing of the English passive [pdf]

@fanf2

7

Sat Apr 19, 2025 5:42pm PST

A modest proposal: C++ resyntaxed. (1996)

@fanf2

4

Sat Apr 19, 2025 2:42pm PST

Switching on Strings in Zig

@fanf2

3

Fri Apr 18, 2025 8:42pm PST

Why do we call it "boilerplate code?" (2022)

@fanf2

2

1

3

Fri Apr 18, 2025 5:42pm PST

The future of Clang-based tooling (2023)

@fanf2

2

2

Fri Apr 18, 2025 2:42pm PST

Modern CPUs have a backstage cast of support cores (2023)

@fanf2

1

3

Fri Apr 18, 2025 11:42am PST

Java got the generics it has, or, how I learned to stop worrying and love ty

@fanf2

1

Thurs Apr 17, 2025 5:42pm PST

What do bodies think about? (2023)

@fanf2

1

3

Thurs Apr 17, 2025 2:42pm PST

Flatter wait-free hazard pointers

@fanf2

4

Wed Apr 16, 2025 5:42pm PST

SnapperGPS 2: a printed circuit board design for a snapshot GNSS receiver

@fanf2

1

2

Wed Apr 16, 2025 11:42am PST

Using bitmaps to perform range queries

@fanf2

1

Tues Apr 15, 2025 8:42pm PST

Imberbus: A classic bus service across the Salisbury Plain to the lost village o

@fanf2

1

Tues Apr 15, 2025 11:42am PST

A Prototype Original iPod

@fanf2

1

Tues Apr 15, 2025 8:42am PST

Automatic server reloading on change in Rust with listenfd and systemfd

@fanf2

2

Mon Apr 14, 2025 8:42pm PST

Spin: Formal verification of multi-threaded code

@fanf2

1

2

7

Mon Apr 14, 2025 3:57pm PST

Flat origami is Turing complete (2023)

@fanf2

2

1

4

Mon Apr 14, 2025 2:42pm PST

PopSec: How not to blow up a pipeline [pdf]

@fanf2

1

Mon Apr 14, 2025 11:42am PST

The thing about the Kobayashi Maru

@fanf2

9

Mon Apr 14, 2025 8:42am PST

What is algebraic about algebraic effects and handlers?

@fanf2

3

Sun Apr 13, 2025 5:42pm PST

Standard ML ideas, principles, culture [pdf]

@fanf2

3

Sun Apr 13, 2025 11:42am PST

The London Underground is too hot, but it's not an easy fix

@fanf2

1

1

3

Sat Apr 12, 2025 8:42pm PST

Numbat: A statically typed programming language for scientific computations with

@fanf2

6

Sat Apr 12, 2025 5:42pm PST

A 3D mouse with 3D printed flexures and PCB coils

@fanf2

2

2

16

Sat Apr 12, 2025 2:42pm PST

Adjust your sett: a tartan editor

@fanf2

2

Sat Apr 12, 2025 11:42am PST

RSS/Atom feed best practise

@fanf2

10

Sat Apr 12, 2025 8:42am PST

High performance correctly rounded math libraries for 32-bit floating point

@fanf2

7

Fri Apr 11, 2025 8:42pm PST

Sharun: Run dynamically linked ELF binaries everywhere

@fanf2

4

Fri Apr 11, 2025 2:42pm PST

How to unlock LUKS using Dropbear SSH keys remotely in Linux

@fanf2

3

Fri Apr 11, 2025 11:42am PST

Y-cruncher: a multi-threaded Pi program

@fanf2

2

Fri Apr 11, 2025 8:42am PST

Please stop calling databases CP or AP

@fanf2

2

Thurs Apr 10, 2025 8:42pm PST

C23 is coming: here's what's on the menu

@fanf2

2

Thurs Apr 10, 2025 5:42pm PST

Owi: Performant parallel symbolic execution made easy with OCaml and WebAssembly

@fanf2

1

Thurs Apr 10, 2025 2:42pm PST

Hollywood: Split a computer console into multiple panes of genuine technical mel

@fanf2

3

Thurs Apr 10, 2025 11:42am PST

Build better Golang release binaries [video]

@fanf2

2

Thurs Apr 10, 2025 8:42am PST

The Black Death: Marmots and Mongols?

@fanf2

2

Wed Apr 9, 2025 8:42pm PST

Bubble sort is not robust either (2024)

@fanf2

2

1

5

Wed Apr 9, 2025 5:42pm PST

A dictionary of affixes: the building blocks of English

@fanf2

4

Wed Apr 9, 2025 2:42pm PST

Policy for the distribution of ISO publications and the protection of ISO's co

@fanf2

1

Wed Apr 9, 2025 8:42am PST

Wayland isn't going to save the Linux desktop

@fanf2

7

11

9

Tues Apr 8, 2025 8:42pm PST

The State of Garnet in 2025

@fanf2

1

2

Tues Apr 8, 2025 5:42pm PST

Incremental zero-config code navigation using stack graphs with Tree-sitter at G (2021)

@fanf2

1

1

Tues Apr 8, 2025 8:42am PST

Less Htmx Is More

@fanf2

21

116

169

Mon Apr 7, 2025 5:42pm PST

Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

@fanf2

4

13

94

Mon Apr 7, 2025 11:42am PST

Carl Linnaeus's note-taking innovations

@fanf2

1

Mon Apr 7, 2025 8:42am PST

RISC-V vector extension overview

@fanf2

4

Sun Apr 6, 2025 8:42pm PST

Constant-time code: the pessimist's case

@fanf2

1

Sun Apr 6, 2025 2:42pm PST

Pam Unixsock

@fanf2

3

Sun Apr 6, 2025 11:42am PST

Pv: Pipe Viewer Progress Bar

@fanf2

3

Sat Apr 5, 2025 8:42pm PST

A map of every road sign in the Netherlands

@fanf2

6

Sat Apr 5, 2025 11:42am PST

Overlays Get Ignored

@fanf2

2

Sat Apr 5, 2025 8:42am PST

Ethicswishing

@fanf2

1

Fri Apr 4, 2025 8:42pm PST

Performance of returning errors vs. exceptions in Go and C++

@fanf2

3

Fri Apr 4, 2025 8:42am PST

Hardening Unused Mail Domains

@fanf2

2

Thurs Apr 3, 2025 5:42pm PST

Finding the bottom turtle: bootstrapping from source

@fanf2

1

Thurs Apr 3, 2025 2:42pm PST

Working around a case where the PostgreSQL planner is "not smart" (2021)

@fanf2

1

3

Thurs Apr 3, 2025 8:42am PST

Ugrapheme: Unicode extended grapheme clusters in nanoseconds with Python

@fanf2

1

Wed Apr 2, 2025 5:42pm PST

50 years of text games – 1977: Zork

@fanf2

1

Wed Apr 2, 2025 11:42am PST

IPtables Interactive Diagram

@fanf2

1

Wed Apr 2, 2025 8:42am PST

What does f(x) mean in C++?

@fanf2

1

Tues Apr 1, 2025 8:42pm PST

Ultra-processed foods, diet quality, and health using the NOVA classification sy [pdf]

@fanf2

3

Tues Apr 1, 2025 11:42am PST

Gaussian random number generators [pdf]

@fanf2

1

Tues Apr 1, 2025 8:42am PST

OmniPaxos: Replicated state machine and consistent distributed log in Rust

@fanf2

1

Mon Mar 31, 2025 4:22pm PST

Empowering WebAssembly with Thin Kernel Interfaces

@fanf2

1

1

6

Mon Mar 31, 2025 8:42am PST

Adding Apple's globe key to a QMK-powered keyboard

@fanf2

1

Sun Mar 30, 2025 8:42pm PST

A simple, possibly correct, LR parser for C11

@fanf2

5

Sun Mar 30, 2025 2:42pm PST

KGT (Kate's grammar tool): BNF dialect converter and railroad diagram generato

@fanf2

2

Sun Mar 30, 2025 8:42am PST

Keep calm and panic: performance of errors in Golang

@fanf2

1

Sun Mar 30, 2025 1:57am PST

Syntax Highlighting with Tree-sitter

@fanf2

2

Sat Mar 29, 2025 3:42pm PST

Designing Rust client bindings for REST APIs

@fanf2

1

Sat Mar 29, 2025 9:42am PST

Box plots are the better default choice for visualizing performance

@fanf2

4