🐿️ 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
Caterham Seven 160 achieves 57.6mpg (24.5kml)
greencarguide.co.uk
·
4d
·
Discuss:
Hacker News
🧠
Computer Architecture
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wimpy vs McDonald’s: The Battle of the Burgers
historytoday.com
·
4d
·
Discuss:
Hacker News
🧠
Computer Architecture
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How does a hummingbird's vision differ from a human's?
hummingbird101.com
·
5d
·
Discuss:
Hacker News
🧠
Computer Architecture
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: CuckooTimer – Cuckoo Clock Productivity Timer
cuckootimer.com
·
4d
·
Discuss:
Hacker News
👁️
Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Nantucket Waste Tests 50% Higher for Cocaine then Nat. Average
nantucket-ma.gov
·
5d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sega Accused Of Using Police To Recover Nintendo Dev Kits It Had "Negligently Disposed Of"
timeextension.com
·
5d
·
Discuss:
Hacker News
,
Hacker News
,
r/TwoBestFriendsPlay
⚙️
Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Microsoft Removed VibeVoice AI after open-sourcing it
old.reddit.com
·
6d
·
Discuss:
r/LocalLLaMA
🚢
DevOps
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
US to split profits with Tokyo from Japan-funded projects till $550B is recouped
cnbc.com
·
1d
·
Discuss:
Hacker News
⚙️
Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The huge growth of Myanmar scam centres that may hold 100k trafficked people
theguardian.com
·
5d
·
Discuss:
Hacker News
🕸️
Service Mesh
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Norway’s Labour party holds narrow lead in early election results
theguardian.com
·
5d
·
Discuss:
Hacker News
🔍
eBPF
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Native Multiplatforming - Android + Web
github.com
·
6d
·
Discuss:
Hacker News
,
r/godot
,
r/golang
🌐
HTMX
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Liquid Nanoclay: Transforming Soil to Shape the Future of Farming
earth.org
·
5d
·
Discuss:
Hacker News
⚙️
Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What Really Caused the Sriracha Shortage? (2024)
fortune.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
iPhone app alerts users to nearby ICE sightings
cnn.com
·
5d
·
Discuss:
Hacker News
👁️
Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why monsoon rains have been so deadly in India this year
bbc.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Hypertension Alerts Coming to Older Apple Watch Models
macrumors.com
·
4d
·
Discuss:
Hacker News
👁️
Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
US tech companies enabled the surveillance and detention in China
apnews.com
·
4d
·
Discuss:
Hacker News
,
r/China
,
r/news
,
r/privacy
🔐
Cryptography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
If Oaks and Orchids Could Talk
worldsensorium.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
One Extremophile Eats Martian Dirt, Survives in Space, and Can Create Oxygen
universetoday.com
·
4d
·
Discuss:
Hacker News
⚙️
Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why the Court Let Google Off Easy
nytimes.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 113
•
Page 115 »