Everything I've read about pledge and unveil really admire the approach and the results but it didn't seem to have a big impact outside of OpenBSD. It took ~20 years for OpenBSD's CSPRNG to be re-implemented everywhere else maybe we're operating on a similar timeline here.
I’m more bearish about LLMs but even in the extreme optimist case this is why I’m not that concerned. Every project I’m on is triaged as the one that needs the most help right now. A world when dozen projects don’t need to be left on the cutting room floor so one can live is a very exciting place.
They use other models to judge correct-ness and when possible just ask the model output something that can be directly verified. Like math equations that can be checked 1:1 against the correct answer.
Olympians being "people with really intense hobbies" is still weird to me. I haven't reconciled in my mind that the life of AA baseball players getting paid a little more than minimum wage plus a meal stipend is a dream for 90% of Olympians who, if they win, become national symbols of excellence for a week every 4 years.
No comment on the article it's just always interesting to get hit with intense jargon from a field I know very little about.
I understood the statements of all five questions. I could do the third one relatively quickly (I had seen the trick before that the function mapping a natural n to alpha^n was p-adically continuous in n iff the p-adic valuation of alpha-1 was positive)
This is just a highly visible problem. Bots make getting reservations at popular restaurants impossible for normal people. So they aren't necessarily being priced out they're being excluded by not being in the know. Which is frustrating. I'm in the know, thanks to my wife, and we still sometimes need to try for weeks to get a reservation because we refuse to pay on the black market.
I could see that value being chosen so people have no incentive to game the cert expiry. For whatever peace of mind it gives them to rotate certs only at low traffic times of the week.
Tip awkwardness has played a surprisingly big role in me eating healthier. No I don't want to tip you for handing me a prepackaged muffin. But you're paid like shit with an eye on making up the difference in tips. So I guess the choice is to just not shop there. Which takes out almost all places I'd get a snack at during the day.
For nonfiction I think about Homicide: A Year on the Killing Streets and The Corner: A Year in the Life of an Inner-City Neighborhood by David Simon (and Ed Burns for The Corner) a lot. They are very funny and very sad and really changed how I see the world. So I cheated, two books.
"Being a billionaire must be insane. You can buy new teeth, new skin. All your chairs cost 20,000 dollars and weigh 2,000 pounds. Your life is just a series of your own preferences. In terms of cognitive impairment it's probably like being kicked in the head by a horse every day"
Solitary confinement is a great comparison. But also not existing in the same reality is 99.99% of the population must really warp you too.
The ideas and conclusions remind me of OpenBSD’s pledge too. They privilege separate a lot of their in house software so the a bit that talks to the internet is separated as much as possible from the bit that does parsing, for example. But that was a just best practice they tried to follow with no way of enforcing it. Once pledge was created they found violations as programs started being killed for using disallowed syscalls. For their use capability based security enhanced and proved something they did already just informally.
I like the approach of “all randomness on a system should come from a csprng unless you opt out”. It’s the stronger of two options where you lose a small amount of perf for a much stronger guarantee that you won’t use the wrong rng and cause a disaster. It’s a shame that this is still a sharp edge developers need to think about it pretty much all languages.
I wonder what the Venn Diagram looks like for how Workday and Jira and Confluence exist in a hell zone where they are allowed to suck ass and make everybody miserable and have market dominance.
Maybe this will be the return of an OpenBSD home router for me. I ran one for years because it was a fun project but when gigabit became available in my area I learned a low power, passively cooled cpu struggled with gigabit traffic on OpenBSD.
That Michigan PhD student dump was by an unauthorized third party and was shut down. But was the pricing reasonable? Are admins of old school message boards sitting on now valuable DB dumps of activity on the board in the form of millions of messages?
I really need to try Kagi out this weekend. Whenever I try to change search engines I hit the same wall in that ~20 years of Google has trained me to think in terms of their search algorithm when searching.
Not really lined up like a specific role in mind. But I've worked at large companies that partner with local universities for MBA programs. And after going through that program you are first in line for roles that put the degree to use. So you'd need to graduate and get a job at a company with a program like that as a prerequisite.
The DX layer is interesting. Dxvk ranges from slightly slower to much, much faster. Older games are an unambiguous win and modern games seem to be a toss up. There’s a large user base for it on windows to get all the performance you can out of older PCs.
This topic reminds me of how dota does it. Which may be common but was the first time I had read about it. When you see “X% chance to happen” the true chance is much lower but increases with each miss. So on a shorter time frames where you’d be paying close attention to the frequency it’ll be correct. But you also are very unlikely to go a long time without it happening or have it happen many times in a row c
Is there a decent guess at how much training data for ChatGPT is copyrighted work and subject to being removed depending on a few court cases? GPT4 is supposed to be an order of magnitude larger than the open source models that use essentially everything that can be used without asking. So that whole magnitude?
The book You Have the Right to Remain Innocent talks about this for a good portion of it. There are nuances to simply shutting up, invoking the right to remain silent (implied by the 5th) and not speaking, invoking the 5th to not answer a question, and invoking the *6th* which is the right to a lawyer. The book agrees that invoking a lawyer is now the correct move since it puts some onus on law enforcement.
Running on many many architectures is an another way of testing code robustness. Code that runs on X could crash on Y because it always had a bug that the quirks of X hid. The weirder the architecture the better, kind of.
Or somebody may just think it’d be a fun challenge to do and so it supports it. That’s all.
I remember spending an afternoon figuring out why Docker images stopped building with legitimate errors because it ran out of disk space. It never even occurred to me to check and I found the virtual disk was full by accident.