Understanding Automatic Differentiation
swagatmitrab.vercel.app·16h·
Discuss: Hacker News
📐Error Bounds
Using Units in Emacs Calc
n16f.net·14h
⚡Homebrew CPUs
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·10h
🎯Performance Proofs
99% of us use ChatGPT wrong. The AI slop is our fault, I fixed it (and you can too).
dev.to·10h·
Discuss: DEV
✨Effect Handlers
Q&A: Math education and the importance of memory and problem solving
phys.org·3d
📚Proof Pedagogy
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·21h
💎Information Crystallography
NXP MCX A34 mixed-signal Cortex-M33 MCU delivers 17x faster math acceleration for motor control and HVAC systems
cnx-software.com·21h
🔌Microcontrollers
On This Day in Math - August 29
pballew.blogspot.com·20h·
Discuss: www.blogger.com
🔍Polish Cryptanalysis
Notes on Programming in C by Rob Pike
lysator.liu.se·23h·
Discuss: Hacker News
🦀Rust Macros
Performance woes in Unreal Engine 5 games are developers' fault, says Tim Sweeney
techspot.com·6h
🎯Emulator Accuracy
Nytek Calculator
play.google.com·2d·
Discuss: Hacker News
📐Document Calculus
The use of Claude Code in SciML repos
discourse.julialang.org·2h·
Discuss: Lobsters
📏Code Metrics
Solving Plus Minus Problem in Python (HackerRank ) .
dev.to·1d·
Discuss: DEV
📐Interval Arithmetic
Why I Ditched Malloc for AI Inference
gilli.dev·1d·
Discuss: Hacker News
🧠Memory Allocators
God Created the Real Numbers
ethanheilman.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
📐Mathematical Art
Tic-tac-toe meets Lean 4
ochagavia.nl·2d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
How To Structure Your Application Like An Artisan
blog.codeminer42.com·1d
🐚Shell Calculus
Quantization Robustness to Input Degradations for Object Detection
arxiv.org·1d
📊Quantization
Automated X-ray Diffraction Data Anomaly Identification via Multi-Scale Kernel Regression
dev.to·5h·
Discuss: DEV
💿Optical Forensics
Making Operations Research More Accessible: Insights from the Rise of ML
pubsonline.informs.org·1d·
Discuss: Hacker News
🧠Machine Learning