Entries Tagged - "logic"

• Jan 08 2026Axiom

  Axiom is an ecosystem of formal logic tools for education. If you’ve used Carnap or Logic Penguin, you know the idea — but those platforms send proofs to a server for validation. Axiom runs entirely client-side. No network latency. No tracking. Works offline. The core is a TypeScript...

• Feb 26 2025Truth Functional Logic for Hackers - Part One

  Bob and Alice are two hackers working on an embedded system with a severe computational constraint - there is a bug in their low-cost microcontroller making OR operations significantly slower than any other operation on the chipset. When they profiled their micropython code, they found that OR...