Hilariously fast volume computation with the divergence theorem (2018) (alyssarosenzweig.ca) | HN Screenshots

YHacker Newsscreenshots

Screenshot of alyssarosenzweig.ca: Hilariously fast volume computation with the divergence theorem (2018)

First screen, captured 1 month ago.

Looks similar

Screenshot of susam.net: Lemma for the Fundamental Theorem of Galois Theory

Lemma for the Fundamental Theorem of Galois Theory (susam.net)

126 points by susam 1 year ago | 33 comments

Screenshot of davecturner.github.io: TLA+ in Isabelle/HOL

TLA+ in Isabelle/HOL (davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments

Screenshot of lix.polytechnique.fr: λProlog: Logic programming in higher-order logic

λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Screenshot of nicolaszucchet.github.io: Forward propagation of errors through time

Forward propagation of errors through time (nicolaszucchet.github.io)

24 points by iNic 8 months ago | 0 comments

Screenshot of kobzol.github.io: Tokio and Prctl = Nasty Bug

Tokio and Prctl = Nasty Bug (kobzol.github.io)

190 points by ingve 1 year ago | 61 comments

Screenshot of brainpaingames.com: Show HN: A rudimentary game engine to build four dimensional VR evironments

Show HN: A rudimentary game engine to build four dimensional VR evironments (brainpaingames.com)

30 points by teemur 1 year ago | 1 comments