🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Type System and Modernization
x64dbg.com·1d
🔗Static Linking
IMG.LY x AI
img.ly·1d
🌀Brotli Internals
The Simple Math Problem We Still Can't Solve
quantamagazine.org·1d·
Discuss: Hacker News
📐Interval Arithmetic
OAuth's Device Code Flow Abused in Phishing Attacks (2021)
secureworks.com·1h·
Discuss: Hacker News
🔒WASM Capabilities
Sudoedit(8) – Linux Manual Page
man7.org·13h·
Discuss: Hacker News
🛠System administration
“We're putting our money where our mouth is” - CyXcel reveals it’s one stop digital risk shop
techradar.com·15h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Public release of W3C’s 2025-2028 strategic objectives initiatives
w3.org·21h·
Discuss: Hacker News
📚MARC Evolution
I Built a Tool to Search AI Conversations in 1 Week (With Heavy AI Assistance)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
The Terraform Namer Pattern: Making Consistent Naming Easy at Scale
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
AI Agent Architecture and the Autonomous Enterprise
dev.to·4d·
Discuss: DEV
⚙️TLA+
How to Power Your SaaS Product with ChatGPT Integration Services
dev.to·7h·
Discuss: DEV
🎙️Whisper
Can We Reliably Predict the Fed's Next Move? A Multi-Modal Approach to U.S. Monetary Policy Forecasting
arxiv.org·15h
🧠Machine Learning
Empowering Small VLMs to Think with Dynamic Memorization and Exploration
arxiv.org·15h
📊Quantization
Seg-R1: Segmentation Can Be Surprisingly Simple with Reinforcement Learning
arxiv.org·15h
🔲Cellular Automata
Single Core Hundred Thousand Concurrency(1751042929538900)
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Mobile Development Unleashed: React Native Apps from Natural Language
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
Code Smell 305 - Null Infinity
dev.to·3d·
Discuss: DEV
📐Interval Arithmetic
Challenging Gradient Boosted Decision Trees with Tabular Transformers for Fraud Detection at Booking.com
arxiv.org·15h
🧠Machine Learning
🔥Top 5 Amazing CLI Tools🤯
dev.to·2d·
Discuss: DEV
🪟Awesome windows command-line
🚀 Mastering Functional Programming Concepts in JavaScript
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Loading...Loading more...
AboutBlogChangelogRoadmap