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

Math Resource: The Centre for Education in Mathematics and Computing (CEMC)
kidswholovemath.substack.com·1h·
Discuss: Substack
🎮Verification Games
StableAudio2.5, First Audio Model Built for Enterprise Sound Production at Scale
stability.ai·9h·
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·2d·
Discuss: Hacker News
🐳Containerization
Anthropic reduced model output quality from Aug 5
status.anthropic.com·1d·
Discuss: Hacker News, r/programming
🏹Effect Systems
Quiet Influence: A Guide to Nemawashi in Engineering
hodgkins.io·1d·
Discuss: Hacker News, r/programming
🍏Darwin
Strange Attractors
blog.shashanktomar.com·1d·
Discuss: Hacker News, Hacker News
🩹Self-Healing Systems
The Vector Bottleneck: Limitations of Embedding-Based Retrieval
shaped.ai·3d·
Discuss: Hacker News
🧩Parser Combinators
Beginner here looking for a self-hosted notes app with sync + encryption + mobile
reddit.com·9h·
Discuss: r/homelab
🖥Self-Hosting
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
FSP: Novel Compression Algorithm Based on Pattern Similarity Unlike the Others
news.ycombinator.com·2d·
Discuss: Hacker News
🧮Lambda Calculus
AIs will greatly change engineering in AI companies well before AGI
lesswrong.com·1d
👁️System Observability
Loading...Loading more...
AboutBlogChangelogRoadmap