🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

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...
AboutBlogChangelogRoadmap