Like many folks, I spent too much of the last couple days playing with the new release of ChatGPT . I’ve been trying discover what it’s good at, and how it breaks. At its best, it’s remarka...
http://www.randomhacks.net/2022/12/04/pair-programming-with-chatgpt/
I’ve been using the proposed await! and Future features in nightly Rust , and overall, I really like the design. But I did run into one surprise: await! may never return, and has consequences I...
http://www.randomhacks.net/2019/03/09/in-nightly-rust-await-may-never-return/
Lately, I’ve been working on several real-world systems using Rust’s async and tokio. As you can see on the areweasyncyet.rs site, this requires using nightly Rust and the experimental tokio...
http://www.randomhacks.net/2019/03/08/should-rust-channels-panic-on-send/
Want to build your own kernel in Rust? See Bare Metal Rust to get started. We’re almost ready to write a keyboard driver in Rust! But first, we need to deal with two obstacles: setting up th...
http://www.randomhacks.net/2015/11/16/bare-metal-rust-configure-your-pic-interrupts/
Want to build your own kernel in Rust? See the Bare Metal Rust page for more resources and more posts in this series. There’s just a few more posts to go until we have keyboard I/O! Hacking ...
http://www.randomhacks.net/2015/11/11/bare-metal-rust-custom-target-kernel-space/
Want to build your own kernel in Rust? See the Bare Metal Rust page for more resources and more posts in this series. Rust is a really fun language: It allows me to work on low-level kernel co...
http://www.randomhacks.net/2015/11/09/bare-metal-rust-cpu-port-io/
About 15 years ago, I was hanging out at the MIT AI Lab, and there was an ongoing seminar on the Coq proof assistant . The idea was that you wouldn’t have to guess whether your programs were co...
http://www.randomhacks.net/2015/07/19/proving-sorted-lists-correct-using-coq-proof-assistent/
I’ve been fooling around with some natural language data from OPUS , the “open parallel corpus.” This contains many gigabytes of movie subtitles, UN documents and other text, much of it tag...
http://www.randomhacks.net/2015/05/17/unscientific-column-store-experiments-rust/
I’ve long been a huge fan of Heroku. They’ve made it super easy to deploy and scale web applications without getting bogged down in server administration. Also, their free tier has been very ...
http://www.randomhacks.net/2015/04/05/migrating-from-heroku-linode-to-aws-docker/
Over the years, I’ve learned to be cautious with C++ pointers. In particular, I’m always very careful about who owns a given pointer, and who’s in charge of calling delete on it. But my cau...
http://www.randomhacks.net/2014/09/19/rust-lifetimes-reckless-cxx/