munchler

13 ms·

1. 211.▲
   by munchler 1y ago

   There's also a large lobby group that is fully invested in building new houses, namely real estate developers, and since most politicians at a high level usually need large campaign contributions, they are fully invested in it as well.
2. 212.▲
   by munchler 1y ago

   F# uses “fun” and I like it. The vowel does help a bit and I never confuse it with the English word. The worst one IMHO is Haskell’s “\”.
3. 213.▲
   by munchler 1y ago

   One of many examples of C# following in F#'s footprints years later. F# deserves a higher profile in the .NET ecosystem.
4. 214.▲
   by munchler 1y ago

   Is there convincing evidence for group-level selection in evolution at all? I read enough Dawkins back in the day to be skeptical of such claims.
5. 215.▲
   by munchler 1y ago

   What a great writing prompt! Would love to read read the rest of this as a short story. Any takers? Edit: Wow, that’s the fastest any of my HN posts have ever been buried. Still, as an old guy, I have to say it’s pretty awesome to be living
6. 216.▲
   by munchler 1y ago

   The point is that those decimal places don't have to be zeros. 7.893 is just as precise as 8.001.
7. 217.▲
   by munchler 1y ago

   This is from 2005.
8. 218.▲
   by munchler 1y ago

   By that kind of logic, I’m actually a Boltzmann brain floating alone in an infinite void, so I don’t have to worry about anyone but myself.
9. 219.▲
   by munchler 1y ago

   It seems obvious to you that there will be trillions of people alive in the far distant future? Please explain how you know this.
10. 220.▲
    by munchler 1y ago

    This is exactly how I feel when Effective Altruism starts talking about the wellbeing of trillions of humans living in the far distant future that we should be devoting ourselves to now. https://www.effectivealtruism.org/art
11. 221.▲
    by munchler 1y ago

    I agree. AI doesn't make me a faster coder, but it helps me do things that I wouldn't have been able to do at all otherwise.
12. 222.▲
    by munchler 1y ago

    I tried to use this but the lag made it impossible to even click on an icon. On top of that, a message that other people were waiting popped up intermittently, pushing the emulation down the page, away from the mouse pointer. I'm not s
13. 223.▲
    by munchler 1y ago

    This article makes it sound like phosphine is definitely present in the atmosphere of Venus, but has this been confirmed? There was a lot of controversy over the claim when it was first published several years ago.
14. 224.▲
    by munchler 1y ago

    I haven’t seen this aspect of the ruling discussed anywhere else either, so I don’t know why you’re picking on HN in particular.
15. 225.▲
    by munchler 1y ago

    FWIW, this story has been verified by a reporter at TechCrunch, who says he used the dumped database to identify the spyware admin in Uruguay. https://techcrunch.com/2025/07/02/data-breach-reveals-catwat...
16. 226.▲
    by munchler 1y ago

    Lean is awesome and this is an impressive new feature, but I can't help but notice that the proof is significantly longer and more complex than the program itself. I wonder how well this will scale to real-world programs.
17. 227.▲
    by munchler 1y ago

    I had never heard of the X-Ray Transform until I happened to read about it in the New York Times today, and then here it is again. https://www.nytimes.com/interactive/2025/06/30/science/math-...
18. 228.▲
    by munchler 1y ago

    Unlike JavaScript, it would require fundamental changes to the language itself, so I don’t think it’s really a fair comparison.
19. 229.▲
    by munchler 1y ago

    You do understand that he speaks for a number of cops at once, not just himself, right?
20. 230.▲
    by munchler 1y ago

    > “Every time we see a Google Pixel, we suspect it might belong to a drug dealer,” said a police official leading the anti-drug operation in Catalonia Not a random cop, but the leader of an entire operation.
21. 231.▲
    by munchler 1y ago

    Thanks, I just took a look. It works by relaxing constraints to allow mutation on a “draft” copy of the data. Interesting idea! (But verboten in Haskell, of course.)
22. 232.▲
    by munchler 1y ago

    Because foo.bar.baz = 1 has a side-effect, and side-effects, though powerful, are extremely prone to error. Lenses take more effort, but give us the same amount of power without all the errors. Many people believe the trade-off is worthwhil
23. 233.▲
    by munchler 1y ago

    That’s a single word, not much of an actual explanation.
24. 234.▲
    by munchler 1y ago

    But that way you can only use each key on that one device. E.g. No starting a private conversation on your phone and then continuing it on your desktop later.
25. 235.▲
    by munchler 1y ago

    Surely this graph also trended way up in late 2016.
26. 236.▲
    by munchler 1y ago

    Yes, they're talking about a mobile app used for two-factor authentication. It doesn't run on Windows (or Mac). If you don't have this app on your phone, you don't need to worry about it.
27. 237.▲
    by munchler 1y ago

    True, but we also have to be careful about teaching ints as the computer version of integers.
28. 238.▲
    by munchler 1y ago

    The initial sequence is 1, 3, 7, 12, 18, 26, 35, etc. The difference between each term in that sequence produces a second sequence: 2, 4, 5, 6, 8, 9, 10, etc. If you merge those two sequences together in sorted order, you get 1, 2, 3, 4, 5,
29. 239.▲
    by munchler 1y ago

    I love this. It starts as a parody, then slowly morphs into a serious and elegant solution to the "game". By the end, I almost wish I could play it myself. Bravo.
30. 240.▲
    by munchler 1y ago

    The incident in question targeted someone outside of the US, where DOGE has no direct influence (yet).