🐿️ 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
In 1979 one of the best guitar solos recorded was cut for radio time
seekhifi.com
·
21h
·
Discuss:
Hacker News
⚙️
Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Can You Eat Coconut Crab? What Parts Are Safe vs. Poisonous(2024)
thekitchenknowhow.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
StoryBee Expands Learning with International Educational Frameworks
storybee.app
·
6d
·
Discuss:
Hacker News
🚢
DevOps
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Forget love triangles. Meet the 'polycule' with 80 people in it
thetimes.com
·
4d
·
Discuss:
Hacker News
📡
Distributed Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Build a home thermostat with a Raspberry Pi
opensource.com
·
5d
·
Discuss:
Hacker News
👁️
Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wealthsimple Data Breach
help.wealthsimple.com
·
6d
·
Discuss:
Hacker News
🕸️
Service Mesh
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Sound Waves to Cybersecurity: My DIY Password Generator Project
cysectools.com
·
6d
·
Discuss:
Hacker News
🔐
Cryptography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
UK tech staff should not be denied their stake in success
thetimes.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Spanish PM Pedro Sánchez says Israel is ‘exterminating a defenceless people’
theguardian.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Known knowns and known unknowns in antidepressant research
jacoldsm.substack.com
·
6d
·
Discuss:
Substack
🔐
Cryptography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Behind Closed Doors: The Inequalities Hiding in Modern Student Housing
joshuatravisbrown.substack.com
·
5d
·
Discuss:
Substack
🔐
Cryptography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Charlie Kirk Became Too Big to Ignore
deseret.com
·
17h
·
Discuss:
Hacker News
🕸️
Service Mesh
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Escaping the Internet
ryanckulp.com
·
3d
·
Discuss:
Hacker News
🕸️
Service Mesh
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Marketing SaaS apps is going to get 10x harder
substack.com
·
4d
·
Discuss:
Substack
🕸️
Service Mesh
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Our House Divided
jaynordlinger.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cognitive ability (probably) peaks between 50 and 60
hereticalinsights.substack.com
·
4d
·
Discuss:
Substack
⚡
Performance Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
To what extent is the war in Gaza justified?
mathsandsoundingoff.wordpress.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Android 16 QPR1’s source code is nowhere to be found, but Google swears it’s coming
androidauthority.com
·
1d
·
Discuss:
Hacker News
,
r/Android
👁️
Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Researchers at SwRI Produced Mission Concept for Exploring Interstellar Objects
universetoday.com
·
4d
·
Discuss:
Hacker News
👁️
Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Larry Ellison dislodges Elon Musk as world’s richest person
theguardian.com
·
1d
·
Discuss:
Hacker News
🕸️
Service Mesh
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 99
•
Page 101 »