hckrnws
fanf2
Mon Aug 9, 2010 6:18pm PST
Karma:
42450
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 Sep 13, 2025 5:42pm PST
Kefir: A new C17/C23 compiler for amd64 Unix
@fanf2
1
1
4
Sat Sep 13, 2025 2:42pm PST
Beyond Markdown: difficulties of the Commonmark specification
@fanf2
1
1
3
Fri Sep 12, 2025 5:42pm PST
Rich Hickey answered that Design decisions in Clojure
@fanf2
24
Fri Sep 12, 2025 8:42am PST
Elizabeth I and the 'Blackamoors': the deportation that never was
@fanf2
2
Thurs Sep 11, 2025 8:42pm PST
Matrix is email wearing a hoodie
@fanf2
1
1
15
Thurs Sep 11, 2025 5:42pm PST
Grid-scale batteries in Scotland stabilize power with grid-forming inverters
@fanf2
1
6
26
Thurs Sep 11, 2025 8:42am PST
Detour: Load the Linux dynamic linker into a statically linked program at run ti
@fanf2
3
Wed Sep 10, 2025 5:42pm PST
Instead of "auth", we should say "permissions" and "login"
@fanf2
1
1
3
Wed Sep 10, 2025 2:42pm PST
Waffle's revenge: classic 1 bit 8x8 tiling patterns
@fanf2
1
Wed Sep 10, 2025 11:42am PST
The government approved Cambridge's sewage treatment plant upgrade, then withd
@fanf2
2
Tues Sep 9, 2025 8:42pm PST
A novel technique for SQL injection with PHP PDO's prepared statements
@fanf2
1
1
6
Tues Sep 9, 2025 5:42pm PST
Ascon Lightweight Cryptography
@fanf2
3
Tues Sep 9, 2025 2:42pm PST
The type theory fire triangle: how to mix substitution, dependent elimination, a
@fanf2
1
1
2
Tues Sep 9, 2025 11:42am PST
Dealing with cancel safety in async Rust
@fanf2
1
Tues Sep 9, 2025 8:42am PST
Indexing Jsonb in PostgreSQL
@fanf2
2
Mon Sep 8, 2025 8:42pm PST
Tony Hoare: How did software get so reliable without proof?
@fanf2
1
Mon Sep 8, 2025 2:42pm PST
CandyFab: A DIY 3D sugar printer
@fanf2
1
Mon Sep 8, 2025 11:42am PST
MacBook lid angle sensor sound effects
@fanf2
2
Mon Sep 8, 2025 8:42am PST
GNU Autotools Mythbuster
@fanf2
2
Sun Sep 7, 2025 8:42pm PST
Cargo-remark: view LLVM optimization remarks for Rust
@fanf2
2
Sun Sep 7, 2025 5:42pm PST
A more perfect [derive] for Rust
@fanf2
1
Sun Sep 7, 2025 11:42am PST
Nontransitive comparison functions lead to out-of-bounds read and write in glibc
@fanf2
2
Sun Sep 7, 2025 8:42am PST
Evolution of the ELF object file format
@fanf2
2
Sat Sep 6, 2025 8:42pm PST
Beyond Booleans in Lean
@fanf2
3
Fri Sep 5, 2025 8:42pm PST
Default musl allocator considered harmful to performance
@fanf2
16
88
101
Fri Sep 5, 2025 5:42pm PST
A new packaging model for Rust in Guix
@fanf2
2
Fri Sep 5, 2025 2:42pm PST
Why Lean 4 replaced OCaml as my primary language
@fanf2
4
Fri Sep 5, 2025 11:42am PST
What's //Go:Nosplit for in Golang?
@fanf2
2
Fri Sep 5, 2025 8:42am PST
Fs_usage: See filesystem activity on Mac OS X
@fanf2
1
Thurs Sep 4, 2025 8:42pm PST
Activity Monitor anatomy: memory accounting on Mac OS
@fanf2
2
Thurs Sep 4, 2025 5:42pm PST
Clubcards for the WebPKI: smaller certificate revocation tests in theory and pra [pdf]
@fanf2
1
Thurs Sep 4, 2025 2:42pm PST
Delta debugging: simplifying and isolating failure-inducing input with automatic
@fanf2
2
Thurs Sep 4, 2025 11:42am PST
Wendelstein 7-X sets new performance records in fusion research
@fanf2
1
Thurs Sep 4, 2025 8:42am PST
CRDTs are built on an elegant kernel, but offer a leaky abstraction that mislead
@fanf2
3
Wed Sep 3, 2025 11:42am PST
ChaCha12-BLAKE3: secure, simple and fast authenticated and committing encryption
@fanf2
2
Wed Sep 3, 2025 8:42am PST
WeakC4: A search-free low-knowledge solution to 7x6 Connect 4
@fanf2
1
Tues Sep 2, 2025 5:42pm PST
Limits of instruction-level parallelism (1991) [pdf]
@fanf2
3
Tues Sep 2, 2025 8:42am PST
ALS Lamon Typeface Review
@fanf2
2
Mon Sep 1, 2025 8:42pm PST
The cryptographic sponge and duplex constructions
@fanf2
1
Mon Sep 1, 2025 2:42pm PST
Predecessor Search [pdf]
@fanf2
1
Mon Sep 1, 2025 11:42am PST
Why everyone gets the Formula 1 inerter wrong
@fanf2
1
Mon Sep 1, 2025 8:42am PST
Stable mutable references in the Ante programming language
@fanf2
2
Sun Aug 31, 2025 2:42pm PST
Typechecking is undecidable when 'type' is a type
@fanf2
2
Sun Aug 31, 2025 11:42am PST
The Baby Paradox in Haskell
@fanf2
1
1
6
Sun Aug 31, 2025 8:42am PST
Arch Linux AUR chaos malware: an analysis
@fanf2
5
Sat Aug 30, 2025 8:42pm PST
Put a ring on it: a lock-free MPMC ring buffer
@fanf2
2
Sat Aug 30, 2025 2:42pm PST
Blocky planet: making Minecraft spherical
@fanf2
5
Fri Aug 29, 2025 8:42pm PST
Speed wins when fuzzing Rust code with [derive(Arbitrary)]
@fanf2
1
Fri Aug 29, 2025 2:42pm PST
Chicken Scheme internals: the garbage collector
@fanf2
3
Fri Aug 29, 2025 8:42am PST
Why is cloud file-sharing hard? By analogy with programming misconceptions
@fanf2
2
Thurs Aug 28, 2025 2:42pm PST
Atmos: A language for structured concurrency and event-driven programming, based
@fanf2
3
Thurs Aug 28, 2025 11:42am PST
Tayga: NAT64 for Linux
@fanf2
9
Thurs Aug 28, 2025 1:39am PST
Strongly Typed?
@fanf2
2
Wed Aug 27, 2025 8:42pm PST
AsciiDots: An esoteric programming language based on ASCII art
@fanf2
2
Wed Aug 27, 2025 11:42am PST
Web browser tiny monospace fonts workaround
@fanf2
2
1
2
Wed Aug 27, 2025 8:42am PST
Sapir-Whorf does not apply to programming languages
@fanf2
1
Tues Aug 26, 2025 8:42pm PST
Who's afraid of a hard page load?
@fanf2
1
1
4
Tues Aug 26, 2025 5:42pm PST
Type Inference for Plain Data
@fanf2
4
Tues Aug 26, 2025 2:42pm PST
The modern text rendering pipeline: Unicode, bidi, segmentation, shaping
@fanf2
2
Tues Aug 26, 2025 11:42am PST
Shared memory consistency models: a tutorial. (1996) [pdf]
@fanf2
3
Mon Aug 25, 2025 8:42pm PST
Fun and Weirdness with SSDs and PostgreSQL
@fanf2
4
Mon Aug 25, 2025 5:42pm PST
Lecture notes on the π-calculus and Concurrent ML [pdf]
@fanf2
1
Mon Aug 25, 2025 2:42pm PST
Minimal Version Selection Revisited
@fanf2
2
Mon Aug 25, 2025 11:42am PST
Swarm Testing Data Structures
@fanf2
1
1
2
Sun Aug 24, 2025 8:42pm PST
From Krivine's machine to the Caml implementations [pdf]
@fanf2
2
Sun Aug 24, 2025 2:42pm PST
Magic Namerefs in Bash
@fanf2
1
Sun Aug 24, 2025 11:42am PST
2025 M7.7 Earthquake at Mandalay in Burma / Myanmar
@fanf2
4
Sat Aug 23, 2025 8:42pm PST
Linux desktop on Apple Silicon M1 in practice
@fanf2
1
1
8
Sat Aug 23, 2025 5:42pm PST
The Nickel Configuration Language
@fanf2
2
Sat Aug 23, 2025 2:42pm PST
Dissonance: A journey through musical possibility space
@fanf2
3
Sat Aug 23, 2025 11:42am PST
The enduring puzzle of static electricity
@fanf2
4
Sat Aug 23, 2025 8:42am PST
A gentle introduction to liquid types
@fanf2
2
Fri Aug 22, 2025 5:42pm PST
Intransitive operator precedence: we can do better
@fanf2
2
Fri Aug 22, 2025 11:42am PST
The tar archive format, its extensions, and why GNU tar extracts in quadratic ti
@fanf2
2
Fri Aug 22, 2025 8:42am PST
A tutorial implementation of a dependently typed lambda calculus [pdf]
@fanf2
2
Thurs Aug 21, 2025 2:42pm PST
Anaphoric macros introduce hidden bindings in Lisp
@fanf2
23
Thurs Aug 21, 2025 8:42am PST
What Next in Programming Languages?
@fanf2
3
Wed Aug 20, 2025 8:42pm PST
Game math: precise control over numeric springing
@fanf2
1
1
13
Wed Aug 20, 2025 2:42pm PST
Fuss, futexes and furwocks: fast userlevel locking in Linux [pdf]
@fanf2
2
Wed Aug 20, 2025 11:42am PST
Creating a read-only PostgreSQL user
@fanf2
2
Tues Aug 19, 2025 5:42pm PST
Hollerith 1890 census tabulator and the evolution of the IBM punched card
@fanf2
2
Tues Aug 19, 2025 11:42am PST
A programmer's field guide to assertions
@fanf2
1
Mon Aug 18, 2025 5:42pm PST
NaN-propagation: a novel method for sparsity detection in black-box computationa
@fanf2
3
Mon Aug 18, 2025 11:42am PST
A brief consideration of input shapes for fuzzers
@fanf2
1
Mon Aug 18, 2025 8:42am PST
The Centenary of the Loudspeaker
@fanf2
2