🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Mathematics

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

Service Center Repair Isn’t Enough
ifixit.com·1d
🔒Secure Boot
This cash experiment cut child deaths in half. Here’s the catch.
vox.com·18h·
Discuss: Hacker News
📡RSS Syndication
3D Reconstruction from Public Photos with Machine Learning
blog.skz.dev·1d·
Discuss: Hacker News
📐Projective Geometry
Bruce Ames Triage Theory – Explained
fastlifehacks.com·1d·
Discuss: Hacker News
⬜Minimalism
Fall in key GCSE pass rate prompts concerns about English and maths resits
the-independent.com·1d
🔬Lean
Take $15 Off 'Tony Hawk's Pro Skater 3+4' Remasters Right Now
wired.com·1d
📼Retro Games
Basic projector repair job turns into armed encounter at secret bunker
theregister.com·22h
🔓Hacking
Judge rules ex-Trump lawyer unlawfully serving as US attorney in New Jersey
theguardian.com·1d
🏛️Isabelle HOL
New AI tool tracks early signs of hurricane formation
phys.org·1d
📊Learned Metrics
Two intriguing variants of the AAA algorithm for rational approximation
arxiv.org·5d
📐Error Bounds
When Philosophy Meets AI
github.com·4d·
Discuss: Hacker News
🔲Cellular Automata
Launch HN: Skope (YC S25) – Outcome-based pricing for software products
news.ycombinator.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Apple addressed the seventh actively exploited zero-day
securityaffairs.com·1d
🔓Hacking
Nested Operator Inference for Adaptive Data-Driven Learning of Reduced-order Models
arxiv.org·5d
📊Quantization
Bel Fuse: Defense Tailwinds And Magnetics Recovery, But No Margin For Error
seekingalpha.com·2d
🧲Magnetic Recording
Untangling complex cybersecurity stacks in a supercharged risk environment
techradar.com·2d
🛡Cybersecurity
Python Scripts for Automating Professional Move Out Cleaning Service
dev.to·2d·
Discuss: DEV
🤖Archive Automation
How Causal Abstraction Underpins Computational Explanation
arxiv.org·5d
✨Effect Handlers
The Cheesecake Factory: Strong Q2, Solid Margins, But Patience Is Warranted
seekingalpha.com·1d
🔍BitFunnel
Best AI Tools for Coding in 2025: A Developer’s Perspective
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap