Stories by dharmatech

Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean

Edwin Brady on Chez Scheme

Offline Camp 2019

Solving a physics problem with the Symbolism algebra library for C# on Linux

Experimental presentation based user interface for PowerShell

Experimental presentation based user interface for PowerShell

IDEs with output displayed inline

Niklaus Wirth – “No backdoors and no sidedoors”

Subreddit for Computer Algebra Systems in General Purpose Languages

JazzScheme – Language and IDE Built on Gambit Scheme

NeWS a Networked and Extensible Windows System – Lecture by James Gosling

How do I debug jonesforth with GDB?

Least Toxic Personal Computer

2D Physics Engine for Chez Scheme (Box2D-Lite)

Interactive computer algebra with C# in Visual Studio

Today that's not so, in Lisp they can go (poem by RMS)

Physics problems as unit tests for C# computer algebra library

Classes for representing forces on objects in C# with Symbolism

Solving a laws of motion problem symbolically with C#

Solving a physics problem symbolically with C#

1
2