🐿️ 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 Surprising Cosmic Chain Reaction Behind Every Lightning Bolt
modernengineeringmarvels.com·1d·
Discuss: Hacker News
🌊Stream Processing
Project Follow Through
nifdi.org·2d·
Discuss: Hacker News
🌐Distributed systems
US research station staff evacuated from Antarctica in high-risk operation
theguardian.com·1h·
Discuss: Hacker News
📊Systems Monitoring
Johns Hopkins Press Plans to License Books to Train AI
insidehighered.com·1d·
Discuss: Hacker News
💻Programming languages
Chat and perform actions with your calendar, emails and more
caldrai.com·1d·
Discuss: Hacker News
🦆DuckDB
Why suppressing all wildfires has made today’s megafires worse
nature.com·19h·
Discuss: Hacker News
📈Timeseries
exFAT Fixes Significant Random Write Performance Regression With Linux 6.17
phoronix.com·16h·
Discuss: Hacker News
🏹Apache Arrow
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·4d·
Discuss: Hacker News
🏹Apache Arrow
Turning VS Code into a Product Framework: Progrium.xyz
progrium.xyz·5d·
Discuss: Hacker News
💻Programming languages
New Google AI model maps world in 10-meter squares for machines to read
theregister.com·5d·
Discuss: Hacker News
💻Programming languages
Wait, why are we paying more for VSCode forks again?
trunk.io·4d·
Discuss: Hacker News
💻Programming languages
OpenAI offers 20 million user chats in ChatGPT lawsuit. NYT wants 120 million.
arstechnica.com·13h·
Discuss: Hacker News
🏹Apache Arrow
Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise
mistral.ai·6d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
💻Programming languages
Built a wrapper on OpenAI, hit 100k users. Then came the email that ended it
news.ycombinator.com·20h·
Discuss: Hacker News
📮Message Queues
The best companies are dictatorships
writing.nikunjk.com·3d·
Discuss: Hacker News, Hacker News
🌐Distributed systems
COTI Launches Monthly DeCC Space in Collaboration With Secret Network, To Unite Web3 Projects
hackernoon.com·5d
🌐Distributed systems
We're Losing the Global War on End-to-End Encryption
community.qbix.com·5d·
Discuss: Hacker News
🔐Security Patterns
Anatomy of the (known) health damage caused by plastics: ‘Grave, growing and under-recognized’
english.elpais.com·1d·
Discuss: Hacker News
🦀Rust
Minimal Astro and TypeScript blog theme with MDX and SEO support
github.com·2d·
Discuss: Hacker News
🏹Apache Arrow
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·5d
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap