hazebooth

Yes, people normally publish their crates to crates.io and call it a day, see https://github.com/sharkdp/bat or https://github.com/ogham/exa

Were you thinking about Idris 2? (https://www.idris-lang.org/idris-2-version-010-released.html)

You should use the algolia HN search, btw (https://hn.algolia.com)

This was actually an amazing experience on my phone, sucks you had that experience :(

Yes, but maybe I've mucked around with my ssh too much.

I'm on mac OS 10.15.4. SSH has worked on all betas and the official release from Apple.

thats dope man

Yes.

I'll be honest and say that in my head, I think 's-q-l lite'

You can reach your profile by clicking your name in the top left. You can also go to https://news.ycombinator.com/user?id=xNickyx

Personally I find vim autocomplete to be nice with plugins like YCM or COC. I have a TabNine plugin which does eat up a ton of ram, but that is because I've disabled the networking capabilities. If you want some good autocomplete experience try some of the language servers.

I went back to the site because you seem to value input and scrolled down to where I anticipated some information to be, only to have to wait >3 seconds to see any information.

the fact that as soon as I opened the page on mobile I got 3 different boxes in the way of the text I'm trying to read. any site that does this I immediately click off of

/System/Library/CoreServices/SystemAppearance.bundle/Contents/Resources/Assets.car

I actually had achieved this effect (with the same setup, just replace Yabai with chunkwm) a very long time ago (before El Capitan). I just spent an hour or so searching for the particular theme I used but couldn't find it. From what I remember, you can use a tool like https://github.com/insidegui/AssetCatalogTinkerer to change the System Appearance.