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

Google pulls plug on planned data center in Germany
datacenterdynamics.com·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·6d·
Discuss: Hacker News
🛡️seL4
Green Tea GC: How Go Stopped Wasting 35% of Your CPU Cycles
siddharthav.medium.com·1d·
Discuss: Hacker News
👁️System Observability
Billions of Edges per Second with Postgres
onesparse.com·2d·
Discuss: Hacker News
➡️Category Theory
Fortinet FortiWeb Flaw Exploited in the Wild After PoC Publication
securityweek.com·2h·
Discuss: Hacker News
🛡️seL4
Links? Links!
infrequently.org·2d·
Discuss: Hacker News
👁️System Observability
Intel is laying off thousands of US workers in AI restructuring — CEO Lip-Bu Tan says it's "too late" to catch up with the competition
windowscentral.com·1d·
Discuss: Hacker News
💾Retro Computing
Underwriting Superintelligence
underwriting-superintelligence.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·1d·
Discuss: Hacker News
🐫Embedded OCaml
Shipping Linear Drafts
mufeezamjad.com·5d·
Discuss: Hacker News
❄️Nixified Development
The Agentic Resistance: Why Critics Are Missing the Paradigm Shift
decodingdiscontinuity.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code
github.com·3d·
Discuss: Lobsters, Hacker News
👁️System Observability
Show HN: Decision-layer – your refund logic doesn't belong in Slack
github.com·4d·
Discuss: Hacker News
🧪Property-Based Testing
Assessing the economic benefits of space weather mitigation investment decisions: Evidence from Aotearoa New Zealand
arxiv.org·9h
📦Unikernel Systems
Dual LiDAR-Based Traffic Movement Count Estimation at a Signalized Intersection: Deployment, Data Collection, and Preliminary Analysis
arxiv.org·9h
🔄Finite State Machines
Discovering Governing Equations in the Presence of Uncertainty
arxiv.org·3d
🏹Effect Systems
🔧 Building a Home Lab (Beyond Just Laptop) for Cloud Support Engineer Learning – Need Guidance
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Multiplicative Modular Nim (MuM)
arxiv.org·3d
🐫OCaml
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org·9h
➡️Category Theory
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·5d·
Discuss: Hacker News
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap