Array Programming the Mandelbrot Set
jcmorrow.com·6h·
Discuss: Hacker News
🔢Number Theory
Flag this post
Dive into Systems
diveintosystems.org·3d·
Discuss: Hacker News
🧠CPU Architecture
Flag this post
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·3w·
Discuss: Hacker News
🌐WebAssembly
Flag this post
Remembrancy
lesswrong.com·1w
⚙️Compilers
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·3d·
Discuss: DEV
⚙️Compilers
Flag this post
Bridging Perception and Reasoning: Dual-Pipeline Neuro-Symbolic Landing for UAVs in Cluttered Environments
arxiv.org·1w
⚙️Compilers
Flag this post
[D] Found error at published Neurips paper
reddit.com·2w·
Discuss: r/MachineLearning
📐Linear Algebra
Flag this post
Statistical Model Checking As An Evaluation Tool of Microarchitectural Side Channels (Duke, Harvard, Univ. of Florida)
semiengineering.com·2w
⚡SIMD
Flag this post
132 Lines of Python That Give Birth to a Mathematical Hyper-Monster
github.com·2w·
Discuss: DEV
🔢Number Theory
Flag this post
The Rosetta Stone of AI: Bridging Math, Logic, and Uncertainty
dev.to·2w·
Discuss: DEV
🔢Number Theory
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·2d·
Discuss: r/ClaudeAI
⚙️Compilers
Flag this post
Spatial DP: Finding the Largest Square
mmhaskell.com·2w
🔢Number Theory
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·3d
⚙️Compilers
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·3d
⚡SIMD
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1w
📐Linear Algebra
Flag this post
Agentic AI from First Principles: Reflection
towardsdatascience.com·1w
🌐WebAssembly
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·1w
⚡SIMD
Flag this post
A Layered Intuition -- Method Model with Scope Extension for LLM Reasoning
arxiv.org·3w
⚙️Compilers
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·1w
🔢Number Theory
Flag this post
Empirical Partial Derivatives
lesswrong.com·2w
📐Mathematics
Flag this post