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

Sierra Club board fires leader Ben Jealous
politico.com·3d·
Discuss: Hacker News
✨Gleam lang
History of TV Remotes Six Decades of Channel Surfing
zenith.com·2d·
Discuss: Hacker News
🌐Distributed systems
Why Kosovo Airport's IATA code (PRN) just drove me insane for a few hours
superuser.com·3d·
Discuss: Hacker News
🏹Apache Arrow
Microsoft game workers call out company over Israeli military ties
gamefile.news·11h·
Discuss: Hacker News
🌐Distributed systems
Show HN: A background remover that works in browser only
bulkbackgroundremover.com·19h·
Discuss: Hacker News
🏹Apache Arrow
A stern letter to the drawbridge operator
taylor.town·4d·
Discuss: Hacker News
🏹Apache Arrow
Grid-scale energy storage could cut energy bills in Central U.S. by $7B
pv-magazine-usa.com·14h·
Discuss: Hacker News
🌐Distributed systems
Ukrainian Hackers Breach Major Russian Security Service Provider
militarnyi.com·3d·
Discuss: Hacker News
🔐Security Patterns
Samsung's 'Preventative Care' on the Galaxy Watch 8
androidcentral.com·3d·
Discuss: Hacker News
📊Systems Monitoring
Prediction markets could create a missing incentive for climate action
santiag0m.github.io·2d·
Discuss: Hacker News
🧩Microservices
Data Shows Only 12% of Ethereum, 25% of Solana Protocols Have Revenue
coindesk.com·4d·
Discuss: Hacker News
📈Timeseries
Encryption made for police and military radios may be easily cracked
arstechnica.com·5d·
Discuss: r/privacy
🔐Security Patterns
I Built a Leadership Simulator for Aspiring Tech Leads (And Why The Soft Skills Matter Most)
techleadpilot.com·5d·
Discuss: DEV, Hacker News
📊Systems Monitoring
Why the em dash is attracting unfair suspicion
theglobeandmail.com·3d·
Discuss: Hacker News
📈Time Series ML
Fundamentals of Probability
ocw.mit.edu·4d·
Discuss: Hacker News
📈Time Series ML
How a once-tiny research lab helped Nvidia become a $4 trillion-dollar company
techcrunch.com·2d·
Discuss: Hacker News
🌐Distributed systems
FedRAMP government cloud software approvals double under new program
theregister.com·3d·
Discuss: Hacker News
🧩Microservices
Young Australian hospitalised after ChatGPT use
abc.net.au·3d·
Discuss: Hacker News
📈Time Series ML
Lisa Su Runs AMD—and Is Out for Nvidia’s Blood
wired.com·3d·
Discuss: Hacker News, Hacker News, r/hardware, r/technews
📊Performance Profiling
Breakfast With ChatGPT: Three Workers, One Morning, A Different AI Story
gizmodo.com·4d·
Discuss: Hacker News
📮Message Queues
Loading...Loading more...
AboutBlogChangelogRoadmap