🐿️ 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
The Associated Press tells its book critics that it's ending weekly reviews
dankennedy.net
·
5d
·
Discuss:
Hacker News
📈
Time Series ML
The Disaster Economy
grist.org
·
3d
·
Discuss:
Hacker News
🦀
Rust
McDonald's Japan cancels Pokémon card promotion as resellers throw away food
sbs.com.au
·
3d
·
Discuss:
Hacker News
📈
Time Series ML
Google Preferred Sources rolling out in US and India
searchengineland.com
·
4d
·
Discuss:
Hacker News
📮
Message Queues
Can 'China Studies' still be trusted?
spectator.co.uk
·
6d
·
Discuss:
Hacker News
,
r/China
📈
Time Series ML
From Here?
dirtyfeed.org
·
4d
·
Discuss:
Hacker News
📮
Message Queues
Cat soap operas and babies trapped in space: the 'AI slop' taking over YouTube
theguardian.com
·
5d
·
Discuss:
Hacker News
📮
Message Queues
NixOS conducts a mass "purge" of Conservatives
lunduke.substack.com
·
4d
·
Discuss:
Substack
🏹
Apache Arrow
Vegetarian and vegan diets 'cut cancer risk by up to a quarter'
thetimes.com
·
4d
·
Discuss:
Hacker News
🦆
DuckDB
Cost of weight-loss drug Mounjaro could rise significantly
bbc.co.uk
·
2d
·
Discuss:
Hacker News
🧩
Microservices
Designers Shouldn't Build Space Stations
metaduck.com
·
6d
·
Discuss:
Hacker News
🌐
Distributed systems
icloud.com email users can send but not receive malicious links
lapcatsoftware.com
·
5d
·
Discuss:
Hacker News
🔐
Security Patterns
The Issue with AI-Powered Pricing
time.com
·
5d
·
Discuss:
Hacker News
📈
Time Series ML
I am selling an AI-powered feedback collecting app($700, negotiable)
slentix.vercel.app
·
5d
·
Discuss:
Hacker News
🦆
DuckDB
Many Vulnerabilities Addressed by Intel, AMD, Nvidia
securityweek.com
·
4d
·
Discuss:
Hacker News
📊
Performance Profiling
Ask HN: Can you help me decide which type of house investment I should do?
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🏹
Apache Arrow
Miles Voice AI – Instant-interrupt, multi-personality voice assistant
github.com
·
6d
·
Discuss:
Hacker News
📮
Message Queues
Arm Neural Technology Delivers Smarter, Sharper, More Efficient Mobile Graphics for Developers
newsroom.arm.com
·
4d
·
Discuss:
Hacker News
,
r/hardware
📊
Performance Profiling
Inside the automated warehouse where robots are packing your groceries
theverge.com
·
6d
·
Discuss:
Hacker News
🌐
Distributed systems
Show HN: Voice-Controlled iOS Navigation Example
github.com
·
4d
·
Discuss:
Hacker News
💻
Programming languages
Loading...
Loading more...
« Page 78
•
Page 80 »