A perfect join algorithm? Answering queries in optimal time – Michael Arntzenius [video]youtube.com·1 pts·matt_d·0
International Conference on Functional Programming (ICFP) 2026 talks releasedyoutube.com·25 pts·matt_d·0
XGrammar-2: Fast, Customizable Structured Generation for Tool Calling and Agentsblog.mlc.ai·2 pts·matt_d·0
Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineeringarxiv.org·3 pts·matt_d·0
HarnessTax: How Much Does the Harness Matter for Coding Agents?harnesstax.github.io·233 pts·matt_d·99
Discovering Interpretable Algorithms by Decompiling Transformers to RASP [video]youtube.com·2 pts·matt_d·0
Branch Divergence in SIMT Machines: From CFG to Compiler Divergence Analysis [pdf]hsmahesha.github.io·1 pts·matt_d·0
Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoningarxiv.org·3 pts·matt_d·0