from Hacker News

fanf2

joined 8/9/10, 6:18 PM has 41907 karma

• Simulating time with square-root space

  by fanf2 on 6/20/25, 2:42 PM, with 0 comments

• Deploying IPv6-mostly access networks

  by fanf2 on 6/20/25, 11:42 AM, with 0 comments

• Boolean Blindness

  by fanf2 on 6/20/25, 8:42 AM, with 0 comments

• Posit floating point numbers: thin triangles and other tricks (2019)

  by fanf2 on 6/19/25, 2:42 PM, with 35 comments

• Jef Raskin: Intuitive equals familiar. (1994)

  by fanf2 on 6/19/25, 11:42 AM, with 0 comments

• Efficient communication and collection with compact normal forms in Haskell [pdf]

  by fanf2 on 6/19/25, 8:42 AM, with 0 comments

• Pattern matching and exhaustiveness checking algorithms implemented in Rust

  by fanf2 on 6/18/25, 8:42 PM, with 0 comments

• HashChain: A family of fast factor-based sublinear exact-matching string se

  by fanf2 on 6/18/25, 5:42 PM, with 0 comments

• Eidophor: 1950's space age video projection technology. [video]

  by fanf2 on 6/18/25, 2:42 PM, with 0 comments

• Triangle of power notation: exponents roots and logarithms

  by fanf2 on 6/18/25, 8:42 AM, with 0 comments

• Situated Software

  by fanf2 on 6/17/25, 5:42 PM, with 0 comments

• IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict reso [pdf]

  by fanf2 on 6/17/25, 2:42 PM, with 0 comments

• JA4: A suite of network fingerprinting standards

  by fanf2 on 6/17/25, 11:42 AM, with 0 comments

• Static interpretation of higher-order modules in Futhark: functional GPU program

  by fanf2 on 6/17/25, 8:42 AM, with 0 comments

• Logarithms of algebraic data types for property-based testing (2022)

  by fanf2 on 6/16/25, 8:42 PM, with 0 comments

• Implementing dependent types in pi-forall (2023)

  by fanf2 on 6/16/25, 2:42 PM, with 0 comments

• What is cosh(List(Bool))? Or beyond algebra: analysis of data types

  by fanf2 on 6/16/25, 8:42 AM, with 0 comments

• London Cycle Orbital: peaceful cycling at London's margins

  by fanf2 on 6/15/25, 2:42 PM, with 0 comments

• What is systems programming, really? (2018)

  by fanf2 on 6/14/25, 8:42 PM, with 12 comments

• Exploit a binary with sigreturn oriented programming (SROP)

  by fanf2 on 6/14/25, 5:42 PM, with 2 comments

• Diagnosing a double-free concurrency bug in Rust's unbounded channels

  by fanf2 on 6/14/25, 2:42 PM, with 0 comments

• Postgres Extensions in Rust

  by fanf2 on 6/14/25, 8:42 AM, with 0 comments

• The crisis of zombie social science

  by fanf2 on 6/13/25, 8:42 PM, with 1 comments

• Initialization in C++ is seriously bonkers

  by fanf2 on 6/13/25, 11:42 AM, with 2 comments

• Gif320: A GIF viewer for DEC VT320 terminals

  by fanf2 on 6/13/25, 8:42 AM, with 0 comments

• Clowns to the left of me, jokers to the right - Dissecting Data Structures [pdf] (2008)

  by fanf2 on 6/12/25, 8:42 PM, with 0 comments

• Distance-based ISA for efficient register renaming

  by fanf2 on 6/12/25, 5:42 PM, with 0 comments

• Tools built on Tree-sitter's concrete syntax trees

  by fanf2 on 6/12/25, 11:42 AM, with 0 comments

• The YAML Document from Hell

  by fanf2 on 6/11/25, 5:42 PM, with 0 comments

• Ki: Wireless power for kitchen appliances. [video]

  by fanf2 on 6/11/25, 2:42 PM, with 0 comments

• Reservoir sampling: who discovered Algorithm R?

  by fanf2 on 6/11/25, 11:42 AM, with 0 comments

• EBCDIC Is Incompatible with GDPR (2021)

  by fanf2 on 6/11/25, 8:42 AM, with 33 comments

• How to Take the Inverse of a Type (2022)

  by fanf2 on 6/10/25, 5:42 PM, with 0 comments

• Bidirectional Typing

  by fanf2 on 6/10/25, 11:42 AM, with 0 comments

• Syntactic musings on match expressions in Rust

  by fanf2 on 6/9/25, 5:42 PM, with 0 comments

• Hokusai Moyo Gafu: an album of dyeing patterns

  by fanf2 on 6/9/25, 2:42 PM, with 14 comments

• Zero-cost 'tagless initial' in Rust with GADT-style enums

  by fanf2 on 6/9/25, 11:42 AM, with 0 comments

• Nanowar of Steel – HelloWorld.java

  by fanf2 on 6/8/25, 8:42 PM, with 0 comments

• The ATS programming language: unleashing the potential of types and templates

  by fanf2 on 6/8/25, 5:42 PM, with 0 comments

• A simple ray tracer written in the meson.build language

  by fanf2 on 6/8/25, 2:42 PM, with 0 comments

• DejaGNU (2011)

  by fanf2 on 6/8/25, 11:42 AM, with 0 comments

• Jujutsu and Magit

  by fanf2 on 6/8/25, 8:42 AM, with 0 comments

• AA-56: an astronomical ephemeris calculator program

  by fanf2 on 6/7/25, 8:42 PM, with 0 comments

• Roons: Modular Marble Logic

  by fanf2 on 6/7/25, 2:42 PM, with 0 comments

• Silent bugs matter: a study of compiler-introduced security bugs

  by fanf2 on 6/7/25, 8:42 AM, with 1 comments

• WASM SpecTec has been adopted

  by fanf2 on 6/6/25, 8:42 PM, with 0 comments

• Implementation of Dependent Types

  by fanf2 on 6/6/25, 5:42 PM, with 1 comments