Stories by bollu

Show HN: Formally Verified FPSan

Stuff I Learnt in 2024

Stuff I Learnt in 2022

Identify the Champion: An Organisational Pattern for Programme Commitees

Stuff I Learnt in 2021

The Jacobian, Geometrically

Hacker's Guide to Numerical Analysis

Readable Pointers

Ask HN: easist way to build digital logic on civilization collapse?

The unreasonable effectiveness of declarative programming

Best Practices for Array Indexing

Fast Math Rendering on the Web

Incunabulum for the 21st century: Making the J interpreter compile in 2020

Stuff I learnt in 2019: Papers, math and code

Ask HN: How does someone in India access the internet when taken down?

What's a Grober basis? An explanation using circuit equivalence

Show HN: A weekend replication of STOKE, a stochastic superoptimiser

Differences between the word2vec paper and its implementation

Is there life on Mars? Paper answers “maybe”

The ideas I picked up in 2018