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

How to use AI for back to school night
kevinbellco.com·1d
🔢Mathematical Logic
Experts' picks: Who will win the US Open title?
espn.com·9h
📈Complexity Theory
Show HN: Notion – a strongly typed Python client for Notion
ultimate-notion.com·2d·
Discuss: Hacker News
👐Open Source Software
The UEFI 9/11 - Part VII - This Coming Week Many PCs Will Refuse to Boot "Linux" (Because of Microsoft's Expired Certificate)
lxer.com·3h
💻Operating Systems
Building an Command line Game in Python
trovetrends.com·4d·
Discuss: DEV
🧮Programming Language Theory
How I Designed & Implemented Evals for Product Talk’s Interview Coach
producttalk.org·3d
🔧Compiler Design
Why Rewriting Emacs Is Hard
kyo.iroiro.party·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔧Compiler Design
Looking for another pen, recommendations please!
reddit.com·17h·
Discuss: r/fountainpens
🐧Linux
How AI Reasoning Mirrors Borge's Library of Babel
hackernoon.com·4d
🔢Mathematical Logic
i had to prompt inject the @united airlines bot because it kept refusing to connect me with a human
threadreaderapp.com·1d
🔗Parser Combinators
Wireless Dasbob - my first wireless build
reddit.com·17h·
Discuss: r/ErgoMechKeyboards
🤝Protocol Design
Wordle today: Answer, hints for September 7, 2025
mashable.com·3h
🔗Parser Combinators
Hard Truths (RE Edition)
reddit.com·2d·
Discuss: r/ReqsEngineering
📈Complexity Theory
Applying Functional Programming to a Complex Domain: A Practical Game Engine PoC
reddit.com·3d·
Discuss: r/programming
⚙Functional Programming
I got tired of rebuilding forms and dealing with platform lock-in, so I made a builder that exports clean React/Next.js/Vanilla JS code.
reddit.com·13h·
Discuss: r/reactjs
🦀Rust
Best networking solution for my game?
reddit.com·9h·
Discuss: r/godot
🔌Network Programming
0015/ThatProject
github.com·3h
👐Open Source Software
How to implement AI business process automation?
dev.to·2d·
Discuss: DEV
🤝Protocol Design
Qoder Quest Mode: Task Delegation to Agents
dev.to·5d·
Discuss: DEV
🔧Compiler Design
Accelerating HPC and AI research in universities with Amazon SageMaker HyperPod
aws.amazon.com·1d
🌍Distributed Systems
Loading...Loading more...
AboutBlogChangelogRoadmap