fanf2

Mon Aug 9, 2010 6:18pm PST

Karma:

42780

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

Sun Oct 26, 2025 9:42pm PST

A bestiary of single-file programming language implementations

@fanf2

2

Sun Oct 26, 2025 12:42pm PST

3-way FTP: Pushing files around with silly and unusual methods

@fanf2

4

4

10

Sat Oct 25, 2025 8:42pm PST

ARM Memory Tagging: how it improves C/C++ memory safety (2018) [pdf]

@fanf2

7

45

71

Sat Oct 25, 2025 5:42pm PST

Stabilizer: Statistically sound performance evaluation [pdf]

@fanf2

1

1

3

Sat Oct 25, 2025 2:42pm PST

Psychology of Human Misjudgment

@fanf2

1

1

1

Sat Oct 25, 2025 8:42am PST

Image dithering: eleven algorithms and source code

@fanf2

1

1

2

Fri Oct 24, 2025 10:08pm PST

How to Draw a Tetrapod

@fanf2

5

Fri Oct 24, 2025 8:42pm PST

Securing Network Time

@fanf2

3

Fri Oct 24, 2025 5:42pm PST

Teacher effects on student achievement and height: a cautionary tale (2019)

@fanf2

1

1

22

Fri Oct 24, 2025 2:42pm PST

Caro: If jq and xargs had a baby

@fanf2

3

Fri Oct 24, 2025 8:42am PST

Tetrapod Lamp

@fanf2

1

1

2

Thurs Oct 23, 2025 8:42pm PST

Rust programs written in Rust, without Libc

@fanf2

4

Thurs Oct 23, 2025 5:42pm PST

Getting started with Rust and Rocket for HTTP services

@fanf2

1

Thurs Oct 23, 2025 2:42pm PST

Tiny crates that make writing Rust more fun

@fanf2

4

Thurs Oct 23, 2025 8:42am PST

Advanced Self-Aware Ed(1)

@fanf2

2

Wed Oct 22, 2025 8:42pm PST

The CRISPR baby scandal gets worse by the day

@fanf2

3

4

9

Wed Oct 22, 2025 5:42pm PST

White Hart Lane's movable football pitch in three pieces

@fanf2

1

Wed Oct 22, 2025 2:42pm PST

The Power of Speaking Polari

@fanf2

1

Wed Oct 22, 2025 8:42am PST

Solving Regex Crosswords with Z3

@fanf2

1

Tues Oct 21, 2025 8:42pm PST

Context parameters and API design in Kotlin

@fanf2

1

Tues Oct 21, 2025 2:42pm PST

Algebraic Effects for the Rest of Us

@fanf2

1

Tues Oct 21, 2025 11:42am PST

Asterisk

@fanf2

4

Tues Oct 21, 2025 8:42am PST

Why most of America is terrible at making biscuits

@fanf2

1

1

4

Mon Oct 20, 2025 5:42pm PST

Don't Use Booleans

@fanf2

1

2

5

Mon Oct 20, 2025 2:42pm PST

Literature Clock

@fanf2

5

Mon Oct 20, 2025 11:42am PST

Linux Sched_ext Schedulers and Tools

@fanf2

2

Sun Oct 19, 2025 8:42pm PST

Infra-red in-situ (IRIS) inspection of silicon

@fanf2

1

1

7

Sun Oct 19, 2025 2:42pm PST

Two workers are quadratically better than one: modelling a queue with PRISM

@fanf2

1

1

2

Sat Oct 18, 2025 8:42pm PST

Why are video games graphics (still) a challenge? Productionizing rendering algo

@fanf2

1

1

2

Sat Oct 18, 2025 5:42pm PST

What is PL research and how is it useful?

@fanf2

1

1

2

Sat Oct 18, 2025 2:42pm PST

BBC computer literacy project archive

@fanf2

3

Sat Oct 18, 2025 11:42am PST

Lvalue Min and Max in C++

@fanf2

1

1

3

Sat Oct 18, 2025 8:42am PST

The problem with single-threaded shared mutability

@fanf2

1

1

1

Fri Oct 17, 2025 5:42pm PST

Ten rules for a better conference name badge

@fanf2

2

Fri Oct 17, 2025 2:42pm PST

The Maturing of QUIC

@fanf2

1

1

3

Fri Oct 17, 2025 11:42am PST

Mudderjs: Lexicographically subdivide the space between strings

@fanf2

1

Fri Oct 17, 2025 8:42am PST

OSM Perfect Intersection Editor official launch announcement

@fanf2

1

Thurs Oct 16, 2025 8:42pm PST

Paneru: A sliding, tiling window manager for macOS

@fanf2

4

Thurs Oct 16, 2025 2:42pm PST

Practical seed recovery for the PCG pseudo-random number generator

@fanf2

1

1

3

Thurs Oct 16, 2025 11:42am PST

From Linear Types to Borrowing

@fanf2

1

1

5

Wed Oct 15, 2025 8:42pm PST

Building multi-step web login forms that work well with password managers

@fanf2

1

Wed Oct 15, 2025 5:42pm PST

Gauguin, Descartes, Bayes: A Diurnal Golem's Brain

@fanf2

1

Wed Oct 15, 2025 2:42pm PST

Frederik Braun: Modern solutions against cross-site attacks

@fanf2

1

Wed Oct 15, 2025 8:42am PST

Rumdl: A Markdown linter written in Rust

@fanf2

3

Tues Oct 14, 2025 8:42pm PST

An angry rant about locales and filenames in libarchive

@fanf2

2

Tues Oct 14, 2025 11:42am PST

A C to Brainfuck compiler written in Rust

@fanf2

1

Mon Oct 13, 2025 5:42pm PST

SmolBSD: Build your own minimal NetBSD system

@fanf2

5

Mon Oct 13, 2025 2:42pm PST

Route 53 DNS: Amazon's premier AWS database

@fanf2

1

Mon Oct 13, 2025 11:42am PST

Astronauts plan to bake cookies on the ISS

@fanf2

1

1

3

Mon Oct 13, 2025 8:42am PST

Bellcore ManaGeR: running an obscure window system on vintage Linux

@fanf2

1

2

4

Sun Oct 12, 2025 8:42pm PST

The difference between fault tolerance, high availability, and disaster recovery

@fanf2

2

Sun Oct 12, 2025 5:42pm PST

Let's take esoteric programming languages seriously

@fanf2

3

Sun Oct 12, 2025 2:42pm PST

StarMalloc: Verifying a modern hardened memory allocator

@fanf2

4

Sat Oct 11, 2025 8:42pm PST

Eon: A programmable effects-based OCaml DNS server

@fanf2

2

Sat Oct 11, 2025 5:42pm PST

Maintaining knowledge about temporal intervals

@fanf2

1

1

1

Sat Oct 11, 2025 2:42pm PST

A proposed Handle trait for Rust

@fanf2

1

Sat Oct 11, 2025 8:42am PST

Gleam Programming Language Tour

@fanf2

4

Thurs Oct 9, 2025 5:42pm PST

A new approach to analyzing Robin Hood hashing. (2014)

@fanf2

1

Thurs Oct 9, 2025 2:42pm PST

NFC-laboratory: NFC signal and protocol analyzer using SDR receiver

@fanf2

1

Thurs Oct 9, 2025 11:42am PST

Optimizing triangles for a full-screen shader pass

@fanf2

1

Thurs Oct 9, 2025 8:42am PST

Use the force (feedback) to solder small things

@fanf2

1

1

2

Wed Oct 8, 2025 8:42pm PST

What does pointer provenance have to do with RCU?

@fanf2

1

Wed Oct 8, 2025 5:42pm PST

Buffalo: Buffalo:Buffalo in C++

@fanf2

1

Wed Oct 8, 2025 11:42am PST

FastCDC: Efficient content-defined chunking for data deduplication

@fanf2

1

Tues Oct 7, 2025 8:42pm PST

Oilfield Units: a measurement system so cursed it made me change career

@fanf2

2

Tues Oct 7, 2025 5:42pm PST

A case for learning GPU programming with a compute-first mindset

@fanf2

1

Tues Oct 7, 2025 2:42pm PST

The aliens will not be silicon

@fanf2

3

Tues Oct 7, 2025 11:42am PST

Tony Hoare's hints on programming language design [pdf]

@fanf2

1

Tues Oct 7, 2025 8:42am PST

Nanopb: Protocol buffers with small code size

@fanf2

1

Mon Oct 6, 2025 8:42pm PST

Beyond horizons: world-record long-distance photograph 443 km, Finestrelles, Pyr

@fanf2

24

Sun Oct 5, 2025 8:42pm PST

A contribution to the development of Algol. (Algol W, Wirth and Hoare)

@fanf2

3

Sun Oct 5, 2025 2:42pm PST

Bare messages: binary application record encoding

@fanf2

6

Sat Oct 4, 2025 8:42pm PST

Measuring CPU instruction reorder buffer capacity. (2013)

@fanf2

2

Sat Oct 4, 2025 5:42pm PST

Supply chain security for the 0.001% (and why it won't catch on)

@fanf2

2

Sat Oct 4, 2025 11:42am PST

A Theory of Law [pdf]

@fanf2

2

Sat Oct 4, 2025 8:42am PST

A content defined chunking algorithm testbed

@fanf2

2

Fri Oct 3, 2025 8:42pm PST

Testing time (and other asynchronicities) in Golang

@fanf2

2

Fri Oct 3, 2025 5:42pm PST

Chapel's runtime types as an interesting alternative to dependent types

@fanf2

3

Fri Oct 3, 2025 8:42am PST

Offline: Tonga was cut off from the internet by a volcano

@fanf2

5

Thurs Oct 2, 2025 8:42pm PST

Batched Critical Sections

@fanf2

4

Thurs Oct 2, 2025 5:42pm PST

Mixologician: Drinking with Datalog

@fanf2

1

Thurs Oct 2, 2025 11:42am PST

Thanet, Tanit and the Phoenicians: place-names, archaeology and pre-Roman tradin

@fanf2

1

Wed Oct 1, 2025 5:42pm PST

NFS at 40

@fanf2

2

Wed Oct 1, 2025 8:42am PST

Rust ints to enums with fewer instructions

@fanf2

4

Wed Oct 1, 2025 7:00am PST

Type Theory and Functional Programming (1999) [pdf]

@fanf2

7

87

197

Tues Sep 30, 2025 2:42pm PST

An empirical study of type-related defects in Python projects [pdf]

@fanf2

2

Tues Sep 30, 2025 11:42am PST

RISC-V Conditional Moves

@fanf2

1

Mon Sep 29, 2025 8:42pm PST

The science behind King's College's wildflower meadows

@fanf2

2

Mon Sep 29, 2025 5:42pm PST

Recursive data structures. (Hoare, 1973) [pdf]

@fanf2

2

Mon Sep 29, 2025 11:42am PST

Tuning async IO in PostgreSQL 18

@fanf2

3

23

97

Mon Sep 29, 2025 8:42am PST

Zeloof Z2 homemade silicon integrated circuit

@fanf2

2

Sun Sep 28, 2025 8:42pm PST

A early history of algebraic data types

@fanf2

2

2

2

Sun Sep 28, 2025 11:42am PST

Timing Conclusions: GPS, NTP, PTP Timing with Linux

@fanf2

4