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

Show HN: SuppSnitch – Scan supplement bottles to analyze ingredients and risks
apps.apple.com·19h·
Discuss: Hacker News
🔐Cryptography
Shuten Order: Escape room puzzle solution
shacknews.com·11h
🧫Cellular Automata
Valeo CEO backs minimum EU content in cars to aid region's competitiveness
finance.yahoo.com·21h
⚖Algorithmic Game Theory
Ahmet Gedemenli: pgstream v0.8.1: store transformer, roles snapshotting, CLI improvements and more
postgr.es·21h
🦀Rust
NPM in a box: Containerizing package managers for security. (2022)
supergeekery.com·21h·
Discuss: Hacker News
👐Open Source Software
When Dependencies Turn Dangerous: Responding to the NPM Supply Chain Attack
blog.qualys.com·15h
🦀Rust
How to (actually) become an expert in .NET
mijailovic.net·4d·
Discuss: r/AskProgramming, r/programming
🔧Compiler Design
This is how I keep my Docker backups safe with self-hosted backups
xda-developers.com·13h
🦀Rust
Open-Source Tools for Students: Why I Built a Free Citation Generator
dev.to·19h·
Discuss: DEV
👐Open Source Software
Genshin Impact: Optimizing Lauma's Build For Maximum Damage
screenrant.com·11h
📝Lisp
🚀 A Hands-on Introduction to WebAssembly for JavaScript Developers
dev.to·23h·
Discuss: DEV
🦀Rust
JuCoin Evolves To Ju.com - Where Point, Click, Trade Meets Infinite Possibility
hackernoon.com·19h
🤝Protocol Design
Synctoon animation automation software
reddit.com·19h·
Discuss: r/opensource
🔌Network Programming
Agent As Code : BMAD-METHOD™
dev.to·23h·
Discuss: DEV
🎲Probabilistic Programming
"Phantom" CC traffic and a dead-end with support
reddit.com·19h·
Discuss: r/ClaudeAI
🔌Network Programming
Developers joke about “coding like cavemen” as AI service suffers major outage
arstechnica.com·17h
🧫Cellular Automata
Over The Past Month, I Built a Video Game Match & Tournament Manager
reddit.com·13h·
Discuss: r/selfhosted
🔧Compiler Design
Leveraging Perplexity AI for Transformative Marketing: A Guide to Efficiency and Impact
dev.to·15h·
Discuss: DEV
🎲Probabilistic Programming
ADHDeepNet From Raw EEG to Diagnosis: Improving ADHD Diagnosis through Temporal-Spatial Processing, Adaptive Attention Mechanisms, and Explainability in Raw EEG...
arxiv.org·7h
🎲Probabilistic Programming
Why we built Planeo? AI Native Developer Testing Environments
dev.to·7h·
Discuss: DEV
👐Open Source Software
Loading...Loading more...
AboutBlogChangelogRoadmap