Bookmarks (361) clear filters

XData
Grading student SQL queries is usually done by manually checking whether the SQL query submitted by...

Just Mathematics Collective
Tweet pdf version As explained below, the relationship between the mathematics community and intelligence agencies like...

Can you trust floatingpoint arithmetic on Apple Silicon?
In the last five months, we’ve read endless benchmarks run on M1 Macs, and a great...

Why Specifications Don't Compose • Hillel Wayne
Recently my friend Lars Hupel and I had a discussion on why formal methods don’t compose...

zeux.io  AABB from OBB with componentwise abs
17 Oct 2010 This post is about a neat trick that is certainly not of my...

Dropping In on Gottfried Leibniz—Stephen Wolfram Writings
I’ve been curious about Gottfried Leibniz for years, not least because he seems to have wanted...

From Zero to Factorial
Constructing the natural numbers, from scratch (part 1)This notebook is Copyright © Frederic Peschanski under the...