๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”„ Reproducible Builds

Build Systems, Software Supply Chain, Deterministic Compilation, Verification

Setting Up CI/CD Pipelines for TypeScript Monorepo
auslake.vercel.appยท6hยท
Discuss: r/programming
๐ŸณContainerization
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.comยท4hยท
Discuss: Hacker News
โš™๏ธPL Implementation
Practical CI-friendly Performance Tests
solidean.comยท10hยท
Discuss: Lobsters, r/cpp
๐Ÿ‘๏ธSystem Observability
Observability for Databases in CI/CD
blog.sonichigo.comยท1dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.orgยท1d
๐Ÿ’ŽRefinement Types
Billion-Line Days Demand Billion-Test Nights
momentic.aiยท10hยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Easy to use server for the KiCad Plugin and Content Manager
github.comยท17hยท
Discuss: Hacker News
๐ŸณContainerization
How to (actually) become an expert in .NET
mijailovic.netยท2dยท
Discuss: r/AskProgramming, r/programming
๐Ÿ”คDSLs
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.orgยท6hยท
Discuss: Lobsters, Hacker News
๐ŸŒNetworkProtocols
What I Learned Building My First Jenkins Plugin
mergify.comยท15hยท
Discuss: Lobsters, Hacker News
๐ŸงฑImmutable Infrastructure
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.comยท17hยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
Kubernetes v1.34: Snapshottable API server cache
kubernetes.ioยท6h
โŽˆKubernetes
Using Linters to Direct Agents
factory.aiยท7hยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Using Haskell in Production
agentultra.comยท7hยท
Discuss: Hacker News
๐Ÿ” Type-Level Programming
JFrog Upgrades AI Tooling, Governance To Speed up Software Delivery
thenewstack.ioยท3h
๐Ÿ“ฆUnikernel Systems
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.comยท15hยท
Discuss: r/homelab
๐Ÿ HomeLab
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.ioยท12hยท
Discuss: Hacker News
๐Ÿ“ŠRuntime Verification
Tony Hoare: How did software get so reliable without proof?
blog.regehr.orgยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
Trying out import std
nibblestew.blogspot.comยท3dยท
Discuss: Hacker News, nibblestew.blogspot.com
๐Ÿ“ฆUnikernel Systems
An Interactive Guide to TanStack DB
frontendatscale.comยท6hยท
Discuss: Hacker News
๐Ÿ“ŠRuntime Verification
Loading...Loading more...
AboutBlogChangelogRoadmap