Stories by adamnemecek

The Hodge Operator Revisited

RX: Modern pixel editor implemented in Rust

Nanoda: Type checker for the Lean theorem prover in Rust

August 1969: When a Brutal Crackdown on Protests Resulted in Killings

Hecke.jl: Computational algebraic number theory in Julia

Monadic Deep Learning [pdf]

Demystifying Differentiable Programming: Shift/Reset, Penultimate Backpropagator

Ruffle: Flash Player Emulator Written in Rust

From automatic differentiation to message passing [video]

Ask HN: How to help Hong Kong

U.S. vs. Jeffrey Epstein

The War Against Immigrants: Trumps Tech Tools Powered By Palantir [pdf]

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

Cretaceous–Paleogene Extinction Event

BiVector: Community for Geometric Algebra for CGI, Vision and Engineering

Geometric Algebra for Computer Graphics

BiVector: Community for Geometric Algebra for CGI, Vision and Engineering

Linear Canonical Transformation

Hecke.jl: Computational algebraic number theory

Discrete Differential Geometry: An Applied Introduction [pdf]

17
18
19
20
21
22
23
24
25
26