Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·10h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
[P] Lossless compression for 1D CNNs
reddit.com·18h·
Discuss: r/MachineLearning
📊Quantization
Neuro-Symbolic AI
en.wikipedia.org·14h·
Discuss: Hacker News
🔲Cellular Automata
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Fast Matrix Multiply on an Apple GPU
percisely.xyz·3d·
Discuss: Hacker News, Hacker News
⚡SIMD Vectorization
Show HN: Realization Jsmn on a Pure Zig
github.com·19h·
Discuss: Hacker News
🔗Concatenative Programming
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Self-Extracting F3
buttondown.com·4d·
Discuss: Hacker News
✅Format Verification
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
Building the Reasoning Engine at Axiom
axiommath.ai·9h·
Discuss: Hacker News
⚔️Lean Tactics
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·3d
🕸️Graph Algorithms
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
VLLM Predicted Outputs
cascadetech.ai·8h·
Discuss: Hacker News
💻Local LLMs
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·2d
🕸️Graph Algorithms
A gentle introduction to Generative AI: Historical perspective
medium.com·4h·
Discuss: Hacker News
🧠Learned Codecs
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·8h·
Discuss: Hacker News
📊Quantization