🐿️ 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
Al Jazeera condemns the assassination of its journalists by the IOF
network.aljazeera.net
·
14h
·
Discuss:
Hacker News
🦀
Rust
Computing icon to return – with a glow-up
smh.com.au
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Bridging vs. Cross-Posting
blog.anew.social
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Choosing typeface
imperavi.com
·
6h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Show HN: LessonQuill – Generate editable lesson notes from your curriculum
lessonsquill.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Publish or Perish: The Board Game of Academic Survival
the-scientist.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Security flaws in a carmaker's web portal let hacker remotely unlock cars
techcrunch.com
·
22h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Ford reveals breakthrough process for lower priced EVs
theverge.com
·
8h
·
Discuss:
Hacker News
,
r/technews
⚡
CUDA
Avoid Python SAST scanners based on AI
nocomplexity.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Debt of AI Knowledge
sumant.bearblog.dev
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Since I posted my “Open hardware desktop 3D printing is dead” article, you’ve been asking me about “that patent” 🤔 Here it is ...
josefprusa.com
·
1d
·
Discuss:
Hacker News
,
r/3Dprinting
⚡
CUDA
Tires, Myths, and Reality
blog.zgp.org
·
20h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Agentic Workflow: What's inside RAGFlow v0.20.0
medium.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Embracing the Model Context Protocol in practice: An engineering deep-dive
xpander.ai
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
Project goals update — July 2025
blog.rust-lang.org
·
6d
·
Discuss:
Hacker News
🦀
Rust
Diagnosing Your Company's Strategy Problem
cutlefish.substack.com
·
1d
·
Discuss:
Substack
🔒
Cryptography
Homekit-steam-user-switcher: A way to remotely switch Steam users using HomeKit
github.com
·
15h
·
Discuss:
Hacker News
⚡
CUDA
Cursor's Popularity Has Come at a Cost. GPT-5 May Have Arrived at the Right Time
newcomer.co
·
1d
·
Discuss:
Hacker News
⚡
CUDA
When a Jira Ticket Can Steal Your Secrets
simonwillison.net
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Buy now pay later for your annual software subscriptions
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 35
•
Page 37 »