🐿️ 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
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
·
12h
·
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 Curse of the A-Word
temporal.io
·
5d
·
Discuss:
Hacker News
🦀
Rust
Virtual Threads with Java 24 – Will It Scale?
gaetanopiazzolla.github.io
·
2d
·
Discuss:
Hacker News
⚡
CUDA
Accessibility and the Agentic Web
tetralogical.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🎨
Rendering
Announcing ChaCha12-BLAKE3: Secure, Simple and Fast encryption for any CPU
kerkour.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Speed up unit tests with paralllel GitHub Actions
ohdear.app
·
5d
·
Discuss:
Hacker News
🦀
Rust
Forward Deployed Engineering Principles
builders.ramp.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
🔒
Cryptography
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
Trends in LLM-Generated Citations on ArXiv
spylab.ai
·
6d
·
Discuss:
Hacker News
🦀
Rust
Why Starter Story Founders Never Tell You How They Marketed Their First 10k+ MRR
getcassius.ai
·
2h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Visual Vibe Coding – Bridge live browser context with IDE for visual prompting
testchimp.io
·
6d
·
Discuss:
Hacker News
🦀
Rust
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
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
Being a Good PM at Google
thechrisperry.substack.com
·
22h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
The Secret Art of Async Comms
ajaysquest.beehiiv.com
·
5d
·
Discuss:
Hacker News
🔒
Cryptography
Loading...
Loading more...
« Page 29
•
Page 31 »