🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🌐 Protocol Synthesis

Session Types, Communication Safety, Distributed Systems, Type-driven Development

Multi-cloud migration startup FluidCloud emerges from stealth
networkworld.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Can 49ers’ rookies Mykel Williams, Alfred Collins and C.J. West recreate a blast from the past?
mercurynews.com·6h
⚔️Lean Tactics
WIP Pi 4 k3s cluster w glusterfs+ FreeNAS storage
i.redd.it·59m·
Discuss: r/homelab
🔌Single Board PC
Restaurant Review: Pancakes at Hellbender, S&P Lunch, and Pitt’s
newyorker.com·8h
🧮Algorithmic Cooking
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
medium.com·5d·
Discuss: Hacker News
🎙️Whisper
Playing with open source LLMs
alicegg.tech·5d·
Discuss: Hacker News
🌀Brotli Internals
Raw SQL or ORMs? Why ORMs are a preferred choice
dev.to·22h·
Discuss: DEV
🗄️Database Internals
Starting a Proxmox homelab to learn sysadmin stuff, advice on using my old hardware?
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Monitoring Shopify App Health Without the Boilerplate (Thanks Gadget)
dev.to·4d·
Discuss: DEV
🌀Brotli Internals
Claude Code’s Custom Agent Framework Changes Everything
dev.to·4d·
Discuss: DEV
🏠Homelab Orchestration
Automated Testing: A Software Engineering Concept Data Scientists Must Know To Succeed
towardsdatascience.com·4d
⚡Proof Automation
Introducing Amazon Application Recovery Controller Region switch: A multi-Region application recovery service
aws.amazon.com·2d
🤖Network Automation
Mezzano, an operating system written in Common Lisp
github.com·4d·
Discuss: Hacker News
🕸️WASM Archives
A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·3d
🧮SMT Solvers
[KIS-2025-04] SugarCRM <= 14.0.0 (css/preview) LESS Code Injection Vulnerability
seclists.org·4d
🧪CBOR Fuzzing
LLM-Assisted Cheating Detection in Korean Language via Keystrokes
arxiv.org·2d
🧠Intelligence Compression
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·4d·
Discuss: Lobsters, Hacker News
🧲RISC-V Preservation
ToolShell under siege: Check Point analyzes Chinese APT Storm-2603
securityaffairs.com·2d
💣ZIP Vulnerabilities
When "Private" Isn’t: The Security Risks of GPT Chats Leaking to Search Engines
dev.to·1d·
Discuss: DEV
🏠Personal Archives
Show HN: I built a local AI system for SOAP notes–no cloud, no wrappers
news.ycombinator.com·4d·
Discuss: Hacker News
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap