munchler

8 ms·

121.
by munchler 11mo ago
This is what mystifies me about this announcement. Avalonia already works fine on Linux, allowing anyone to build a cross-platform .NET GUI application. MAUI is supposed to be a wrapper around native widgets. The fact that they had to use A
122.
by munchler 11mo ago
User: Please suggest the most absurd, over-the-top blog post title that will nonetheless get me to the top of Hacker News. System: "Contributing to Open-Source Should be Required, Like Jury Duty"
123.
by munchler 11mo ago
Thank you for the explanation. This reminds me somewhat of an F# type provider, which can execute arbitrary code at compile time. https://learn.microsoft.com/en-us/dotnet/fsharp/tutorials/ty...
124.
by munchler 11mo ago
> Instead of writing the type directly, we're calling pickType and using the type returned. The typechecker evaluates pickType True at compile time, sees it equals Nat, and then it knows you're saying myNat has type Nat. But h
125.
by munchler 11mo ago
I assume you’re being facetious, but just to be clear: WWE is scripted, while the Jets have a fair chance to win any given game.
126.
by munchler 11mo ago
Both the NFL (football) and MLB (baseball) formed from competing leagues in the US.
127.
by munchler 11mo ago
Can we please stop pretending that WWE (World Wrestling Entertainment) is a sport? Clue: It’s got “entertainment” right there in the name.
128.
by munchler 11mo ago
Your point about the caret is interesting, but I'm a bit dubious about using them for vertical arrows. I don't think it would be practical to type this combination in one go, since the two symbols would be on two separate lines. F
129.
by munchler 11mo ago
“the scientists estimate that the supermassive black hole gobbled a star with a mass at least 30 times greater than that of our Sun.” So if only 1/30 of the star’s mass was converted to energy, the quote would be correct (and possibly
130.
by munchler 1y ago
The author admits at the bottom of the article that he actually drove people to quit by pushing his opinions. So, yeah, be careful following this example.
131.
by munchler 1y ago
The person who wrote this code might be a genius, but learning to read it isn’t going to make anyone smart. It’s basically obfuscated assembly code.
132.
by munchler 1y ago
> Making almost every variable const at initialization is good practice. I wish it was the default, and mutable was a keyword. It's funny how functional programming is slowly becoming the best practice for modern code (pure function
133.
by munchler 1y ago
> The Smith chart from electrical engineering is the image of a Cartesian grid under the function f(z) = (z − 1)/(z + 1). More specifically, it’s the image of a grid in the right half-plane. Well, I'm already confused. The doma
134.
by munchler 1y ago
That's great! Your experience with the 2025-09-15 and 2025-10-14 puzzles was very similar to mine, I think. I'm impressed that you were able to get AI models to solve this game effectively. I coded it the old-fashioned way myself,
135.
by munchler 1y ago
I agree with this description, but I'm not sure we really want our AI agents evolving in real time as they gain experience. Having a static model that is thoroughly tested before deployment seems much safer.
136.
by munchler 1y ago
I love me some functional programming, and spend most of days happily immersed in F#, but when I see Haskell programmers casually discussing the lengths they’ll go to to avoid side-effects, I am always in awe. It’s like overhearing monks in
137.
by munchler 1y ago
I understand that the author doesn’t want to get caught up in the details of any particular online drama, but without more concrete information (about either Bluesky or their own project), I find this too abstract to be insightful. YMMV, of
138.
by munchler 1y ago
OK, I think I see what you mean. I certainly agree that named arguments with default values can be useful, but are not supported by curried functions.
139.
by munchler 1y ago
G&T programs are potentially disproportionate in terms of attention from the best teachers/classes, access to high-end resources, pipelines to the best colleges, etc. If those were available to everyone who could benefit from them,
140.
by munchler 1y ago
No one seriously disagrees with that. The question is whether the State Department should be run by people who showed diplomatic aptitude in kindergarten due to nature/nurture advantages and were thus subsequently groomed for those rol
141.
by munchler 1y ago
Can you give me an example where lack of support for named arguments to curried functions makes refactoring difficult? I'm having trouble understanding how that would happen.
142.
by munchler 1y ago
The question isn't whether "it's bad to let smart people excel". Obviously, we never want to actively stop anyone from exceling. The actual question is whether smart people should receive a disproportionate amount of a f
143.
by munchler 1y ago
> the G&T system selects, however imperfectly, for merit and effort. This is true but doesn't answer the fundamental question of whether meritocracy results in a fair, healthy society. I think this is a nuanced issue with reason
144.
by munchler 1y ago
That would be nice, but refactoring canonical F# is still far easier than C# due to its referential transparency. https://dev.to/ruizb/function-purity-and-referential-transpa...
145.
by munchler 1y ago
Practically speaking, optics are useful for avoiding long chains of nested field access, like myBody.LeftArm.Hand.RingFinger. This is particularly useful for providing copy-on-write semantics for immutable data structures. E.g. Putting a ri
146.
by munchler 1y ago
Except for F#, which also gets all the .NET10 cross-platform GC improvements for free and is a better programming language than C#.
147.
by munchler 1y ago
Reading comprehension: The collision with Theia likely had a large effect on Earth once it occurred , but the collision might still have been unlikely to occur in the first place.
148.
by munchler 1y ago
The article mentions that the inner planets were initially too hot to retain water, but presumably Titan didn’t have that problem, being much farther from the sun.
149.
by munchler 1y ago
Heck, this isn’t even specific to software engineering. It’s basically just a “getting through the workday” simulator. I think there are a great many people who find working in an office exhausting. Personally, I was so much happier once I
150.
by munchler 1y ago
Here's a link to the three TorrentFreak articles that are briefly mentioned: https://torrentfreak.com/tag/hehestreams/ The thing I found most interesting in these articles is the claim that he didn't pir

More ›