🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Intel prepares for Nova Lake CPUs with new Linux support — retiring 20-year-old 'Family 6' designation in favor of 'Family 18'
tomshardware.com·18h
🧲RISC-V Archaeology
How HackerOne’s API Pentesting Delivers A Community-Powered Model
hackerone.com·5d
🧪Protocol Fuzzing
Implementing SSE with fnl-http and async.fnl
andreyor.st·5d
🌊Streaming Systems
Show HN: LatentSync–Precise AI Video Lip Synchronization
latentsyncai.com·1d·
Discuss: Hacker News
✅Verification Codecs
Song Lyrics Review
snonlyric.com·4h·
Discuss: Hacker News
🎼Computational Musicology
ETH Surges Past $3K as Glassnode Flags Rare Flip in Futures Volume over Bitcoin
coindesk.com·1d·
Discuss: Hacker News
🔍BitFunnel
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·5d·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
Lawyers fought to reclaim stolen wages. Then they took millions in fees
abc.net.au·6h
⚡HTMX
crossfire-v2.0.14: it's 2x faster than v2.0.0 (with benchmark against Kanal)
reddit.com·1d·
Discuss: r/rust
🖥️Game Emulation
How Computers “See” Molecules
towardsdatascience.com·2d
💎Information Crystallography
The whole AI hype thing, just something I’ve been thinking about
reddit.com·1d·
Discuss: r/kubernetes
📟Vintage Protocols
Update: Finally got the 10g redundant connection set up. Almost no downtime!
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Smart Segments: Krita plugin that adds Segment Anything object selection using
github.com·4d·
Discuss: Hacker News
⟷Bidirectional Programming
Show HN: AgentSmith-HUB – Real-time security data pipeline and detection engine
github.com·2d·
Discuss: Hacker News
🎯Threat Hunting
Show HN: ReplyFast – Instantly reply to emails in your own tone (1-click)
news.ycombinator.com·20h·
Discuss: Hacker News
🌳Incremental Parsing
BookLore is a self-hosted app for managing and reading books and comics
github.com·4d·
Discuss: Hacker News
📦METS Containers
Does the Bitter Lesson Have Limits?
dbreunig.com·2d·
Discuss: Hacker News
🔲Cellular Automata
AI paradigm for solving differential equations: first-principles data generation and scale-dilation operator AI solver
arxiv.org·3d
🌀Differential Geometry
Overarch – model your software system as data
github.com·6d·
Discuss: Hacker News
📋Format Specification
A real PowerBook: the Macintosh Application Environment on a PA-RISC laptop
oldvcr.blogspot.com·23h·
Discuss: Lobsters, Hacker News
🖥️Vintage Macintosh
Loading...Loading more...
AboutBlogChangelogRoadmap