Building a Rules Engine from First Principles
towardsdatascience.comยท10h
๐Combinatory Logic
Flag this post
Vectorizing for Fun and Performance
โก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
โ๏ธModern Assembly
Flag this post
The AI invasion has begun
aardvark.co.nzยท10h
๐ฒCellular Automata
Flag this post
A Two-step Krasnosel'skii-Mann Algorithm with Adaptive Momentum and Its Applications to Image Denoising and Matrix Completion
arxiv.orgยท2d
โกSIMD Vectorization
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
๐CBOR
Flag this post
A moonlit week
ฮป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
ฮปLambda Encodings
Flag this post
ESTIMED_hackathon1_SSSUP
hackster.ioยท16h
๐WASM Capabilities
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
๐Count-Min Sketch
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท15h
ฮปLambda Formalization
Flag this post
Loading...Loading more...