🐿️ 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
Show HN: MBCompass – FOSS Compass and Navigation App
compassmb.github.io
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
VCU upgrades free mini food pantries on campus (2023)
insidehighered.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
‘Mind blown’: scientists discover sex reversal in kookaburras and lorikeets with cause unknown
theguardian.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Why does /etc/resolv.conf point at 127.0.0.53?
unix.stackexchange.com
·
3d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Git Interactive Rebase Order is Wrong (2019)
salferrarello.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Introducing Dub Partners
dub.co
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Popular car brand wants you to pay monthly to unlock more horsepower
neowin.net
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
I created a website that featured absurd and funny things
sillygooseworld.vercel.app
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Annie Jacobsen on Nuclear War, Intelligence Operations, and Conspiracy Realities
conversationswithtyler.com
·
4d
·
Discuss:
Hacker News
🔒
Cryptography
Hackification
paulkrugman.substack.com
·
3d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Slopfest: how I tried to fix my Twitter feed
stuff.hdemirev.com
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Does the Universe expand faster than the speed of light?
bigthink.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
AI browsers share sensitive personal data, new study finds
euronews.com
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Starlink Mini users just lost their beloved pause feature
theverge.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Linux Address Space Isolation "ASI" Revived After Lowering 70% Performance Hit To 13%
phoronix.com
·
4d
·
Discuss:
Hacker News
,
r/linux
⚡
CUDA
Software Modernization Projects Dilemma (Part 1) – Should you do it?
medium.com
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
DeepSeek's launch of new AI model delayed by Huawei chip issues, FT reports
reuters.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
I Built Revenue‑Generating SaaS with Loveable, N8n, and Helpful Freelancers
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
$160M VC-backed company just killed my EU trademark for a small OSS project
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The #1 Reason Buyers Choose Competitors Who Aren't Better Than You
businessofsoftware.org
·
3d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 48
•
Page 50 »