fanf2

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

Posts

• Posit floating point numbers: thin triangles and other tricks (2019)
  by fanf2on 6/19/2025, 2:42 PMwith 19 comments
• Jef Raskin: Intuitive equals familiar. (1994)
  by fanf2on 6/19/2025, 11:42 AMwith 0 comments
• Efficient communication and collection with compact normal forms in Haskell [pdf]
  by fanf2on 6/19/2025, 8:42 AMwith 0 comments
• Pattern matching and exhaustiveness checking algorithms implemented in Rust
  by fanf2on 6/18/2025, 8:42 PMwith 0 comments
• HashChain: A family of fast factor-based sublinear exact-matching string se
  by fanf2on 6/18/2025, 5:42 PMwith 0 comments
• Eidophor: 1950's space age video projection technology. [video]
  by fanf2on 6/18/2025, 2:42 PMwith 0 comments
• Triangle of power notation: exponents roots and logarithms
  by fanf2on 6/18/2025, 8:42 AMwith 0 comments
• Situated Software
  by fanf2on 6/17/2025, 5:42 PMwith 0 comments
• IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict reso [pdf]
  by fanf2on 6/17/2025, 2:42 PMwith 0 comments
• JA4: A suite of network fingerprinting standards
  by fanf2on 6/17/2025, 11:42 AMwith 0 comments
• Static interpretation of higher-order modules in Futhark: functional GPU program
  by fanf2on 6/17/2025, 8:42 AMwith 0 comments
• Logarithms of algebraic data types for property-based testing (2022)
  by fanf2on 6/16/2025, 8:42 PMwith 0 comments
• Implementing dependent types in pi-forall (2023)
  by fanf2on 6/16/2025, 2:42 PMwith 0 comments
• What is cosh(List(Bool))? Or beyond algebra: analysis of data types
  by fanf2on 6/16/2025, 8:42 AMwith 0 comments
• London Cycle Orbital: peaceful cycling at London's margins
  by fanf2on 6/15/2025, 2:42 PMwith 0 comments
• What is systems programming, really? (2018)
  by fanf2on 6/14/2025, 8:42 PMwith 12 comments
• Exploit a binary with sigreturn oriented programming (SROP)
  by fanf2on 6/14/2025, 5:42 PMwith 2 comments
• Diagnosing a double-free concurrency bug in Rust's unbounded channels
  by fanf2on 6/14/2025, 2:42 PMwith 0 comments
• Postgres Extensions in Rust
  by fanf2on 6/14/2025, 8:42 AMwith 0 comments
• The crisis of zombie social science
  by fanf2on 6/13/2025, 8:42 PMwith 1 comments
• Initialization in C++ is seriously bonkers
  by fanf2on 6/13/2025, 11:42 AMwith 2 comments
• Gif320: A GIF viewer for DEC VT320 terminals
  by fanf2on 6/13/2025, 8:42 AMwith 0 comments
• Clowns to the left of me, jokers to the right - Dissecting Data Structures [pdf] (2008)
  by fanf2on 6/12/2025, 8:42 PMwith 0 comments
• Distance-based ISA for efficient register renaming
  by fanf2on 6/12/2025, 5:42 PMwith 0 comments
• Tools built on Tree-sitter's concrete syntax trees
  by fanf2on 6/12/2025, 11:42 AMwith 0 comments
• The YAML Document from Hell
  by fanf2on 6/11/2025, 5:42 PMwith 0 comments
• Ki: Wireless power for kitchen appliances. [video]
  by fanf2on 6/11/2025, 2:42 PMwith 0 comments
• Reservoir sampling: who discovered Algorithm R?
  by fanf2on 6/11/2025, 11:42 AMwith 0 comments