im3w1l

36 ms·

1. 781.▲
   by im3w1l 2y ago

   I think relaxing the ordering requirement let's you use simd something like this (semi-pseudo code) (a, b, c, d) = (0, 0, 0, 0); for(int i = 0; i < n; i += 4) { (a, b, c, d) += (arr[i], arr[i+1], arr[i+2], arr[i+3]); }
2. 782.▲
   by im3w1l 2y ago

   > This also ignores the fact that SMTP specs is split across multiple RFCs with no single normative version which further complicates the probability that you implement the spec correctly in the first place. This is a point I agree with
3. 783.▲
   by im3w1l 2y ago

   I agree that the scenario is quite unlikely but I brought it up to dispute an argument you made: That, as the US has to negotiate with Israel, they have to go against the ICC. My point is that the US could "assent to the validity of th
4. 784.▲
   by im3w1l 2y ago

   It could have some highly amusing consequences if serious legal pressure was put on bitcoin. It could split bitcoin in half, with miners and users rejecting the pressure and picking one side of the fork, and core devs, mainstream exchanges,
5. 785.▲
   by im3w1l 2y ago

   > Your speech is processed securely on device overnight while your device is charging and connected to Wi-Fi. Neat
6. 786.▲
   by im3w1l 2y ago

   Maybe despite not using her voice at all they wanted to give her some money as a gesture of good will and/or derisk the project.
7. 787.▲
   by im3w1l 2y ago

   > What else can Biden say in this situation? He cannot both assent to the validity of the ICC charges and continue negotiating with Israel for things like US-built supply piers on Gaza's seafront. You can't really do diplomacy
8. 788.▲
   by im3w1l 2y ago

   Makes you wonder what went differently that one time. Does the body say produce immune cells with some level of natural variation and that one time it happened to produce ones sensitive to the substance?
9. 789.▲
   by im3w1l 2y ago

   There are legitimate reasons for such a thing though, I think. Like I don't want my juice dispenser to do general purpose computation. I don't want it to be capable of web surfing. Ideally you would do that by building it out of
10. 790.▲
    by im3w1l 2y ago

    So it sounds to me like they knew: 1. Various contiminants make water taste bad. 2. Bad tasting water is unhealthy. It's not a full theory of microbiology of course, but it's something.
11. 791.▲
    by im3w1l 2y ago

    I think that for matching this should work ([^"\\]|\\.)* If you want to validate and interpret the backslash escapes then it's a little more work especially if you accept \uXXXX
12. 792.▲
    by im3w1l 2y ago

    Let's say you want to check if use after free can ever occur. Your translation is bugged and translates the whole program to a single "nop". Then the verifier happily asserts that the translated program does not cause use aft
13. 793.▲
    by im3w1l 2y ago

    > As an aside, it's nice to see industry funding for work like this. I'm often cynical of cryptocurrency, but its correctness constraints really push for improvements in areas I like (Rust, Coq, funding for masters students I k
14. 794.▲
    by im3w1l 2y ago

    In my experience, a lot of people are distrustful of logical arguments about what may happen. If it has never happened, then it doesn't happen in practice - that's how they reason I suppose. This article shows that it does happen
15. 795.▲
    by im3w1l 2y ago

    Here's some pseudocode that should help you get started on a very simple thing evalExpression: switch peekChar ( evalFunctionCall 0-9 parseNumber " parseString a-zA-Z parseAndGetVariable evalFunc
16. 796.▲
    by im3w1l 2y ago

    Analyzing ROI is interesting for a theoretical discussion but I think it doesn't make as much sense for the prospective student. Any analysis of education must take into account the opportunity cost. But what is the opportunity cost?
17. 797.▲
    by im3w1l 2y ago

    There is a scene in the pirates of the carribean I think of a lot. "You are without a doubt the worst pirate I have ever heard of" "Ah, but you have heard of me." He kept the scope down. He shipped. It was hugely success
18. 798.▲
    by im3w1l 2y ago

    There is one downside, though it's not inherent to garbage collection, it just happens to correlate in current languages. Gc'd languages don't have raii, and for that reason they actually make you do more work when managing
19. 799.▲
    by im3w1l 2y ago

    > The arithmetic derivative can also be extended to any unique factorization domain (UFD),[6] such as the Gaussian integers and the Eisenstein integers, and its associated field of fractions. If the UFD is a polynomial ring, then the ari
20. 800.▲
    by im3w1l 2y ago

    I want more syntax sugar for my ADTs that mirror what traits have. I don't need that kind of double extensibility.
21. 801.▲
    by im3w1l 2y ago

    A trait is a collection of variants that may or may not have unknown members. An enum is a collection of variants that may not have unknown implementations. So enums are in some sense a subset of traits. Hence every property of traits is al
22. 802.▲
    by im3w1l 2y ago

    That's kind of greek to me, but shouldn't promising the compiler that my set is closed unlock more features instead of taking features away?
23. 803.▲
    by im3w1l 2y ago

    I have mainly used them in Rust. They are nice I suppose, but nothing mindblowing. To me it feels very similar to an interface (trait) implemented by a bunch of classes (structs). I have multiple times wondered which of those two approaches
24. 804.▲
    by im3w1l 2y ago

    Interesting subject but he didn't really do it justice.
25. 805.▲
    by im3w1l 2y ago

    I think what you want is a combination of swapaxes and flip (reshape does not turn rows into columns, it turns m input rows into n output rows), but yeah. Actually let me include a little figure original reshape swapaxes abc
26. 806.▲
    by im3w1l 2y ago

    The prefix extra- just means beyond/outside. It lives outside Earth (Terra) so it's extraterrestrial. Though if you said it's not diverged enough to be a separate species that would be a better objection.
27. 807.▲
    by im3w1l 2y ago

    So this is the first discovery of an extraterrestrial species right, because that's pretty neat.
28. 808.▲
    by im3w1l 2y ago

    This looks really cool. One thing I think would be really useful for people is some instructions / examples of how to add proofs for an existing codebase. So maybe an example could be a bare-bones gui app with a single textbox, that do
29. 809.▲
    by im3w1l 2y ago

    Associations aren't typically governmental entities are they?
30. 810.▲
    by im3w1l 2y ago

    The less clutter there is, the more the remaining elements pop.