Bikeshedding `Handle` and other follow-up thoughts
🏗️Dune
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
🔢Algebraic Data Types
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
🏃Escape Analysis
Flag this post
From vibe coding to context engineering: 2025 in software development
🤖Program Synthesis
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·2d
🎯Hindley-Milner
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·2d
🧩Parser Combinators
Flag this post
Automating error analysis for AI agents – what works and doesn't
👁️System Observability
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·2d
🧪Property-Based Testing
Flag this post
How to Choose the Right GPU Cloud Provider for Your AI Workloads
🖥️Self-hosted Infrastructure
Flag this post
The isogeometric boundary element algorithm for solving the plane strain problem of an elastic matrix containing an open material surface of arbitrary shape
arxiv.org·8h
📐Linear Algebra
Flag this post
A Criminology of Machines
arxiv.org·8h
🔲Cellular Automata
Flag this post
Association-sensory spatiotemporal hierarchy and functional gradient-regularised recurrent neural network with implications for schizophrenia
arxiv.org·8h
📐Linear Algebra
Flag this post
How Powerful AIs Get Cheap
lesswrong.com·2d
🩹Self-Healing Systems
Flag this post
Loading...Loading more...