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

A 2D cloth Verlet simulation made in Rust

Shit's gotten weird out there. The internet has devolved from something that was mostly quirky and altruistic to something that, in many ways, is straight-up evil. Companies have commoditized user attention through an economic framework that is completely…