๐ฟ๏ธ 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
Trump team pushes for ouster of top IEA official
eenews.net
ยท
3d
ยท
Discuss:
Hacker News
๐
Distributed systems
New treatment eliminates bladder cancer in 82% of patients
news.keckmedicine.org
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Google Preferred Sources rolling out in US and India
searchengineland.com
ยท
4d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
US Tariffs as Network Shocks โ and why the world won't fight back
everythingisanetwork.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Distributed systems
Jury Holds Meta Accountable in 'Landmark' Privacy Decision
bankinfosecurity.com
ยท
6d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Power Shift: India's EV Grand Prix
dealflowiq.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Time Series ML
Creating high quality electronics schematics
blog.poly.nomial.co.uk
ยท
6d
ยท
Discuss:
Lobsters
,
Hacker News
๐น
Apache Arrow
Google Messages rolls out Sensitive Content Warnings on Android
9to5google.com
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
DuckDB
The fliers say 'Save Our Services.' Airbnb is pulling the strings
latimes.com
ยท
3d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
This quantum radar could image buried objects
technologyreview.com
ยท
6d
ยท
Discuss:
Hacker News
๐
Distributed systems
DEA agent used IL cop's Flock ALPR password for immigration enforcement searches
unraveledpress.com
ยท
5d
ยท
Discuss:
Hacker News
โจ
Gleam lang
Once an AI world leader, Canada is now losing the AI startup race
theglobeandmail.com
ยท
5d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
U.S. producer prices surge in July as Trump tariffs push costs higher
apnews.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Timeseries
GitHub folds into Microsoft following CEO resignation โ once independent programming site now part of 'CoreAI' team
tomshardware.com
ยท
5d
ยท
Discuss:
Hacker News
,
r/homelab
,
r/programming
๐ป
Programming languages
After first operational launch, hereโs the next big test for ULAโs Vulcan rocket
arstechnica.com
ยท
3d
ยท
Discuss:
r/technews
๐
Stream Processing
White House confirms it's still figuring out the legality of the revenue-sharing Nvidia and AMD deal for China GPU sales โ 'The legality of it, the mechanics of...
tomshardware.com
ยท
3d
ยท
Discuss:
Hacker News
,
r/China
๐
Distributed systems
Meta's superintelligence isn't here yet but its AI bets are already paying off
cnn.com
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
DuckDB
No Limit for Better
kk.org
ยท
5d
ยท
Discuss:
Hacker News
๐
Distributed systems
Bye SaaS-We Have Entered the Agentic Platform Companies Era
forbes.com
ยท
6d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Arm Neural Technology Delivers Smarter, Sharper, More Efficient Mobile Graphics for Developers
newsroom.arm.com
ยท
4d
ยท
Discuss:
Hacker News
,
r/hardware
๐
Performance Profiling
Loading...
Loading more...
« Page 77
โข
Page 79 »