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

🎲 Improving Product Discovery of Tabletop RPG Maps (Preliminary Investigation)
ztoz.blog·16h
🎲Probabilistic Programming
"Residues" & "The Architect’s Paradox" • Barry O'Reilly & Jacqui Read
youtube.com·4h
🏗️Software Architecture
DeepSeek’s upgraded AI model absorbs reasoning feature in agentic shift - South China Morning Post
news.google.com·1d
🔢Mathematical Logic
A firewall for AI agents (ex-Microsoft AI)
saviradev.substack.com·1d·
Discuss: Substack
🤖Sci-Fi
Apple employees built an LLM that taught itself to produce good user interface code - but worryingly, it did so independently
techradar.com·22h
🔧Compiler Design
New relase of arch-store! And the next one will take a while.
reddit.com·2d·
Discuss: r/cachyos
👐Open Source Software
Express middleware for JWT-based authentication against FusionAuth
github.com·1d·
Discuss: Hacker News
🤝Protocol Design
What Are Webhooks? A Comprehensive Guide for Developers
dev.to·8h·
Discuss: DEV
📦WebAssembly
Grepcidr3: High performance search for IP addresses and CIDR ranges
github.com·2d·
Discuss: Hacker News
🦀Rust
When Machines Rewrite Themselves: The Geopolitics of Self-Programming AI
reddit.com·5h·
Discuss: r/AIDangers
🤖Sci-Fi
Context engineering is just software engineering for LLMs
inngest.com·1d·
Discuss: Hacker News
🏗️Software Architecture
Think SMART: How to Optimize AI Factory Inference Performance - NVIDIA Blog
news.google.com·1d
🎲Probabilistic Programming
Locally Differentially Private Multi-Sensor Fusion Estimation With System Intrinsic Randomness
arxiv.org·13h
🔐Cryptography
My 100 Hour Rule for Bug Bounty !
dev.to·1d·
Discuss: DEV
⚖Algorithmic Game Theory
Here’s a fun one
reddit.com·1d·
Discuss: r/ClaudeAI
👐Open Source Software
Day 2 of 100
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Using LaunchDarkly's AI Configs to review database changes
dev.to·22h·
Discuss: DEV
🔍Static Analysis
Toward a Definition of AGI
every.to·2d
🧫Cellular Automata
Enhanced Thermal Performance Prediction via Multi-Scale Graph Neural Network with Bayesian Calibration
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Cognitive Surgery: The Awakening of Implicit Territorial Awareness in LLMs
arxiv.org·1d
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap