📡 Protocol Design - codenm.no2 · Scour

A Lightweight Hybrid Publish/Subscribe Event Fabric for IPC and Modular Distributed Systems 📨Event-Driven Architecture

arxiv.org·1d·

IronFleet: proving practical distributed systems correct 🔒Runtime Security

youtube.com·5d·Lobsters·

Learning Elixir: Error Handling Basics 🔬Formal Methods

dev.to·2d·DEV·

Implementing Amazon Dynamo in Elixir 🔢Homomorphic Encryption

jitesh117.github.io·6d·Hacker News·

Encoding Team Standards ✍️Prompt Engineering

martinfowler.com·2d·Hacker News·

TheShortBear: Services: The New Software 🔥Prometheus

x.com·2d·X·

We Rewrote JSONata with AI in a Day, Saved $500K/Year ⚡Code Generation

simonwillison.net·6d·

How to Improve Your Debounce and Get It to Stop Lying to You 🔧Protocol Fuzzing

hackernoon.com·2d·

Industrial Sector Adopts New Last-Mile Playbook for Northeast Corridor 🤖Game AI

sdcexec.com·2d·

What Size Nails Are Best for Framing 🎯Decision Making

beaverconstructionut.com·6d·

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications ⚙️Program Synthesis

arxiv.org·20h·

Support for PROXY Protocol v2 · Issue #4205 📡Network Protocols

github.com·9h·

NO Seedance 2 Tutorial: AI Filmmaking Workflow Behind "Love on the Run" (AI Video School 🎨Generative AI

youtube.com·16h·

IPC medley: message-queue peeking, io_uring, and bus1 📨Event-Driven Architecture

lwn.net

·9h·

Documentation-First Design Systems 🛠️Developer Experience

mel-miller.com·8h·

Introduction to Compilers and Language Design ⚙️Compilers

dthain.github.io·11h·

USB protocol ⚡QUIC Protocol

dlbeer.co.nz·2d·

How Do Language Models Process Ethical Instructions? Deliberation, Consistency, and Other-Recognition Across Four Models 🛡️AI Safety

arxiv.org·20h·

Gateway Design 1 📡Network Protocols

things4u.github.io·6d·

Quick reference-nftables in 10 minutes 🌐Networking

wiki.nftables.org·1d·

Loading more...