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

Type Theory, Program Verification, Theorem Proving, Specification Languages

Tell HN: Sell your startup shares while you can
news.ycombinator.com·6d·
Discuss: Hacker News
🧩Microservices
Porn site traffic plummets as UK age verification rules enforced
bbc.co.uk·6d·
Discuss: Hacker News, r/news
🏹Apache Arrow
IMF Acceptance Stage: A Turning Point for Bitcoin
hackernoon.com·6d
📈Timeseries
Starlink Mini users just lost their beloved pause feature
theverge.com·6d·
Discuss: Hacker News
🧩Microservices
Polestar sets production car record for longest drive on a single charge
arstechnica.com·6d·
Discuss: r/technews
📊Performance Profiling
Trump Reportedly Offering Putin Natural Resources Off Alaska Sparks Fury
newsweek.com·6d·
Discuss: Hacker News, r/politics
🌊Stream Processing
Apple launching ‘redesigned Blood Oxygen feature’ on Apple Watch in the U.S. today
9to5mac.com·6d·
Discuss: Hacker News
📊Performance Profiling
ADHD drugs have wider life benefits, study suggests
bbc.com·5d·
Discuss: Hacker News
📈Time Series ML
Can’t pay, won’t pay: impoverished streaming services are driving viewers back to piracy
theguardian.com·6d·
Discuss: Hacker News, Hacker News, r/Piracy
🦀Rust
H-1B Worker Weighted Selection Rule Clears White House Review
news.bloomberglaw.com·6d·
Discuss: Hacker News
✨Gleam lang
Windows 11 24H2 updates failing again with 0x80240069 errors
bleepingcomputer.com·6d·
Discuss: Hacker News
🌐Distributed systems
AI can make us UK's biggest firm, Rolls-Royce says
bbc.com·6d·
Discuss: Hacker News
📈Timeseries
YouBallin Launches To Give Power Back To Creators
hackernoon.com·6d
🧩Microservices
Redesigned blood oxygen monitoring returns to Apple Watch following patent dispute
arstechnica.com·6d·
Discuss: Hacker News
🌊Stream Processing
An update on Blood Oxygen for Apple Watch in the U.S.
apple.com·6d·
Discuss: Hacker News
📊Systems Monitoring
Starlink tries to block Virginia’s plan to bring fiber Internet to residents
arstechnica.com·5d·
Discuss: Hacker News
🌐Distributed systems
AboutBlogChangelogRoadmap