Hacker Newsnew | past | comments | ask | show | jobs | submit | vulcan01's commentslogin

> The lawyers accused authorities of selectively prosecuting two Black men, even though support also came from Granieri and Garry Kasparov, the chess champion and prominent Russian dissident. The US hasn’t accused either of them of wrongdoing.

From TFA (emphasis mine)


This article was previously on HN and is a good explainer: https://thunderseethe.dev/posts/bet-on-cbpv/

HN discussion: https://news.ycombinator.com/item?id=39653895


Thanks!

I'm Betting on Call-by-Push-Value - https://news.ycombinator.com/item?id=39653895 - March 2024 (64 comments)


We call the latter a designated driver [1] though as you can imagine sometimes the designated driver is "only" slightly drunk.

[1]: https://en.wikipedia.org/wiki/Designated_driver


Yeah but I mean, if everybody goes to the pub by car, does it mean everybody brings a designated driver? Or is this one of those things where everybody drives drunk but pretends nobody does?


Mostly the latter IMO. The most popular bar where I grew up is on a busy highway with no housing within walking distance. Parking lot reliably fills up every weekend night, mostly with single occupancy vehicles. You can do the math.


Taxis exist.


The parking minimum is for taxis?


It's pretty common for people drive to the bar, get drunk, taxi/Uber/Lyft/DD home, and then return the following day to get their vehicle. I don't think it makes sense personally, but I also don't drink at all so I'm not a great judge here.


Makes perfect sense if people are not planning on having a big night and then do.

You can see people taxi/uber into a place if they are definitely planning to get blathered.


Could also be used by folks running OpenBSD on their M1 Macs.


This is kind of surprising. For me, uBlock Origin works perfectly on Orion (installed from the Firefox store), and the element zapper / eyedropper in uBlock Origin works as well. I haven't seen any difference between uBlock Origin on Firefox vs Orion.


Thanks, will investigate again.


> I would go old school and use "understands it intuitively"

I wonder if this is a regional difference. The OED claims that intuit as a verb has been in continuous use since the 1860s (at least) and I've heard it used as a verb my entire life (various areas in the US).


"The OED claims that intuit as a verb has been in continuous use since the 1860s"

That's a fair source but I went to a pretty posh school in Oxfordshire! Oxford was about 90p return away by bus from Abingdon in the mid to late 1980s. I studied English to O (Ordinary) level (both language and literature) and bagged a pair of Bs.

I might also point out that I also attended schools in Devon, Manchester and multiple places in West Germany (UK Army brat).

Obviously, absence of evidence is not evidence of absence and I have only my own recollections to go by but I have never knowingly heard intuit as a verb. I have only ever seen it written by Americans (for a given value of America)!

I do like it and will fall in line forthwith!


https://blog.ffwll.ch/about/

> Currently I work at Intel’s Linux Cloud SE group, mostly creating havoc in kernel driver’s given my more than a decade of work in the graphics subsystem. I’m also co-maintaining the graphics subsystem. I also have been drm/i915 kernel maintainer for a few years, but handed that all off to a great new team.


On recent iOS versions, you can tap the screen with 3 fingers to get a popup that has 3 options (undo, copy, and paste IIRC).


The 3 finger tap is infuriatingly hard to trigger for me since if you don’t sync your fingers’ taps perfectly, you’re tapping random elements on the screen, potentially doing something bad, like saving/sending out the bad change, that you were trying to undo. A single triple-tap would have been better, but also there is a full SQUARE INCH of wasted space below the iOS keyboard on current phones. Idk why they can’t make use of some of it to open a cut/copy/paste/undo menu, or heck, add command and control keys too!


Nice to know! I’m used to having to vigorously shake my phone for undo. And for it randomly popping on when i pull it from a pocket…


What? When?


This is why Nix (with flakes), in a git repository, will refuse to use a lockfile that isn't being tracked by git.


Nix also breaks if you try to update it, and you'll eventually have to update for security issues.

I'm stuck with a defunct Nix project I can't update, because crane and fenix flakes made breaking changes, and nix is giving me incomprehensible errors. I've spent enough time googling the errors that I'd be quicker to start over with a nix-less VM.


Yes, that's an excellent idea, and will free up time to deal with the *other* stupid mistakes past-me made :D


President Macron spoiled this for everyone in an interview with Variety.


Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: