🐿️ 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
US-French SWOT Satellite Measures Tsunami After Quake
jpl.nasa.gov
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Writing Your Own Simple Tab-Completions for Bash and Zsh
mill-build.org
·
4d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🦀
Rust
How to Use the Internet Correctly
jackcmac.com
·
18h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Show HN: Smart AI Gantt Planning Tool
ganttchart.app
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Fixing a loud PSU fan without dying
chameth.com
·
1d
·
Discuss:
Hacker News
⚡
CUDA
The Race to Launch Tokenized Stocks Is On
investopedia.com
·
2h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
I am not ambitious enough
vester.si
·
3d
·
Discuss:
Hacker News
🦀
Rust
Virtual Threads with Java 24 – Will It Scale?
gaetanopiazzolla.github.io
·
3d
·
Discuss:
Hacker News
⚡
CUDA
Show HN: I built a plugin to create a ChatGPT archive with Typemill CMS
typemill.net
·
4d
·
Discuss:
Hacker News
🦀
Rust
Speed up unit tests with paralllel GitHub Actions
ohdear.app
·
5d
·
Discuss:
Hacker News
🦀
Rust
Reactive HTML Without JavaScript Frameworks
blog.hmpl-lang.dev
·
3d
·
Discuss:
Hacker News
🦀
Rust
APIs Don't Make Good MCP Tools
reillywood.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Lessons from 3 months vibe coding as a non-technical PM
productleadership.io
·
5d
·
Discuss:
Hacker News
🦀
Rust
Show HN: Potty – A Python CLI tool to download Spotify music using yt-dlp
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Veo 5: The Future of AI Video Generation
veo5.io
·
2d
·
Discuss:
Hacker News
🎨
Rendering
Core – A self-governing AI that modifies its own code via a constitution
github.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Every GPT-5 coding example implemented with Opus 4.1
gpt-5-vs-opus-4-1-coding-examples.vercel.app
·
3d
·
Discuss:
Hacker News
🦀
Rust
Wassette: WebAssembly-based tools for AI agents
opensource.microsoft.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Being a Good PM at Google
thechrisperry.substack.com
·
1d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Active context extraction > passive context capture with LLMs
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 31
•
Page 33 »