On This Day in Math - October 6
pballew.blogspot.comΒ·1dΒ·
Discuss: www.blogger.com
Ο€Pi Calculus
Dimensional Analysis in Programming Languages (2018)
gmpreussner.comΒ·1dΒ·
Discuss: Hacker News
πŸ”’Algebraic Datatypes
Simple LLM VRAM calculator for model inference
bestgpusforai.comΒ·3dΒ·
Discuss: Hacker News
πŸ—ΊοΈRegion Inference
Four years, Five failures, One compiler
daymare.netΒ·2dΒ·
Discuss: Hacker News, r/programming
🌱Minimal Languages
Seriously Testing LLMs
satisfice.comΒ·1d
🎯Finite Automata
Startup Funding: Q3 2025
semiengineering.comΒ·1d
πŸ—ΊοΈRegion Inference
Homerow Mods at 100+ WPM
reddit.comΒ·1dΒ·
Discuss: r/ErgoMechKeyboards
πŸ’»Terminal Emulators
OOMKilled Pods: A guide to troubleshooting.
dev.toΒ·17hΒ·
Discuss: DEV
πŸ’ΎIoT Allocators
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.toΒ·12hΒ·
Discuss: DEV
πŸ¦€MIR Optimization
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.comΒ·2dΒ·
Discuss: Hacker News
πŸ”’Rust Borrowing
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.orgΒ·7h
πŸ”ML Language
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.toΒ·1hΒ·
Discuss: DEV
✨Effect Inference
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.orgΒ·7h
✨Gleam
Operationalizing Data Minimization for Privacy-Preserving LLM Prompting
arxiv.orgΒ·7h
🌱Minimal ML
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.orgΒ·7h
πŸ”„Subinterpreters
Precision Inertial Navigation via Multi-Modal Sensor Fusion and Adaptive Kalman Filtering
dev.toΒ·2hΒ·
Discuss: DEV
🌊Loop Invariant Motion
CANOPI: Contingency-Aware Nodal Optimal Power Investments with High Temporal Resolution
arxiv.orgΒ·7h
⏲️Embedded GC
What If Life Is Just Another Kind of Computer?
zmescience.comΒ·2h
πŸ›οΈElm Architecture
The Tools That Make My Terminal WorK
dev.toΒ·1dΒ·
Discuss: DEV
πŸ’»Terminal Control
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.orgΒ·7h
πŸ“‹JSON Parsing