German Interoperability Day: How does AI affect standards?
heise.de·16h
⚙️TLA+
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·1h·
Discuss: Hacker News
🧬Functional Programming
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·10h·
Discuss: Hacker News, r/neovim
🔗Lisp
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.org·1d
✨Algebraic Effects
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
⚡Proof Automation
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·7h
🧮Kolmogorov Complexity
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev·13h·
Discuss: Hacker News
💧Liquid Types
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·1d
💻Programming languages
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·2d
🔍Information Retrieval
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·7h
💨Cache Optimization
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·2d
🧮SMT Solvers
Linguistic Characteristics of AI-Generated Text: A Survey
arxiv.org·7h
📝Text Parsing
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·7h·
Discuss: DEV
💧Liquid Types
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·1d
💻Programming languages
Fast Leave-One-Out Approximation from Fragment-Target Prevalence Vectors (molFTP) : From Dummy Masking to Key-LOO for Leakage-Free Feature Construction
arxiv.org·7h
🧮SMT Solvers
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·1d
✓Automated Theorem Proving
Read the Scene, Not the Script: Outcome-Aware Safety for LLMs
arxiv.org·1d
🔗Parser Combinators
MADS: Multi-Agent Dialogue Simulation for Diverse Persuasion Data Generation
arxiv.org·7h
🔲Cellular Automata
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·2d
🌲Parse Trees