Papers

Computer Science

• AnchorHash: A Scalable Consistent Hash
• FSST: Fast Random Access String Compression
• Linear Logic

Distributed Systems

• Distributed Transactional Systems Cannot Be Fast

Functional Programming

• Total Functional Programming

Types

• Linearity and Uniqueness: An Entente Cordiale
• Uniqueness Typing Simplified
  • LtU Discussion
• Haskell’s overlooked object system

Physics

• Nicolas Gisin’s papers in arXiv
  • Naturalistic intuitionism for physics (2025)
  • Physics without Determinism: Alternative Interpretations of Classical Physics (2019)