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

A Firstful of Interceptors: ABM Performance During True Promise II
armscontrolwonk.com·20h
⚖️Logic Programming
The Glymphatic System
medscape.com·14h·
Discuss: Hacker News
🔢Mathematical Logic
Google And Intrinsic Develop RoboBallet
i-programmer.info·3d
🧭SMT Solvers
Built this all with Claude - 1 website, 15 tools, 1k in subscriptions, 8k visits a month.
preview.redd.it·3d·
Discuss: r/ClaudeAI
🦀Rust
Acts of kindness you've experienced recently?
tildes.net·4h
🔢Mathematical Logic
Microsoft Releases Historic BASIC Source Code as Open Source, Unlocking a Computing Legacy
smallbiztrends.com·22h
👐Open Source Software
InfoQ: Why 99% of AI Products Fail: A CTO's Hard-Won Lessons
dev.to·4h·
Discuss: DEV
⚖Algorithmic Game Theory
CloudFront ECDSA Signed URLs: 91% Faster Generation, 55% Shorter URLs
dev.to·22h·
Discuss: DEV
🤝Protocol Design
Stripe & Paradigm Launch Tempo, MATIC to POL Migration at 99%, ERC-8019 and ERC-7806
dev.to·14m·
Discuss: DEV
🤝Protocol Design
From a rickety old laptop to a Ghibli-themed beast: my wife's first PC, which she built herself!
reddit.com·14h·
Discuss: r/computers
🧫Cellular Automata
How to deploy Drift DB with flutter on ALL platforms.
dev.to·3d·
Discuss: DEV
🦀Rust
NVIDIA Unveils the 30-PetaFLOP Rubin CPX for Million-Token-Scale Context Windows
hackster.io·22h
🎲Probabilistic Programming
25 online business ideas you can start from anywhere
fastcompany.com·22h
🔌Network Programming
CoCoNUTS: Concentrating on Content while Neglecting Uninformative Textual Styles for AI-Generated Peer Review Detection
arxiv.org·3d
🔢Mathematical Logic
Automated Anomaly Detection in Fatigue Crack Growth Using Multi-Modal Sensor Fusion & HyperScore
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
Built company-wide AI automation 2 years ago with Flask/GPT-3.5, now watching startups raise millions to sell me the same features
reddit.com·3d·
Discuss: r/ClaudeAI
🔧Compiler Design
Newbie needs help
reddit.com·5h·
Discuss: r/web_design
⚖Algorithmic Game Theory
Enhanced Microfluidic Heat Sink Design via Graph Neural Network Optimization of Channel Geometries
dev.to·2d·
Discuss: DEV
🏗Computer Architecture
MedicalPatchNet: A Patch-Based Self-Explainable AI Architecture for Chest X-ray Classification
arxiv.org·1d
🎲Probabilistic Programming
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·2d
🔗Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap