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

Liquid Types, SMT Verification, Predicate Subtyping, Contract Programming

Singtel, Tencent Games to level up cloud gaming with 5G network slicing
lightreading.com·19m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We all dodged a bullet
xeiaso.net·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Understanding dbt: basics and best practices
datadoghq.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Optimizing Qwen Image for Edge Devices
engineering.drawthings.ai·17h·
Discuss: Hacker News
📺Vintage Apple
How did MVC get so F'ed up?
stlab.cc·3d·
Discuss: Hacker News
🏹Effect Systems
Show HN: I built a finance app for couples after 9 years of Google Sheets
craig.banach.dev·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A quiet movement is forming: building for human agency – not just agents' sake
agentictech.substack.com·17h·
Discuss: Substack
🩹Self-Healing Systems
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org·5d·
Discuss: Hacker News, r/programming, r/technews
🧮Lambda Calculus
How to (actually) become an expert in .NET
mijailovic.net·3d·
Discuss: r/AskProgramming, r/programming
🔄Reproducible Builds
How Google dodged a major breakup – and why OpenAI is to thank for it
theguardian.com·23h·
Discuss: Hacker News
🍎Apple
Radicle 1.4.0
radicle.xyz·5d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
A Look at Not an Android Emulator
hackaday.com·5h
📦Unikernel Systems
Sui fobbed off my disclosure that nearly 40% of their validators are exposed
news.ycombinator.com·2h·
Discuss: Hacker News
📦Unikernel Systems
Notion's hosted MCP server: an inside look
notion.com·5d·
Discuss: Hacker News
⚙Operational Semantics
Lambda@Home: Run AWS Lambda Functions Locally with Docker
reddit.com·3d·
Discuss: r/homelab
🐳Containerization
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·5d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
Ask HN: Is standardizing on MCPs over APIs within an org an anti-pattern?
news.ycombinator.com·2d·
Discuss: Hacker News
🐳Containerization
Putting It All Together: A Concrete Guide to Navigating Disagreements, and Reconnecting With Reality
lesswrong.com·1d
🛡️seL4
ChatGPT is NOT a LLM – GPT is
vincirufus.com·3d·
Discuss: Hacker News
📚Automata Learning
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
arxiv.org·5d
🌐NetworkProtocols
Loading...Loading more...
AboutBlogChangelogRoadmap