How do linear session type frameworks deal with communicating over an unreliable channel (eg the network)? Do they assume that’s handled at a lower level or doe...
🕸Mesh communications
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·8h
🔧Embedded Rust
Flag this post
Prentice Hall Interview with Rich Stevens, Author of Unix Programming (1997)
🌐WebAssembly
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🌐WebAssembly
Flag this post
RFC 9867: Mixing Preshared Keys in the IKE_INTERMEDIATE and CREATE_CHILD_SA Exchanges of the Internet Key Exchange Protocol Version 2 (IKEv2) for Post-Quantum S...
rfc-editor.org·16h
📦Packet Radio
Flag this post
Systems and Protocol Aspects for Circumstellar Environments Research Group
🆘Emergency Comms
Flag this post
The Constrained Application Protocol (CoAP)
📦Packet Radio
Flag this post
How Does the Internet Work? TCP/IP, DNS & Network Infrastructure Explained
the-ultimate-gadget-guide.blogspot.com·2d
🕸Mesh communications
Flag this post
Welcome to r/P4lang — a community dedicated to the P4 programming language, designed for programming packet processors and software-defined networks.
🌐WebAssembly
Flag this post
Securing critical infrastructure: Why Europe’s risk-based regulations matter
microsoft.com·19h
🆘Emergency Comms
Flag this post
MIT researchers propose a new model for legible, modular software
news.mit.edu·11m
🌐WebAssembly
Flag this post
Integrating Design Verification To Approach Zero Defects
semiengineering.com·5h
🔧Embedded Rust
Flag this post
Advice for System Design Interviews
🌐WebAssembly
Flag this post
Loading...Loading more...