fanf2

Mon Aug 9, 2010 6:18pm PST

Karma:

43819

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

Fri Apr 10, 2026 8:42pm PST

The acyclic e-graph: Cranelift's mid-end optimizer

@fanf2

1

Fri Apr 10, 2026 5:42pm PST

Callgraph analysis in Ferrocene for denying unvalidated Rust library functions

@fanf2

2

Fri Apr 10, 2026 2:42pm PST

Supply chain nightmare: How Rust will be attacked and what we can do to mitigate

@fanf2

22

63

118

Fri Apr 10, 2026 11:42am PST

Instant space switching on macOS with a keyboard shortcut

@fanf2

1

Fri Apr 10, 2026 8:42am PST

Incremental Lambda Calculus

@fanf2

3

Thurs Apr 9, 2026 5:42pm PST

Why would you want a 64 bit microprocessor, especially in a personal system? (19

@fanf2

3

Thurs Apr 9, 2026 8:42am PST

Some Better Defaults for Emacs

@fanf2

2

2

25

Wed Apr 8, 2026 5:42pm PST

1SubML: Plan vs. Reality

@fanf2

1

Wed Apr 8, 2026 8:42am PST

HTML for People

@fanf2

3

Tues Apr 7, 2026 8:42pm PST

Optimising a pipelined RISC-V core: from naive pipeline to near-superscalar perf

@fanf2

3

Tues Apr 7, 2026 11:42am PST

Factoring is not a good benchmark to track Q-day

@fanf2

1

Sun Apr 5, 2026 2:42pm PST

Roogle: a Rust API search engine

@fanf2

6

Sat Apr 4, 2026 2:42pm PST

Landdown: Simple Sandboxing for Shell Scripts

@fanf2

1

2

3

Sat Apr 4, 2026 8:42am PST

Hardware-accelerated ARM64 KVM guests on s390

@fanf2

2

Fri Apr 3, 2026 5:42pm PST

The 1SubML Programming Language

@fanf2

2

Fri Apr 3, 2026 2:42pm PST

Pgenie: Type-safe PostgreSQL client code generator

@fanf2

3

Thurs Apr 2, 2026 5:42pm PST

Rust's dynamically-sized types are just polymorphically compiled generics

@fanf2

2

Wed Apr 1, 2026 8:42am PST

Async Rust in Three Parts

@fanf2

3

Sun Mar 29, 2026 8:42pm PST

What category theory teaches us about dataframes

@fanf2

2

3

26

Sun Mar 29, 2026 5:42pm PST

Towards Scalable Dataframe Systems

@fanf2

1

1

6

Sun Mar 29, 2026 2:42pm PST

The enshittification of Audre Lorde: "the Master's tools" in tech discourse

@fanf2

3

Sat Mar 28, 2026 12:42pm PST

Jaq: A jq clone focussed on correctness, speed, and simplicity

@fanf2

1

1

3

Sat Mar 28, 2026 9:42am PST

Bigoish: Test the empirical computational complexity of algorithms in Rust

@fanf2

1

1

4

Fri Mar 27, 2026 12:42pm PST

Developing a minimally HashDoS resistant, yet quickly reversible integer hash fo

@fanf2

2

Fri Mar 27, 2026 9:42am PST

Final analysis of 2025 Iberian blackout: electrical grid operating policies left

@fanf2

3

Thurs Mar 26, 2026 3:42pm PST

The metaverse: Neal Stephenson's prodigal brainchild

@fanf2

6

Wed Mar 25, 2026 3:42pm PST

Golang naming conventions: a practical guide

@fanf2

3

Wed Mar 25, 2026 12:42pm PST

The why and what of the CIDR Report

@fanf2

1

Wed Mar 25, 2026 9:42am PST

Addressing global removal race in Wayland

@fanf2

2

Tues Mar 24, 2026 6:42pm PST

Performance Implications of AArch64 Atomics

@fanf2

1

Tues Mar 24, 2026 12:42pm PST

From error-handling to structured concurrency

@fanf2

1

Tues Mar 24, 2026 9:42am PST

ISS: Instant Space Switcher for macOS

@fanf2

2

Mon Mar 23, 2026 3:42pm PST

Let's See an ARM Neon SIMD CSV Parser

@fanf2

6

Sun Mar 22, 2026 3:42pm PST

A visual guide to DNA sequencing

@fanf2

3

Sun Mar 22, 2026 12:42pm PST

Looking at Unity made me understand the point of C++ coroutines

@fanf2

1

Sat Mar 21, 2026 6:42pm PST

C Bit-Field Pitfalls

@fanf2

5

9

30

Sat Mar 21, 2026 3:42pm PST

Verilator: Open-source SystemVerilog simulator and lint system

@fanf2

2

Sat Mar 21, 2026 9:42am PST

An effect notation based on with-clauses and blocks

@fanf2

3

Fri Mar 20, 2026 9:42am PST

No semicolons needed: a survey of programming language syntaxes

@fanf2

1

1

4

Thurs Mar 19, 2026 9:42am PST

Accessing Hardware in Rust

@fanf2

2

Wed Mar 18, 2026 9:42pm PST

Seeing types where others don't: static type inference for jq

@fanf2

1

1

3

Mon Mar 16, 2026 3:42pm PST

One Hundred Curl Graphs

@fanf2

2

Sun Mar 15, 2026 3:42pm PST

A preview of Coalton 0.2, a statically-typed Lisp

@fanf2

27

Fri Mar 13, 2026 9:42pm PST

How far can you go with only internet exchange route servers?

@fanf2

9

Fri Mar 13, 2026 12:42pm PST

The state of Rust memory allocators in 2026

@fanf2

2

Fri Mar 13, 2026 9:42am PST

SSL/TLS and PKI History

@fanf2

1

1

4

Thurs Mar 12, 2026 6:42pm PST

Lowdown can translate Markdown to an mdoc manpage

@fanf2

1

Thurs Mar 12, 2026 9:42am PST

Pg_plan_advice: Plan stability and user planner control for PostgreSQL?

@fanf2

1

Wed Mar 11, 2026 6:42pm PST

Code reviews do find bugs

@fanf2

5

Wed Mar 11, 2026 3:42pm PST

U+237C ⍼ Right Angle with Downwards Zigzag Arrow Is a Symbol for Azimuth

@fanf2

1

1

2

Tues Mar 10, 2026 9:42pm PST

Too much color: how many decimal places do you need?

@fanf2

2

2

12

Tues Mar 10, 2026 6:42pm PST

Jim Roskind's C and C++ grammars

@fanf2

6

Tues Mar 10, 2026 9:42am PST

Post-quantum cryptography beyond TLS

@fanf2

1

Mon Mar 9, 2026 6:42pm PST

MXSS: Mutation cross-site scripting explained

@fanf2

2

Sun Mar 8, 2026 6:42pm PST

How to Recalculate a Spreadsheet

@fanf2

1

1

3

Sun Mar 8, 2026 3:42pm PST

Pony Networking, Take Two

@fanf2

1

Sun Mar 8, 2026 9:42am PST

Pushing and pulling: three reactivity algorithms

@fanf2

3

Thurs Mar 5, 2026 9:42pm PST

Never snooze a future in async Rust

@fanf2

3

Thurs Mar 5, 2026 6:42pm PST

Wgsl-rs: Rust as a shader language

@fanf2

2

Thurs Mar 5, 2026 12:42pm PST

Rtl.wtf: read the web like Right-to-Left readers do

@fanf2

1

3

Wed Mar 4, 2026 9:42pm PST

Linux Signalfd Is Useless

@fanf2

1

1

5

Wed Mar 4, 2026 6:42pm PST

"Personal Data": more than a definition, a quasi-constitutional stake in EU

@fanf2

1

Wed Mar 4, 2026 3:42pm PST

Lilaq: Advanced Data Visualization in Typst

@fanf2

1

Wed Mar 4, 2026 9:42am PST

What 127.5M forms can tell you about the state of front-end regex input v

@fanf2

1

1

3

Tues Mar 3, 2026 3:42pm PST

British Rail settlement plan barcode specs

@fanf2

2

Tues Mar 3, 2026 12:42pm PST

Debugging reproducible build issues in Rust

@fanf2

3

Mon Mar 2, 2026 9:42am PST

UKI: Unified kernel images for booting Linux from UEFI

@fanf2

2

Sat Feb 28, 2026 3:42pm PST

Ordered dithering with arbitrary or irregular colour palettes

@fanf2

2

Sat Feb 28, 2026 12:42pm PST

Io: Possibly the simplest practical programming notation. (1989) [pdf]

@fanf2

1

Sat Feb 28, 2026 9:42am PST

Surface-Stable Fractal Dithering

@fanf2

2

Fri Feb 27, 2026 9:42pm PST

Maiao: Gerrit-style stacked PR management for GitHub from the command line

@fanf2

1

1

3

Fri Feb 27, 2026 6:42pm PST

A side project got banned from the internet: Google safe browsing hates 302

@fanf2

4

Fri Feb 27, 2026 12:42pm PST

Snakes.run: rendering 100M pixels a second over SSH

@fanf2

1

Fri Feb 27, 2026 9:42am PST

Soft-serve: a self-hostable Git SSH server for the command line

@fanf2

2

Thurs Feb 26, 2026 3:42pm PST

Takata airbag scandal: the most expensive design flaw in history

@fanf2

3

Thurs Feb 26, 2026 9:42am PST

Pdfpc: A presenter console with multi-monitor support for PDF files

@fanf2

1

Wed Feb 25, 2026 9:42pm PST

Yabai: A tiling window manager for macOS based on binary space partitioning

@fanf2

1

Wed Feb 25, 2026 9:42am PST

Reduced the size of Golang binaries by up to 77%

@fanf2

4

Tues Feb 24, 2026 8:16pm PST

nsnotifyd-2.4 released

@fanf2

3

Tues Feb 24, 2026 12:42pm PST

Cursed engineering: jumping randomly through CSV files without hurting yourself

@fanf2

1

1

8

Mon Feb 23, 2026 9:42pm PST

HTTP headers that tell syndication feed fetchers how soon to come back

@fanf2

7

Mon Feb 23, 2026 12:42pm PST

Using Nsnotifyd with a PowerDNS Secondary

@fanf2

2

Sun Feb 22, 2026 6:42pm PST

HTTP/3 on FreeBSD: Getting QUIC Working with Nginx in a Bastille Jail

@fanf2

3

Sun Feb 22, 2026 9:42am PST

Dumpling: Fine-grained differential JavaScript engine fuzzing

@fanf2

1

Sat Feb 21, 2026 6:42pm PST

Compendium: An strace-like x86 Linux syscall tracer in Rust

@fanf2

3

Fri Feb 20, 2026 3:42pm PST

Banish: A declarative DSL embedded in Rust, for defining rule-based state machin

@fanf2

1

Fri Feb 20, 2026 9:42am PST

CHERIoT Rust status update #0

@fanf2

1