πΏοΈ 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
Kilmar Abrego Garcia fights imminent deportation to Uganda
politico.com
Β·
1d
Β·
Discuss:
Hacker News
π
Cryptography
A German ISP tampered with their DNS β specifically to sabotage my website
lina.sh
Β·
2d
Β·
Discuss:
Lobsters
,
Hacker News
π
Zero-Knowledge Proofs
Differentiating between AI and a human author using flash fiction
mark---lawrence.blogspot.com
Β·
5d
Β·
Discuss:
Hacker News
π¦
Rust
Thinking in Multiple Domains
minimal-reflections.pages.dev
Β·
5d
Β·
Discuss:
Hacker News
π¦
Rust
How to create an engineering team that hits their deadlines
blog.yasuflores.me
Β·
5d
Β·
Discuss:
Hacker News
π¦
Rust
Auto-labeling in Viam can elevate your edge ML project
viam.com
Β·
6d
Β·
Discuss:
Hacker News
π¦
Rust
Itβs Time for Americans to Start Talking About βSoft Secessionβ
cmarmitage.substack.com
Β·
1d
Β·
Discuss:
Substack
π
Zero-Knowledge Proofs
Reaching 100M key lookups per second with REST API and Python clients
rondb.com
Β·
6d
Β·
Discuss:
Hacker News
,
Hacker News
π
Cryptography
Determinants and Causal Effects: Admission to Highly Selective Private Colleges
nber.org
Β·
4d
Β·
Discuss:
Hacker News
π
Cryptography
The classical key to the AI revolution
engelsbergideas.com
Β·
5d
Β·
Discuss:
Hacker News
π
Cryptography
Net zero needs AI β five actions to realize its promise
nature.com
Β·
4d
Β·
Discuss:
Hacker News
π
Cryptography
π Sprinkling Self-Doubt on ChatGPT
justin.searls.co
Β·
4d
Β·
Discuss:
Hacker News
π
Zero-Knowledge Proofs
Red meat consumption within high-quality diets may support mental health
medicalxpress.com
Β·
13h
Β·
Discuss:
Hacker News
π
Cryptography
Launch HN: Skope (YC S25) β Outcome-based pricing for software products
news.ycombinator.com
Β·
5d
Β·
Discuss:
Hacker News
π
Zero-Knowledge Proofs
Many-notes: Markdown note-taking web application designed for simplicity
github.com
Β·
5d
Β·
Discuss:
Hacker News
π¦
Rust
Metaβs AI Companion Policy is Outrageous
afterbabel.com
Β·
4d
Β·
Discuss:
Hacker News
π
Zero-Knowledge Proofs
The Political Economy of AI
moneypower.substack.com
Β·
4d
Β·
Discuss:
Substack
π
Zero-Knowledge Proofs
Linux Primed For Significant Performance Gains With Kernel Swap Code Rework
phoronix.com
Β·
3d
Β·
Discuss:
Hacker News
,
r/linux
β‘
CUDA
Wplace Pixel Art β Convert Images to Wplace-Compatible Pixel Art
news.ycombinator.com
Β·
23h
Β·
Discuss:
Hacker News
π¨
Rendering
Render any Git repo into a single static HTML page for humans or LLMs
github.com
Β·
6d
Β·
Discuss:
Hacker News
,
r/LocalLLaMA
π¦
Rust
Loading...
Loading more...
« Page 73
β’
Page 75 »