A Kevin week
blog.mitrichev.chยท15hยท
Discuss: blog.mitrichev.ch
๐Ÿ“Linear Algebra
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.toยท3hยท
Discuss: DEV
๐Ÿ”งHardware Verification
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท4h
๐Ÿ”—Topological Sorting
Understanding Floating-Point Numbers
dennisforbes.caยท3dยท
Discuss: Hacker News
๐Ÿ“Arithmetic Precision
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท15hยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฎZ3 Solver
On training binary neural networks
kevinmartinjose.comยท17h
๐Ÿ“ŠQuantization
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.comยท6hยท
Discuss: www.blogger.com
ฮปLambda Encodings
Area of the unit disk after a Mรถbius transformation
johndcook.comยท40m
๐Ÿ’ฟDisk Geometry
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.comยท14hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Balance between refactoring and inheritance in your code
github.comยท55mยท
Discuss: Hacker News
โœ…Format Verification
Weighted random generation in Python (2010)
eli.thegreenplace.netยท15hยท
Discuss: Hacker News
๐Ÿ”ขBitwise Algorithms
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.toยท23hยท
Discuss: DEV
๐Ÿ”—Topological Sorting
Folks, we have the best ฯ€
lcamtuf.substack.comยท6hยท
Discuss: Substack
๐Ÿ“Mathematical Art
You can't test if quantum uses complex numbers
algassert.comยท54mยท
Discuss: Hacker News
๐Ÿ”Quantum Security
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.orgยท8h
๐ŸŽฏPerformance Proofs
Basic Guide to Einsum
ajcr.netยท17hยท
Discuss: Hacker News
๐Ÿ“Error Bounds
Planarizing matchings
11011110.github.ioยท18h
๐ŸŽจGraph Coloring
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.comยท2d
๐Ÿ’ŽInformation Crystallography
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.orgยท1dยท
Discuss: Hacker News
๐Ÿ“Document Calculus
Algebraic Types are not Scary
blog.aiono.devยท2hยท
Discuss: Lobsters, Hacker News
๐ŸงฎAlgebraic Datatypes