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

Photos show ballerinas taking center stage on Bucharest’s iconic avenue Calea Victoriei
the-independent.com·1h
🧮Programming Language Theory
Indie App Spotlight: ‘Grano’ scans barcodes to help you understand what’s in your food
9to5mac.com·5h
🧮Programming Language Theory
May 2025 in review / Récap de mai 2025
alexsirac.com·11h
🧮Programming Language Theory
Is Hello Interview Worth It? An Honest Take for Developers Preparing for Tech Interviews
educative.io·2d·
Discuss: DEV
🤝Protocol Design
How Parents Can Help Kids Use AI Responsibly for Homework
mezha.net·3d·
Discuss: Hacker News
🎲Probabilistic Programming
Tree of AST: A Bug-Hunting Framework Powered by LLMs
darkreading.com·2d
🔍Static Analysis
Version Control for MS Office (Tortoise vs. Git vs. SVN)
reddit.com·15h·
Discuss: r/AskProgramming
🔧Compiler Design
Michelle McDonald, "Coffee Nation" : CSPAN2 : August 23, 2025 3:45pm-4:41pm EDT
archive.org·5h
🌍Distributed Systems
AI, layoffs, productivity and The Klarna Effect - Marcus on AI | Gary Marcus | Substack
news.google.com·9h
🎲Probabilistic Programming
Traceprompt - open-source SDK for tamper-proof LLM audit trails
reddit.com·1d·
Discuss: r/opensource
🤝Protocol Design
A journey into Java
dev.to·4d·
Discuss: DEV
⚖️Logic Programming
AI will create a near-term socioeconomic gap among knowledge workers
ericdodds.com·3d·
Discuss: Hacker News
⚖Algorithmic Game Theory
PB-IAD: Utilizing multimodal foundation models for semantic industrial anomaly detection in dynamic manufacturing environments
arxiv.org·2d
🔍Static Analysis
Build a Mac-Style "Liquid Glass" UI in Minutes (with a Dock, Navbar & More)
dev.to·13h·
Discuss: DEV
📦WebAssembly
How do I avoid getting overwhelmed with so much possibility in Obsidian?
reddit.com·15h·
Discuss: r/ObsidianMD
🧠Memory Management
The Interpretability Analysis of the Model Can Bring Improvements to the Text-to-SQL Task
arxiv.org·3d
🗄️Database Theory
Web Developer Travis McCracken on Learning to Love Simple Code
dev.to·2d·
Discuss: DEV
🦀Rust
Claude's taking this "LETTER TO SELF" thing a bit more seriously than ChatGPT
reddit.com·1d·
Discuss: r/ChatGPT
🧫Cellular Automata
Building Like We Mean It: Why Architecture Matters in 2024 🏗️
dev.to·4d·
Discuss: DEV
🏗️Software Architecture
Agent usage in Claude code workflows — tips and mention handling?
reddit.com·4d·
Discuss: r/ClaudeAI
⚡Concurrency
Loading...Loading more...
AboutBlogChangelogRoadmap