Why Rust, or a Trip Report from My Satori with Rust and Functional Programming

Christine Dodrill – Blog – Contact – Gallery – Resume – Talks | GraphViz – When Then Zen… Read more


From Rust to Spark: Formally Proven Bip-Buffers

I am fol­low­ing the evo­lu­tion of the embed­ded Rust com­mu­ni­ty and in par­tic­u­lar the work of James Munns from Fer­rous-Sys­tems. One of the projects that caught my atten­tion is bbqueue, a sin­gle pro­duc­er, sin­gle con­sumer, lock­less, thread s... (more…)

Read more »

The Pain of Real Linear Types in Rust

For whatever reason "linear" types in Rust came up at work today, at which point I made my usual assertion that they're a nightmare, because they don't compose well. I tried to explain it off the top of my head, but I figured it's best for me to just writ... (more…)

Read more »