fanf2

Mon Aug 9, 2010 6:18pm PST

Karma:

42927

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 Nov 16, 2025 6:42pm PST

Software architecture is overrated, clear and simple design is underrated

@fanf2

1

Sun Nov 16, 2025 3:42pm PST

NetBSD on the last G4 Mac mini (and making the kernel power failure proof)

@fanf2

4

Sat Nov 15, 2025 9:42pm PST

Arend: A theorem prover based on Homotopy Type Theory

@fanf2

3

Sat Nov 15, 2025 3:42pm PST

Ucs-detect: automatically test the Unicode version and support level of a termin

@fanf2

1

Sat Nov 15, 2025 12:42pm PST

Tour of a Scheme pattern matcher: expression and pattern expansion

@fanf2

3

Sat Nov 15, 2025 9:42am PST

The honest troubleshooting code of conduct

@fanf2

8

Fri Nov 14, 2025 9:42pm PST

Fuzzing DNS Zone Parsers

@fanf2

5

Fri Nov 14, 2025 6:42pm PST

Smoothsort Demystified

@fanf2

3

Fri Nov 14, 2025 3:42pm PST

IPv6 in the UK 6 years after World IPv6 day

@fanf2

1

1

4

Fri Nov 14, 2025 12:42pm PST

Entrepreneurs don't have a special gene for risk, they come from families with m (2015)

@fanf2

16

51

25

Fri Nov 14, 2025 9:42am PST

Practical security in production: hardening LLVM's C++ standard library at App

@fanf2

2

Thurs Nov 13, 2025 9:42pm PST

PolySubML Is Broken

@fanf2

1

Thurs Nov 13, 2025 6:42pm PST

Why are sizes signed in the Futhark programming language?

@fanf2

3

Thurs Nov 13, 2025 12:42pm PST

Things I wished more developers knew about databases

@fanf2

4

Thurs Nov 13, 2025 9:42am PST

The Bulgarian Calendar

@fanf2

1

Wed Nov 12, 2025 9:42pm PST

Eight Months of NixOS

@fanf2

1

1

8

Wed Nov 12, 2025 6:42pm PST

`Indexer` and `Int` vs. `UInt` in the Mojo Programming Language

@fanf2

2

Wed Nov 12, 2025 3:42pm PST

Stroustrup says subscripts and sizes should be signed [pdf]

@fanf2

1

1

1

Wed Nov 12, 2025 9:42am PST

Georgia Tech Software Tools subsystem and C compiler for Prime computers

@fanf2

1

1

2

Tues Nov 11, 2025 9:42pm PST

Facebook's ad targeting algorithm is inherently biased

@fanf2

1

1

3

Tues Nov 11, 2025 6:42pm PST

Talking Oglaf with Trudy Cooper and Doug Bayne: 'We'd stay up all night drawing

@fanf2

3

Tues Nov 11, 2025 9:42am PST

Linking and shrinking Rust static libraries

@fanf2

1

Mon Nov 10, 2025 6:42pm PST

Async Rust with Tokio I/O streams: backpressure, concurrency, and ergonomics

@fanf2

3

Mon Nov 10, 2025 3:42pm PST

An interview with William Kahan, the old man of floating-point. (1998)

@fanf2

1

Mon Nov 10, 2025 12:42pm PST

GADT-style trait-constrained enums in Rust

@fanf2

1

Mon Nov 10, 2025 9:42am PST

Discovering the discovery of designated resolvers (DNS DDR)

@fanf2

1

Sun Nov 9, 2025 9:42pm PST

Experience it will never work in theory

@fanf2

2

2

7

Sun Nov 9, 2025 6:42pm PST

Systematization of knowledge (SoK): eternal war in memory. (2013) [pdf]

@fanf2

1

Sun Nov 9, 2025 3:42pm PST

The future of open access academic publication

@fanf2

1

1

1

Sun Nov 9, 2025 12:42pm PST

The reverse tabnabbing vulnerability in HTML

@fanf2

3

Sun Nov 9, 2025 9:42am PST

C needs a new type qualifier: it's time for null pointer safety

@fanf2

3

Sat Nov 8, 2025 9:42pm PST

Better Than JSON?

@fanf2

2

2

5

Sat Nov 8, 2025 6:42pm PST

'The goal is to automate us': welcome to the age of surveillance capitalism

@fanf2

1

1

4

Sat Nov 8, 2025 3:42pm PST

Ancient earth: a visualization of continental drift. (WebGL)

@fanf2

1

1

5

Sat Nov 8, 2025 12:42pm PST

Readtape: Decode the analog waveform extracted from old computer mag tapes

@fanf2

1

1

2

Sat Nov 8, 2025 9:42am PST

Async DNS with Mac OS Getaddrinfo_async_start and Rust Smol

@fanf2

1

Fri Nov 7, 2025 9:42pm PST

How to handle secrets on the command line

@fanf2

1

1

1

Fri Nov 7, 2025 6:42pm PST

Exceptions in Cranelift and Wasmtime

@fanf2

1

Fri Nov 7, 2025 3:42pm PST

A History of Man Pages

@fanf2

1

Fri Nov 7, 2025 12:42pm PST

Löb and Möb: Loops in Haskell (2013)

@fanf2

11

16

89

Fri Nov 7, 2025 9:42am PST

How macro expansion works in C

@fanf2

4

Thurs Nov 6, 2025 12:42pm PST

Dennis Ritchie's story of dabbling in the cryptographic world

@fanf2

3

Wed Nov 5, 2025 6:42pm PST

Pipelined Relational Query Language, PRQL: a simple, powerful, pipelined SQL rep

@fanf2

3

Wed Nov 5, 2025 3:42pm PST

Fast GPU bounding boxes on tree-structured scenes via the bracket matching stack

@fanf2

4

Wed Nov 5, 2025 12:42pm PST

Quantitative Metaphors for Sizes in Biology

@fanf2

3

Wed Nov 5, 2025 9:42am PST

Vivaldi: A decentralized network coordinate system for predicting RTT [pdf]

@fanf2

1

Tues Nov 4, 2025 9:42pm PST

The London Ringways map is here

@fanf2

1

1

3

Tues Nov 4, 2025 6:42pm PST

Mailchimp's Mandrill outage due to PostgreSQL XID wraparound

@fanf2

2

Tues Nov 4, 2025 3:42pm PST

Matthew Somerville's Inky Dashboard

@fanf2

1

Tues Nov 4, 2025 12:42pm PST

Exploiting Tiny Tiny RSS

@fanf2

1

1

1

Tues Nov 4, 2025 9:42am PST

A11y.css: a web page accessibility linter

@fanf2

2

Mon Nov 3, 2025 9:42pm PST

Control structures in programming languages: from goto to algebraic effects

@fanf2

3

Mon Nov 3, 2025 6:42pm PST

Homotopy Type Theory for Dummies

@fanf2

1

1

2

Mon Nov 3, 2025 3:42pm PST

Don't give Postgres too much memory

@fanf2

3

Mon Nov 3, 2025 12:42pm PST

Build your own GPG in Rust

@fanf2

2

Sun Nov 2, 2025 6:42pm PST

The CVM algorithm for count-distinct cardinality estimation [pdf]

@fanf2

1

1

1

Sun Nov 2, 2025 3:42pm PST

Thinking with Types: type-level programming in Haskell

@fanf2

1

1

4

Sun Nov 2, 2025 12:42pm PST

Stop 'reactions' to email by adding a postfix header (2024)

@fanf2

14

70

65

Sun Nov 2, 2025 9:42am PST

Parsing with zippers improves parsing with derivatives

@fanf2

2

Sat Nov 1, 2025 9:42pm PST

Wiki Creole 1.0 lightweight markup language

@fanf2

3

Sat Nov 1, 2025 6:42pm PST

Search and Replace Tricks with Ripgrep

@fanf2

4

Sat Nov 1, 2025 3:42pm PST

Atlassian stopped XML vulnerabilities from landing in production

@fanf2

1

Sat Nov 1, 2025 12:42pm PST

Malloc() vs. MMAP(MAP_SHARED) in Multithreaded Programs

@fanf2

2

Sat Nov 1, 2025 9:42am PST

The holes in the map: England's unregistered land

@fanf2

1

1

3

Fri Oct 31, 2025 9:42pm PST

Libcpu: A library to emulate several CPU architectures using LLVM

@fanf2

6

Fri Oct 31, 2025 6:42pm PST

HTTP desync attacks: request smuggling reborn

@fanf2

3

Fri Oct 31, 2025 3:42pm PST

Performance improvement on front-end generated by rustdoc

@fanf2

2

Fri Oct 31, 2025 9:42am PST

Titan.ds: LCARS style Star Trek infographic

@fanf2

1

1

2

Thurs Oct 30, 2025 9:42pm PST

Notes by djb on using Fil-C with Debian multiarch

@fanf2

10

Thurs Oct 30, 2025 9:42am PST

Memory Safety in Apple Firebloom / iBoot

@fanf2

3

Wed Oct 29, 2025 9:42pm PST

GHC: From Bug to Merge

@fanf2

3

Wed Oct 29, 2025 6:42pm PST

Fil-C: A memory-safe C implementation

@fanf2

1

1

2

Wed Oct 29, 2025 12:42pm PST

Middle-square Weyl sequence PRNG

@fanf2

2

Tues Oct 28, 2025 9:42pm PST

InvisiCaps: Pointers in Fil-C by Example

@fanf2

1

Tues Oct 28, 2025 6:42pm PST

Libfringe: An old Rust library for stackful coroutines

@fanf2

1

Tues Oct 28, 2025 12:42pm PST

Atexit() Is Broken

@fanf2

1

Tues Oct 28, 2025 9:42am PST

Libcpu: A library to emulate several CPU architectures using LLVM

@fanf2

2

Mon Oct 27, 2025 9:42pm PST

The Apple compact unwinding format: documented and explained

@fanf2

5

Mon Oct 27, 2025 6:42pm PST

How to organize your Rust tests

@fanf2

1

1

1

Mon Oct 27, 2025 3:42pm PST

Agile and the Long Crisis of Software

@fanf2

1

1

4

Mon Oct 27, 2025 12:42pm PST

Asn1c: The Lionet ASN.1 Compiler

@fanf2

1

Mon Oct 27, 2025 9:42am PST

Fixing rust-lang stdarch issues in LLVM

@fanf2

1

Sun Oct 26, 2025 9:42pm PST

A bestiary of single-file programming language implementations

@fanf2

3

Sun Oct 26, 2025 12:42pm PST

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

@fanf2

4

4

11

Sat Oct 25, 2025 8:42pm PST

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

@fanf2

7

47

73

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

3

Fri Oct 24, 2025 10:08pm PST

How to Draw a Tetrapod

@fanf2

4

4

20

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

23

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