Reproducing the AWS Outage Race Condition with a Model Checker
📡Network Protocol Design
Flag this post
Making a C64/C65 compatible computer: MEGAphone contact list and Dialer
🐫Embedded OCaml
Flag this post
Engineering a Trillion-Parameter Architecture on Consumer Hardware
hackernoon.com·9h
🐫Embedded OCaml
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
Runs-On: Mac
💾Classic Mac OS
Flag this post
Orchestrating Chaos: Unleashing the Power of Bio-Inspired AI for Autonomous System Design by Arvind Sundararajan
🩹Self-Healing Systems
Flag this post
Adaptive Control for a Physics-Informed Model of a Thermal Energy Distribution System: Qualitative Analysis
arxiv.org·9h
🩹Self-Healing Systems
Flag this post
Jetpack Compose Stability Analyzer: real-time IDE insights, runtime tracing and CI stability checks
📊Runtime Verification
Flag this post
Scalable In-Memory Associative Processing for Graph Neural Network Inference
🔧Unikernel Development
Flag this post
Dynamic Resource Allocation in CXL-Enabled Heterogeneous Compute Clusters
⚙️Operating System Design
Flag this post
Show HN: a Rust ray tracer that runs on any GPU – even in the browser
👁️System Observability
Flag this post
Async/Await is finally back in Zig
⚡Process Calculi
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·3d
🔲Cellular Automata
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
🎮Verification Games
Flag this post
MCP standard
💬Mach Messages
Flag this post
Loading...Loading more...