Papers

Computer Science

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

Distributed Systems

• Distributed Transactional Systems Cannot Be Fast
• The LogDrive: Composable Durability for Cloud-Based Shared Logs

Databases

• BtrLog: Low-Latency Logging for Cloud Database Systems
• 2026 VLDB - How to Write to SSDs

Functional Programming

• Total Functional Programming

Types

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

Physics

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

Math

• Rethinking set theory