Stories by baruchel

Dimension 126 Contains Twisted Shapes, Mathematicians Prove

Rocq 9.0.0

Boris Spassky (1937-2025) Chess World Champion and Legendary Grandmaster

Lambda Calculus and Lisp, part 2 (recursion excursion)

Lambda Calculus and Lisp, part 1

When is it worth the time and effort to verify a proof FORMALLY?

Thinking Big

Code41 Watches

MD Nichrome: On Spacing and Sci-Fi

Multizork

Esoprogramming and Computational Idealism

Show HN: My lockdown coding project, Legend of the Pink Dragon (IRC game)

A non-symmetric divide-and-conquer recursive formula for the convolution

Stone Story RPG is now available

Some new insights into Karatsuba's algorithm

Show HN: Playing with exceptions inside lambda expressions in Python

Journey of a Single Line

Show HN: Fast convolution algorithms with Python types

HAKMEM memo in ePub format

Python Obfuscation #1