๐ฟ๏ธ 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
First Known Humans Genetically Adapted to Diving
nationalgeographic.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
What is mathematics? A classification based on universals
ebellani.github.io
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Nesting Git Repositories
nixpulvis.com
ยท
4d
ยท
Discuss:
Lobsters
๐ฆ
Rust
CobraJet Nvidia AI-powered drone killer takes out 'overwhelming enemy drone incursions' at up to 300mph
tomshardware.com
ยท
2d
ยท
Discuss:
Hacker News
,
r/technews
๐
Cryptography
RapidNative โ Prompts to React Native Apps
rapidnative.com
ยท
6d
ยท
Discuss:
Hacker News
๐ฆ
Rust
New AI Platform StayModern Helps Small Businesses Transition to AI
staymodern.ai
ยท
6d
ยท
Discuss:
Hacker News
๐
Cryptography
Why It's OK to Block Ads (2015)
blog.practicalethics.ox.ac.uk
ยท
2d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
An Ancient Penis Worm With Rings of Sharp Teeth Has Been Discovered in the Grand Canyon
wired.com
ยท
22h
ยท
Discuss:
Hacker News
๐จ
Rendering
AI Slop and the Destruction of Knowledge
irisvanrooijcogsci.com
ยท
6d
ยท
Discuss:
Hacker News
๐ฆ
Rust
[World] - Chinaโs youth unemployment hits 11-month high as graduates join job hunt
scmp.com
ยท
1d
ยท
Discuss:
Hacker News
,
r/SCMPauto
๐ฆ
Rust
I don't want Google poking around but I do want NotebookLM โ what can I do?
ottophd.wordpress.com
ยท
6d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
UK has backed down on demand to access US Apple user data, spy chief says
theguardian.com
ยท
18h
ยท
Discuss:
Hacker News
๐
Cryptography
An alternative to LASIKโwithout the lasers
medicalxpress.com
ยท
1d
ยท
Discuss:
Hacker News
๐จ
Rendering
A personal health large language model for sleep and fitness coaching
nature.com
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Launch HN: Cyberdesk (YC S25) โ Automate Windows legacy desktop apps
news.ycombinator.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Cryptography
Ban ChatGPT*
benn.substack.com
ยท
4d
ยท
Discuss:
Substack
๐
Zero-Knowledge Proofs
The end of the Kaisen Linux project
kaisenlinux.org
ยท
6d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Kiro Pricing Plans Are Now Live
kiro.dev
ยท
4d
ยท
Discuss:
Hacker News
๐
Cryptography
AI is predominantly replacing outsourced, offshore workers
axios.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
SliceBeam: Orca and Prusa Slicer on Android
github.com
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Loading...
Loading more...
« Page 53
โข
Page 55 »