Stories by mindcrime

Exploring the Open Source That Goes into a RISC-V Chip

Universal Radio Hacker: Investigate Wireless Protocols Like a Boss

Igalia will restart their (Chrome) MathML work in Q2 2021

Nptel – Basic Electronics with Professor T.S.Natarajan

A History of MS-RPC and Open Source Equivalents

Tau Prolog – Open-Source Prolog Interpreter in JavaScript

RetroForth 2021.1

GNU Forth

Google Brain's Jax and Flax

Write a Shell in C

Pocket Computers from the 1980's

Hacker – A Computational Model of Skill Acquisition (1973) [pdf]

A Description Logic Primer

Login

Propositional Dynamic Logic

Feynman – There's Plenty of Room at the Bottom

High Voltage “Lifter”

Mathematics as a Second Language

Apache OpenOffice 4.1.8 Is Released

Larry Wos – Still Fascinated by Automated Reasoning (2018)

15
16
17
18
19
20
21
22
23
24