๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Methods

FStar, libjade, Jasmin, hacl-star

Anukari has macros, and a preset API
anukari.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust
1981 BASIC adventure game comes to a new platform, the TRS-80 MC-10
arctic81.comยท1dยท
Discuss: Hacker News
๐ŸŽจRendering
Steckschwein โ€“ An 8bit computer for the 21st century
steckschwein.deยท2dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Solving the Mystery of Sea Star Wasting Disease: A Breakthrough Discovery
usgs.govยท23hยท
Discuss: Hacker News
๐ŸŽจRendering
How OpenAI Is Turning Monopoly Money into Real Debt
saturn.landยท2dยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
Dora Research: Concerns beyond the accuracy of AI output
dora.devยท4dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Project Banana ripens into a pre-alpha for KDE Linux, and you can test it
theregister.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Perplexity is using stealth, undeclared crawlers to evade no-crawl directives
blog.cloudflare.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Zero-Knowledge Proofs
How Kimi RLโ€™ed Qualitative Data to Write Better
dbreunig.comยท5dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Ask HN: How to Extract Shell Commands from Raw PTY Sessions? (Rewindtty)
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Half-Baked: Probe Warping
c0de517e.comยท4hยท
Discuss: Hacker News
๐ŸŽจRendering
Show HN: ReplyFast โ€“ AI replies to your emails instantly, in your own style
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
SEP-XXXX: Server-Side Authorization Management with Client Session Binding
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Rebuilding an old project paid off, literally!
pro.hextaui.comยท4dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Python-powered malware snags hundreds of credit cards, 200K passwords, and 4M cookies
theregister.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
The Mind of Frontier: Deep-Dive on AI Researcher Mental Health "O3-Pro" Analysis
lightcapai.medium.comยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ”Zero-Knowledge Proofs
Show HN: OpenSQLDB a Fork of MariaDB
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
If Odin Had Macros
gingerbill.orgยท4dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust
Show HN: Term โ€“ Rust-based data validation with OpenTelemetry
github.comยท6dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Loading...Loading more...
AboutBlogChangelogRoadmap