schoen

34 ms·

1. 571.▲
   by schoen 2y ago

   Thanks for the clarification. I'm still confused about the > Whether that matters aesthetically isn't at issue. Presumably if I have a hardware random number generator that works by measuring thermal noise (directly or indirect
2. 572.▲
   by schoen 2y ago

   For example, here it is in Coq (not using -- but instead replicating explicitly -- the built-in definitions of 0, 1, 2, +, or =). Inductive eq' {T: Type} (x: T) : T -> Prop := | eq_refl': eq' x x. Inductive nat&
3. 573.▲
   by schoen 2y ago

   I'm glad this legislation was struck down, but I don't understand "ruse" here. Protecting children wasn't a serious motivation of many people who supported it? Like, consider a prior case of California legislation t
4. 574.▲
   by schoen 2y ago

   I had idly wondered about FAA restrictions on (non-passenger-sized) balloons, but never learned about them. Is there any history of weather balloons having caused damage to aircraft? It seems like it could be really bad, but that the aircra
5. 575.▲
   by schoen 2y ago

   The video shows him seeing New York City once from the air for "twenty minutes" and then spending an entire week drawing a detailed and accurate perspective view, including thousands of individual buildings, entirely from memory.
6. 576.▲
   by schoen 2y ago

   I wasn't aware of this interpretation. Thanks.
7. 577.▲
   by schoen 2y ago

   NSA did make a mysterious announcement a few years ago that people should not use ECC and should go back to older public-key methods. Of course, due to their fundamental conflict of interest and reluctance to share their rationale, very few
8. 578.▲
   by schoen 2y ago

   It might be a noncentral example of sponsorship, but it's been a traditional usage since the early days of television: "and now, a word from our sponsor". Edit: actually, I think that phrasing arose in the early days of radio
9. 579.▲
   by schoen 2y ago

   I saw a couple of VPN promos recently where the sponsored YouTube presenter talked about geoblocking circumvention as an important VPN use case. I don't know whether the sponsor thought that was desirable or not (and also don't kn
10. 580.▲
    by schoen 2y ago

    We (i.e. my colleague Dave Taht) got this to work in Linux several years ago. If you have a Linux kernel since 5.2, you can use 0.0.0.0/8 (except 0.0.0.0 itself) as an ordinary IPv4 network.
11. 581.▲
    by schoen 2y ago

    I love how the failed designs in this video will sort of slink away from the tower sheepishly.
12. 582.▲
    by schoen 2y ago

    Is that meant to be a slot machine reference? "May all your slot machines come up sevens"?
13. 583.▲
    by schoen 2y ago

    Looks like that particular supplier is in Tasmania and only ships to Australia!
14. 584.▲
    by schoen 2y ago

    Since the tomato (though not our modern varieties) first evolved in Mexico, isn't there some sense in the idea that it would grow better in hotter countries? (I'm sure that's not the only factor to which the "our tomatoe
15. 585.▲
    by schoen 2y ago

    These are strong arguments. It's really tragic that the Internet is so ossified. (Not just in this regard, but in many others.)
16. 586.▲
    by schoen 2y ago

    One of the important safety lessons that non-experts could take from this story is that protective eyewear for lasers can be highly specific to the kind of laser (as lasers have only a single wavelength, the eyewear may be designed to fil
17. 587.▲
    by schoen 2y ago

    216 billion.
18. 588.▲
    by schoen 2y ago

    The Chrome team was pretty averse to implementing DANE as an alternative to the web PKI. I don't think I understood why, but their reluctance seemed to be what stopped its momentum (maybe outside of SMTP?).
19. 589.▲
    by schoen 2y ago

    Do they modify the OTW Bandit levels at all? If not, it seems like someone could very easily memorize all of the answers ahead of time, as this is a public exercise (that's often recommended specifically for learning and practicing CTF
20. 590.▲
    by schoen 2y ago

    Is this particular blockchain permissioned in such a way that users couldn't continue operating it outside of Amazon?
21. 591.▲
    by schoen 2y ago

    The yt-dlp project has an issue to add it https://github.com/yt-dlp/yt-dlp/issues/10368 and that's the normally the most comprehensive. https://github.com/yt-dlp/yt-dlp/blob&#x2
22. 592.▲
    by schoen 2y ago

    In the border search context, an intermediate standard of some kind related to actual suspicion. https://en.wikipedia.org/wiki/Border_search_exception#Search...
23. 593.▲
    by schoen 2y ago

    The cell organelles are a bit smaller than microelectronics that we can make with photolithography, aren't they? https://en.wikipedia.org/wiki/Orders_of_magnitude_(length)#1... Even though that chart lists semicon
24. 594.▲
    by schoen 2y ago

    Downloading the CT log is an enormous amount of data, so it addresses a rather different case from the "is this certificate valid right now (because I'm thinking of accepting it)?" question.
25. 595.▲
    by schoen 2y ago

    I feel like this fact from information theory also requires its own proof, and one strategy for that is likely to be similar to Turing's!
26. 596.▲
    by schoen 2y ago

    Part of that compromise is already in effect: https://certificate.transparency.dev/
27. 597.▲
    by schoen 2y ago

    Also one from Posh-ACME: https://poshac.me/docs/v4/Guides/ACME-CA-Comparison/
28. 598.▲
    by schoen 2y ago

    That's true, although it's still not possible to actually get one yet.
29. 599.▲
    by schoen 2y ago

    The person you're replying to (Josh Aas) is the head of the largest CA in the world, which has never charged anyone for a certificate and has never made a profit. That CA, at least, isn't a money-printing machine!
30. 600.▲
    by schoen 2y ago

    It does, starting right at the beginning!