Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
🧮Theorem Proving
Writing an IR from Scratch and survive to write a post
farena.in·3h·
Discuss: Lobsters
📝Compiler Design
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·17h·
Discuss: Hacker News
🔗Topological Sorting
Regolith - A JavaScript library immune to ReDoS attacks
github.com·5h
⚡Dependent Rust
LLM Inference Handbook
bentoml.com·6h·
Discuss: Hacker News
💻Local LLMs
The double-edged sword of MCP: Understanding the threat landscape for AI workflows
redcanary.com·18h
🔒Language-based security
Proof Complexity 2025
cstheory-events.org·3d
🎯Performance Proofs
How to scale RL to 10^26 FLOPs
blog.jxmo.io·12h·
Discuss: Hacker News
⚔️Lean Tactics
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·21h
🗣️Domain-Specific Languages
Cactus Language • Stylistics 2
inquiryintoinquiry.com·1d
💻Programming languages
Moan-routine: LO's Predicate Signatures
lmika.org·2h
🔗Functional Compilers
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·16h·
Discuss: Lobsters, Hacker News
⚙️TLA+
Recap of all types of LLM Agents
towardsdatascience.com·1d
⚡Proof Automation
Binding Application in Idris
andrevidela.com·10h·
Discuss: Hacker News
🔤Type Theory
ATC/OSDI’25 Technical Sessions
muratbuffalo.blogspot.com·10h·
Discuss: www.blogger.com
🔌Interface Evolution
Smart Search Meets LLM: AWS-Powered Retrieval-Augmented Generation
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🔍RegEx Engines
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
The Case for Compact AI
cacm.acm.org·16h
🎵Audio ML
Why No Single Algorithm Solves Deduplication — and What to Do Instead
hackernoon.com·1d
🔍MinHash Variants