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
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
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·6h
🔧Embedded Rust
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·14h
📦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
Securing critical infrastructure: Why Europe’s risk-based regulations matter
microsoft.com·17h
🆘Emergency Comms
Flag this post
Integrating Design Verification To Approach Zero Defects
semiengineering.com·3h
🔧Embedded Rust
Flag this post
Advice for System Design Interviews
🌐WebAssembly
Flag this post
List Decoding and New Bicycle Code Constructions for Quantum LDPC Codes
arxiv.org·6h
🕸Mesh communications
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·1d
🕸Mesh communications
Flag this post
Loading...Loading more...