Spiral-Bench shows which AI models most strongly reinforce users' delusional thinking
the-decoder.com·34m
🧠Intelligence Compression
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·1d·
Discuss: Hacker News
🔍Concolic Testing
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
Lessons from AI Safety for Businesses
svana.name·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Do not disrespect the fractal
zeux.io·1d·
Discuss: Hacker News
📏Code Metrics
Convergence in Software
valand.dev·22h·
Discuss: Hacker News
🦀Rust Macros
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·9h·
Discuss: Hacker News
⚡Proof Automation
Beyond Bézier
beyondbezier.ch·1h·
Discuss: Hacker News
📖Nordic Typography
HigherOrderCO/HVM3
github.com·9h
🔗Functional Compilers
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·4d
🦀Rust Macros
Essential Reading for Agentic Engineers - August 2025
steipete.me·1d·
Discuss: Hacker News
⚙️Proof Engineering
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
⚡Performance Mythology
Getting SAC to Work on a Massive Parallel Simulator: An RL Journey
araffin.github.io·23h·
Discuss: Hacker News
⚡Incremental Computation
Concurrency in Call of Duty's VM, Compared to JavaScript
labs.rejot.dev·1d·
Discuss: Hacker News
🔩Systems Programming
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
ContextualLVLM-Agent: A Holistic Framework for Multi-Turn Visually-Grounded Dialogue and Complex Instruction Following
arxiv.org·1d
🌳Context free grammars
What Hugging Face reveals about the data economy of fine-tuning
research.portexai.com·18h·
Discuss: Hacker News
🌀Brotli Internals
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages