An interactive exploration of the US national debt, scaled down to comprehensible numbers to help understand the true scale of government finances.

A Truly Integrated Functional Logic Programming Language

Initial technical exploration of the VTech Socrates line of Z80-based educational home computers. A composite video modification board is developed.

Rewriting Principia Mathematica in Lean. Contribute to ndrwnaguib/principia development by creating an account on GitHub.

Echo - Open Hardware Music Player. Contribute to amachronic/echoplayer development by creating an account on GitHub.

Despite the rapid growth of machine learning research, corresponding code implementations are often unavailable, making it slow and labor-intensive for researchers to reproduce results and build...

Ed Martin sent a letter to the Wikimedia Foundation accusing it of spreading propaganda

D programming language tutorial from the ground up.

This tutorial will walk you through building a 3x5 LED matrix controlled by a Raspberry Pi Pico using tscircuit.

Free trial spreadsheet software. 32 mln rows, pivot tables, multi-core, linear programming, large data sets, csv converter, csv viewer.

In 2003, I wrote a book called Crap Towns. It seemed funny at the time. But plenty of people say it would not be possible to publish it today. Is that a problem?

Iowa City is the place where contemporary English literature matters more than anywhere else on earth.

A longstanding conspiracy is the tale of how Facebook is listening in on your conversations, but the way it is actually serving you ads is much more unsettling.

A breakthrough in Hilbert’s sixth problem is a major step in grounding physics in math