🐿️ 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

Meta receives 48 hour warning over illicit gambling ads in Brazil
readwrite.com·1d·
Discuss: Hacker News
🦀Rust
Two smart ring brands will no longer be available to US shoppers
androidauthority.com·2d·
Discuss: Hacker News
🔒Cryptography
It's Just Our Turn to Serve the World
weavers.org·3d·
Discuss: Hacker News
🦀Rust
Lyn Alden August 2025 Newsletter: Tighter Fiscal, Looser Monetary
lynalden.com·10h·
Discuss: Hacker News
🦀Rust
No Silver Marketing Bullets
businessofsoftware.org·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Our Response to Mississippi’s Age Assurance Law
bsky.social·3d·
Discuss: Hacker News, r/privacy
🔒Cryptography
How Harry Potter Fans Are Driving the Romantasy Trend
nytimes.com·4d·
Discuss: Hacker News
🦀Rust
First exclusive feature for open ESP32 Wi-Fi stack: standards-compliant meshing
esp32-open-mac.be·6d·
Discuss: Hacker News
🔒Cryptography
Generative AI loves it and so the em dash — the elegant, gentle friend to all writers — is under attack
theringer.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Introducing the illumos Cafe: Another Cozy Corner for OS Diversity
it-notes.dragas.net·6d·
Discuss: Lobsters, Hacker News
🔒Cryptography
Show HN: IndieRadar – AI finds build-worthy problems on Reddit
indieradar.dev·5d·
Discuss: Hacker News
🦀Rust
Grammarly gets a design overhaul, multiple AI features
techcrunch.com·6d·
Discuss: Hacker News
🦀Rust
Did This Kid Use AI to Fake Research About How Great AI Is?
skepchick.org·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Nostr and Buildbook: Proof-of-Work Portfolios and Cross-Org Code Reviews
news.ycombinator.com·4d·
Discuss: Hacker News
🦀Rust
Day 2 of experimenting with Open Source AI: Learned a Lot about Code indexing (Progress 2%)
github.com·5d·
Discuss: DEV, Hacker News
🦀Rust
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu·6d·
Discuss: Hacker News
🦀Rust
Micro-management by proxy: reflections on generative AI in the workplace
morungos.com·6d·
Discuss: Hacker News
🦀Rust
UoC-Colorado Springs thought it could avoid education crackdown
apnews.com·1d·
Discuss: Hacker News
🔒Cryptography
Tell HN: The case for CRUD apps in the age of AI
news.ycombinator.com·5d·
Discuss: Hacker News
🦀Rust
Oxlint Introduces Type-Aware Linting Preview
socket.dev·6d·
Discuss: Hacker News
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap