Viewing profile — ben509
ben509
HN member- Joined
- Thu, Dec 07, 2017, 5:17 PM UTC
- HN karma
- 4,046
- Public activity
- 1,609 items
- HN profile
- View on Hacker News ↗
About ben509
I'm also working on the Tenet language; see https://tenet-lang.org/
Also at https://keybase.io/ben509
YdRK9Q3mIBRWsRBonHhJCsgLnurwJk9eHbw1Jg4wz9M
Recent public activity
-
comment
Comment #27429814
Talk to a lawyer.
-
comment
Comment #27399058
GHC[1] is almost there >_ [1]: https://www.haskell.org/ghc/blog/20210309-apple-m1-story.htm...
-
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.
-
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…
-
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…
-
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…
-
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…
-
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. …
-
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…
-
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.
-
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…
-
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…
-
comment
Comment #27144588
They probably had to rotate their password three times while writing that memo.
-
comment
Comment #27144545
Don't rely on technical details from Bloomberg.
-
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 …
-
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…
-
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…
-
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 …
-
comment
Comment #27143458
No, there's a hard upper limit on ransoms; the cost of recovery.
- comment
-
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.
-
comment
Comment #27087200
Yup, we're all waiting for the rest of the world to catch up to MM/DD/YYYY.
-
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…
-
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'…
-
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…