Hacker News
- Why I'm leaving Open Source https://ticki.github.io/blog/why_im_leaving_open_source/ 72 comments
- Why I'm leaving Open Source https://ticki.github.io/blog/why_im_leaving_open_source/ 2 comments
- How LZ4 works (2016) http://ticki.github.io/blog/how-lz4-works/ 14 comments
- An Atomic Hash Table https://ticki.github.io/blog/an-atomic-hash-table/ 4 comments
- Skip Lists Done Right http://ticki.github.io/blog/skip-lists-done-right/ 82 comments
- SeaHash: Explained https://ticki.github.io/blog/seahash-explained/ 55 comments
- A Hoare Logic for Rust http://ticki.github.io/blog/a-hoare-logic-for-rust/ 43 comments
- A Critique of Rust's `std::collections` http://ticki.github.io/blog/horrible/ 60 comments
- Lambda crabs, part 1: A mathematical introduction to lifetimes and regions http://ticki.github.io/blog/lambda_crabs_1/ 20 comments
Lobsters
- Why I'm leaving Open Source http://ticki.github.io/blog/why_im_leaving_open_source/ 7 comments person
- Designing a good non-cryptographic hash function http://ticki.github.io/blog/designing-a-good-non-cryptographic-hash-function/ 3 comments compsci
- Skip Lists: Done Right http://ticki.github.io/blog/skip-lists-done-right/ 3 comments compsci
- Why I'm leaving Open Source https://ticki.github.io/blog/why_im_leaving_open_source/ 63 comments rust
- Why I'm leaving Open Source · Ticki's blog https://ticki.github.io/blog/why_im_leaving_open_source/ 6 comments redox
- Fearless concurrency with hazard pointers https://ticki.github.io/blog/fearless-concurrency-with-hazard-pointers/ 10 comments programming
- Fearless concurrency with hazard pointers https://ticki.github.io/blog/fearless-concurrency-with-hazard-pointers/ 9 comments rust
- An Atomic Hash Table https://ticki.github.io/blog/an-atomic-hash-table/ 38 comments rust
- Making Terminal Applications in Rust with Termion http://ticki.github.io/blog/making-terminal-applications-in-rust-with-termion/ 33 comments rust
- A Hoare Logic for Rust - by Redox dev Ticki (being used in possible formalization of redox kernel) http://ticki.github.io/blog/a-hoare-logic-for-rust/ 2 comments redox
- Modeling memory: A Hoare Logic for Rust http://ticki.github.io/blog/a-hoare-logic-for-rust/ 17 comments rust
- Skip Lists: Done Right http://ticki.github.io/blog/skip-lists-done-right/ 19 comments programming
- Why Rust's `std::collections` is absolutely fantastic http://ticki.github.io/blog/fantastic/ 38 comments programming
- Why Rust's std::collections is absolutely fantastic http://ticki.github.io/blog/fantastic/ 82 comments rust
- A Critique of Rust's `std::collections` http://ticki.github.io/blog/horrible/ 186 comments programming
- Rust's std::collections is absolutely horrible. http://ticki.github.io/blog/horrible/ 178 comments rust
- Lambda crabs (part 2): Region inference is (not) magic. http://ticki.github.io/blog/lambda_crabs_2/ 4 comments rust
- Lambda crabs (part 1): A mathematical introduction to lifetimes and regions http://ticki.github.io/blog/lambda_crabs_1/ 12 comments rust