🐿️ 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 Verification
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Which DB would be perfect for Making a Mail-Client Project
mysql.com
·
5d
·
Discuss:
r/programming
🗄
Database Systems
Spotify users ask for a setting to hide AI generated contents but they refuse
community.spotify.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Maurice Brings Immersive Audio Recording to the Masses
hackaday.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
De-clouding: Music
rosswintle.uk
·
4d
·
Discuss:
Hacker News
🦀
Rust
Handle Feedback Productively
dontbreakprod.com
·
5d
·
Discuss:
Hacker News
📡
Distributed Systems
Amid Mass Surveillance Debate in Congress, Americans Support Privacy Protections
demandprogresseducationfund.org
·
3d
·
Discuss:
Hacker News
🔐
Cryptography
Zuck on hot mic tells Trump he wasnt sure how much to promise to spend in the US
msnbc.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
DeepSeek Targets AI Agent Release by End of Year to Rival OpenAI
bloomberg.com
·
5d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🌐
HTMX
Firefox 32-bit Linux Support to End in 2026
blog.mozilla.org
·
4d
·
Discuss:
Hacker News
,
r/linux
,
r/programming
📦
WebAssembly
Fatal stabbing of Ukrainian refugee in North Carolina ignites crime debate
bbc.com
·
23h
·
Discuss:
Hacker News
🦀
Rust
English-to-Code
agreeable-ball-780.notion.site
·
5d
·
Discuss:
Hacker News
🦀
Rust
My friends spent thousands on engagement photos, so I built an AI alternative
engagement-photos.com
·
4d
·
Discuss:
Hacker News
🌐
HTMX
Bucolic battlefield: a California seashore says goodbye to dairy farms – and hopes to heal
theguardian.com
·
3d
·
Discuss:
Hacker News
🚢
DevOps
Expanding economic opportunity with AI
openai.com
·
5d
·
Discuss:
Hacker News
,
Hacker News
🚢
DevOps
The Internet Goes to School; Educators Debate Value of Surfing (1996)
nytimes.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
Role of the North American continent in strengthening the Asian summer monsoon
science.org
·
3d
·
Discuss:
Hacker News
⚙️
Engineering
‘I broke completely’: how jobseekers from Africa are being tricked into slavery in Asia’s cyberscam compounds
theguardian.com
·
19h
·
Discuss:
Hacker News
🔐
Cryptography
Engineers design origami structures that change shape and stiffness on demand
techxplore.com
·
3d
·
Discuss:
Hacker News
⚙️
Engineering
We forgot how to build (with AI)
aimode.substack.com
·
6d
·
Discuss:
Substack
🚢
DevOps
TLS Certificate Mis-Issuance Exposes 1.1.1.1 DNS Service to Exploitation
gbhackers.com
·
5d
·
Discuss:
Hacker News
🔍
eBPF
Loading...
Loading more...
« Page 89
•
Page 91 »