🐿️ 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
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Our European search index goes live
blog.ecosia.org
·
1d
·
Discuss:
Hacker News
🚀
Query Engines
My commitment to you and our company
newsroom.intel.com
·
1d
·
Discuss:
Hacker News
,
r/hardware
🌐
Distributed systems
Someone keeps stealing, flying, fixing and returning this man's plane. But why?
latimes.com
·
1d
·
Discuss:
Hacker News
✨
Gleam lang
As electric bills rise, evidence mounts that data centers share blame
apnews.com
·
7h
·
Discuss:
Hacker News
🌐
Distributed systems
Branch Prediction Demystified
joegm.github.io
·
5d
·
Discuss:
Hacker News
📊
Performance Profiling
Review: The Sandman S2 is a classic tragedy, beautifully told
arstechnica.com
·
1d
📮
Message Queues
GitLab uncovers Bittensor theft campaign via PyPI
about.gitlab.com
·
3d
·
Discuss:
Hacker News
🔐
Security Patterns
Multi-Door Products
quietmoats.substack.com
·
3d
·
Discuss:
Substack
🦆
DuckDB
Microglia to the Rescue
science.org
·
1d
·
Discuss:
Hacker News
🚀
Query Engines
The Paranoid Style in American Politics (1964)
harpers.org
·
1d
·
Discuss:
Hacker News
🔐
Security Patterns
2025.8: The summer of AI ☀️
home-assistant.io
·
3d
·
Discuss:
Hacker News
🦆
DuckDB
Schizophrenic Zip Files
blog.isec.pl
·
4d
·
Discuss:
Hacker News
🏹
Apache Arrow
Different types of ML roles and teams at FAANG, and what they entail
interviewing.io
·
6d
·
Discuss:
Hacker News
📊
Performance Profiling
When AI Gets Its Hands
rashidazarang.com
·
4d
·
Discuss:
Hacker News
🌐
Distributed systems
ChatGPT Plus Users Can Keep Using GPT-4o After Complaints About GPT-5
macrumors.com
·
1d
·
Discuss:
Hacker News
🏹
Apache Arrow
Ask HN: What is the go-to programming language in your industry and why?
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
💻
Programming languages
A Product Manager Uses AI to Go from Idea to Prototype
ideakitchen.substack.com
·
4d
·
Discuss:
Substack
📊
Systems Monitoring
When a journalist uses AI to interview a dead child, isn’t it time to ask what the boundaries should be? | Gaby Hinsliff
theguardian.com
·
1d
·
Discuss:
Hacker News
📈
Timeseries
Roblox rolls out open-source AI system to protect kids from predators in chats
yahoo.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
OpenAI’s new model can't believe that Trump is back in office
theregister.com
·
3d
·
Discuss:
Hacker News
📈
Timeseries
Loading...
Loading more...
« Page 51
•
Page 53 »