ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·19h
⚡Incremental Computation
How the Lean language brings math to coding and coding to math
amazon.science·3d·
Discuss: Hacker News
🔬Lean
Lobsters Interview with Hwayne
lobste.rs·1h·
Discuss: Lobsters
⚔️Lean Tactics
Generating Structured Outputs from LLMs
towardsdatascience.com·4h
📐Format Grammars
Programming with AI: You're Probably Doing It Wrong
devroom.io·23h·
Discuss: Hacker News
⚡Proof Automation
Autodoc
funcall.blogspot.com·17h·
Discuss: www.blogger.com
⚡Proof Automation
Static vs Dynamic
theprogrammersparadox.blogspot.com·4h·
Discuss: theprogrammersparadox.blogspot.com
🏗️Compiler Archaeology
Training Specialist Models: Automating Malware Development
outflank.nl·1d
🧮SMT Solvers
Getting Good Results from Claude Code
dzombak.com·9h·
Discuss: Hacker News
⚔️Lean Tactics
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·4d
📝Concrete Syntax
AWS-LC is a general-purpose cryptographic library
github.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Scrutinizing LLM Reasoning Models
cacm.acm.org·1d
✓Automated Theorem Proving
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·23h
🔗Functional Compilers
Mathematical family
cameroncounts.wordpress.com·7h
⚔️Lean Theorem
Parametric Matrix Models
nature.com·1d·
Discuss: Hacker News
📐Linear Algebra
Simple Programming Languages
ryanbrewer.dev·9h·
Discuss: Hacker News
🔗Concatenative Programming
Understanding and Mitigating Errors of LLM-Generated RTL Code
arxiv.org·19h
✅Format Verification
Sophos AI at Black Hat USA ’25: Anomaly detection betrayed us, so we gave it a new job
news.sophos.com·1d
🎯Threat Hunting
[$] On the use of LLM assistants for kernel development
lwn.net·1d
🔩Systems Programming
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·4d·
Discuss: Hacker News
💧Liquid Types