๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ“ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.orgยท20h
๐ŸŽฎVerification Games
Specification Grounding: The Missing Link in Vibe Coding
unstract.comยท8hยท
Discuss: Lobsters, Hacker News
๐Ÿ”Formal Verification
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.comยท2hยท
Discuss: r/programming
๐ŸซOCaml
Binding Application in Idris
andrevidela.comยท1hยท
Discuss: Hacker News
๐Ÿ” Type-Level Programming
Show HN: Optiverse โ€“ Evolving Code with LLMs
mathieularose.comยท9hยท
Discuss: Hacker News
๐Ÿ” Type-Level Programming
Show HN: LlamaFarm โ€“ Working on binary AI Project deployment โ€“ (early preview)
github.comยท3hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.orgยท1d
๐ŸŽฎVerification Games
Computer Scientists Figure Out How To Prove Lies
quantamagazine.orgยท1dยท
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
๐ŸŽฎVerification Games
The Right Approach to Authorization in RAG
osohq.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
Being a psychologist to your (over)thinking LLM
specy.appยท2dยท
Discuss: Hacker News
๐ŸŽฎVerification Games
My first verified (imperative) program
markushimmel.deยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”Formal Verification
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.coยท13hยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.comยท5hยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.orgยท1d
๐ŸซOCaml
AI Evals: How To Systematically Improve and Evaluate AI
newsletter.eng-leadership.comยท1dยท
Discuss: r/programming
๐Ÿ‘๏ธSystem Observability
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.orgยท20h
๐Ÿค–Program Synthesis
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.orgยท1d
๐Ÿ”Formal Verification
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.orgยท8hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ‘๏ธSystem Observability
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.comยท1dยท
Discuss: Hacker News
๐ŸซEmbedded OCaml
AI Agents Under the Hood
blog.surkar.inยท2dยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap