🐿️ 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

Gjerdingsæterkvadet [Free] [Adventure] [Windows] [macOS]
samasgari.itch.io·16h
🔧Compiler Design
Checker Chess [Free] [Strategy]
june6919.itch.io·22h
⚖Algorithmic Game Theory
Remembering the work of Kevin S. Braunsdorf and the pundits tool-chain
leahneukirchen.org·3d·
Discuss: Hacker News
💾Retrocomputing
[Scrolling Music Book] Notes from the Underground by Fyodor Dostoyevsky set to The Smiths' Album Discography
pixel-fae.com·14h
🧮Programming Language Theory
Practical Lessons Learned Using Claude Code to Automate Integrations
petercto.substack.com·3d·
Discuss: Substack
👐Open Source Software
Turning Claude Code into My Best Design Partner
betweentheprompts.com·3d·
Discuss: Hacker News, Hacker News
🏗️Software Architecture
Challenges in Chunking for an Arabic Question-Answering System Based on PDFs
reddit.com·22h·
Discuss: r/LLM
🔗Parser Combinators
A Screw Approach to the Approximation of the Local Geometry of the Configuration Space and of the set of Configurations of Certain Rank of Lower Pair Linkages
arxiv.org·4d
🎯Constraint Programming
Blockchain Security Expert AI Track
dev.to·10h·
Discuss: DEV
🛡️IoT Security
Which LLM API i should use ?
reddit.com·16h·
Discuss: r/LLM
🧭SMT Solvers
LeetCode DSA for Embedded System
reddit.com·3d·
Discuss: r/embedded
🔧Compiler Design
Adaptive Resonance LLC Converter Control via Meta-Learning and Bayesian Optimization
dev.to·10h·
Discuss: DEV
🎲Probabilistic Programming
Postit 2025-04-29 10:08:23
dinandmentink.nl·22h
📝Lisp
What’s your go-to way of learning new words?
reddit.com·16h·
Discuss: r/chrome
🧮Programming Language Theory
GitLab 18.3: Expanding AI orchestration in software engineering
about.gitlab.com·3d
👐Open Source Software
On the Function of Faith in A Probably-Simulated Universe
lesswrong.com·14h
🧫Cellular Automata
These Rust Tools Will Seriously Level Up Your Dev Experience
dev.to·2d·
Discuss: DEV
🦀Rust
Cubs hope two big swings from Pete Crow-Armstrong, Kyle Tucker can change dynamics: 'It’s about time'
nytimes.com·20h
🧫Cellular Automata
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.org·4d
🔗Parser Combinators
Automated Beam-On-Time Chipset Validation via Hyperdimensional Semantic Analysis
dev.to·4d·
Discuss: DEV
🔍Static Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap