はてなブックマーク

Warning: This is the blog I wrote as a kid. Most of what is written here is probably wrong. Thu, Oct 6, 2016 This post will walk through the basics of implementing a terminal (TTY) application for both new beginners and experienced users of Rust. Introduction Terminal applications play an important role in many programmers’ toolchain, from text editors to minigames while your code is compiling. An

Warning: This is the blog I wrote as a kid. Most of what is written here is probably wrong. Sat, Sep 17, 2016 What is a skip list? In short, skip lists are a linked-list-like structure which allows for fast search. It consists of a base list holding the elements, together with a tower of lists maintaining a linked hierarchy of subsequences, each skipping over fewer elements. Skip list is a wonderf

Lately, I've been working on a Hoare-logic-based model of the Rust MIR, which I will introduce in the post. This is a minor step towards a memory model of Rust, and it allows formalization of programs and their behavior. This project was born out of the effort to formalize the Redox kernel and the ralloc memory allocator as well as coming up with a Rust memory model. Here I will walk through the t

Rust is by far my favorite language, and I am very familiar with it, but there is one aspect that annoys me at times: std::collections, a part of the opt-out standard library. This post will go through the short-fallings of the API and implementation of std::collections. I’ll try to present alternatives and way to improve it. Update: The title was previously “Why std::collections is absolutely hor