๐ฟ๏ธ 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
Shutdown System, Reboot Join CCC for 39C3: Power Cycles
ccc.de
ยท
5d
ยท
Discuss:
Hacker News
๐
Cryptography
Discpline Is Not the Problem
dhirajtourani.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Drosophila melanogaster as a model to study negative symptoms of schizophrenia
frontiersin.org
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities
openreview.net
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Prominent medical journal refuses RFK's call to retract a vaccine study
livescience.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
His psychosis was a mysteryโuntil doctors learned about ChatGPTโs health advice
psypost.org
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Water Cremation (Alkaline Hydrolysis)
en.wikipedia.org
ยท
1d
ยท
Discuss:
Hacker News
๐จ
Rendering
Outcome-based pricing is a win for startups
benfromskope.substack.com
ยท
3d
ยท
Discuss:
Substack
๐ฆ
Rust
Open Banking and payments competition
bitsaboutmoney.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
LLMs Are Interesting, but Physical AI Is About to Reshape Our World
automation.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Cryptography
Losing the "fun" part of "for fun and profit"
ezhik.jp
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Allow me to introduce the two-sentence journal
alexanderbjoy.com
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Show HN: I built a video generation app that indexes your media locally
meetcosmos.com
ยท
4d
ยท
Discuss:
Hacker News
๐จ
Rendering
Show HN: CleanCV โ I was tired of ugly LaTeX CV templates, so I built my own
github.com
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Procrastination and the Bikeshed Effect (2009)
blog.codinghorror.com
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Number Field Algorithms for Quaternion Ideal-SVP
eprint.iacr.org
ยท
6d
๐
Zero-Knowledge Proofs
Is AI really trying to escape human control and blackmail people?
arstechnica.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
GPT-5 is a joke. Will it matter?
bloodinthemachine.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Need Feedback: Browser Extension for Bulk ChatGPT Content Generation
news.ycombinator.com
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Rust
AGI: Probably Not 2027
verysane.ai
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 44
โข
Page 46 »