anreekoh
Joined 8 years ago
Joined 8 years ago
For me the most magical texts I have ever read were TAPL by Pierce, or the Lean Theorem Prover (tutorial/guide?) [1].
Just from a software standpoint, Lean seems like one of the most magical things ever built. For something that is built by mathematically-oriented programmers for pure mathematicians, it is /extremely/ well designed. So much thought has seemed to go into the user experience; it’s rest a joy to use.
Every chapter in that guide, has blown my mind more than the previous. It is super accessible as well to anyone with the math background found in any undergrad CS program.
[1]: https://leanprover.github.io/theorem_proving_in_lean/introdu...
[1]: https://github.com/vanvalenlab/deepcell-tf/blob/master/READM...
I'm sure the more modern languages also help though, but I don't think that using a modern language is the major reason for the speedup.
2. The plant-based meats are intended to imitate real meat as much as possible, and I would imagine an intuitive way to do this is to include the same amount of ingredients as on the table presented.
3. “Healthiness” is probably unfortunately best measured through a large and well intentioned study, and not objectively by comparing a limited list of ingredients.
Also, I meant to say that the my replacements for 0, $, gg, and G are gh, gl, gk, gj. 'g' for 'go' and 'hjkl' for the standard up, down, left, or right.
Also my goodness having built-in multiple cursors is fantastic. Kakoune multiple cursors is much much better than the vim plugins for multiple cursors.
As other people have said though, there are some plugins that have yet to be ported to kakoune. iirc smooth scrolling (comfortable-motion) and vim-wiki to name the ones that come to my mind.
I ended up switching to Kakoune after trying it for a bit because I realized that in the two weeks of me exploring it I had entirely understood it’s “scripting language”, or at the very least understood how to use the onboard docs to write any plugin I wanted to.
[1]: https://github.com/mawww/kakoune