๐Ÿฟ๏ธ 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
Australia: land of sun, surf and pregnant men
spiked-online.comยท3hยท
Discuss: Hacker News
๐ŸนApache Arrow
Chat and perform actions with your calendar, emails and more
caldrai.comยท1dยท
Discuss: Hacker News
๐Ÿฆ†DuckDB
Updated Portal Map Editor in Battlefield 6 Runs on Godot Engine
80.lvยท1dยท
Discuss: Hacker News
๐ŸนApache Arrow
Phone Is a Snitch โ€“ Untraceable Digital Dissident
untraceabledigitaldissident.comยท3dยท
Discuss: Hacker News
๐Ÿ”Security Patterns
exFAT Fixes Significant Random Write Performance Regression With Linux 6.17
phoronix.comยท13hยท
Discuss: Hacker News
๐ŸนApache Arrow
Google Does Not Care If a Toaster Wrote Your Article โ€“ AI Written Content Is OK
marvlus.aiยท2dยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.comยท4dยท
Discuss: Hacker News
๐ŸนApache Arrow
Newelle, a โ€˜Virtual Assistantโ€™ for GNOME, Hits Version 1.0
omgubuntu.co.ukยท2dยท
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
Turning VS Code into a Product Framework: Progrium.xyz
progrium.xyzยท5dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Still Up. Still Evil
vulncheck.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
The Prompt-Intent Gap: Why We're All Bad at Talking to AI
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
As Software Scales, So Does Its Energy Appetite
hackernoon.comยท5d
๐ŸŒDistributed systems
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ยท18hยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
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
Loading...Loading more...
AboutBlogChangelogRoadmap