🐿️ 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
The Differences Between Expats and Immigrants
mertbulan.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Walmart Fires VP for Taking Daily Kickbacks Starting from $30K
ctol.digital
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Stardust XR Philosophy
stardustxr.org
·
5d
·
Discuss:
Hacker News
🔒
Cryptography
Why is D3 so Verbose?
theheasman.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Minimally invasive procedure relieves painful symptoms of knee osteoarthritis
medicalxpress.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Charm Industrial accelerates carbon removal operations with Claude
anthropic.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
GSA, Google Announce Transformative 'Gemini for Government' OneGov Agreement
gsa.gov
·
4d
·
Discuss:
Hacker News
🔒
Cryptography
3D-printed bunny contains DNA instructions to make a copy of itself (2019)
newscientist.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Elon Musk's XAI Exposed Grok Conversations to Google
computing.co.uk
·
4d
·
Discuss:
Hacker News
🔒
Cryptography
Famulor AI – Voice AI platform for smarter phone communication
famulor.io
·
6d
·
Discuss:
Hacker News
🦀
Rust
Linux's Quest for Desktop Dominance: Are They Fighting the Right Battles?
howtogeek.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Tidewave Web: in-browser coding agent for Rails and Phoenix
tidewave.ai
·
6d
·
Discuss:
Hacker News
,
Hacker News
🦀
Rust
Meet Macrohard, Elon Musk’s AI simulation of Microsoft, focused solely on AI software development — "It’s a tongue-in-cheek name, but the project is very real!...
windowscentral.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Graphite Chat
graphite.dev
·
6d
·
Discuss:
Hacker News
🦀
Rust
One year later, the Rabbit R1 is good now
tomsguide.com
·
2d
·
Discuss:
Hacker News
⚡
CUDA
My take: Myers-Briggs is a useful tool with evidence behind it
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Why 95% Of AI Pilots Fail, And What Business Leaders Should Do Instead
forbes.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Build log: Macintosh Classic
jeffgeerling.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
A Smarter Way to License Research Articles for AI
scholarlykitchen.sspnet.org
·
6d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Kernel Stack Watch Proposed As New Linux Debugging Tool
phoronix.com
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
Loading...
Loading more...
« Page 64
•
Page 66 »