🐿️ 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

Remember the Parachuting Beavers Story? Now There's Video
boisestatepublicradio.orgΒ·2dΒ·
Discuss: Hacker News
πŸ“ˆTime Series ML
Digital Sovereignty Index
dsi.nextcloud.comΒ·6dΒ·
Discuss: Hacker News
🌐Distributed systems
Ikigai: The Lifelong Art of Purposeful Living
wmlc.substack.comΒ·6dΒ·
Discuss: Substack
πŸ”Security Patterns
Instagram's new Map feature is a privacy disaster
pocket-lint.comΒ·5dΒ·
Discuss: Hacker News
πŸ¦†DuckDB
Newest 'identify-this-movie' Questions
movies.stackexchange.comΒ·5dΒ·
Discuss: Hacker News
🌐Distributed systems
The WHO Oral Rehydration Solution (Ors): Recipe, Origin, and Why It Saves Lives
medium.comΒ·5dΒ·
Discuss: Hacker News
🌐Distributed systems
Docker 24 Power Features: Compose v2, Buildx, and Contexts
jsdev.spaceΒ·6dΒ·
Discuss: Hacker News
🌐Distributed systems
Ploopy TrackPad review: USB touchpad with open source firmware and multitouch support
liliputing.comΒ·5dΒ·
Discuss: Hacker News
πŸ¦†DuckDB
Trump Administration to Investigate Harvard's Patents
thecrimson.comΒ·6dΒ·
Discuss: Hacker News
πŸ“ˆTime Series ML
Microsoft Warns Windows Users to Stop Using Google Chrome
forbes.comΒ·3dΒ·
Discuss: Hacker News
🌐Edge Computing
M&S click and collect returns 15 weeks after cyber attack
bbc.co.ukΒ·5dΒ·
Discuss: Hacker News
πŸ“ˆTime Series ML
Debian GNU/Hurd 2025 Released With Completed 64-bit Support, Rust Ported
phoronix.comΒ·4dΒ·
Discuss: Hacker News
πŸ¦€Rust
Unprecedented Chinese Icebreaker Deployment Off Alaska Being Monitored By U.S.
twz.comΒ·5dΒ·
Discuss: Hacker News, r/China, r/Conservative
πŸ“ŠSystems Monitoring
Trump orders cull of regulations governing commercial rocket launches
arstechnica.comΒ·3dΒ·
Discuss: Hacker News
πŸ“ŠSystems Monitoring
Ask HN: Does Google Drive secretly delete files?
news.ycombinator.comΒ·4dΒ·
Discuss: Hacker News
🏹Apache Arrow
Can AI β€˜Defeat’ Authentication? Depends on Who You Ask
thenewstack.ioΒ·6dΒ·
Discuss: Hacker News
πŸ“ˆTime Series ML
Hands-on: We ran full desktop Linux apps on an Android phone!
androidauthority.comΒ·3dΒ·
Discuss: Hacker News, r/commandline, r/linux
πŸ’»Programming languages
Perplexity offers to buy Chrome for billions more than it’s raised
techcrunch.comΒ·4dΒ·
Discuss: Hacker News
🌐Edge Computing
Former Intel CEO Craig Barrett's Plan to Save Intel
finance.yahoo.comΒ·5dΒ·
Discuss: Hacker News
🌐Distributed systems
Educational Byte: Crypto Exchanges Can Be Hacked β€”and Your Data is Stolen, Too
hackernoon.comΒ·6d
πŸ”Security Patterns
Loading...Loading more...
AboutBlogChangelogRoadmap