Smaug123

48 ms·

691.
by Smaug123 4y ago
Per https://news.ycombinator.com/formatdoc , put it in angle brackets. Maybe this works? < https://docs.oracle.com/en/java/javase/17/docs/api/java.base... >
692.
by Smaug123 4y ago
Scroll down! The homepage shows examples of ADTs, purity tracking (yay!) and pattern matching on purity (oooooh), effect polymorphism (oooooh again), type classes, HKTs, and an embedded Datalog DSL.
693.
by Smaug123 4y ago
I guess I'm just more willing to accept solutions of the form "recognise the mistake we made, and create a whole new API that is more correct" than they were.
694.
by Smaug123 4y ago
I have spent weeks of work time trying to track down DateTimes, work out their intended semantics, replace them with a user-defined type, and fix the resulting fallout when it turned out that people were relying on bugs. Unclear who thoug
695.
by Smaug123 4y ago
This is, of course, addressed in the article and associated comments - namely its second quote and the thread https://astralcodexten.substack.com/p/lavenders-game-silexan... .
696.
by Smaug123 4y ago
You know "veteran" does mean "someone with a lot of experience in something", right? In non-US countries that's even the primary meaning. https://dictionary.cambridge.org/dictionary/english&#x2F
697.
by Smaug123 4y ago
I don't think you're actually arguing with me. I claim that keto doesn't work for everyone, and so apparently do you.
698.
by Smaug123 4y ago
One of the explicit goals of gov.uk is to be maximally accessible, and that includes for people accessing the Internet on a potato or who have a metered connection.
699.
by Smaug123 4y ago
I don't know if you've ever used gov.uk, but I have literally no complaints about it (other than a few content-level ones, which the web design team can't help with). It's honestly a brilliant site.
700.
by Smaug123 4y ago
Long term endorphins from not eating?! Maybe once, the first time you ever successfully don't eat, but surely it stops being a surprise after the first time.
701.
by Smaug123 4y ago
I'm pretty sure the article's numbers were UK ones, by the way - I certainly knew the UK Domino's large pizza number from personal experience, and the photos of e.g. peanut butter were ones I recognise from UK supermarkets.
702.
by Smaug123 4y ago
All I know is that I couldn't think of anything other than carbs, and started crying because I wanted carbs so much, and then when I ate carbs it was blissful and I stopped thinking about carbs and I stopped crying. I don't know w
703.
by Smaug123 4y ago
I can barely stick to an only-Huel diet (one of the competitors you speak of) for even a few days. It does sound like the potato diet may be uniquely interesting for someone who is desperate enough.
704.
by Smaug123 4y ago
By the way, I recently read Slime Mold Time Mold's hilarious diet proposal ( https://slimemoldtimemold.com/2022/04/29/potato-diet-communi... ), namely "only eat potatoes, fry them lightly in vegetable
705.
by Smaug123 4y ago
Your advice is not actionable. I know several people including myself who were simply unable to action it for longer than the two months that anyone can stick to any diet. If you are capable of sticking to a diet that literally brings you t
706.
by Smaug123 4y ago
I got bad news for you: I know multiple people who lost weight for two months (as anyone can on literally any calorie-restriction diet) but simply couldn't follow it for much longer than that. I myself stopped being keto a couple of da
707.
by Smaug123 4y ago
F# also has: let foo : obj = failwith "" match foo with | :? SomeType as blah -> // use blah : SomeType (You're allowed to just use the identifier `foo` in the match arm.)
708.
by Smaug123 4y ago
Por que no los dos? Most of my donations go to things like AMF, but I do put some money towards the causes that my ape brain prefers.
709.
by Smaug123 4y ago
(The OP notes very early on that that Wikipedia page came into existence four days ago because of the investigations that led to the article.)
710.
by Smaug123 4y ago
I'm not sure what it means for the one who coined a term to not understand the term they coined. (At https://americanexpress.io/yak-shaving/ they are quoted as stating clearly that they coined it and attempted to
711.
by Smaug123 4y ago
For what it's worth, "yak shaving" [did originally mean]( http://projects.csail.mit.edu/gsb/old-archive/gsb-archive/gs... ) what the author calls "rabbitholing"; see [the person who cla
712.
by Smaug123 4y ago
It seems approximately correct to me. I always do `--no-dependencies` when I have a `pip freeze` output, for exactly this reason.
713.
by Smaug123 4y ago
I mean, just yesterday while I was running the JetBrains Rider install workflow, I hit a NullReferenceException (or whatever it's called in Java). That is a type-system related bug which arises only because Java's type system tr
714.
by Smaug123 5y ago
Text relay is a thing in the UK, by the way. https://www.ofcom.org.uk/phones-telecoms-and-internet/advice...
715.
by Smaug123 5y ago
This post is from 2016, it says at the top.
716.
by Smaug123 5y ago
It's essentially a pitch for the Wolfram Physics Project. How useful is it to work through a system which has some probability $p$ of modelling the basic nature of the universe to some degree $d$? Reasonable people may reasonably diffe
717.
by Smaug123 5y ago
> there's no way to keep me from using someone else's model Indeed it seems to me desirable that I could use someone else's model. The obvious solution to spoofing identity is "press a button to view metadata of wha
718.
by Smaug123 5y ago
Prove it to individuals before proving it to an audience; you'll need the practice!
719.
by Smaug123 5y ago
I find the autocompletion for "improve the runtime complexity of the [Fibonacci] function" at the top excruciating. Surely Codex has seen verbatim the two-argument form many times?
720.
by Smaug123 5y ago
(By this I meant `[<Struct>]`, of course.)

More ›