Live data from Hacker News

Viewing profile — ben509

ben509

HN member
Joined
Thu, Dec 07, 2017, 5:17 PM UTC
HN karma
4,046
Public activity
1,609 items

About ben509

I'm an engineer presently working for Capital One Investing, prior work at AWS for the CloudHSM team, before that Novetta, and before that I did 6 years in the army.

I'm also working on the Tenet language; see https://tenet-lang.org/

Also at https://keybase.io/ben509

YdRK9Q3mIBRWsRBonHhJCsgLnurwJk9eHbw1Jg4wz9M

Recent public activity

  1. comment
    Comment #27429814

    Talk to a lawyer.

  2. comment
    Comment #27399058

    GHC[1] is almost there >_ [1]: https://www.haskell.org/ghc/blog/20210309-apple-m1-story.htm...

  3. comment
    Comment #27398995

    The CPU doesn't know what processes are, that's handled by the OS. So there still needs to be a fault.

  4. comment
    Comment #27398394

    > because I am ... most likely to have a functional dishwasher and even if yours is better I am not going to buy one more. Break the population into groups: 1. Have a working dishw…

  5. comment
    Comment #27383641

    The main narrative is the usual war mongering. You're doing it in your post. These are criminal actions, as they're not endorsed by the state. But it doesn't have to reach the scal…

  6. comment
    Comment #27286167

    I noticed that after I posted and had read a bit more; but you're also using F# which has proper ADTs. I'm typically writing support scripts in Python or the like, and even very go…

  7. comment
    Comment #27265342

    Same here. I send everything that is firstlast@gmail straight to junk. > I also get a lot of email from idiots who don't know their own address Holy crap there are a lot of them. I…

  8. comment
    Comment #27265034

    I've done that and called the counter option --for-real, but I'd like both args so runbooks can spell out: 1. do-step-one --dry-run 2. (do validation) 3. do-step-one --real-run 4. …

  9. comment
    Comment #27202685

    Sometimes it can be covered by business owner's policy[1], but there are specifc policies covering cyber extortion, e.g. [2] [3]. As you suggested, they are generally paired with r…

  10. comment
    Comment #27196300

    He's not understanding that in the normal operating environment for Macs, there's an additional fan he's not seeing. The person who bought it.

  11. comment
    Comment #27182727

    US law derived from common law, which recognized a right to self defense. All 50 states, DC, and federal jurisdictions then codified that right as law. While the 2A is not directly…

  12. comment
    Comment #27145068

    The relevant blurb seems to be: > Build it Yourself > The DIY Edition is the only high-end laptop you can customize and assemble yourself from a kit of modules. Coming in at just 1…

  13. comment
    Comment #27144588

    They probably had to rotate their password three times while writing that memo.

  14. comment
    Comment #27144545

    Don't rely on technical details from Bloomberg.

  15. comment
    Comment #27144427

    I don't think people here are considering all forms of ransoms, but you hit on an interesting aspect of it all the same. It's why, I think, such a law wouldn't pass Constitutional …

  16. comment
    Comment #27144331

    Yeah, I was pushing that all under "recovery." Say it all sums to $C. Arguably the bigger problem is you don't know that the ransomer will actually give you a valid key, but suppos…

  17. comment
    Comment #27144156

    It'd have to be an international effort as there are big mining operations are in Russia, Switzerland, China, Iceland as well as the US. Being legal means that you can run big mini…

  18. comment
    Comment #27143755

    Part of the problem is it's very hard to value security because, frankly, so much security is theatrics and snake oil. For instance, look at the consumer market, which is where an …

  19. comment
    Comment #27143458

    No, there's a hard upper limit on ransoms; the cost of recovery.

  20. comment
  21. comment
    Comment #27109132

    No, multiple checkers will drive you crazy because one type checker will support one feature while another will report errors for it.

  22. comment
    Comment #27087200

    Yup, we're all waiting for the rest of the world to catch up to MM/DD/YYYY.

  23. comment
    Comment #27087174

    Big-endian is natural when you're comparing numbers, which is probably why people represent numbers in a big-endian fashion. Little-endian is natural with casts because the address…

  24. comment
    Comment #27080341

    The XY problem is really a collaboration problem... most discussion media are all horribly transient. When you're explaining a problem you did figure out all that context, but you'…

  25. comment
    Comment #27080181

    > And some questioners ... really seem to dislike if my first impulse is to ask "Why do you want to do that?" An interview works both ways. If you can suss out the interviewer's na…