Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ”„Protocol State Machines
Flag this post
Frozen in Place
economics.bmo.comยท7hยท
Discuss: Hacker News
๐Ÿ”„Subinterpreters
Flag this post
Implementing MQTT 5 in Go : a deep dive into client design ( Part I )
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ“กNetwork Serialization
Flag this post
What Finally Made Web3 Click for Me
dev.toยท12hยท
Discuss: DEV
๐Ÿ›๏ธElm Architecture
Flag this post
Can-t stop till you get enough
cant.bearblog.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Borrowing Extensions
Flag this post
Trust in the Machine: Building Reputable Service Networks for AI Agents
dev.toยท10hยท
Discuss: DEV
๐ŸŽชActor Frameworks
Flag this post
It Doesnโ€™t Need to Be a Chatbot
towardsdatascience.comยท35m
๐ŸŽฎLanguage Ergonomics
Flag this post
How I Built an AI Coworker for Telex.im
dev.toยท3hยท
Discuss: DEV
๐Ÿ”„Incremental Lexing
Flag this post
I was tired of 50ms+ shell latency, so I built a sub-millisecond prompt in Rust (prmt)
reddit.comยท6hยท
Discuss: r/rust
๐Ÿฆ€MIR Optimization
Flag this post
AWS Cost Optimization: 10 Strategies to Reduce Your Cloud Bill by 30-60%
instadevops.comยท1dยท
Discuss: DEV
๐Ÿ“ฎPersistent Queues
Flag this post
Migrating from New Relic Drop Rules to Pipeline Cloud Rules: A Terraform Guide
dev.toยท1dยท
Discuss: DEV
โšกFusion Laws
Flag this post
Building a tool to normalize messy support chat data for fine-tuning - would this help you?
reddit.comยท11hยท
Discuss: r/LLM
๐Ÿ”คLanguage Tokenizers
Flag this post
Building an Open Source Real-Time Crypto Price Tracker with Bun's Native WebSocket
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฆMonorepos
Flag this post
How We Use Redis with BullMQ on Hetzner for Queue Management at Fotify
dev.toยท1dยท
Discuss: DEV
๐Ÿ“‹Task Queues
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท3dยท
Discuss: Hacker News
๐Ÿ’พPersistent Heaps
Flag this post
Generalized Consensus: Consistent Reads
multigres.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฎPersistent Queues
Flag this post
Building an AI-Powered E-Shopping Platform with Intelligent Product Recommendations
dev.toยท55mยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
Show HN: Extrai โ€“ An open-source tool to fight LLM randomness in data extraction
github.comยท6hยท
Discuss: Hacker News
๐Ÿ“‹Tablegen
Flag this post
Building a Resilient API Key Pool System with Health Checks and Multi-Tier Degradation
github.comยท1dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
AWS Weekly Roundup: Project Rainier online, Amazon Nova, Amazon Bedrock, and more (November 3, 2025)
aws.amazon.comยท7h
๐Ÿ“กErlang BEAM
Flag this post