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

Rosetta 2 support discontinuation notice
discussions.apple.com·7h·
Discuss: Hacker News
🍎Apple
Designing custom case, advice?
pcpartpicker.com·4d·
Discuss: r/homelab
⚙️Operating System Design
The 80% Rule That Changed How I Write JavaScript
medium.com·1d·
Discuss: r/programming
🏹Effect Systems
Why Not Matrix (2024)
benharri.org·4d·
Discuss: Hacker News
🛡️seL4
How a $200 ThinkPad Became My 24/7 Proxmox Homelab (And Why I Love It)
koustubha.com·3d·
Discuss: r/homelab
🏠HomeLab
Seeing with Your Ear: A Humble Experiment in AI, Depth, and Spatial Sound
medium.com·21h·
Discuss: Hacker News
🍎Apple
Best alternative to slow Tailscale (due to CGNAT) for providing secure, isolated Synology SMB access to my office?
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Would you use a system that turns your raw input into structured team training?
news.ycombinator.com·3d·
Discuss: Hacker News
🍎XNU Internals
Show HN: Finch – a fingerprint-aware TLS reverse proxy
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Launch HN: Hyprnote (YC S25) – An open-source AI meeting notetaker
news.ycombinator.com·3d·
Discuss: Hacker News
🎮Verification Games
MCIF: Multimodal Crosslingual Instruction-Following Benchmark from Scientific Talks
arxiv.org·4d
🐫Embedded OCaml
RIS-LAD: A Benchmark and Model for Referring Low-Altitude Drone Image Segmentation
arxiv.org·4d
🐫OCaml
Automated Identification of Sexual Orientation and Gender Identity Discriminatory Texts from Issue Comments
arxiv.org·4d
🎮Verification Games
Show HN: Give Claude a secure coding env to automate work in your apps
github.com·3d·
Discuss: Hacker News
💾Retro Computing
Occupational Safety within Non-Routine Manufacturing Processes: Evaluating the Validity of Task-Based Ergonomic Assessments
arxiv.org·4d
🧪Property-Based Testing
Anyone Can Jailbreak: Prompt-Based Attacks on LLMs and T2Is
arxiv.org·3d
🌐NetworkProtocols
HRIPBench: Benchmarking LLMs in Harm Reduction Information Provision to Support People Who Use Drugs
arxiv.org·3d
🔍Formal Verification
Enhancing efficiency in paediatric brain tumour segmentation using a pathologically diverse single-center clinical dataset
arxiv.org·2d
➡️Category Theory
Learning from Heterogeneous Structural MRI via Collaborative Domain Adaptation for Late-Life Depression Assessment
arxiv.org·2d
➡️Category Theory
Early 2000s Fujitsu server manuals/information
reddit.com·2d·
Discuss: r/homelab
💾Retro Computing
Loading...Loading more...
AboutBlogChangelogRoadmap