skysight-inc/HackerNews huggingface dataset:
Hmm. That seems like a better example of the problem than either of the examples at https://en.wikipedia.org/wiki/Gettier_problem .

The cases cited in the article don't seem to raise any interesting issues at all, in fact. The observer who sees the dark cloud and 'knows' there is a fire is simply wrong, because the cloud can serve as evidence of either insects or a fire and he lacks the additional evidence needed to resolve the ambiguity. Likewise, the shimmer in the distance observed by the desert traveler could signify an oasis or a mirage, so more evidence is needed there as well before the knowledge can be called justified.

I wonder if it would make sense to add predictive power as a prerequisite for "justified true knowledge." That would address those two examples as well as Russell's stopped-clock example. If you think you know something but your knowledge isn't sufficient to make valid predictions, you don't really know it. The Zoom background example would be satisfied by this criterion, as long as intentional deception wasn't in play.
The URL got doubled up somehow. Try: https://x.com/alex_proyas/status/1845426067043123632
> Sources familiar with the matter told Bloomberg that while the Optimus prototypes were able to walk without external control using AI, employees stationed remotely oversaw many of the interactions between the bots and attendees during the “We, Robot” event.

> At least one video from the event displayed an Optimus bartender acknowledging that it was being “assisted by a human.”
Someone submits one image to their library that they didn't own the rights to and Adobe has to do a completely new training run to remove it, since you can't just delete.

Or they just leave it up and admit they didn't need the rights and their library being cleared of rights isn't really a value add.
Security + build time isn't the issue, but security + dev/testing time is.

Maintaining a secure package of zlib takes linearly more time with more versions of it used.

All distros are manpower limited.
> Yes, flossing cannot be proven to help.

It's demonstrable that something like a bean skin, lodged in your teeth, will erode the teeth touching it.
the 'wp' word never been legally trademarked. The usage is okay until Sep 24th [1], but becoming problematic since the king mad [2]

1. https://web.archive.org/web/20240924024555/https://wordpress...

2. https://wordpressfoundation.org/trademark-policy/
> all of the highly radioactive waste ever produced by nuclear power plants in the US could fit into a single football stadium.

I have heard this before, but is this just the physical waste's volume? Isn't that a useless metric? What would happen if you included the volume of the containers required to safely house it?
I agree with you. Both Herzl and Zabotinsky saw Zionism as Jewish nationalism. Some "dissident Zionists" disagreed, but their views are irrelevant to the mainstream (and even many of the fringes) of contemporary Israeli politics.

Another example of "non-standard Zionism" was Canaanism [0], a 1940s outgrowth of Revisionist Zionism that wanted a Hebrew nationalism rather than a Jewish nationalism, and sought to include Arab Christians and Muslims on the condition that they start speaking Hebrew instead of Arabic, and adopt a new "Hebrew" ethnic identity in place of their pre-existing "Arab" one. But despite having significant influence on the development of Israeli art and Israeli literature, politically Canaanism was always a minuscule irrelevancy.

[0] https://en.wikipedia.org/wiki/Canaanism
Sure, but... how often do we object when fellow techies make analogies between just about anything and their field of expertise? We feel that our knowledge makes us quite qualified to explain the economy, to chime in on microbiology, and so on.

It's really pretty universal.
0 days since the last browser engine
Yes, many non-technical people thought they were autonomous.
Uber & Airbnb were really exploring a time-honoured model that has predictable effects. Taking underutilized resources and shifting to a "rental" model increases utilization of assets, broadening accessibility, and thereby increasing wealth... while simultaneously increasing the value of the underlying asset (making it less affordable). This isn't a new thing, or a surprising thing, nor is the scale of it the problem.

Where we get into a problem is when, due to lack of competition, you start extracting almost all (or perhaps even somewhat more than all) of the value that you're adding. That leaves everyone else in the same boat they were in before the rental model showed up, except comparatively worse off because there's a ton of wealth in there that has been concentrated in the hands of a few.

This is the kind of thing that having more competition would help with.
If China had a super cheap nuclear design they would be very happy to export that the same way they export their other technologies like EVs, high speed trains, solar panels, batteries, etc. But it simply does not exist.
I mean I don't disagree. But this is a bazaar problem and a rebundling problem.

I have used Debanoids for decades and they just work. It's very nice.

Gentol works very nice too. I usually whack systemD and enjoy.

I do want to get a Fedora system going but eh. Just work is nice.
We've had 3 queries so far out of about two dozen clients on WP/WPEngine.

We are _actively_ making contingency plans. But our best estimate at this stage is that WPEngine will provide a suitable way to keep all our WPEngine sites running at least in the short and medium term, but we are also making disaster plans in case this all goes, as Matt intends, "nuclear".

Matt keeps talking about how he's doing this "for the WordPress Community", but as I commented elsewhere:

So far as I can tell, when Matt talks about "the WordPress Community", he means:

- Matt
- the people who didn't quit Automattic last week
- _maybe_ the WP core developers who don't work at Automattic, so long as they keep their criticisms to themselves

And the community of people who _use_ WordPress to run their websites, and the people who help them to do that, and the 3rd party plugin and theme developers who make WP work for so many different kinds of websites - can all go and get fucked.
This is an excellent idea. A similar approach, simpler, and cheaper solution for a non-open cube/offices environment is a microcontroller-controlled Andon stack with color-codes for "focusing/DND", "working", "away", "socialization desired", and possibly "about to leave". This makes it possible to scan statuses simply without disturbing people by having to be in visual range of their desk.
> respect freedom of speech, thought, etc.

Musk doesn't believe in freedom of speech.
> Can confirm: there are about two dozen bottom bracket tools in the drawer. In fairness, bottom brackets have been a pain in the ass for decades. Even on old ones, there are a couple different hook spanners and pin spanners you might need for the lock ring and adjustable cup and a couple other weird-ass wrenches that you need from time to time. Shit's usually tight AF too, and the various tools that were fine for manufacturing a bike get a little iffy when everything's good and seized after 20 years of neglect.

I agree the various (totally random) BB standards are a pain; every bike build I've done has meant that I CADed and then 3D printed the tool (100% infill PETG, takes ~2 hours on a Prusa MK3S).

Curious how long it is before we get 3D printing tech easy enough to where shops can have a printer, download any special tools for a bike assembly, and make them in a few hours.

Hope is a great example of a manufacturer who does this today: https://www.hopetech.com/open-source-tools/
You mean like virtually everyone did, with phone books?
The rocket was carrying the Amos-6 communications satellite, which was destroyed in the explosion. This satellite was owned by Israeli company Spacecom and valued at nearly $200 million.
The thing about Perl developers is they tend to stick around. At the last Perl shop I worked for, the average employment time must have exceeded 10 years. I could say the same of Prolog and 25 year average employments.
When they say that they use two attention heads, are each attention head directed at different aspects of the data?

In memory research there is this idea that there is a dual representation of every event...a more verbatim representation, and more context weighted representation. As we develop over early childhood, our verbatim memory representations increase in fidelity and strength against interference, but peaks around 6 to 10 years, depending on the specifics. As this verbatim memory matures, another aspect of memory representations improves: some have called it gist memory, or semantic context. Increases in memory performance continue into adolescence primarily due to increases in the ability to use context and gist (broad representations that capture the details by inference or an event) to increase accuracy overall, but also greater likelihood of committing false alarms to lures primed by semantically related material during learning...expressly because there becomes greater reliance on context to support recall accuracy.

So I could imagine such a system in a LLM where attention is directed to exact representations in one head, and another that keeps its attention on a coarser grain of information that anchors information. However, I am not that familiar with LLMs to know if that is just silly analogizing.
allow side-by-side installations of multiple version series and multiple configurations

So now every app requires a different library version and you've achieved all the disadvantages of static linking combined with all the disadvantages of dynamic linking.
> It would be an interesting exercise to make a prototype distribution that does not rely on shared objects, but has everything packed in AppImages.

Frankly, I don't think people are ambitious enough—whether it be the author of this post or those posting here in this thread.

We're at a good enough place with modern hardware—for personal/business computers, at least—that we should perhaps not even be thinking about object files at all. All software and all distros should focus on shipping software as source code; JIT everything at run time, but in such a way that JIT results aren't ephemeral—they get re-used, so by the second time (or nth time) it's the same as if all your utilities and system components had been AOT compiled. Neither the system operator, administrators, nor package maintainers should care any more about the object file format and the linking model than they care about... I dunno, the on-disk format of their browser cache for Web resources. (Quick, quick: do you know how your browser stores its cache items? Probably not, since it's not something anybody but browser developers think about.)

Fabrice Bellard already demonstrated with TCCBOOT the viability of applying this approach to the Linux kernel with acceptable results, and that was 20 years ago.

This would also help to ameliorate an unfortunate accident of history, where the fact that traditional software development and deployment has dealt in separate binaries and source code means there's friction for the user if they want to change how something works on their system. (This is true even if they've taken a hardline stance to ensure everything on their system is libre/open source—dealing with the build tooling on a project-to-project basis just isn't fun or tractable.)

This would also neutralize the entire schism between Flatpak vs AppImage vs Snaps vs <whatever>.
This is very debatable. Hawaii for example is no longer dredging sand from Socal at the very least, and the state has prioritized its unique ecosystems as a bigger tourism draw.

You can find sandy beaches pretty easily, but in tourism often you live and die by what differentiates you, particularly if you are expensive like Hawaii.
> That's not a difference of security, only of download size (*).

It is a difference of security, because now when there's an issue with (e.g.) OpenSSL, instead of just the OpenSSL distro package team having to worry about it, the MySQL distro package team has to, the Postgres distro package team, Nginx, Apache, cURL, OpenSSH, etc.

All of those teams have to coordinate to release at the same time.
It is a difference of security. As one example, Debian used to be more lenient on allowing packages to vendor and statically link libraries. Around 20 years ago, an important zlib vulnerability was found that could be exploited through malicious compressed data. Rather than just pushing out a fixed zlib package, the package maintainers had to scan the repos for all copies and versions of the zlib source, patch them individually, and test each package. To make matters worse, some packages had modified versions of zlib that needed custom variants of the patch. This is a ton of work to ask of a small group of volunteers, and leaves users vulnerable for longer.
Question I like to ask my colleagues. Suppose you have a program that passes all the tests. Suppose also that in that program there is a piece of code performs an operation incorrectly. The result of that operation is used in another part of the code that also performs an operation incorrectly, but in such a way that the tested outcome is correct.

Does the code have 0 defects, 1 defect, or 2 defects?
This seems to essentially be saying that coincidences will happen and if you’re fooled by them, sometimes it’s not your fault - they are “justified.” But they may be caused by enemy action: who put that decoy cow there? I guess they even made it move a little?

How careful do you have to be to never be fooled? For most people, a non-zero error rate is acceptable. Their level of caution will be adjusted based on their previous error rate. (Seen in this sense, perfect knowledge in a philosophical sense is a quest for a zero error rate.)

In discussions of how to detect causality, one example is flipping a light switch to see if it makes the light go on and off. How many flips do you need in order to be sure it’s not coincidence?
Threaded headsets are fine, "threadless" bottom brackets are mostly trash and almost entirely non-user serviceable, drop bars and their levers are fine and sometimes better, 2x10 is even cheaper than 2x11 (what's up Tiagra), AL was never uncool except for forks, mostly agree with the rest
“Tracking” - no thanks, not now, not ever
> if you think Lada made good cars you know jack shit about cars

There are people that think Ladas are good cars?

All it takes is watching Russian/Eastern Europe dash cam compilations to know that Lada cars are complete and utter garbage. Terrible handling and they absolutely shatter like glass in a crash. Crumple zones are great, but the entire car shouldn't be a crumple zone.

I doubt they'd meet any USA safety standards.
React hasn't been a library since they added hooks.

Hooks themselves are just a solution to async code, but the implication was that react was no longer a state-based UI rendering library and became a full blown frontend framework.
Arduino to Switch from Arm Mbed to Zephyr RTOS
An interesting take shows '91 print mistake leading to current political climate
Jerks and dorks disrespect others, with the differentiator being intention. If they don't get the hint, then it's probably time for a teachable moment or assertion of boundaries.
On related note a very good open source TTS model was released 2 days back: https://github.com/SWivid/F5-TTS

Very good voice cloning capability. Runs under 10G vram nvidia gpu.
Or does it mean it's a trivial decision, as trivial as deciding what fast food joint to choose?
This seems circular.

"No one will invest in PPAs for nuclear because there isn't interest."

"These PPAs in nuclear don't represent real interest because they're made with the understanding that the actual product will never develop."

You're assuming your preferred conclusion and inventing a corporate conspiracy to support it.
I mean this constructively but I feel that if you are teaching such a large cohort, you have an obligation to give them correct information. You should not be showing code with bugs in it.
Kudos to your shop for working on e-bikes at all. My experiences have been that bike shops/mechanics won't even do normal bike stuff, like working on brakes, when its an e-bike.
If you make reservations in advance you can get seated alone (if it works out) - they usually sit smaller parties together so as to not have to breakup the parties of four, etc.
Just not if you’re interested in HDR and have an NVIDIA card :( (yep it’s improved heaps, I’m just impatiently waiting for the next new feature branch release past 560.35.02 that hopefully fixes colour desaturation in HDR).

Also, I’m really curious how Big Picture can be so broken on NVIDIA. It’s a webview driven by Chromium AFAIK, does general Chrome suffer the same?

In all seriousness though, everything else is pretty amazing. Proton is awesome.
> You have created a convoluted ex post facto defense

Why is it convoluted? Watch the process that has happened with every other technological development in the last (say) 40 years? How is what I've described any different?

> A group of taxi owners helped implement a state-enforced monopoly at the expense of the rest of society.

You assume that the downsides of the "monopoly" (I'll ignore the twisting of the conventional meaning of words there) are larger than the upsides, and yet you seem to similarly assume that the downsides of Uber are smaller than the upsides.

Society got a new line of work that made a reasonable living, control over the drivers in the interest of safety and accountability. Those are not exactly like the discovery of fire or the dawn of agriculture, but they are not of zero worth.

I also note how your description of "A group of taxi owners helped implement" has an implicit negative tone, something alone the lines of regulatory capture. Yet we regularly hear calls for regulations to be created with the participation of those affected by it, so that legislatures and civil servants don't make stupid mistakes/decisions.

Look, I'm not really interesting in defending the medallion systems. Taxi service in many places sucked under it and conditions for many drivers weren't exactly what society might have been aiming for.

But tearing it down in favor of another mixed bag of pros & cons needs to be done with a subtle weighing for the relative pros & cons, not the reckless and giddy greed of a company like Uber.
I've got a bachelor's in math, but that's 40+ years ago. I had intended to go on for a PhD in math, but fell into computers instead - programming was easier and way more lucrative, even in the early 80s. Once I was retired and found my way to Project Euler, it became an obsession, tickling that desire to go deeper into math that I had in my college days.

I attacked roughly the first 250 problems in order. The early problems build on each other to introduce new topics. I also got good at figuring out the right search term to find some random paper in number theory, combinatorics, probability, whatever.

Later problems introduced new, more niche areas, like chromatic polynomials and impartial & partisan game theory. But by then, I found it much easier to figure out what part of math a problem was based on and how to find relevant literature.

It helps to be really really stubborn, and to have the patience to let a problem stew in my brain, sometimes for weeks at a time. That seems to help lead to that Eureka moment.
Vendored copies of libraries is a special case that's unrelated to this discussion. This discussion is about a distro whose packages dynamically link to the distro's zlib package vs a distro whose packages statically link to the distro's zlib package.
> And, you're turning HN into an anti-intellectual and boring "woke" wasteland.

This is an interesting conclusion to a post which is composed purely of emotional reactions and mischaracterizations. If you’re concerned about “anti-intellectualism”, surely you should be demonstrating the caliber of post you want to see, right?
Is it really starving yourself if you're simply given the goal of eating your recommended calorific intake for your height/sex?

You wouldn't be starving yourself. You'd just not be overeating.
This might be a joke I'm missing about the Windows 10 installation, but this page allows download of the Windows 10 Media Creation Tool:
https://www.microsoft.com/en-us/software-download/windows10

I think visiting it on Linux (I assume anything non-Windows) shows a download link for the ISO instead.
> Has your dentist ever told you that it's recommended to get routine dental X-rays every year? My (former) dentist's office did this year—in writing, even.

Tell me you are American, without telling me you are American.
We're talking about distro packages, not upstream software releases.
It should supplement and facilitate improved office dynamics and less interruptions rather than supplant interaction with proscribed, transactionalized objectification of people. Not everything more efficient should or has to be dystopian.
The analysis I want is an idea of how shared they actually. Some of them are likely used in an awful lot of processes and represent a lot of memory and drive space savings where others don't represent much saving at all.
I’m not sure why everyone is positioning this as a “gotcha”. I may be off base, but was it advertised as 100% autonomous? I’m just impressed with the form factor, dexterity, and battery life. Feels like everyone’s grasping at straws to cast the event as a failure.
Whilst I very much agree with you, actually doing this properly and pulling this off requires PM’s and/or Account Managers who are willing and capable of _actually managing_ customers.

Many, many people I’ve dealt with in these roles don’t or can’t, and seem to think their sole task is to mainline customer needs into dev teams. The PM’s I’ve had who _actually_ do manage back properly had happier dev teams, and ultimately happier clients, it’s not a mystery, but for some reason it’s a rare skill.
The others have provided the link - I'll add it's the activation/licenses are the part you really pay to get but you can do that after install (or not at all, it's just nagware outside of some personalization settings).

Windows Server 2019 is going to have some wonky defaults and components out of the box. Some apps will report not being compatible but it's not usually a problem. That said, Windows Server 2019 is neither the oldest or newest version of Windows Server based on the Windows 10 codebase so I'm not sure why you'd bother with it in particular.
> Most of the extremely pessimistic total cost estimates are around $750B for Fukushima

This isn't the defense or retort that you think it is. This is from ONE incident. The industry recognizes the long tail of catastrophic failures is so large that laws have been passed to limit nuclear power liability in the US. I'm talking specifically about the Price-Anderson Act [1].

This severely limits nuclear power liability to ~$500 million per incident. That's a lot less than $1T or $750B or whatever figure you prefer. So who picks up the tab in a catastrophic event? Taxpayers. It's another example of how nuclear power can only exist with government subsidies. Yet we apparently want to trust private corporations to manage nuclear power plants and take the profits while shifting the risk to the public.

Additionally there's a self-insurance fund, but it would be completely inadequate to cover an incident like Fukushima. This is recognized [2].

> The cost of burning fossil fuels is estimated to be well, well over $1T.

So this is a strawman on two fronts. First, you're comparing the cost of a single massive failure by one plant to the entire fossil fuel industry. Second, I never even said fossil fuel power. I said solar.

[1]: https://crsreports.congress.gov/product/pdf/IF/IF10821

[2]: https://thebulletin.org/2020/02/the-us-government-insurance-...