Template repo for quickly creating an HTTP API with Rust hosted on AWS Lambda - GitHub - saucepoint/rust-lambda-api: Template repo for quickly creating an HTTP API with Rust hosted on AWS Lambda... (more…)

Fills an `impl` with the associated items required by the trait. - GitHub - SOF3/portrait: Fills an `impl` with the associated items required by the trait. (more…)

Paper Talk at POPL Technical Appendix Coq Formalization Artifact (with VM) ... (more…)

A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust that checked that the code was using units of measures correctly, e.g. a distance in meters is not a distance in centimeters, dividing meters by seconds gave you a value i... (more…)

In this post series, we attempt to write an Zstandard codec. (more…)