๐ฟ๏ธ 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
FStar, libjade, Jasmin, hacl-star
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Bill introduced to exempt Pope Leo from high US taxes
romereports.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
What's it like to re-read Moby-Dick when you're Ahab's age? Caleb Crain sees some things more acutely
calebcrain.substack.com
ยท
1d
ยท
Discuss:
Substack
๐
Vulnerability Research
A Cold War vaccine: Albert Sabin, Russia, and the oral polio vaccine (2020)
hekint.org
ยท
3d
ยท
Discuss:
Hacker News
๐
Cryptography
The Medicine We Thought Was Safe
domofutu.substack.com
ยท
16h
ยท
Discuss:
Substack
๐
Vulnerability Research
Trump shooting and Biden exit flipped social media from hostility to solidarity
cam.ac.uk
ยท
2d
ยท
Discuss:
Hacker News
๐
Vulnerability Research
Arch Linux remains under attack as DDoS enters week 2 โ here's a workaround
zdnet.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Vulnerability Research
Bay Area home sales dropped in July, but so far prices havenโt followed
mercurynews.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Vulnerability Research
Vitalik Buterin Questions Prediction Marketsโ Hedging Appeal
esstnews.com
ยท
3d
ยท
Discuss:
Hacker News
,
r/Economics
๐
Cryptography
A decade of database innovation: The Amazon Aurora story
amazon.science
ยท
6d
ยท
Discuss:
Hacker News
๐
Cryptography
Elon Musk Appears to Be Completely Addicted to Anime Gooner AI Slop
rollingstone.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Claude AI Nuked My Git Repo
geextor.com
ยท
6d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Japan asks countries to skip China's WWII commemorative events in Sept
japantoday.com
ยท
1d
ยท
Discuss:
Hacker News
,
r/China
๐
Cryptography
Trump and RFK Jr. To Ban Covid-19 Vaccine 'Within Months'
thedailybeast.com
ยท
3d
ยท
Discuss:
Hacker News
,
r/politics
๐
Cryptography
Scientists turn spin loss into energy, unlocking ultra-low-power AI chips
sciencedaily.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Show HN: Clearcam โ Add AI Object Detection to Your IP CCTV Cameras in a Minute
github.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Cryptography
Google's Liquid Cooling at Hot Chips 2025
chipsandcheese.com
ยท
3d
ยท
Discuss:
Hacker News
,
Hacker News
,
r/hardware
โก
CUDA
Intel Employee Data Exposed by Vulnerabilities
securityweek.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Vulnerability Research
Mitigating Backpressure from High Join Amplification with Unaligned Joins
risingwave.com
ยท
6d
ยท
Discuss:
Hacker News
๐
Cryptography
Spain's football league threatens Cloudflare customers with legal action
redeszone.net
ยท
3d
ยท
Discuss:
Hacker News
๐
Vulnerability Research
What Would Plato, Socrates, and Seneca Say About AI Today?
mindthenerd.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 79
โข
Page 81 »