🐿️ 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 Beman Project: Tomorrow's C++ Standard Libraries Today
bemanproject.org
·
5d
·
Discuss:
Hacker News
💻
Programming languages
This Is What the End of the Liberal World Order Looks Like
theatlantic.com
·
18h
·
Discuss:
Hacker News
,
r/longform
💻
Programming languages
As a linguist, I want to find the words to measure chronic illness
thesicktimes.org
·
4d
·
Discuss:
Hacker News
📈
Timeseries
Teaching Open Source in North Korea
izbicki.me
·
6d
·
Discuss:
Hacker News
💻
Programming languages
Multi-cloud migration startup FluidCloud emerges from stealth
networkworld.com
·
4d
·
Discuss:
Hacker News
🌐
Distributed systems
Knowledge Graph achieves SOTA 94%+ accuracy on RobustQA
webai.com
·
5d
·
Discuss:
Hacker News
🦆
DuckDB
Backblaze Drive Stats for Q2 2025
backblaze.com
·
1d
·
Discuss:
Hacker News
,
r/hardware
🗃️
Database Internals
Three Views on Conscoiusness
hopefullyintersting.blogspot.com
·
3d
·
Discuss:
hopefullyintersting.blogspot.com
,
Hacker News
🔐
Security Patterns
Why your next CEO could be a machine
bigthink.com
·
1d
·
Discuss:
Hacker News
🌐
Distributed systems
The AI 'algorithmic audit' could be coming to hotel room checkout
cnbc.com
·
3d
·
Discuss:
Hacker News
📊
Systems Monitoring
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com
·
6d
·
Discuss:
Hacker News
🌊
Stream Processing
Show HN: Open-source Voice Cloning at 16x real-time: Porting Chatterbox to vLLM
github.com
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
📊
Performance Profiling
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev
·
6d
·
Discuss:
Hacker News
💻
Programming languages
Existential Technologies (A Close Reading of Stanisław Lem's Summa Technologiae)
existentialtech.antikythera.org
·
6d
·
Discuss:
Hacker News
🌐
Distributed systems
Academia Unmasked: The Dark Truths Behind Higher Education
lightcapai.medium.com
·
2d
·
Discuss:
Hacker News
🔐
Security Patterns
Eigent, a Multi-agent Workforce desktop application
github.com
·
5d
·
Discuss:
Hacker News
🦆
DuckDB
Show HN: OpenSQLDB a Fork of MariaDB
github.com
·
2d
·
Discuss:
Hacker News
🏹
Apache Arrow
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
💻
Programming languages
Use local LLM to neutralise the headers on the web
github.com
·
3d
·
Discuss:
Hacker News
🧩
Microservices
The Future Of Software Is Small
aparker.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
📮
Message Queues
Loading...
Loading more...
« Page 48
•
Page 50 »