๐ฟ๏ธ 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
Baby Age Calculator
babyagecalculator.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
AAMG is looking to acquire Lilium's assets and expertise
electrive.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
Primary school pupils in white working-class regions 'among worst performing'
telegraph.co.uk
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Travel eSIMs may route traffic over Chinese and undisclosed networks
itnews.com.au
ยท
2d
ยท
Discuss:
Hacker News
,
r/NoContract
,
r/privacy
๐
Cryptography
How to avoid diseases in public bathrooms
bbc.com
ยท
6h
ยท
Discuss:
Hacker News
๐
Cryptography
Fungal inoculation increases the bioavailability of zinc and iron in wheat grain
nph.onlinelibrary.wiley.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
China eyes Saturnโs icy moon Enceladus in the hunt for habitability
planetary.org
ยท
2d
ยท
Discuss:
Hacker News
๐
Cryptography
Ghanaian Star Shatta Wale Held over Lamborghini Deal
jphfeeds.top
ยท
21h
ยท
Discuss:
Hacker News
๐
Cryptography
Skill issues โ Dialectical Behavior Therapy and its discontents (2024)
thedriftmag.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
New Treatments Can Free Kids from the Deadly Threat of Peanut Allergy
scientificamerican.com
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Couples who meet offline tend to have more satisfying relationships
psypost.org
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
PyPl is blocking hundreds of expired domains to halt malware attacks
techradar.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
MIT report: 95% of generative AI pilots at companies are failing
finance.yahoo.com
ยท
2d
ยท
Discuss:
Hacker News
โก
CUDA
Why scientists are rethinking the immune effects of SARS-CoV-2
bmj.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Cryptography
Chinese Room vs. SupatMod Experiment 1/7 (Claude, Mar 12-13, 2025)
medium.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
A shape-changing antenna for more versatile sensing and communication
news.mit.edu
ยท
4d
ยท
Discuss:
Hacker News
๐จ
Rendering
In a first, Google has released data on how much energy an AI prompt uses
technologyreview.com
ยท
1d
ยท
Discuss:
Hacker News
,
r/technews
๐
Zero-Knowledge Proofs
Anti-Corporate-Speak Public Announcement: We Messed Up (Chrome Crash Edition)
news.ycombinator.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Dangers of AI
bryanhogan.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Help Trying to find proper credit management for AI app
news.ycombinator.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 60
โข
Page 62 »