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

A Bittersweet Farewell: My Final KDE Snap Release and the End of an Era
scarlettgatelymoore.devΒ·1d
πŸ”“Open Source Software
Tiangong Space station crew gains AI assistant
global.chinadaily.com.cnΒ·2dΒ·
Discuss: Hacker News
πŸ‡¨πŸ‡³Chinese Computing
Building the mouse Logitech won't make
samwilkinson.ioΒ·1dΒ·
Discuss: Hacker News
⌨️Mechanical Keyboards
Better Politicians: Weeding Is Fundamental
eatingpolicy.comΒ·1dΒ·
Discuss: Hacker News
πŸ”„Graph Rewriting
Reverse-engineering the Globus INK, a Soviet spaceflight navigation computer
righto.comΒ·1dΒ·
Discuss: Hacker News
βš™οΈCassette Mechanics
Debugging C++ with Visual Studio Code under macOS
lemire.meΒ·2dΒ·
Discuss: Hacker News
πŸ”“Open Source Software
The 7 Programming Lessons That Took Me 10+ Years to Learn (And Could Save You a Decade)
medium.comΒ·2d
πŸ’»Programming languages
When AI optimizations miss the mark: A case study in array shape calculation
questdb.comΒ·5dΒ·
Discuss: Hacker News, r/programming
⚑Performance Mythology
Heliot Ramos comes up clutch in ninth inning as SF Giants rally against Brewers
mercurynews.comΒ·2d
βš”οΈLean Tactics
Sam Altman and UK government minister reportedly discussed giving ChatGPT Plus to all Brits for free
tomshardware.comΒ·2d
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Greed, a financial tracker - My first real project deployed
reddit.comΒ·2dΒ·
Discuss: r/golang
πŸš€Indie Hacking
AMD RDNA 4 GPU Architecture at Hot Chips 2025
servethehome.comΒ·1dΒ·
Discuss: Hacker News, r/hardware
⚑Homebrew CPUs
Should AI pay for web content? Early proposal (HCCP)
github.comΒ·2dΒ·
Discuss: Hacker News, r/opensource
πŸ›‘οΈSecurity Headers
How Solana Token Creation Services Ensure Speed, Security, and Scalability
dev.toΒ·1dΒ·
Discuss: DEV
🀝Distributed Consensus
Naval Ravikant and Aaron Stupple – How to Raise a Sovereign Child
andrewarrow.devΒ·2dΒ·
Discuss: Hacker News
βš–οΈEmulation Ethics
AI where you can talk to characters
future.forem.comΒ·1dΒ·
Discuss: DEV
πŸŽ™οΈWhisper
Completed the OCI AI Foundations Associate (2025) Certification – My Key Learnings πŸš€
dev.toΒ·3dΒ·
Discuss: DEV
πŸ—ΊοΈCompetency Maps
The Evolution of AI Software Engineering
medium.comΒ·3dΒ·
Discuss: Hacker News
πŸ”„Language Evolution
FastAPI vs Flask vs Django: Building a Production API in 2025
dev.toΒ·3dΒ·
Discuss: DEV
🌊Stream Processing
Waitgroups: what they are, how to use them and what changed with Go 1.25'
dev.toΒ·3dΒ·
Discuss: DEV
πŸ”„Sync Engine
Loading...Loading more...
AboutBlogChangelogRoadmap