Viewing profile — micouay

thank you!

thank you! YouTube has a player API for controlling embedded videos with JS

unfortunately it's not. please try it on your computer!

I did something similar but based on matching abbreviations: https://github.com/micouy/kn For example kn pho/eutri to enter photos/europe_trip. It doesn't track frecency or anythin…

you gotta agree the age addiction is the worst by far

https://github.com/micouy/kn - Like `cd` but with abbreviations. Or like `z` but based on string similarity, not on location history.

https://github.com/micouy/kn - `cd` alternative like `z` but based on comparing abbreviations against paths with https://crates.io/crates/powierza-coefficient , not on frecency. I'…

`rg` has only one version, and one line of code: println!("You meant to install ripgrep: type `cargo uninstall rg` followed by `cargo install ripgrep`");

What does "--thor" mean?

Note that it was published in June 2021.

This supposedly proves that humans are much better tracking social contracts than arbitrary, abstract ones. But I feel like it's actually the wording that makes the puzzle hard. We…

thorough explanations of FP concepts like algebraic effects, linear programming, dependent types