PCBs and parts are on hand - beginning construction of new 1130MRAM board
rescue1130.blogspot.com·14h·
Discuss: rescue1130.blogspot.com
⚙️DIY Electronics
C++26: range support for std:optional
sandordargo.com·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com·21h
🧠Intelligence Compression
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·2d
💨Cache Optimization
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io·18h·
Discuss: Hacker News
🔐Capability Systems
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
A Proof of the Riemann Hypothesis
dev.to·1d·
Discuss: DEV
⚔️Lean Theorem
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·1d
⚛️Quantum Algorithms
Counterfactual Identifiability via Dynamic Optimal Transport
arxiv.org·8h
🔍Vector Forensics
Need to sanity check my backup plan before I implement it
youtube.com·2d·
Discuss: r/homelab
💿Backup Strategies
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·12h·
Discuss: r/rust
🦀Rust Macros
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·3d·
Discuss: DEV
⚡Performance Mythology
Every Line of Code Is a Philosophy in Disguise
dev.to·5h·
Discuss: DEV
⚖️Emulation Ethics
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·6h·
Discuss: DEV
💻Local LLMs
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·8h
🧠Machine Learning
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·14h·
Discuss: Hacker News
📝Log Parsing
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org·2d
🧠Intelligence Compression
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·2d
🎨Graph Coloring
A Month Debugging AI Agents: How I Built a 10-Agents and Why I Had to Delete It
news.ycombinator.com·1d·
Discuss: Hacker News
👑Isabelle