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

Module SQL
docs.mimer.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Why Mirroring Production in Dev Helps You Avoid Costly Mistakes
foojay.io·4d·
Discuss: r/programming
👁️System Observability
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·4d·
Discuss: Hacker News, Hacker News, r/programming
🧗Climbing Tech
From Overwhelmed to on Top: How Managers at Upflow Get Things Done
upflow.io·5d·
Discuss: Hacker News
🛡️seL4
The CEO made a "hard" decision - the team got cut. Scope didn’t.
newsletter.manager.dev·4d·
Discuss: r/programming
🔄Reproducible Builds
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·1d·
Discuss: r/homelab
📡Network Protocol Design
GenosDB: Distributed Graph-Based Database
genosdb.com·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
Super-resolution of Sentinel-2 images (10M –> 5M)
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Hands On: The Hacker Pager
hackaday.com·1d
🔬Unikernels
Learning from Heterogeneous Structural MRI via Collaborative Domain Adaptation for Late-Life Depression Assessment
arxiv.org·2d
➡️Category Theory
BANG: Dividing 3D Assets via Generative Exploded Dynamics
arxiv.org·3d
💾Retro Computing
Greentea OS non-NT/non-Unix system from scratch runs .exe files
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Eliciting User Requirements for AI-Enhanced Learning Environments using a Participatory Approach
arxiv.org·3d
🎮Verification Games
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
Weak-to-Strong Generalization with Failure Trajectories: A Tree-based Approach to Elicit Optimal Policy in Strong Models
arxiv.org·5d
🔠Type-Level Programming
Advice on my homelab
reddit.com·23h·
Discuss: r/homelab
🏠HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap