• papers podcast posts projects
    • 2019年08月31日
    • 9 分
    Poline

    This is a post about Poline, a tiny programming language I wrote recently. The main “gimmick” of Poline is a feature called Green Threads. In fact, Poline doesn’t have many other features besides them.

    • Concurrency
    • Programming Languages
    • Rust
    • 2019年06月14日
    • 6 分
    Data Races vs Race Conditions

    This is a quick post about the difference between Data Races and Race Conditions, and how data structures or patterns providing freedom from data races can fail to provide race condition freedom.

    • Concurrency
    • Go