Stories by dharmatech

Scraping Tool for All SEC Fails-to-Deliver Data. (Gaming Wall Street)

Fully statically typed ASP.NET Core views with Object Pages

Haskell Methods

Meeteeor Shouwer

Executable Tutorials

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

1 2