Construction of Kochen-Specker Sets from Mutually Unbiased Bases
arxiv.org·5d
🎯Bit Vectors
Quantum Algorithm Zoo
quantumalgorithmzoo.org·5d·
Discuss: Hacker News
🎯Bit Vectors
A comprehensive review of lithium-ion battery modelling research and prospects: in-depth analysis of current research and future directions
sciencedirect.com·18h
🧠Memory Models
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·23h
🔧Error Recovery
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
🧩Constraint Solvers
Is IP fragmentation still considered vulnerable?
blog.apnic.net·9h
📡Protocol Stacks
Weighted random generation in Python (2010)
eli.thegreenplace.net·1d·
Discuss: Hacker News
⏭️Skip Lists
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·2h
🗺️Region Inference
Basic Guide to Einsum
ajcr.net·1d·
Discuss: Hacker News
🔄Loop Optimization
‘Round the Square: ‘Mirror, mirror, on the wall,’ right? - The Bradford Era
bradfordera.com·4h
🔗Concatenative Theory
utf-8-history.txt
cl.cam.ac.uk·5h
🔢Binary Formats
Detectability Thresholds for Network Attacks on Static Graphs and Temporal Networks: Information-Theoretic Limits and Nearly-Optimal Tests
arxiv.org·7h
🔄Protocol State Machines
You can't test if quantum uses complex numbers
algassert.com·23h·
Discuss: Hacker News
⚡Control Synthesis
AI hardware reimagined for lower energy use
techxplore.com·22h
🔌Microcontrollers
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·1d
💬Smalltalk VMs
Ian Bos
hackaday.com·1d
🐹Minimal Go
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·22h·
Discuss: Hacker News
🌱Minimal Lisps
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·2d·
Discuss: Hacker News
🔄Subinterpreters
Merging Physics-Based Synthetic Data and Machine Learning for Thermal Monitoring of Lithium-ion Batteries: The Role of Data Fidelity
arxiv.org·1d
🗺️Region Inference
CRT-structured Collatz blocks
researchgate.net·4d·
Discuss: r/mathematics
λLambda Calculus