Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.orgยท1dยท
Discuss: Hacker News
๐Ÿ“Document Calculus
Planarizing matchings
11011110.github.ioยท23h
๐ŸŽจGraph Coloring
The Hierarchical Morphotope Classification: A Theory-Driven Framework for Large-Scale Analysis of Built Form
arxiv.orgยท13h
๐ŸบComputational Archaeology
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท9h
๐Ÿ”—Topological Sorting
Folks, we have the best ฯ€
lcamtuf.substack.comยท10hยท
Discuss: Substack
๐Ÿ“Mathematical Art
Systematic fraud uncovered in mathematics publications
phys.orgยท42m
๐Ÿ“šArchive Mathematics
Preserving the digital legacy of company archives: Last stop, Newhaven.
dpconline.orgยท9h
๐Ÿ’พData Preservation
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท1h
โœจAlgebraic Effects
Challenges You Will Face When Parsing PDFs with Python
theseattledataguy.comยท2hยท
Discuss: Hacker News
๐Ÿ“„PDF Archaeology
Fastest copy
forums.anandtech.comยท1h
๐Ÿ“„Document Digitization
Klartag improves the sphere-packing constant
quomodocumque.wordpress.comยท23h
โšฝSphere Packing
A Kevin week
blog.mitrichev.chยท20hยท
Discuss: blog.mitrichev.ch
๐Ÿ“Linear Algebra
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.toยท2hยท
Discuss: DEV
๐Ÿ”งHardware Verification
Cognitive and Gestalt psychology in your code: SMVP pattern
github.comยท18hยท
Discuss: Hacker News
โœ…Format Verification
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.comยท11hยท
Discuss: www.blogger.com
ฮปLambda Encodings
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท13hยท
Discuss: Lobsters, Hacker News
๐ŸงฎKolmogorov Complexity
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.comยท2d
๐Ÿ’ŽInformation Crystallography
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.comยท2hยท
Discuss: www.blogger.com
๐Ÿ”—Lisp
From Legal Documents to Knowledge Graphs
neo4j.comยท2dยท
Discuss: Hacker News
๐Ÿ“‹Document Grammar
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท20hยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฎZ3 Solver