Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
Can-t stop till you get enough
📐Linear Algebra
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
🤖Program Synthesis
Flag this post
Flatpak 1.17 Adds Support For Sideloading From OCI Images, flatpak+HTTPS URIs
phoronix.com·1d
🔧Unikernel Development
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·1d
🔍CBMC
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
Can LLMs subtract numbers?
arxiv.org·1h
🧮Lambda Calculus
Flag this post
Civilization Heartbeat Sentinel
👁️Observability
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.org·1d
🖥️Self-hosted Infrastructure
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.org·1d
🎨GADTs
Flag this post
Predicting Encoding Energy from Low-Pass Anchors for Green Video Streaming
arxiv.org·1d
🕸️Graph Theory
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
🧱Immutable Infrastructure
Flag this post
Enhancing Federated Learning Privacy with QUBO
arxiv.org·1h
🛡️Privacy Engineering
Flag this post
Loading...Loading more...