🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
💎 Refinement Types

Liquid Types, SMT Verification, Predicate Subtyping, Contract Programming

StableAudio2.5, First Audio Model Built for Enterprise Sound Production at Scale
stability.ai·5h·
Discuss: Hacker News
🔧Unikernel Development
All unimaginery internet futures are in one place.(free) try now
sites.google.com·1d·
Discuss: Hacker News
🔧Unikernel Development
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·3d·
Discuss: r/programming
💾Retro Computing
Show HN: I Built Logstalgia for the Web
tailstream.io·1d·
Discuss: Hacker News
🐳Containerization
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·1d·
Discuss: Hacker News
🐳Containerization
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·7h·
Discuss: Hacker News
🩹Self-Healing Systems
The Vector Bottleneck: Limitations of Embedding-Based Retrieval
shaped.ai·2d·
Discuss: Hacker News
🧩Parser Combinators
Beginner here looking for a self-hosted notes app with sync + encryption + mobile
reddit.com·6h·
Discuss: r/homelab
🖥Self-Hosting
I built an ultra-fast, open-source Go web service for generating PDFs from HTML/JSON templates.
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
HAVE: Head-Adaptive Gating and ValuE Calibration for Hallucination Mitigation in Large Language Models
arxiv.org·1d
📚Automata Learning
MM-DINOv2: Adapting Foundation Models for Multi-Modal Medical Image Analysis
arxiv.org·1d
🧮Lambda Calculus
Flox, the Nix Foundation, and NVIDIA Partner for CUDA
flox.dev·5h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Further Adventures in Colorimeter Hacking
hackaday.com·1d
❄️Nixified Development
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·1d
🩹Self-Healing Systems
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·6d
✓Automated Theorem Proving
Prototyping an AI-powered Tool for Energy Efficiency in New Zealand Homes
arxiv.org·1d
🧠Automated Reasoning
Context Engineering for Trustworthiness: Rescorla Wagner Steering Under Mixed and Inappropriate Contexts
arxiv.org·2d
📚Automata Learning
Automated Hierarchical Graph Construction for Multi-source Electronic Health Records
arxiv.org·1d
🧠Automated Reasoning
Thoughts on Evals
raindrop.ai·4d·
Discuss: Hacker News
🧪Property-Based Testing
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap