🐿️ 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
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...
« Page 62
•
Page 64 »