🐿️ 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
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
I am not ambitious enough
vester.si
·
2d
·
Discuss:
Hacker News
🦀
Rust
Teach Me to Think Like an Operator
5iprojects.com
·
4d
·
Discuss:
Hacker News
🔒
Cryptography
Virtual Threads with Java 24 – Will It Scale?
gaetanopiazzolla.github.io
·
2d
·
Discuss:
Hacker News
⚡
CUDA
Speed up unit tests with paralllel GitHub Actions
ohdear.app
·
5d
·
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
Trends in LLM-Generated Citations on ArXiv
spylab.ai
·
6d
·
Discuss:
Hacker News
🦀
Rust
Forward Deployed Engineering Principles
builders.ramp.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
🔒
Cryptography
Show HN: Potty – A Python CLI tool to download Spotify music using yt-dlp
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Why Starter Story Founders Never Tell You How They Marketed Their First 10k+ MRR
getcassius.ai
·
4h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Core – A self-governing AI that modifies its own code via a constitution
github.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
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
Being a Good PM at Google
thechrisperry.substack.com
·
1d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 30
•
Page 32 »