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

Klarna Secures New License from UK’s Financial Conduct Authority
bloomberg.com·4h·
Discuss: Hacker News
🍎Apple
What Does Consulting Do?
nber.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Intel's potential exit from advanced manufacturing- Impact on Oregon
oregonlive.com·13h·
Discuss: Hacker News
🐫Embedded OCaml
InNative – Run WebAssembly Outside the Sandbox at 95% Native Speed
innative.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
10 years of sustainable open source
about.readthedocs.com·2d·
Discuss: Hacker News
🔬Unikernels
Defending against account takeovers with passkeys and DBSC
workspace.google.com·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Bcachefs To Remove Its Experimental Label In Linux 6.18 - If It's Still In The Kernel
phoronix.com·1d·
Discuss: Hacker News
🔬Unikernels
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Make Your Agent Listen: Tactics for Obedience
blog.pamba.app·6d·
Discuss: Hacker News
🧪Property-Based Testing
📛 Why most engineers fail at knowledge sharing (6 habits that make you stand out)
strategizeyourcareer.com·2d·
Discuss: r/programming, r/webdev
🔄Reproducible Builds
We Revamped Our Docs for AI Driven Development
docs.freestyle.sh·3d·
Discuss: Hacker News
🤖Program Synthesis
A Dual-Screen Cyberdeck To Rule Them All
hackaday.com·4h
💾Retro Computing
Measuring Sample Quality with Copula Discrepancies
arxiv.org·8h
🔠Type-Level Programming
ODE Methods for Computing One-Dimensional Self-Motion Manifolds
arxiv.org·8h
🔄Finite State Machines
A generalized ENO reconstruction in compact GKS for compressible flow simulations
arxiv.org·1d
🐫OCaml
A Metabolic-Imaging Integrated Model for Prognostic Prediction in Colorectal Liver Metastases
arxiv.org·1d
🔠Type-Level Programming
PVD-ONet: A Multi-scale Neural Operator Method for Singularly Perturbed Boundary Layer Problems
arxiv.org·8h
🐫OCaml
Collaborative Perceiver: Elevating Vision-based 3D Object Detection via Local Density-Aware Spatial Occupancy
arxiv.org·8h
🔠Type-Level Programming
Fairness and Robustness of CLIP-Based Models for Chest X-rays
arxiv.org·8h
🏹Effect Systems
Querying GI Endoscopy Images: A VQA Approach
arxiv.org·8h
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap