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

AccuWeather to discontinue free access to Core Weather API
developer.accuweather.com·37m·
Discuss: Hacker News
👁️System Observability
Library of Babel
libraryofbabel.app·1d·
Discuss: Lobsters, Hacker News
➡️Category Theory
Show HN: A Practical Website Redesign Checklist
resources.marker.io·6h·
Discuss: Hacker News
📡Network Protocol Design
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·6d·
Discuss: Lobsters, r/programming
🐫Embedded OCaml
Show HN: A Hard SF Novel About Consciousness and Quantum Neural Interfaces
amazon.com·2d·
Discuss: Hacker News
🔬Unikernels
Linux and Secure Boot certificate expiration
lwn.net·4d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Google Android Team Finds Critical Qualcomm GPU Flaws Affecting Millions
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️Operating System Design
"The Bitter Lesson" is wrong. Well sort of
assaf-pinhasi.medium.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
The Prompt Makes the Person(a): A Systematic Evaluation of Sociodemographic Persona Prompting for Large Language Models
arxiv.org·16h
🐫OCaml
Understanding the Impact of Physicians' Legal Considerations on XAI Systems
arxiv.org·16h
🏹Effect Systems
DeSamba: Decoupled Spectral Adaptive Framework for 3D Multi-Sequence MRI Lesion Classification
arxiv.org·1d
🐫Embedded OCaml
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·3d·
Discuss: Hacker News
🍎XNU Internals
Solitaire Cryptographic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
🎮Verification Games
Budget N150 mini-pc from AliExpress: Is the MLLSE G2 Pro worth the risk for ~€115?
reddit.com·1d·
Discuss: r/homelab
🐫Embedded OCaml
Semi-off-Policy Reinforcement Learning for Vision-Language Slow-thinking Reasoning
arxiv.org·16h
🎮Verification Games
Positive-Unlabeled Learning for Control Group Construction in Observational Causal Inference
arxiv.org·1d
🔠Type-Level Programming
Plex stack/TrueNas NFS Share Question
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Trade-offs between elective surgery rescheduling and length-of-stay prediction accuracy
arxiv.org·1d
🏹Effect Systems
Are Foundation Models All You Need for Zero-shot Face Presentation Attack Detection?
arxiv.org·16h
🐫Embedded OCaml
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·2d
💻CS
Loading...Loading more...
AboutBlogChangelogRoadmap