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

Blender Addon: Bonsai, a Building Information Model Authoring Platform Using IFC
extensions.blender.org·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
Portmaster v2
safing.io·1d·
Discuss: Hacker News
📦Unikernel Systems
Memory Efficiency in iOS: Reducing footprint and beyond
antongubarenko.substack.com·3d·
Discuss: Substack
🍎Apple
Vector Tiles are deployed on OpenStreetMap.org
blog.openstreetmap.org·2d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Impact of AI on Tech Content Creators
chriscoyier.net·1d·
Discuss: Hacker News
✓Automated Theorem Proving
In new memo, Microsoft CEO addresses ‘enigma’ of layoffs amid record profits and AI investments
geekwire.com·9h·
Discuss: Hacker News
👁️System Observability
Cyber security of Mega Events: A Case Study of Securing the Digital Infrastructure for MahaKumbh 2025 -- A 45 days Mega Event of 600 Million Footfalls
arxiv.org·2d
📡Network Protocol Design
PGR-DRC: Pre-Global Routing DRC Violation Prediction Using Unsupervised Learning
arxiv.org·3d
🐫Embedded OCaml
An Academic Web Clipper
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Disparities in Peer Review Tone and the Role of Reviewer Anonymity
arxiv.org·2d
🔬Static Analysis
ROBAD: Robust Adversary-aware Local-Global Attended Bad Actor Detection Sequential Model
arxiv.org·2d
🎮Verification Games
Arbitrage Tactics in the Local Markets via Hierarchical Multi-agent Reinforcement Learning
arxiv.org·1d
⚙️PL Implementation
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·2d
🔠Type-Level Programming
Architecting Human-AI Cocreation for Technical Services -- Interaction Modes and Contingency Factors
arxiv.org·3d
✓Automated Theorem Proving
On the stability of the low-rank projector-splitting integrator for hyperbolic and parabolic equations
arxiv.org·2d
🐫OCaml
Predictive Representativity: Uncovering Racial Bias in AI-based Skin Cancer Detection
arxiv.org·2d
🏹Effect Systems
Installing the public betas? Here’s everything new with Apple Intelligence
9to5mac.com·9h
🍎Apple
Transformer-based Deep Learning Model for Joint Routing and Scheduling with Varying Electric Vehicle Numbers
arxiv.org·2d
⚙️Operating System Design
From Flat to Round: Redefining Brain Decoding with Surface-Based fMRI and Cortex Structure
arxiv.org·1d
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap