LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1d·
Discuss: Hacker News
💻Local LLMs
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·19h
🧠Machine Learning
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Sorting encrypted data without decryption: a practical trick
dev.to·8h·
Discuss: DEV
🔐Hash Functions
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Nearly Instance-Optimal Parameter Recovery from Many Trajectories via Hellinger Localization
arxiv.org·1d
🧮Kolmogorov Bounds
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·19h·
Discuss: r/LLM
💻Local LLMs
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·19h
🔗Parser Combinators
Contrastive Weak-to-strong Generalization
arxiv.org·19h
⧗Information Bottleneck
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.com·1h·
Discuss: Substack
🧠Intelligence Compression
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·19h
💻Local LLMs
Improving Temporal Understanding Logic Consistency in Video-Language Models via Attention Enhancement
arxiv.org·19h
📊Learned Metrics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
Relational Transformer: Toward Zero-Shot Foundation Models for Relational Data
arxiv.org·1d
🧠Learned Indexes
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
From RNNs to ChatGPT: The Paper That Changed How AI Thinks 🤖
dev.to·6h·
Discuss: DEV
🎧Learned Audio