Yoric

29 ms·

1. 721.▲
   by Yoric 2y ago

   Well, the title makes it sound like Israel deployed it (see other comments - at least a few people seems to have jumped to this conclusion), while it's software that has been purchased and deployed by many countries around the world.
2. 722.▲
   by Yoric 2y ago

   I imagine it's about type signatures. Rust makes it very easy to attach strong invariants to types. In most other languages, it's either harder to attach these invariants or harder to trust them. By one metric (definitely not all
3. 723.▲
   by Yoric 2y ago

   At least OCaml, Haskell, SML.
4. 724.▲
   by Yoric 2y ago

   Safe subset of what?
5. 725.▲
   by Yoric 2y ago

   I remember that it actually broke a critical algorithm I was testing at the time. Fun times.
6. 726.▲
   by Yoric 2y ago

   I'm not sure. Quantum computing is based on a series of scientific breakthroughs and still needs quite a few scientific and technological breakthroughs in several domains before it becomes viable for cryptography (in other fields, we&#
7. 727.▲
   by Yoric 2y ago

   I've seen a recent paper that claims that they have successfully executed one (single) instance of Grover's algorithm using existing commercial quantum hardware, with lots of hypotheses and lots of manual intervention. We'll
8. 728.▲
   by Yoric 2y ago

   Could be related to the Russian announcement, a few weeks ago, that they have built a 30 qubit computer (which may or may not be reasonably true – in the field, everybody has a different definition of "qubit", "computer"
9. 729.▲
   by Yoric 2y ago

   I seem to remember that glandium had done something like this on the Firefox binary to optimize the startup, with impressive speedup. Can't find the details, though.
10. 730.▲
    by Yoric 2y ago

    I find your snippet surprisingly readable. Thanks for the suggestion!
11. 731.▲
    by Yoric 2y ago

    In which way is Bun superior to Deno? Asking as someone who has yet to try either.
12. 732.▲
    by Yoric 2y ago

    My bad, I meant too many C-level executives believe that they actually work. And the reason I believe that is that, as far as I understand, many companies are laying off employees (or at least freezing hiring) with the expectation that AI
13. 733.▲
    by Yoric 2y ago

    I actually feel that they can be very dangerous. Not because of the fabled AGI, but because 1. they're so good at showing the appearance of being right; 2. their results are actually quite unpredictable, not always in a funny way; 3. C
14. 734.▲
    by Yoric 2y ago

    Is this what happens with words losing their entire meaning with propaganda? Not going to quote a specific word, but I live in a country that has gone into propaganda overdrive during the last few weeks and people who should know better (qu
15. 735.▲
    by Yoric 2y ago

    In the heydays of Dark age of Camelot, a friend of mine hacked together a lego robot to craft all day long on their home computer while they were at work. I'll ask them if they can open-source the design :)
16. 736.▲
    by Yoric 2y ago

    While I'm also multi-lingual, and I also strongly believe in (some version of) the Sapir Whorf hypothesis, to the best of my knowledge, it has never been demonstrated. See also https://en.wikipedia.org/wiki/Linguis
17. 737.▲
    by Yoric 2y ago

    Thanks for the link. It looks like it might be a bit less painful? It's still a pretty sharp disappointment to compare Go's json/encoding to Python's Pydantic or Rust's serde. One is all sharp edges, bad DX that per
18. 738.▲
    by Yoric 2y ago

    Are then even worse than Go's?
19. 739.▲
    by Yoric 2y ago

    Yeah, in Paris, for the last few years, in my flat, I have turned the heating maybe 2-3 days per winter.
20. 740.▲
    by Yoric 2y ago

    FWIW, in my house, ~50% of the electricity is used by the electric water heater. This feels like lots of waste, given that we take at most 30 minutes of shower per day.
21. 741.▲
    by Yoric 2y ago

    For what it's worth, my peak month this year was March at 169 kWh / month. I cook (electric) almost every day, I have a kid and I work mostly from home. Half of that energy is the (oversized) water heater. My winter months were ac
22. 742.▲
    by Yoric 2y ago

    I think it depends on the country, no?
23. 743.▲
    by Yoric 2y ago

    Were you there?
24. 744.▲
    by Yoric 2y ago

    Seen from a distance, it feels like it's mostly a case of social awkwardness strong enough to cause creepiness, rather than sexual predator. Did I miss something?
25. 745.▲
    by Yoric 2y ago

    Algebraic effects?
26. 746.▲
    by Yoric 2y ago

    Also, the environmental cost. It's hidden, but won't be forever.
27. 747.▲
    by Yoric 2y ago

    Yes, the default implementation of hashing in Rust is designed to be cryptographically-safe at the expense of speed. You can get a large speedup by replacing it, e.g. https://nnethercote.github.io/perf-book/hashing.html
28. 748.▲
    by Yoric 2y ago

    > The quality of code relying on reflection varies wildly (even within the standard library) so I don't think anything about the reflection system itself is the problem. I've written reflection-based solutions to problems spari
29. 749.▲
    by Yoric 2y ago

    C++ has a specific definition of UB. Most languages don't suffer from it, regardless of halting problem.
30. 750.▲
    by Yoric 2y ago

    And don't forget that a segfault is the lucky case in matters of memory safety bugs. I've worked on many memory safety bugs that manifested themselves by silently corrupting data.