🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 Theorem Proving

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

5 Best GitHub AI Repos to Master AI Like a Pro
dev.to·8h·
Discuss: DEV
🎲Probabilistic Programming
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·21h·
Discuss: Hacker News
🔢Mathematical Logic
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🧭SMT Solvers
The Role of Human Feedback in Agentic AI Tool Validation
analyticsvidhya.com·9h
🤝Protocol Design
🚨BREAKING: I finally understand how LLMs actually work.
threadreaderapp.com·15h
🧭SMT Solvers
JavaScript lib for exchanging selective disclosure proofs
github.com·4h·
Discuss: Hacker News
🤝Protocol Design
The Programming of a Chess Engine ♟️
amanchhetry.bearblog.dev·16h
⚖Algorithmic Game Theory
How our engineers use AI for coding (and where they refuse to)
signoz.io·5h·
Discuss: r/programming
🔍Static Analysis
Need guidance please!
reddit.com·3h·
Discuss: r/cpp
🔧Compiler Design
I Taught My JavaScript AI to Rewrite Its Own Code
github.com·3h·
Discuss: DEV
🔗Parser Combinators
Custom slash commands in Claude Code
boliv.substack.com·3h·
Discuss: Substack
🏗️Software Architecture
How LLMs Learn to Solve Complex Math
hackernoon.com·4h
🧭SMT Solvers
busy beaver function
ncatlab.org·11h
🔄Category Theory
A Hands-on Agentic RAG Design Example
pub.towardsai.net·6h
🎲Probabilistic Programming
Invention as Exploration
symmetrybroken.com·5h·
Discuss: Hacker News
📈Complexity Theory
The Nickel Configuration Language
nickel-lang.org·3h·
Discuss: Hacker News
📐Type Theory
AI Assisted Development - FAFO
blog.zsec.uk·4h
🔌Network Programming
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Is Brackeys good for learning programming?
i.redd.it·8h·
Discuss: r/godot
📝Lisp
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·19h·
Discuss: Hacker News
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap