Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
dev.to·13h·
Discuss: DEV
🧮Theorem Proving
Flag this post
AI Limits: How Junior Developers Can Thrive by Understanding AI's Limits
practicalsecurity.substack.com·35m·
Discuss: Substack
📐Proof Assistants
Flag this post
Lang’s theorem — Pt. I: the classical result
ayoucis.wordpress.com·2h
🔀Category Theory
Flag this post
OpenAI publishes prompting guide for GPT-5.1
the-decoder.com·10h
📐Proof Assistants
Flag this post
How to Add Real-Time Web Search to Your LLM
hackernoon.com·6h
🤖AI Curation
Flag this post
Can a Domain-Specific Language Improve Program Structure Comprehension of Data Pipelines? A Mixed-Method Study [EMSE Journal]
dirkriehle.com·5h
🔤DSLs
Flag this post
AI math genius delivers 100% accurate results
phys.org·1d
🧮SMT Solvers
Flag this post
A treap week
blog.mitrichev.ch·12h·
Discuss: blog.mitrichev.ch
🎨Graph Coloring
Flag this post
Solving Project Euler #45
loriculus.org·22m·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
PepTriX: A Framework for Explainable Peptide Analysis through Protein Language Models
arxiv.org·1d
λLambda Formalization
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·4h·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post
Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
Implementing E Unification using SMT
philipzucker.com·6d
🧮SMT Solvers
Flag this post
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
arxiv.org·3d
🧮Theorem Proving
Flag this post
Continuous Claude – run Claude Code in a loop
github.com·7h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Spec-Driven Development: The Waterfall Strikes Back
marmelab.com·16h·
Discuss: Hacker News
✅Format Verification
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·1d·
Discuss: Lobsters, Hacker News
🔤DSLs
Flag this post
The Quake III Arena Bot
researchgate.net·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Scheduling in LLM Inference
fergusfinn.com·1d·
Discuss: Hacker News
💻Local LLMs
Flag this post
From ETL to AI(e)tl: Rethinking Data Pipelines for the AI Era
evanvolgas.substack.com·1d·
Discuss: Substack
⚙️Batch Processing
Flag this post