Search

Type theory and functional programming. (1999)

Finding and Understanding Bugs in C Compilers (2011)

Claude Sonnet 4.5 System Card

Bayesian Data Analysis, Third edition

The Magical Number Seven, Plus or Minus Two

We Won't Be Missed: Work and Growth in the Era of AGI

9 Things I Learned in 90 Years – From the Creator of Choose Your Own Adventure

Privacy and Security Risks in the eSIM Ecosystem

US Gov acknowledges that 100K fee does not apply to existing H-1B visas holders

Novelist Cormac McCarthy's tips on how to write a great science paper

The Economic Impacts of AI: A Multidisciplinary, Multibook Review

The Linux Process Journey

UN Independent International Commission: Israel has committed genocide in Gaza

The Revised Report on Scheme or An UnCommon Lisp (1985)

How People Use ChatGPT

macOS Tahoe is certified Unix 03

AI fabricates 21 out of 23 citations lawyer sanctioned reported to state bar

Power series, power serious (1999!)

Advanced Scheme Techniques (2004)

Making io_uring pervasive in QEMU