|
Algebraic Semantics for Machine Knitting
|
|
0
|
1
|
April 15, 2025
|
|
Curvature of a triangle mesh
|
|
0
|
3
|
February 26, 2025
|
|
Real numbers in a calculator app
|
|
0
|
1
|
February 17, 2025
|
|
Formalization of geometry in Coq
|
|
0
|
1
|
December 24, 2024
|
|
The Case Against Geometric Algebra
|
|
0
|
2
|
August 27, 2024
|
|
An Introduction to Tseitlin Machines
|
|
0
|
2
|
July 3, 2024
|
|
Sheaf Theory through examples
|
|
0
|
3
|
June 18, 2024
|
|
Aleph 0 - a channel devoted to [...] pure mathematics
|
|
0
|
9
|
June 17, 2024
|
|
Floyd-Steinberg dithering
|
|
0
|
3
|
March 30, 2024
|
|
Scaling exact inference for discrete probabilistic programs
|
|
0
|
3
|
March 24, 2024
|
|
Shamir Secret Snakeoil
|
|
0
|
2
|
March 24, 2024
|
|
Category Theory in Context
|
|
0
|
2
|
March 24, 2024
|
|
Liquid Types vs. Floyd-Hoare Logic
|
|
0
|
2
|
March 24, 2024
|
|
Cubical Type Theory
|
|
0
|
2
|
March 24, 2024
|
|
Torsors
|
|
0
|
3
|
March 24, 2024
|
|
Software Foundations (books on logic and semantics of programming languages)
|
|
0
|
3
|
March 24, 2024
|
|
Child's guide to spinors
|
|
0
|
3
|
March 24, 2024
|
|
Differentiable dithering
|
|
0
|
3
|
March 23, 2024
|
|
δ-Complete Decision Procedures for Satisfiability over the Reals
|
|
0
|
3
|
March 23, 2024
|
|
Bartosz Milewski's Programming Cafe
|
|
0
|
2
|
March 23, 2024
|
|
Linear Logic Flavoured Composition of Petri Nets
|
|
0
|
2
|
March 23, 2024
|
|
Sober look at Bayesian Neural Networks
|
|
0
|
4
|
March 23, 2024
|
|
Corecursion and coinduction
|
|
0
|
2
|
March 23, 2024
|
|
Bloom Filters debunked
|
|
0
|
2
|
March 23, 2024
|
|
Pseudorandomness
|
|
0
|
4
|
March 23, 2024
|
|
Set-Theoretic Types for Polymorphic Variants
|
|
0
|
3
|
March 23, 2024
|
|
Type inference with subtyping
|
|
0
|
2
|
March 23, 2024
|
|
Proof that "algebraic datatypes" are algebraic
|
|
0
|
3
|
March 23, 2024
|
|
Separation Logic
|
|
0
|
4
|
March 23, 2024
|
|
Plane-based Geometric Algebra
|
|
0
|
3
|
March 21, 2024
|