Optimal Micro-Transit Zoning via Clique Generation and Integer Programming
arxiv.org·5h
🕸️Network Topology
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📐Linear Algebra
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Speeding up my Ray Tracer using JAX
kayleegeorge.github.io·15h·
Discuss: Hacker News
⟷Bidirectional Programming
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Planarizing matchings
11011110.github.io·1d
🎨Graph Coloring
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.org·6h
✅Format Verification
Hybrid Fuzzy Logic Adaptive Control for Robotic Swarm Navigation in Uncertain Terrain
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🔗Topological Sorting
FACTORS: Factorial Approximation for Complementary Two-factor Optimization with Risk-aware Scoring
arxiv.org·5h
🧠Machine Learning
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·2d·
Discuss: Hacker News
📐Document Calculus
Basic Guide to Einsum
ajcr.net·1d·
Discuss: Hacker News
📐Error Bounds
Just Get a Partial Fix and Move On
chillphysicsenjoyer.substack.com·11h·
Discuss: Substack
🧮SMT Solvers
Machine Scheduler in LLVM
myhsu.xyz·1h·
Discuss: Hacker News
⚙️RISC-V Microcode
What is Algebraic about Algebraic Effects?
interjectedfuture.com·17h
✨Algebraic Effects
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·5d·
Discuss: Substack
🧮Kolmogorov Bounds
Balance between refactoring and inheritance in your code
github.com·21h·
Discuss: Hacker News
✅Format Verification
Comparing Model-based Control Strategies for a Quadruple Tank System: Decentralized PID, LMPC, and NMPC
arxiv.org·5h
✨Algebraic Effects
Weighted random generation in Python (2010)
eli.thegreenplace.net·1d·
Discuss: Hacker News
🔢Bitwise Algorithms