hirple

4 ms·

1.
by hirple 3y ago
I've been interested in this question myself - and recently wrote a basic web 'microframework' for Lean 4 [1]. I've loved being able to use Lean's macro system to write JSX-like HTML: def header := <header c
2.
by hirple 4y ago
As a rule I find that people who take the common, simplistic, tweet-length view of British rule (i.e. that it became rich by stealing from India, that it was the deliberate invoker of India's famines, that it was racist even by its ti
3.
by hirple 4y ago
Somewhat related - does anyone use meow + paredit? I can’t find a clearly recommended way to combine the two as I can with boon.
4.
by hirple 4y ago
For canal boating, absolutely. Maybe 20-30k for a cheaper boat. Can moor for free. Coal and fuel maybe £100 a month each, depending on how much you travel/if you have solar etc. You do need to black your hull every few years, but they’
5.
by hirple 4y ago
I assume you've taken a look at org-jira?
6.
by hirple 5y ago
You should just be able to hit `$` in the magit buffer to watch the output.
7.
by hirple 5y ago
I agree with you - but the standards elsewhere seem to be so much lower even than here that I think it's (possibly) worthwhile having political discussions on HN. Of course, I would love to know of a place that discusses things even mo
8.
by hirple 5y ago
Speaking as a consultant, these are terrible slides.
9.
by hirple 6y ago
I guess Coq/Lean standard libraries fit this definition.
10.
by hirple 6y ago
Not true, we certainly have those that start at 8. Consider a ~45m commute and time to get ready, and waking up at 6 something is not unheard of. (I personally had to wake up at 5:45 to catch a bus to a school over an hour away).
11.
by hirple 6y ago
McKinsey are involved in almost every company in the Fortune 500, and have been for decades. Of course they're going to be around for almost any given corporate failure.
12.
by hirple 6y ago
Really interested in the 'custom pandas typechecker'. Are there any more details anywhere, or has anyone else tried writing something similar?
13.
by hirple 6y ago
Hence it is impossible for an object (with mass) to reach c. Only progressively closer - 0.99c, 0.999c, 0.9999c etc.
14.
by hirple 6y ago
org-babel might work here. There are also repl keybindings in python mode in emacs.
15.
by hirple 6y ago
Not exactly this, but I've had some success using logic programming (minikanren) to statically assert certain facts about dataframes in spark. E.g. "if Row_a is filtered to Row_b, and Row_a is not null, Row_b is also not null&quot
16.
by hirple 6y ago
I'd be happy to help here too, let me know. I can try to hack some elisp together tomorrow. Looks like rope would be a decent place to start.
17.
by hirple 6y ago
Curious what you prefer about PyCharm over emacs + LSP. I'm a pretty poor PyCharm power-user, so wondering what I"m missing.