🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 Formal Verification

TLA+, Model Checking, Safety Properties, Specifications

How Not to Run an Airline: The 2024 Saurya Airlines CRJ-200 Crash
admiralcloudberg.medium.com·8h·
Discuss: Hacker News
🧗Climbing Tech
Engineers Shake Tallest Steel-Framed Building Ever on an Earthquake Simulator
today.ucsd.edu·1d·
Discuss: Hacker News
🧪Property-Based Testing
How to Bypass Yandex Smart Captcha Easily? Find Out Now
whoerip.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Further Modifying the Reciprocal Tariff Rates
whitehouse.gov·1d·
Discuss: Hacker News
📡Network Protocol Design
Decoding the Chinese Computer
sixthtone.com·2d·
Discuss: Hacker News
💾Retro Computing
Module SQL
docs.mimer.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Elevated Rail Is an Urbanism Cheat Code
shakeddown.substack.com·1d·
Discuss: Substack
🔬Unikernels
The NNCPNET email network
lwn.net·15h·
Discuss: Hacker News
🌐NetworkProtocols
Predictive UX Engineering
travisbumgarner.dev·3d·
Discuss: Hacker News, r/web_design, r/webdev
👁️System Observability
Rao Reading Algorithm
raohacker.com·3d·
Discuss: Hacker News
➡️Category Theory
On the Edge of Competence
ordep.dev·3d·
Discuss: Hacker News, Hacker News, r/programming
🧗Climbing Tech
Prioritise the Highest Order Bit
commoncog.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
The CEO made a "hard" decision - the team got cut. Scope didn’t.
newsletter.manager.dev·4d·
Discuss: r/programming
🔄Reproducible Builds
Characteristics of Good and Bad Opinions (Updated for 2025)
greyenlightenment.com·1d·
Discuss: Hacker News
🎮Verification Games
Personal Software in the Age of LLM's
hexdev.blog·3d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: KubeForge – A GUI for Kubernetes YAMLs
github.com·1d·
Discuss: Hacker News
⎈Kubernetes
At my wit's end with Nginx - help needed
reddit.com·20h·
Discuss: r/homelab
📡Network Protocol Design
GenosDB: Distributed Graph-Based Database
genosdb.com·12h·
Discuss: Hacker News
🧱Immutable Infrastructure
Reviving Your MNEME: Predicting The Side Effects of LLM Unlearning and Fine-Tuning via Sparse Model Diffing
arxiv.org·3d
🏹Effect Systems
AI Needs Open Source: Q&A with Anaconda’s Peter Wang
thenewstack.io·1d
🖥️Self-hosted Infrastructure
Loading...Loading more...
AboutBlogChangelogRoadmap