📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Rain: Cloud Leakage via Hardware Vulnerabilities – Vusec
vusec.net·5h·
Discuss: Hacker News
☁️Cloudflare Workers
Flag this post
How to reverse engineer USB HID on Linux
popovicu.com·1d·
Discuss: r/linux
🔍eBPF
Flag this post
What do noise functions sound like?
aabiji.github.io·9h·
Discuss: Hacker News, r/programming
🎨Computer Graphics
Flag this post
I've created a leetcode for system design
reddit.com·4d·
Discuss: r/programming
🎨Design Systems
Flag this post
The Uncomfortable Truth About AI Agents: 90% Claim Victory While 10% Achieve Adoption
techupkeep.dev·1d·
Discuss: Hacker News, r/programming
🚀MLOps
Flag this post
Detached agent chains that work like people do
nuuduu.com·4d·
Discuss: DEV
🤖Automation
Flag this post
🎯 Scenario #9 — Create a Deployment, Roll Out an Updated Version and Rollback
dev.to·20h·
Discuss: DEV
☸️Kubernetes
Flag this post
Linux Privilege Escalation reference for all things
github.com·3h·
Discuss: Hacker News
🐧Linux
Flag this post
How to Use GPT-5 Effectively
towardsdatascience.com·2d
🦙Ollama
Flag this post
Understanding Kafka Lag: Why It Happens and How to Fix It
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·5d·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Building a Decision-Making CLI Tool in Rust: "should-i"
dev.to·21h·
Discuss: DEV
🦀Rust Async
Flag this post
Here's How I Designed Slack System Design Interview Platform In The Nick of Time
dev.to·2d·
Discuss: DEV
📋Protocol Design
Flag this post
I wrestled AppSync WebSockets for 4 hours so you don’t have to (React + GraphQL Subscriptions)
dev.to·1d·
Discuss: DEV
⚡FastAPI
Flag this post
SPECTRA: Spectral Target-Aware Graph Augmentation for Imbalanced Molecular Property Regression
arxiv.org·1h
🕸️GraphBLAS
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
dev.to·5d·
Discuss: DEV
🔄Distributed Systems
Flag this post
Implementation of transformer-based LLMs with large-scale optoelectronic neurons on a CMOS image sensor platform
arxiv.org·3d
🔬Deep Learning
Flag this post
🚀 The Solo Developer's Choice: Why I Migrated My Backend from Go to Elixir/Phoenix
dev.to·23h·
Discuss: DEV
⚡FastAPI
Flag this post
Tokens: The Invisible Building Blocks of Large Language Models
dev.to·19h·
Discuss: DEV
📝Parsing
Flag this post
Study identifies weaknesses in how AI systems are evaluated
dev.to·15h·
Discuss: DEV
🚀MLOps
Flag this post