🐿️ 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
GRETA to Open a New Eye on the Nucleus
newscenter.lbl.gov
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Steve Wozniak's Perforated Pads of $2 Bills
coinbooks.org
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Parcel Bundles React Server Components
devongovett.me
·
4d
·
Discuss:
Hacker News
🦀
Rust
GoGlobal: AI-Powered Video Dubbing and Translation for Global Content Creators
goglobal.video
·
3d
·
Discuss:
Hacker News
🎨
Rendering
What I learned spending $851 on Reddit Ads
successfulsoftware.net
·
2h
·
Discuss:
Hacker News
🦀
Rust
A Bilingual Benchmark Dataset and Evaluation Framework
thedailypimp.blogspot.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
GPT-5 streaming requires submission of biometric data
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Algorithmic Collusion of Pricing and Advertising on E-Commerce Platforms
papers.ssrn.com
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
"I closed MPEG on 2 Jun '20 when I left because obscure forces had hijacked it."
leonardo.chiariglione.org
·
4d
·
Discuss:
Hacker News
🔒
Cryptography
Tversky Neural Networks: Psychologically Plausible Deep Learning With
arxiviq.substack.com
·
2d
·
Discuss:
Substack
🦀
Rust
Miles Voice AI – Instant-interrupt, multi-personality voice assistant
github.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Testing PowerSync with Jepsen for Causal Consistency and More
github.com
·
5d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
A new worst coder has entered the chat: vibe coding without code knowledge
stackoverflow.blog
·
4d
·
Discuss:
Hacker News
🦀
Rust
Actual LLM agents are coming
pleias.fr
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Cultural Bias in LLMs
shav.dev
·
4d
·
Discuss:
Hacker News
🦀
Rust
Coding with Claude
blog.puzzmo.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
OpenAI brings GPT-4o back online after users melt down over the new model
engadget.com
·
1d
·
Discuss:
Hacker News
⚡
CUDA
AI Has No Butt to Clench
bootstoobig.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Ask HN: How to Work Better with Teammates
news.ycombinator.com
·
53m
·
Discuss:
Hacker News
🦀
Rust
Show HN: Virtual Ontologies with Claude Code
medium.com
·
5d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 34
•
Page 36 »