Discovering JavaScript's Hidden Secrets: Understanding Numerical Algorithms.
🧮Combinator Calculus
Flag this post
5 Maths Gems #193
∫Mathematical DSLs
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·22h
🌱Minimal ML
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
🧩Constraint Solvers
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
🎭Racket Modules
Flag this post
Stochastic computing
scottlocklin.wordpress.com·10h
🖥️Lisp Machines
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
🧩Constraint Solvers
Flag this post
Fungus: The Befunge CPU(2015)
🌳B+ Trees
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
This tool is basically NotebookLM for math problems
xda-developers.com·1d
🎯Constraint Solving
Flag this post
Human mathematician beats AI in the ‘kissing numbers’ challenge
earth.com·1d
🔢Algebraic Datatypes
Flag this post
Is the logic in numbers part of a greater universal language? A 2 part exploration of 0 and 1 - Part I The Reality in Numbers
🔗Concatenative Theory
Flag this post
SQL for Data Analysis Tutorial
mygreatlearning.com·1d
📈Query Optimization
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
How I solved nutrition aligned to diet problem using vector database
🎓Educational Databases
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·5h
⚖️Inference Rules
Flag this post
Loading...Loading more...