🐿️ 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: Freezewell – A Private Egg Freezing Tracker (Offline App)
onionwave7.gumroad.com
·
10h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Dartboat: Darts Game Scorer
potato.am
·
16h
·
Discuss:
Hacker News
🦀
Rust
The Kaplay Game Library in 5 Minutes
jslegenddev.substack.com
·
13h
·
Discuss:
Substack
⚡
CUDA
OpenIPC is an alternative open firmware for your IP camera
openipc.org
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
iOS App Distribution Guide – App Store, TestFlight and Enterprise Options
foresightmobile.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: I built an AI that turns scripts into AI stock footage
autostockfootage.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
RunReveal Raises $7M Seed to Build the AI-Native Security Data Platform
blog.runreveal.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Fast Software, the Best Software
craigmod.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Talking robots learn to manage human interruptions
hub.jhu.edu
·
18h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
After stage-gate: companies developing new idea-to-launch processes (2014)
thefreelibrary.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: VectorSeek – Private AI-Powered Search
vectorseek.ai
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Verification debt is the AI era's technical debt
kevinbrowne.ca
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Why MCP’s Disregard for 40 Years of RPC Best Practices Will Burn Enterprises
julsimon.medium.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Potential Future Restrictions on the Self-Hosted Version of Plane (2023)
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Super-resolution of Sentinel-2 images (10M –> 5M)
github.com
·
2d
·
Discuss:
Hacker News
🎨
Rendering
Symposium Driven Development: A Not So New Paradigm for Software Creation
medium.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
AI Is Democratizing Cognitive Thought
daviesgeek.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Analytics Is Changing (Again)
docs.fused.io
·
23h
·
Discuss:
Hacker News
🦀
Rust
Show HN: Windows XP in the browser, with file system, Word, media, flash
github.com
·
13h
·
Discuss:
Hacker News
🦀
Rust
Introducing LangExtract: A Gemini powered information extraction library
developers.googleblog.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 20
•
Page 22 »