Finding a bug in Dummit and Foote's Abstract Algebra (kallus.org)

Screenshot of kallus.org: Finding a bug in Dummit and Foote's Abstract Algebra

First screen, captured 1 month ago.

Looks similar

Screenshot of wiki.c2.com: The Ken Thompson Hack

The Ken Thompson Hack (wiki.c2.com)

98 points by stephc_int13 2 years ago | 27 comments

Screenshot of fprasx.github.io: Doing First Grade Math in Rust's Type System

Doing First Grade Math in Rust's Type System (fprasx.github.io)

109 points by lukastyrychtr 2 years ago | 35 comments

Screenshot of panadestein.github.io: Scheming a mise-en-abîme in BQN

Scheming a mise-en-abîme in BQN (panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

Fidget (mattkeeter.com)

529 points by todsacerdoti 1 year ago | 51 comments

Matt Keeter's project page for Fidget, a library for representing, compiling, and evaluating large math expressions, mainly as a backend for implicit surfaces.

fidget implicit-surfaces rust jit-compilation

Screenshot of philipzucker.com: Knuckledragger, a Semi-Automated Python Proof Assistant

Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com)

64 points by philzook 2 years ago | 14 comments

Screenshot of ianthehenry.com: Why Janet?

Why Janet?(ianthehenry.com)

344 points by ianthehenry 3 years ago | 112 comments

Ian Henry's blog post making the case for the Janet Lisp dialect as a simple, fun language for side projects, promoting his free book about it.

janet lisp programming-languages scripting

Looks similar

The Ken Thompson Hack(wiki.c2.com)

Doing First Grade Math in Rust's Type System(fprasx.github.io)

Scheming a mise-en-abîme in BQN(panadestein.github.io)

Fidget(mattkeeter.com)

Knuckledragger, a Semi-Automated Python Proof Assistant(philipzucker.com)