Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·1d·
Discuss: DEV
🧪Binary Fuzzing
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
Language Support for Marginalia Search
marginalia.nu·1d
🔍BitFunnel
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·11h
🔢Reed-Solomon Math
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·12h
🎯Proof Tactics
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1d
🧮SMT Solvers
Efficiently Updatable Neural Network (NNUE)
beuke.org·1d
📊Quantization
A grand week
blog.mitrichev.ch·2d·
🧮SMT Solvers
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·8h
🦀Rust Macros
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
#11 fraction .... History and Etymology of Math Terms
pballew.blogspot.com·17h·
⚔️Lean Theorem
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·16h
🧮Kolmogorov Complexity
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·12h
🔓Decompilation
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·10h
📐Mathematical Art
Making performant Python bindings to compiled code
kylebarron.dev·8h·
Discuss: Hacker News
🦀Rust Macros
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·2d·
Discuss: Hacker News
🕸️Knowledge Graphs
Writing an LLM from scratch, part 21 – perplexed by perplexity
gilesthomas.com·4h·
Discuss: Hacker News
🧠Intelligence Compression
Meet the Flummoxagon
n-e-r-v-o-u-s.com·9h·
Discuss: Hacker News
📐Mathematical Art
Eliminating the Precision–Latency Trade-Off in Large-Scale RAG
thenewstack.io·4d
🎯Retrieval Systems