munchler

35 ms·

601.
by munchler 2y ago
Yes, quilt size is defined by the length, not by the area. Note that an additional constraint is that the side lengths cannot have a common factor, so the 4x4 square can't be broken into 4 2x2 squares.
602.
by munchler 2y ago
Good article, but should mention that it's not new. First copy in the Wayback Machine is from 2018, but there are comments all the way back to 2009. https://web.archive.org/web/20180301000000*/https:/&#x2
603.
by munchler 2y ago
> Twins occur in only one percent of elephant births and male-female are even more rare, according to Save the Elephants, a research organisation. 1% is "rare", I guess, but I'm not sure exactly why it's newsworthy. A
604.
by munchler 2y ago
I would also add Zig to the list. I certainly hear about it often enough on HN.
605.
by munchler 2y ago
Congratulations, you have reinvented Fortran 77!
606.
by munchler 2y ago
Doesn't the "O" in OCaml stand for "Object", though? I think you could pick up either F# or OCaml just as easily. The nuances of OOP in F# can be ignored by beginners, so I really wouldn’t let yourself be intimidate
607.
by munchler 2y ago
Cute. All kidding aside, though, functional programming is worth the effort to learn, and it doesn't actually take 15 years. The payoff is at the end of the article: "It’s quite natural to program in Haskell by building a declarat
608.
by munchler 2y ago
This is awesome. The chart of "Unboundedness of Human Girth as Modified by Sweaters" made me laugh.
609.
by munchler 2y ago
Terence Tao also gave a great talk on this topic a few months ago, where he goes into more detail about uses of Lean: https://www.youtube.com/watch?v=AayZuuDDKP0
610.
by munchler 2y ago
> As I said the legality of this is not so simple to answer … but once you bring IP into this it becomes a lot more complicated, calculus is also about ideas, From a legal perspective, there is no such thing as “IP”. There are copyrights
611.
by munchler 2y ago
(2000) This is included in the book Swimming Against the Tide, which was published in 2014, but I think this chapter was written earlier. https://www.semanticscholar.org/paper/Polymathematics%3A-Is-...
612.
by munchler 2y ago
> On any topic that I understand well, LLM output is garbage: it requires more energy to fix it than to solve the original problem to begin with. That's probably true, which is why human most knowledge workers aren't going away
613.
by munchler 2y ago
(2009)
614.
by munchler 2y ago
> traditional economics predicts that raising a price results in fewer units—and fewer units, even at a higher price, means less revenue This is false and a very basic mistake. Sometimes higher prices lead to more revenue, even with fewe
615.
by munchler 2y ago
> C++ is a heap of sloppily stiched (sic) languages. > There's no Common Lisp The Language. There's a set of languages sloppily stitched together. Well, less sloppy than C++ anyway. Why pick on C++? This seems wrong, irrelev
616.
by munchler 2y ago
Give F# a try as well if you have some time. It's even better, and can do anything C# can do!
617.
by munchler 2y ago
Thank you. Watching it now. Does the Langlands program compete with Category Theory as being the grand unified theory of math, or are they not really comparable?
618.
by munchler 2y ago
Forget the proof for a moment. Can anyone at least explain what the conjecture is?
619.
by munchler 2y ago
"For the analysis, I used an LLM to embed the companies' value propositions in a vector space, ran a clustering algorithm on top of the embeddings, manually analyzed the results, and used ChatGPT to edit the draft."
620.
by munchler 2y ago
This was (partially) researched and written by ChatGPT, which probably explains why it contains no actual data or examples. The analysis is interesting, but entirely abstract.
621.
by munchler 2y ago
Running high-powered AI locally seems like a pretty good use case to me. Cloud-based AI, like OpenAI sells, is expensive and provides inadequate privacy. I want a truly personal computer, not a dumb client.
622.
by munchler 2y ago
Result (aka Either) and Maybe are much better than exceptions for parsing. Exceptions should only be used when something truly exceptional occurs (e.g. out of disk space, no network connection). Ill-formed input is not exceptional when you&
623.
by munchler 2y ago
It’s certainly her right to withhold that information, but it leaves a hole in the published story that makes it much harder to assess whether her description of what happened is likely true. Right now, I’d say it’s about a 6 on a plausibil
624.
by munchler 2y ago
I agree, but it’s also strangely appropriate, because Scrabble is far less interesting a game than it first seems, as the author points out.
625.
by munchler 2y ago
I’d like to know what subgenre is so specific that the attorney was sure the ad was targeted, yet is general enough to warrant its own ad, and is sensitive enough that she didn’t want it named in this article.
626.
by munchler 2y ago
> In languages that don’t have typeclasses, you need to take special steps to ensure that you dispatch to the proper variant of the monad. You might want to take a look at F#, which has no typeclasses (yet) but does have excellent first-
627.
by munchler 2y ago
I think this is a niche of a niche of a niche, but it’s interesting to see the creative decisions young developers are making to carve out a sustainable career. I hope this path works out for you!
628.
by munchler 2y ago
Fun game. Here's a small bug report: If you reset the puzzle while a flip is active (but incomplete), the flip UI remains active after the board is cleared. (Desktop user.)
629.
by munchler 2y ago
Static linking is a good way to avoid the problem, but I’d hardly call it “elegant” to replicate the same runtime library in every executable. It’s very wasteful - we’re just fortunate to have enough storage these days to get away with it.
630.
by munchler 2y ago
I do when I'm driving to the airport in the DC area. I imagine that I'm actually picking up Abe Lincoln from the 1860's and what I'll show him on the drive back.

More ›