🐿️ 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
Airbus A320 Poised to Overtake Boeing 737 as Most-Delivered Commercial Airliner
simpleflying.com
·
2d
·
Discuss:
Hacker News
🎨
Rendering
The Mysterious Underground City Found in a Man's Basement
atlasobscura.com
·
23h
·
Discuss:
Hacker News
🔒
Cryptography
First-Of-Its-Kind Cell Transplant Brings a Cure For Diabetes Closer
sciencealert.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
the final straw: working to get fired
kaii.dev
·
2d
·
Discuss:
Hacker News
🦀
Rust
How much do electric car batteries degrade?
sustainabilitybynumbers.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Proto Rig and Proto Fleet: A paradigm shift in Bitcoin mining
proto.xyz
·
5d
·
Discuss:
Hacker News
⚡
CUDA
MAHA draft takes on electromagnetic radiation, echoing RFK Jr.‘s conspiracies
arstechnica.com
·
1d
·
Discuss:
Hacker News
,
r/technews
🔒
Cryptography
What Medieval People Got Right About Learning (2019)
scotthyoung.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
Illumos is a Unix operating system
illumos.org
·
5d
·
Discuss:
Hacker News
🔒
Cryptography
Reverse Engineering Pokémon Go Plus (2018)
tinyhack.com
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
Strange spotted rock on Mars could reveal signs of ancient life
sciencedaily.com
·
5d
·
Discuss:
Hacker News
🎨
Rendering
Is your Open-Source project's traction real or noise?
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
This Year Will Be the Turning Point for AI College
theatlantic.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Rubberduck: Emulate OpenAI/Anthropic locally with caching and failure injection
github.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
DigiPaws: An app designed to help users reduce screen addiction
github.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Two sizes fit most: PostgreSQL and ClickHouse
about.gitlab.com
·
6d
·
Discuss:
Hacker News
⚡
CUDA
An Accurate and Rapidly Calibrating Speech Neuroprosthesis
nejm.org
·
5d
·
Discuss:
Hacker News
🎨
Rendering
If AI takes most of our jobs, money as we know it will be over. What then?
theconversation.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Sam Altman sees AI bubble forming
cnbc.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Ask HN: A new AGI safety plan created via Human-AI synergy. Seeking feedback
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
Loading...
Loading more...
« Page 55
•
Page 57 »