anreekoh

5 ms·

1.
by anreekoh 7y ago
Seeing how that kid went about that problem, seeing how interested he seems, makes me want to teach. It's impressive how natural the discussion was with the kid, the two were on exactly the same page throughout the entire discussion. T
2.
by anreekoh 7y ago
Disclaimer: I’ve started reading the Lean guide for the past month or two. 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 seem
3.
by anreekoh 7y ago
If you want git on the command-line, but don’t want to remember commands, try lazygit[0], it’s changed what I’m comfortable doing with git because it can tell me at any given moment what I can do. [0]: https://github.com/jes
4.
by anreekoh 7y ago
OP here, this is just a tool I wanted because I often find myself wanting to send a small equation or two to friends, and couldn't find anything online that could do that. Everything is wrapped in a \begin{align} ... \end{align} (even
5.
QuickTeX – Quickly Render a LaTeX Equation(ezb.io)
1 points by anreekoh 7y ago|1 comments
6.
by anreekoh 7y ago
IMO when anything is rewritten (usually in a modern language), it's faster than the original implementation. That's usually because you have much better hindsight since the entire implementation is finished before the rewrite is s
7.
by anreekoh 7y ago
This looks really cool! Is it a coincidence that this has the same name as the Aphex Twin song?
8.
by anreekoh 7y ago
Sorry, I meant that the chemical makeup of beef is distinct from that of plants. I wasn't referring to additives. I meant the proteins/enzymes, etc.
9.
by anreekoh 7y ago
1. Surely there are other chemical compounds that are present in the fast food meats and not the plant based meats, and vice versa, but that aren’t listed in the article’s table. 2. The plant-based meats are intended to imitate real meat as
10.
by anreekoh 7y ago
I have no background in quantum anything at all, just cs & some undergrad math, and I found this article and the one preceding it extremely accessible.
11.
by anreekoh 8y ago
I still sometimes have the A<esc> anti-pattern. It's slowly been disappearing since I added gl. The kakoune keybindings were designed with a lot of thought behind them. They seem extremely natural. Also, I meant to say that the m
12.
Compiler from type annotated Python to C extensions(github.com)
4 points by anreekoh 8y ago|0 comments
13.
Show HN: The Journey of a Wannabe High School Mathematician(ezb.io)
4 points by anreekoh 8y ago|0 comments
14.
Show HN: The Journey of a Wannabe High School Mathematician(ezb.io)
1 points by anreekoh 8y ago|0 comments
15.
by anreekoh 8y ago
Finally. Man I’ve had this feature on my jailbroken devices for over 4 years. And every update I would hope they would add this. Clicking around with the cursor was always so stupid because almost all quick cursor changes would be ~10 chara
16.
by anreekoh 8y ago
The benefits of xonsh are more than just the quick math, but I'm glad fish is getting something like this. I've had a Python script that does math for me, something like this [0] I do think something like a Python shell is the bes
17.
by anreekoh 8y ago
Ugh. I have so many conflicting opinions on this question. So, Xonsh is superior in the manipulation of shell objects. I felt super at home changing the shell prompt and configuring/extending the default Xonsh functionality. This is al