Advanced type systems that enforce various correctness and safety guarantees--such as linear and ownership types--have a long history in the Programming Languages research community. Despite this history, a human-centered evaluation of these type systems ... (more…)

Amazon.com: Lisp Interpreter In Rust eBook : Patil, Vishal: Kindle Store... (more…)

I've recently been writing a bit of parsing code in Rust, and I've been jumping back and forth between a few different parsing libraries - they all have different advantages and disadvantages, so I wanted to write up some notes here to help folks who are ... (more…)

Create cinematic presentations, share them with a link, and collaborate with others in real time. (more…)

A blog by Dadepo Aderemi, mostly on software development. (more…)