mkehrt

8 ms·

91.
by mkehrt 2y ago
Wow, I thought it was really obvious which was which, which I found surprising (and I guessed before I read this comment). The thing that gives it away is that the post processing means there's a uniform amount of illumination through
92.
by mkehrt 2y ago
I think this is reasonable analogy, for FM interference, and it points out why FM is resilient to noise: the flashing lights have to be relatively bright (high amplitude) to interfere with your color based scheme.
93.
by mkehrt 2y ago
The answer is this is how theoretical programming languages have done it since the 1920s, borrowing from the mathematical notation of the time. As programming language theory has made more inroads into practical programming languages in the
94.
by mkehrt 2y ago
I strongly believe nested expressions increase cognitive overhead. Between the two examples in the blog post def calculate_something(): big_number = get_big_number() small_number = get_small_number() return math.sqrt(big
95.
by mkehrt 2y ago
Why would you expect step 3 to work?
96.
by mkehrt 2y ago
Because I was curious: https://en.wikipedia.org/wiki/Arithmetic_IF It's a three way if statement that scrutinizes a number rather than a boolean, with branches for negative, zero and positive values.
97.
by mkehrt 2y ago
As an GenAI skeptic, I think this is a very cool finding. My experience with AI tools is that they are complete bullshit artists. But to a large extent that's just a result of the way they are trained. If this description of how the
98.
by mkehrt 2y ago
I'm not sure what you mean. I've been playing around with Lean and it works fine on a Mac. I am using VSCode, though.
99.
by mkehrt 2y ago
Are you sure? You certainly have rights to your likeness--it can't be used commercially without permission. Di you know this doesn't cover your voice?
100.
by mkehrt 2y ago
I'd assume both are named after System F, the Simply Typed Lambda Calculus enriched with a variety of types of what would widely be called generics.
101.
by mkehrt 2y ago
I"m surprised this doesn't include prayer hands/high-five emoji.
102.
by mkehrt 2y ago
If you ever need to do that in the future in Java for whatever reason, Java actually has it already in the standard library--it's called LinkedHashMap.
103.
by mkehrt 2y ago
It's extremely oriented towards laymen, and if you think it sounds interesting, you will probably enjoy it a lot. (Even if you don't agree with its conclusions)
104.
by mkehrt 3y ago
I assume what they meant was that only some colors are pure frequencies, and most are more complex waveforms. As the sibling comment gestures at, "magenta" is the sum of a pure blue wave plus a pure red wave. "Color" al
105.
by mkehrt 3y ago
I've just gone from season one to season two in an X-Files rewatch and the sudden appearance of cell phones is shocking.
106.
by mkehrt 3y ago
I write rust professionally and really like it, but I do think that its noisy syntax is a flaw. I'm not sure how I would clean this up, but it really can be inscrutable sometimes.
107.
by mkehrt 3y ago
You should be able to read a function from top to bottom and it should show you the whole procedure at a given level of abstraction . Hiding the details is the heart of what programming is. I always try to write code like fn foo() {
108.
by mkehrt 3y ago
Yeah, the replies here are all nuts. Linus is acting like a child. It's completely inappropriate of him to treat anyone like this.
109.
by mkehrt 3y ago
Roman dodecahedra predate knitting by almost a thousand years. The earliest known knitting was from the 11th century ( https://en.wikipedia.org/wiki/Knitting#History_and_culture ), while the earliest dodecahedra are from
110.
by mkehrt 3y ago
This is a theory that keeps coming up on the internet. However, roman dodecahedra predate knitting by almost a thousand years. The earliest known knitting was from the 11th century ( https://en.wikipedia.org/wiki/Knitt
111.
by mkehrt 3y ago
I don't know if the location services permission is initially on in Apple Maps, but I just checked to see if you can turn it off, and you definitely can, without affecting other apps' ability to use it.
112.
by mkehrt 3y ago
To be clear on terminology--this isn't "Modern" architecture; it's "contemporary". Modern refers to a very specific set of movements. The demolished brutalist building the OP mentions is an offshoot of Modern
113.
by mkehrt 3y ago
Oh, I have no idea. I assume that they must have some features, but I really only use vim and vscode with vim bindings turned on.
114.
by mkehrt 3y ago
As someone who is a midelevel vimmer and has been using it for 20 years, that's probably true. But the muscle memory is there, and it's standard everywhere . I do get a lot of leverage out of macros and text objects, features w
115.
by mkehrt 3y ago
Ah, that makes sense. All the Google hits in English are a demon or a World of Warcraft enemy. Obviously I should have been looking in Catalan!
116.
by mkehrt 3y ago
So, uh, why's it named after a demon?
117.
by mkehrt 3y ago
Weird.
118.
by mkehrt 3y ago
I don't think Cereal Killer's name is Emmanuel Goldstein. That was a joke.
119.
by mkehrt 3y ago
Ah, yeah, I've seen this. (I've been slowly learning cryptic clues myself this past year.)
120.
by mkehrt 3y ago
Huh, interesting. Yeah, in the US cryptic clues are almost unheard of and considered very hard.

More ›