Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·9h·
Discuss: Hacker News
🎯Performance Proofs
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·3d
💨Cache Optimization
Benchmarking LLM Causal Reasoning with Scientifically Validated Relationships
arxiv.org·2d
🧠Intelligence Compression
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·2d
📏Linear Logic
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
MARC: Memory-Augmented RL Token Compression for Efficient Video Understanding
arxiv.org·1d
🧠Learned Codecs
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·12h·
Discuss: DEV
⚡Incremental Computation
Cactus Language • Semantics 1
inquiryintoinquiry.com·4d
🔢Denotational Semantics
Why The Future of Code Is More Human Than Ever
dev.to·1d·
Discuss: DEV
📏Code Metrics
Show HN: Realization Jsmn on a Pure Zig
github.com·22h·
Discuss: Hacker News
🔗Concatenative Programming
Cactus Language • Semantics 2
inquiryintoinquiry.com·2d
🔢Denotational Semantics
Targeted Digital Twin via Flow Map Learning and Its Application to Fluid Dynamics
arxiv.org·1d
🔲Cellular Automata
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·1d
📊HyperLogLog
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.org·3d
🔒Language-based security
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·2d
💻Local LLMs
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning