Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·16h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Replication: from bug reproduction to replicating everything (a mental model)
read.perspectiveship.com·21h·
Discuss: r/programming
🔲Cellular Automata
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·18h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.org·2d·
Discuss: Hacker News, r/linux
🐳Containerization
Flag this post
When eBPF Isn't Enough: Why We Went with a Kernel Module
riptides.io·6d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·16h·
Discuss: DEV
🎮Verification Games
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·17h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
A Senior Developer's Guide to the Model Context Protocol
dev.to·2d·
Discuss: DEV
🛡️seL4
Flag this post
Libevpl – event loop engine with unified abstractions for network and block I/O
github.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Challenges in Credit Assignment for Multi-Agent Reinforcement Learning in Open Agent Systems
arxiv.org·5h
✓Automated Theorem Proving
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🔍CBMC
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·1d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·2h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Ubuntu Will Use Rust For Dozens of Core Linux Utilities
news.slashdot.org·1d
📦Unikernel Systems
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·19h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Context-Aware Stochastic Modeling of Consumer Energy Resource Aggregators in Electricity Markets
arxiv.org·5h
🧠Automated Reasoning
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·18h·
Discuss: Hacker News
🔤Language Design
Flag this post
When Logs Become Chains: The Hidden Danger of Synchronous Logging
systemdr.substack.com·1d·
Discuss: Substack, r/programming
👁️System Observability
Flag this post