🐿️ 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

Rocketlab Mars Sample Return
rocketlabcorp.com·1d·
Discuss: Hacker News
🧗Climbing Tech
How to sell open source technology to the government
openthc.com·1d·
Discuss: Hacker News, r/opensource
🖥️Self-hosted Infrastructure
The underlying tech of hydrogen passenger cars can still be transformative
popsci.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A New Hidden State of Matter Could Make Computers 1,000x Faster
popularmechanics.com·1d·
Discuss: Hacker News
💾Retro Computing
How do we feel about network wide tunnels
reddit.com·5h·
Discuss: r/homelab
📡Network Protocol Design
Landing Pages for Early-Stage Startups
gonsanchezs.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
This is your sign to step away from the keyboard
blog.talosintelligence.com·3d·
Discuss: Hacker News
👁️System Observability
DeployFast: One-command Next.js deployments on AWS without cold starts
deployfast.cloud·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Kubernetes v1.34 Sneak Peek
kubernetes.io·4d·
Discuss: Hacker News
⎈Kubernetes
How to win the AI talent war
getflack.com·13h·
Discuss: Hacker News
🎮Verification Games
Researchers test the trustworthiness of AI by teaching it to play sudoku
techxplore.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Speed Is the Killer Feature
bdickason.com·1d·
Discuss: Hacker News
👁️System Observability
Very High-Resolution Bridge Deformation Monitoring Using UAV-based Photogrammetry
arxiv.org·2d
🧱Immutable Infrastructure
Futon Bed Sleeper Build
reddit.com·7h·
Discuss: r/homelab
💾Retro Computing
ChatGPT was Silicon Valley's worst mistake
baby-cto.com·1d·
Discuss: Hacker News
🔬Unikernels
AnimalClue: Recognizing Animals by their Traces
arxiv.org·3d
➡️Category Theory
Hierarchical Game-Based Multi-Agent Decision-Making for Autonomous Vehicles
arxiv.org·2d
🔄Finite State Machines
Impact of Underwater Image Enhancement on Feature Matching
arxiv.org·2d
🏹Effect Systems
Uncovering Cross-Linguistic Disparities in LLMs using Sparse Autoencoders
arxiv.org·4d
🐫OCaml
Webflow CEO Post Mortem
webflow.com·8h·
Discuss: Hacker News
👁️System Observability
Loading...Loading more...
AboutBlogChangelogRoadmap