Zero-copy protobuf and ConnectRPC for Rust(medium.com)114 points by PaulHoule 6 months ago | 32 comments
COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)(marcoeg.medium.com)47 points by marcoeg 11 months ago | 14 comments
Sguaba: Hard-to-misuse rigid body transforms for engineers(blog.helsing.ai)58 points by lukastyrychtr 1 year ago | 14 comments