The math Module in Python: 6 Common Calculations You Can Make
howtogeek.com·13h
∫Mathematical DSLs
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
∫Symbolic Math
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·6h·
Discuss: Hacker News
🔢Algebraic Datatypes
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
🔍ML Language
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·10h·
Discuss: Hacker News
🔢Algebraic Datatypes
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1h
✅Type Checking
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·11h
🧮Combinator Calculus
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·11h·
Discuss: r/programming
🧠Memory Models
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·18h·
Discuss: Hacker News
💬Interactive REPLs
Database Normalization
dev.to·11h·
Discuss: DEV
🎓Educational Databases
A grand week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
On This Day in Math - October 6
pballew.blogspot.com·36m·
Discuss: www.blogger.com
πPi Calculus
why & how i learnt ML
abinesh-mathivanan.vercel.app·21h·
Discuss: r/programming
🔍ML Language
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·15h·
Discuss: Hacker News
🌲Tree Rewriting
Recent AI Experiences
lesswrong.com·2d
📝Rope Editors
The Inverse Matrix problem
talesfrom.dev·5h
🚂Error Propagation
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🎯Bit Vectors
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation