🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Drug 100 times stronger than fentanyl responsible for Riverside overdose
latimes.com·2h·
Discuss: Hacker News
🔍Formal Verification
Show HN: Offline Trello Alternative and More
constito.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Playwright for Beginners: Quick-Start Automation
qa.tech·6d·
Discuss: Hacker News
🧪Property-Based Testing
Britain caves in to Trump demands on iPhone security
telegraph.co.uk·4h·
Discuss: Hacker News
🍎Apple
Brilliant Halo smartglasses: limited run FOMO, grotesque Discord "community"
jfloren.net·6d·
Discuss: Hacker News
❄️Nixified Development
Scientists discover surprising language 'shortcuts' in birdsong – like humans
manchester.ac.uk·5d·
Discuss: Hacker News
🍎Apple
Ask HN: Dexcom Follow invitation expired or used b/c app store location
news.ycombinator.com·8h·
Discuss: Hacker News
🍎Apple
The Sorcerer's Apprentice
articles.pragdave.me·6d·
Discuss: Hacker News
🤖Program Synthesis
Top Free Web Scrapers in 2025 for Easy Data Scraping
momoproxy.com·5d·
Discuss: Hacker News
👁️System Observability
The Imminent Deprecation of memory_order:consume
people.kernel.org·6d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Let Claude Code/Cursor agents page your phone when they're finished
heyoncall.com·5d·
Discuss: Hacker News
🍎Apple
Welcome to the YIMBYest neighbourhood in America
economist.com·2d·
Discuss: Hacker News, r/Economics
🖥️Self-hosted Infrastructure
Is Meta Scraping the Fediverse for AI?
wedistribute.org·6d·
Discuss: Hacker News
📦Unikernel Systems
SoftBank Agrees to Invest $2 Billion in Intel as Part of US Push
bloomberg.com·16h·
Discuss: Hacker News
⚙️Operating System Design
What Medieval People Got Right About Learning (2019)
scotthyoung.com·5d·
Discuss: Hacker News
🎮Verification Games
GPT-5: A Choose Your Own Adventure for Frontend Developers
thenewstack.io·5d
📦Unikernel Systems
Uncertainty-aware Cross-training for Semi-supervised Medical Image Segmentation
arxiv.org·6d
🎮Verification Games
Astronomy Cluster / Lab: Q3 Update
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Topological Invariant-Based Iris Identification via Digital Homology and Machine Learning
arxiv.org·5d
➡️Category Theory
Show HN: Shared EventSource
github.com·6d·
Discuss: Hacker News
📦Unikernel Systems
Loading...Loading more...
AboutBlogChangelogRoadmap