TLA+ Modeling of AWS outage DNS race condition
📐TLA+
Flag this post
Gateway API 1.4: New Features
kubernetes.io·1d
🐝Cilium
Flag this post
Creating Lisp Systems
🏭Code Generation
Flag this post
AiDHD: Reflecting on 6 Months Vibing
🏗️Cranelift
Flag this post
Document Chat System
🦙Ollama
Flag this post
[Release] Night Core™ Worker v38 — Open-core framework for verified WebAssembly execution
☁️Cloudflare Workers
Flag this post
DMSORT: An efficient parallel maritime multi-object tracking architecture for unmanned vessel platforms
arxiv.org·23h
🧭Inertial Navigation
Flag this post
Building and running Request Tracker as a quadlet container
developers.redhat.com·2d
🔌gRPC
Flag this post
Tortoise and Hare Guidance: Accelerating Diffusion Model Inference with Multirate Integration
arxiv.org·23h
📱Edge AI
Flag this post
Noise Injection: Improving Out-of-Distribution Generalization for Limited Size Datasets
arxiv.org·23h
👁️Computer Vision
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·3d
⚡Hardware Acceleration
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
🏗️System Design
Flag this post
How to Evolve Software for Minimum Disruptions: The Architect's Two Hats
🔄Distributed Systems
Flag this post
DiscoBSD
📞System Calls
Flag this post
Loading...Loading more...