Stories by hyperbrainer

Custom Logging in Rust Using tracing and tracing-subscriber

I started an open source project in 2004. This week, it hit 30000 GitHub stars

Ask HN: Memory-safe low level languages?

Curry: A functional logic programming language

The Busy Beaver Frontier [pdf]

Monsky's Theorem

JSON Hijacking (2009)

My Book's Pre-Sale Just Barely Succeeded

Tail Call Recursion in Java with ASM (2023)

Gmail's upgraded search results help you find the emails you want, faster

Teleo-Reactive Programs

No dumb questions: What's the biggest number?

Down with Determinants by Sheldon Axler (1994) [pdf]

Cot: The Rust web framework for lazy developers

Why Did Prisma Choose Rust Initially? [video]

VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems

Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture (1994) [pdf]