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

NetBox Labs raises $35M Series B
netboxlabs.com·1d·
Discuss: Hacker News
⎈Kubernetes
Zero JDK: Reproducible builds by default
zero-jdk.dev·1d·
Discuss: Hacker News, r/programming
❄️Nixified Development
XBOW Battles Ninja Tables
xbow.com·20h·
Discuss: Hacker News
🔬Static Analysis
Quick notes from the GStreamer Spring Hackfest 2025
collabora.com·6h·
Discuss: Hacker News
🔬Unikernels
The Factory's Quote is the Product: how instant quoting reshaped machine shops
blog.abolyn.com·1d·
Discuss: Hacker News
💾Retro Computing
SFrame-based stack unwinding for the kernel
lwn.net·4d·
Discuss: Hacker News
👁️System Observability
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·5d·
Discuss: Hacker News
🔄Finite State Machines
Kimi K2 and when "DeepSeek Moments" become normal
interconnects.ai·1d·
Discuss: Hacker News
🔬Unikernels
User simulators bridge RL with real-world interaction
jessylin.com·4d·
Discuss: Hacker News
🧪Property-Based Testing
Ask HN: Using AI/LLM APIs makes me want to give up. What am I doing wrong?
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
How much attention do you need, really? Experiments in O(1) task completion
notion.so·1d·
Discuss: Hacker News
🏹Effect Systems
SMM callout vulnerabilities identified in Gigabyte UEFI firmware
kb.cert.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Training an LLM only on books from the 1800's - no modern bias
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🐫Embedded OCaml
Incomplete Multiview Learning via Wyner Common Information
arxiv.org·12h
🔠Type-Level Programming
On the Gradient Domination of the LQG Problem
arxiv.org·12h
🏹Effect Systems
Optimal Battery Placement in Power Grid
arxiv.org·12h
🔄Finite State Machines
Improving Remote Sensing Classification using Topological Data Analysis and Convolutional Neural Networks
arxiv.org·12h
💻CS
SpreadPy: A Python tool for modelling spreading activation and superdiffusion in cognitive multiplex networks
arxiv.org·12h
➡️Category Theory
Neural Two-Stage Stochastic Optimization for Solving Unit Commitment Problem
arxiv.org·12h
🔄Finite State Machines
Taming Modern Point Tracking for Speckle Tracking Echocardiography via Impartial Motion
arxiv.org·12h
👁️System Observability
Loading...Loading more...
AboutBlogChangelogRoadmap