TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.comยท1dยท
๐Ÿ“TLA+
Flag this post
Gateway API 1.4: New Features
kubernetes.ioยท1d
๐ŸCilium
Flag this post
Creating Lisp Systems
renato.athaydes.comยท3dยท
Discuss: Hacker News
๐ŸญCode Generation
Flag this post
Self-hosting your Mastodon media with SeaweedFS
it-notes.dragas.netยท1dยท
๐Ÿ Self-Hosting
Flag this post
I stopped worrying and learned to love the easy fix
tn1ck.comยท1dยท
๐Ÿ”งDevOps
Flag this post
AiDHD: Reflecting on 6 Months Vibing
josh.ingยท15hยท
Discuss: Hacker News
๐Ÿ—๏ธCranelift
Flag this post
[Release] Night Coreโ„ข Worker v38 โ€” Open-core framework for verified WebAssembly execution
github.comยท2dยท
Discuss: r/rust
โ˜๏ธCloudflare Workers
Flag this post
How I Automated PDF Stamping with Python to Keep My Documents Authentic
dev.toยท21hยท
Discuss: DEV
๐Ÿ”คTypography
Flag this post
Building and running Request Tracker as a quadlet container
developers.redhat.comยท3d
๐Ÿ”ŒgRPC
Flag this post
Tortoise and Hare Guidance: Accelerating Diffusion Model Inference with Multirate Integration
arxiv.orgยท1d
๐Ÿ“ฑEdge AI
Flag this post
Noise Injection: Improving Out-of-Distribution Generalization for Limited Size Datasets
arxiv.orgยท1d
๐Ÿ‘๏ธComputer Vision
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.orgยท4d
โšกHardware Acceleration
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
dev.toยท2dยท
Discuss: DEV
๐Ÿ—๏ธSystem Design
Flag this post
DiscoBSD
github.comยท5dยท
Discuss: Hacker News
๐Ÿ“žSystem Calls
Flag this post
Enterprise Design Patterns: The Repository Pattern (Catalog of Patterns of EAA) โ€” A Practical Guide with Python
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
Flag this post
Perceptions of AI Bad Behavior: Variations on Discordant Non-Performance
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
โญ๏ธSkip Lists
Flag this post
Improving Reliability and Quality of AI Agents in Production
dev.toยท18hยท
Discuss: DEV
๐Ÿ‘๏ธObservability
Flag this post
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ™Ollama
Flag this post