🐿️ 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
Oxford University spinoff raises $55M for earlier detection of heart failure
impact-investor.com
·
8h
·
Discuss:
Hacker News
🌊
Stream Processing
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
·
15h
·
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
A Silver Crown
thenation.com
·
10h
·
Discuss:
Hacker News
🦀
Rust
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
Why your next CEO could be a machine
bigthink.com
·
1d
·
Discuss:
Hacker News
🌐
Distributed systems
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
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
ChatGPT agent triggers crawls from Bingbot and Yandex
simonwillison.net
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
💻
Programming languages
Loading...
Loading more...
« Page 47
•
Page 49 »