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 anything, just matches strings. My algorithm is also used in nushell's cd command.

kn also supports multiple dots:

    kn ..  # enters parent
    kn ... # enters grandparent

etc.

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've completely replaced `cd` for over a year. A while ago nushell reimplemented this functionality using my Powierża coefficient.

`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 don't think:

> If somebody is drinking beer, they are 21+.

We think:

> To drink beer, you must be 21+.

And if you formulate the other puzzles in the same way, they are much simpler:

> If a card has a circle on one side, it must have the yellow color on the other side.

Is this your impression too? (Actually, after writing this comment I realised I hadn't checked the red card... But I also hadn't checked the 17 yo lol.)

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

It's not mine, I just found it very intuitive and decided to share here.

very thought provoking