Building a Rules Engine from First Principles
towardsdatascience.comยท10h
๐Ÿ”—Combinatory Logic
Flag this post
Vectorizing for Fun and Performance
ibm.comยท1dยท
Discuss: Hacker News
โšกSIMD Vectorization
Flag this post
Maran Capital Management Q3 2025 Letter
seekingalpha.comยท12h
๐ŸŒŠStreaming Algorithms
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.comยท3d
๐Ÿ”—Constraint Handling
Flag this post
Scalable Adaptive Control of Hybrid Reconfigurable Manufacturing Systems Using Bayesian Optimization and Digital Twins
dev.toยท12hยท
Discuss: DEV
โš™๏ธModern Assembly
Flag this post
The AI invasion has begun
aardvark.co.nzยท10h
๐Ÿ”ฒCellular Automata
Flag this post
Leadership Co-Processing with LLMs
theengineeringmanager.comยท30mยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.eduยท2d
๐Ÿ“Error Bounds
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท10h
๐Ÿ”งRISC-V Assembler
Flag this post
Show HN: sjl โ€“ Simple JSON Logger for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”CBOR
Flag this post
A moonlit week
blog.mitrichev.chยท4dยท
ฮปLambda Encodings
Flag this post
Unit-free theorem pinpoints key variables for AI and physics models
phys.orgยท1d
๐Ÿ“ŠQuantization
Flag this post
De Bruijn Numerals
text.marvinborner.deยท13hยท
Discuss: Hacker News
ฮปLambda Encodings
Flag this post
ESTIMED_hackathon1_SSSUP
hackster.ioยท16h
๐Ÿ”’WASM Capabilities
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท5hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Gambling coin game โ€“ math and CS article
joshpearlson.comยท2dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Estimating the Perceived 'Claustrophobia' of New York City's Streets
mfranchi.netยท14hยท
Discuss: Hacker News
๐Ÿ“ŠCount-Min Sketch
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท15h
ฮปLambda Formalization
Flag this post