🐿️ 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
Bloom's Digital Taxonomy Verbs
pivot.umbc.edu
·
1d
·
Discuss:
Hacker News
🦀
Rust
Anime Final Strike Guide
animefinalstrikeguide.com
·
2d
·
Discuss:
Hacker News
🎨
Rendering
Signing Webhooks with FusionAuth
fusionauth.io
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Can small AI models think as well as large ones?
seangoedecke.com
·
19h
·
Discuss:
Hacker News
🦀
Rust
TextIndex: Simple syntax for creating indexes in Markdown and text documents
mattgemmell.scot
·
1d
·
Discuss:
Hacker News
🦀
Rust
A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Show HN: A code editor that integrates into the browser
tachicode.dev
·
3d
·
Discuss:
Hacker News
🦀
Rust
Confessions of a static timing analysis tool
chipinsights.substack.com
·
3d
·
Discuss:
Substack
🔒
Cryptography
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com
·
5d
·
Discuss:
Hacker News
🦀
Rust
Everything I've Learned so far About OpenAI's Agents
leonfurze.com
·
23h
·
Discuss:
Hacker News
🦀
Rust
Max MRR: Your growth ceiling
longform.asmartbear.com
·
3h
·
Discuss:
Hacker News
🔒
Cryptography
Ask HN: What's the ideal programming language in the age of LLMs?
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
An intro to security, with eggs, please
binturo.ng
·
8h
·
Discuss:
Lobsters
,
Hacker News
🔐
Zero-Knowledge Proofs
Context Management UI in AI Products
lukew.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Moreutils: The utilities package every Unix/Linux/Mac OS developer should know
rentes.github.io
·
3d
·
Discuss:
Hacker News
🦀
Rust
Uncertain⟨T⟩
nshipster.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
MCP C# SDK Gets Major Update: Support for Protocol Version 2025-06-18
devblogs.microsoft.com
·
5d
·
Discuss:
Hacker News
🔒
Cryptography
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de
·
2d
·
Discuss:
Hacker News
🦀
Rust
Dwl: Dwm for Wayland
codeberg.org
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: Mcp-chromautomation – Chrome MCP that is not a puppeteer
github.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Loading...
Loading more...
« Page 6
•
Page 8 »