Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·1d·
Discuss: Hacker News
🔄Protocol State Machines
Flag this post
Changing the port and using the Local IP Address
renovatu.com·3h·
Discuss: r/selfhosted
🌍HTTP Servers
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·13h·
Discuss: Hacker News
🌍HTTP Servers
Flag this post
Analysis of NGate malware campaign (NFC relay)
cert.pl·17h
🏷️Memory Tagging
Flag this post
From Beginner to Cyber-Aware: Lessons from My First Cybersecurity Course
netacad.com·4d·
Discuss: DEV
🛡️Security Type Systems
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·9h·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
starting my privacy journey - would apple be a bad choice?
discuss.privacyguides.net·1d
🛡️Security Type Systems
Flag this post
7 MCP Projects That You Must Do Before 2025 Ends!
analyticsvidhya.com·13h
🔄Subinterpreters
Flag this post
New comment by poeticsilence in "Ask HN: Who wants to be hired? (November 2025)"
news.ycombinator.com·3h·
Discuss: Hacker News
🎮Language Ergonomics
Flag this post
Bangladesh’s Internet transformation: From satellite shadows to digital highways
blog.apnic.net·1d
📡Protocol Stacks
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·3h·
Discuss: DEV
🛡️Error Boundaries
Flag this post
Using FreeBSD to make self-hosting fun again
dev.to·12h·
Discuss: DEV
🏗️Build Systems
Flag this post
Integration Digest for October 2025
dev.to·19h·
Discuss: DEV
📮Message Queues
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·17h·
Discuss: DEV
🔄Subinterpreters
Flag this post
🚀Understanding Linear and Canary Deployments in Amazon ECS (New AWS Feature)
dev.to·15h·
Discuss: DEV
📮Message Queues
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·21h
📮Persistent Queues
Flag this post
Security Affairs newsletter Round 548 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·1d
🔐Security Types
Flag this post
Practical Design Patterns for Agentic Systems
pub.towardsai.net·20h
🎭Program Synthesis
Flag this post