Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·18h
📞Session Types
LLMs and reinforcement learning
sicpers.info·16h
⚔️Lean Tactics
A new breed of analyzers
daniel.haxx.se·14h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·4d
🎯Gradual Typing
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·22h
🧮Kolmogorov Complexity
The Hidden Bias: A Study on Explicit and Implicit Political Stereotypes in Large Language Models
arxiv.org·22h
🤖Grammar Induction
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·22h
💻Local LLMs
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·4d·
Discuss: DEV
⚡SMT Applications
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·22h
⚛️Quantum Storage
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·2d
🧮Kolmogorov Complexity
Show HN: Realization Jsmn on a Pure Zig
github.com·16h·
Discuss: Hacker News
🔗Concatenative Programming
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·14h·
Discuss: Hacker News
⚡Incremental Computation
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·6h·
Discuss: DEV
🔍Concolic Testing
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·2d
💨Cache Optimization
Benchmarking LLM Causal Reasoning with Scientifically Validated Relationships
arxiv.org·1d
🧠Intelligence Compression
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·1d
📏Linear Logic
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·22h·
Discuss: r/LLM
💻Local LLMs
MARC: Memory-Augmented RL Token Compression for Efficient Video Understanding
arxiv.org·22h
🧠Learned Codecs
Cactus Language • Semantics 1
inquiryintoinquiry.com·4d
🔢Denotational Semantics
Why The Future of Code Is More Human Than Ever
dev.to·19h·
Discuss: DEV
📏Code Metrics