🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Formal Methods
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 67
•
Page 69 »