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·5h·
Discuss: Lobsters
📝Compiler Design
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·19h·
Discuss: Hacker News
🔗Topological Sorting
Regolith - A JavaScript library immune to ReDoS attacks
github.com·6h
⚡Dependent Rust
LLM Inference Handbook
bentoml.com·8h·
Discuss: Hacker News
💻Local LLMs
The double-edged sword of MCP: Understanding the threat landscape for AI workflows
redcanary.com·19h
🔒Language-based security
Proof Complexity 2025
cstheory-events.org·3d
🎯Performance Proofs
How to scale RL to 10^26 FLOPs
blog.jxmo.io·14h·
Discuss: Hacker News
⚔️Lean Tactics
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·22h
🗣️Domain-Specific Languages
Evolving Tactics of SLOW#TEMPEST: A Deep Dive Into Advanced Malware Techniques
unit42.paloaltonetworks.com·59m
🛡️RISC-V Security
Cactus Language • Stylistics 2
inquiryintoinquiry.com·1d
💻Programming languages
Moan-routine: LO's Predicate Signatures
lmika.org·3h
🔗Functional Compilers
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·18h·
Discuss: Lobsters, Hacker News
⚙️TLA+
Recap of all types of LLM Agents
towardsdatascience.com·1d
⚡Proof Automation
Abstract Syntax Trees (ASTs) in Action: Build Your Own Python Code Sniffer
dev.to·1h·
Discuss: DEV
🌳Incremental Parsing
Binding Application in Idris
andrevidela.com·11h·
Discuss: Hacker News
🔤Type Theory
ATC/OSDI’25 Technical Sessions
muratbuffalo.blogspot.com·12h·
Discuss: www.blogger.com
🔌Interface Evolution
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·18h
🎵Audio ML