skysight-inc/HackerNews huggingface dataset:
As others have noted, this has little to do with the Axiom of Choice per se. The Axiom of Choice is not needed to prove that one can make a choice from a single inhabited set, where this boils down to the tautology "If a set has at least one element, then it has at least one element". The Axiom of Choice is only needed for making infinitely many choices at once.

(There IS a sense in which what is going on here is the distinction between what category theorists call "internal" and "external" Choice, but I'll not get into that for now since I think the following is more important to point out first.)

The result/paradox here has more to do with Tarski's indefinability theorem, under which no suitable formal language is able to define the concept of definability in that same language.

See also https://mathoverflow.net/a/44129/3902 for more discussion on what goes wrong in attempting to formally prove that "undefinable" numbers exist by this common but naive argument from uncountability.

The gist of the above MathOverflow link and of Tarski's indefinability theorem is that we must keep in mind that Cantor's famed diagonal argument for uncountability is a constructive argument. Given any function from N to 2^N, it defines an explicit element of 2^N not in the range of that function. So there would be something paradoxical in concluding that this explicitly defined value is not definable.
It would at least require some careful setup to be coherent. Like you won't be able to define "the least positive integer that can't be uniquely described in fewer than fifteen words". Basically your language won't be consistent if it allows you to talk about things that can / can't be uniquely described in the language itself.

My disagreement about this post is: I don't see what it has to do with the axiom of choice. The only "choice" used here is that this nonempty set of non-describable numbers (if indeed we can define it at all) contains at least one element. That's a tautology and doesn't require choice.

Also, the author may be interested in Skolem's paradox: in particular, if the theory of the real numbers is consistent, then there must be a construction with only countably many reals, and so if I understand correctly, they would all be describable.
A couple points which I don't see elsewhere:

1) They have the best quality model. Better quality means more users. More users means more data. Which means higher quality...

2) operationalizing & scaling these these models is non-trivial. I'm not sure what the state of distillation/pruning is for GPT-3, but I imagine they have figured out some proprietary techniques.

3) It's not just publishing a single model, but making it so people can fine tune and push their own. Because they've gotten good at 2, now anyone can create their own version of GPT customized for their use case.

Will Google or others be able to do the same eventually? Definitely.

The point I'm more making is that it's not just training the model and running it.
Amazon has its own Uber, own fulfillment service down to monitoring tools that are built in house. So, not sure if it's a change in their "buy vs build" strategy or there's a more business play here to gain traction in the global markets?
That just means old people have to work until they die. Problem solved.

Pension is a privilege I doubt I’ll get to enjoy, but that’s ok. I’m glad my parents, and maybe my children will.
It’s Florida. And, no, things aren’t okay.
You equating that process to something that "humans do" is anthropomorphism.

It's not true that that is what humans do.

Having knowledge of where the line is with regards to copyright liability is not an element required to prove liability. i.e. it's of no consequence that the infringer doesn't realize or know that they are infringing. Copyright is strict liability in that sense.
> It’s embarrassing but mostly bluster and spectacle. It won’t work

What they are doing is plain FUD - fear, uncertainty and doubt. And hell yes it works. Vague laws absolutely work, just look at recent cases where women had to wait days for a life-saving abortion because of insanely vague laws, e.g. [1].

[1] https://abcnews.go.com/Health/idaho-woman-shares-19-day-misc...
I’d also argue that Japan’s culture and the much lower immigration rate are huge confounds when trying to extrapolate to the US specifically.
The kinds of "using public sentiment" that actually get things often done tend to involve willfully and intentionally breaking the law, as wildcat strikers, civil rights marchers, and sit-in protestors can attest.
All the time. Source: was a kid, and know lots of teachers.
Except for the times I just want to have what's in upstream by resetting to that commit instead of merging or rebasing.
Every person that has ever fought for improvement p
of any kind, against power, was accused of extremist or worse, terrorism.

If you weren't, you never made enoufg waves to be noticed.
What's the difference between a classroom library and the school library? I'm German, I've never heard of classroom libraries or anything similar in Germany. We have school libraries that provide the standard text books and most of the novels etc, but they're generally not walk-ins where you pick something to read.
Wow prices have really increased, I thought your recommendation was priced high but it turns out the original one I got in Feb 2021 only cost $79.99 now costs $449.99, that's insane: https://www.aquasana.com/under-sink-water-filters/claryum-3-...

One thing to note, you really need to change your filters regularly, otherwise they will potentially introduce more bacteria than you would normally get from treated water. I know this video is a Singapore based media, but I think the information is relevant anywhere you live: https://www.youtube.com/watch?v=LObbHbx_2fY
Friends of mine are developing Enso (https://enso.org/), an interactive programming language with dual visual and textual representations.

Even well before Bret Victor's time, there were tools for visual programming. I have been using LabView to maintain data processing in an optical laboratory.
"Nothing to show for it" is strange way to requiring getting value from something.

2 hours after I eat lunch, what do I have to "show for it"?

I'm perfectly fine with all the hours of music and the accompanying enjoyment I've received from paying Spotify, and that doesn't start to take in to consideration the amount of new music I have easily discovered.
I wouldn’t have thought laws like this were needed, but then there are things like this:

https://youtu.be/TwucVRj_mdc
In my experience, our internal documentation had two tangible benefits.

The team explaining to itself what they were working on. That process was the value. Consensus and alignment. Akin to forging culture. The artifacts generated were ephemeral. Basically performance art.

Managing upwards. PHBs want to see pretty pictures.
What would be the other end? At both extremes there is content that more centrist sides disapprove. Should either of the ends be allowed? Or should it swap around as either side gains power in politics?
We do the same in a 6 member team
There is no bijection between the natural numbers and the power set of the natural numbers. When talking about bijections to study the sizes of sets, there is clearly not just one infinity. Also consider the extended real line, this makes infinity a perfectly good number as well in a different way.

My point is that infinity is certainly not an individual number. It represents quite a few concepts, all of which have some number like qualities.
You "finally" made an account to be counter-reactionary for MS? This improves the conversation how?

- - - -

MS has a long long history, any animosity they receive is well-earned. E.g.:

> "Embrace, extend, and extinguish" (EEE),[1] also known as "embrace, extend, and exterminate",[2] is a phrase that the U.S. Department of Justice found[3] that was used internally by Microsoft[4] to describe its strategy for entering product categories involving widely used standards, extending those standards with proprietary capabilities, and then using those differences in order to strongly disadvantage its competitors.
https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguis...

> The strategy and phrase "embrace and extend" were first described outside Microsoft in a 1996 article in The New York Times titled "Tomorrow, the World Wide Web! Microsoft, the PC King, Wants to Reign Over the Internet",[5]

https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguis...
I already do that. It was nice to see a portion of money that I'd be spending on other things also going to charity. Now I've got less reason to give that money to Amazon instead of another retailer.
I dunno. What I want exactly isn't available (X1 Carbon w/ AMD Ryzen) but the closest things for sale are all <$2,000. A fully equipped T14s with the biggest Ryzen is $1,200 or so.
> It all started when electricity was turned off during low usage hours overnight to conserve fuel across the country, officials said, leaving technicians unable to boot up the system all at once after daybreak. The outage was reminiscent of a massive blackout in January 2021, attributed at the time to a technical fault in Pakistan’s power generation and distribution system.

> Many major cities, including the capital of Islamabad, and remote towns and villages across Pakistan were in darkness as authorities struggled to make even partial restorations of the power supply.

> As the outage continued into Monday night, authorities deployed additional police at markets around the country to provide security.

> “As an economic measure, we temporarily shut down our power generation systems” Sunday night, Dastgir said. When engineers tried to turn the systems back on, a “fluctuation in voltage” was observed, which “forced engineers to shut down the power grid” stations one by one.
The only sane approach. If someone is on support they also work to lessen the support load permanently. Recurring issues with no root cause analysis and fixes are deadly to a team.
I get that these things cost a huge amount of money and there's a "lot of opportunity" ( aka make money and influence ) and I don't have many problems with that, except when the signal vs scumbaggery becomes too much.

But what I really hate about this whole OpenAI thing is their chosen path to have their cake and eat it too. Sam Altman seems to be something like the love child of Musk and Zuckerberg and one of the main traits is their lack of honesty.

Satya Nadella is.. Satya Nadella, there's a reason he was chosen to be the CEO of Microsoft, and while I enjoy seeing the Google demi-gods squirm, this whole OpenAI non/capped/profit thing stinks and I really don't see anyone involved capable or having the character to be something better than the current tech oligarchy.
The thing is there is no important signal about a specific company here, everyone is doing layoffs, the same as in previous years that everyone was in a hiring spree ignoring the actual company fundamentals. You can't just leave a company which is laying off people because everyone around you is also doing layoffs!
> Prepare for “route around the damage” moment where districts are going to start requiring teachers to get media specialist certified just to avoid the legal headache.

If the certificate is a prerequisite for all teachers to get jobs then they risk their employment if they're caught with the prohibited texts. So this would only result in teachers culling their libraries to avoid losing their job.
Dissolution Foretold: A neurosurgeon on the reality of his diagnosis
> I remember job ads telling Colorado residents they need not apply, but if you emailed them I bet it would have been fine.

Dunno about that. I am currently employed in a remote role at a huge company. I can move anywhere I want in the USA, except Colorado.
My favourite example to illustrate this is the story of Louis Braille. He invented Braille because the tactile reading system taught to blind pupils was horribly slow and inefficient. Once he invested his 6-dot reading system, he had to teach it to fellow blind people in secret, because the institution he worked for condemned what the blind have apparently come up with. Yes, because the "experts" on teaching blind people were not even willing to consider anything these people were coming up with, because, apparently, this is a danger to the institutions wanting to claim expertness.

These stories happen all over the place, and still repeat themselves when it comes to how disabled poeple are treated in institutions today.

Still, some conservatives are still willing to wink anything through a self-proclaimed expert utters to the masses.
Kodak had some of the most advanced and extensive photo research of anyone. They had early digital cameras but couldn’t let go of the film processing revenue (so they came up with the “advantix” failure).

Kodak had so much research that they pretty much survived on licensing their patent portfolio.
You are making assumptions, define the lowest real number.
Nah, the crux of critical theory is the time, environment and culture of the society that made a discovery influenced said discovery.

That's why we have made so much progress in how we view Celts and different Celt cultures. We use to saw them through a Christo-latin prism, ignoring the fact that they had concubinage contract, could divorce at the initiative of the woman, who get her dowry back in that case. That also had an impact on how we saw their weapons and their woodworking/metalworking, and how their education worked. By the way, Celtic education also have implication about where the "Witch" imagery really came from but i don't care that much about the late antiquity/low middle ages, so i can't tell you much about it.

I was just giving a low-level example of critical theory, but we improved our understanding a lot now that we don't just copy our understanding to people of the time. I think it helped quite a lot our understanding of Neanderthal.
In very partial defense of this idea:

> There is not just one definition of "safety", and we can achieve a variety of kinds of safety

I agree, but C++ and Rust both fail at what I could consider a major form of safety not too far below memory safety. It might be called “capability safety” or “effect safety”: a function call should not be able to have side effects or read data outside that explicitly permitted by the caller (or importer or program manifest or whatever). I would consider a form of “unsafe”-like escape hatch acceptable so long as using that escape hatch is itself treated as a capability.

Rust and C++ don’t do this at all, although I could imagine it being retrofitted into Rust or a similar language. Java sort of tried, and it was a near complete failure on many counts. Several experimental languages have this as an explicit goal.

Some container and VM systems attempt this sort of security. Sandstorm was a notable example.
If a really good, dynamic chat-like agent can answer your questions/queries and has been trained on some large, relevant subset of the Web, it kind of short circuits the whole "search engine" concept. Why would I want to have to shovel through pages of crap when I can have my ChatGPT AI bro just let me know the critical things I am asking about?
Conflating Spain with events in another European country, as if the EU (of which Ukraine isn't even part of) were comparable to the United States, is ridiculous. You clearly have no grasp of history or geography, let alone modern politics.
> If the book is available in the district libraries, that means it was approved by a media specialist and can be made available to students again. But any book not currently held in the district libraries must be individually evaluated and approved by a librarian.

So... It's an allowlist and not a denylist. Even worse.
To fill in some context...

This isn't about Governor approval. This was approved by the legislature and signed into law by the governor. Not a mandate by them.

The context of all of this is teachers putting books in front of kids that their parents don't approve of.

I'm not in Florida but I'll give you a local example to me that's come under debate. A book with sexually explicit material was recently pulled from an elementary school. Kids 10-ish and under. sex education doesn't come until the end of elementary school. If I understand it right, this was not an education book.

There is debate over whether this should be in the school and there are parents, politicians, and teachers on both sides of this.

What got Florida to this point is worth exploring and discussing. No matter what side you're on.
Notably the title in there says " Consumer-Level 3D Printer "
In enterprise, it’s often the case that your biggest customer effectively owns you. They get to dictate roadmaps, you’re forced to spin up a special team just for them, and it becomes harder to justify your investment into long tail customers because this big golden monkey is on your back.
Don’t worry, your federal tax dollars get routed to these states automatically.
Plenty of other states aren't far behind.
Yes, Teslas have buttons to open the doors, but there are also mechanical releases as a backup [1].

The backups unlock the doors "no questions asked", so to speak, which includes possibly damaging the windows (because they don't get lowered out of their seals). For the front doors they are so intuitively placed that pretty much all of my first-time passengers have already used them before I can tell them to press the button instead.

Models other than 3 also have mechanical releases for the rear doors, apparently, but using those involves removing floor mats (according to the owner's manuals, no personal experience).

[1]: https://www.tesla.com/ownersmanual/model3/en_us/GUID-7A32EC0...
No, it's more like a nation that was rolled into having a fuel dependency on other countries as suppliers trying to come up with ways to no longer be (as) dependent on countries like China or the US to keep the lights on and the cars going vroom.

Also, pretending that emission reduction isn't worth the effort because it's not zero-emission is a perfect example of advocating for the worst possible solution by denying the merit of a transitional solution just because it's not the ultimate solution. The world's not going to improve with that attitude.
Looking at the dates I suspect a bunch of people started making podcasts because they suddenly had spare time from activities they couldn't do due to the covid pandemic (ongoing but less restrictions) and were looking for ways to connect to people.

Personally I think good podcasts are more like zines than radio programs. Poorly slapped together, maybe short lived, but often containing something unique and special.
> drives good teachers out of the profession.

Working as designed. They cannot possibly be so ignorant as to claim good intentions.
Apple wants to manufacture 25% of its iPhones in India, minister says
I think Elon was stupid in cutting the account managers and salespeople, but clearly there has been no noticeable difference in the service now that all those engineers are gone. Hence the comment about not adding value.

And if you read the whistleblower report you might seriously question what they were doing before Elon reset everything.

I wouldn’t be surprised if 2023 marks the start of another tech recession. The era of outrageous tech salaries is over.
Enso – a programming language with dual visual and textual representations
> fields where logic and reason are key, so constantly receptive to the "hysteria on the fringes" take on such issues?

Many on HK has emotional intelligence id an edgy highschool student, plus often they live in a buble. This leads to poor grasp of social issues.

'Average' places like reddit are actually better in this regard.
How is this Russia's doing? Do you have a source for that claim?
I don't know if I've ever done overtime except 2-3 specific days I remember very vividly, where we stayed a few hours longer because something was broken in prod.
I believe the data in the article, but a less clickbaity way to frame it is that podcast creation rates have returned to normal after an unprecedented pandemic pop.
I was thinking for example in VCF files. A metadata header, a main table with eight clear columns and a ninth column that works as a "put here whatever you need", and then the related data for each sample in extra columns.

Next thing you have is a set of tools to recreate a small subset of SQL, to index the file, to add in bulk, to edit the metadata...

The typical VCF has data enough to be a SQLite, and nobody parses the VCF directly but with tools.

This ends in a sad number of bio-scientists that cannot do the simplest SQL query, but know perfectly vcftools, samtools, bedtools and others (or have them hardcoded in shell scripts). Those formats start so simple you can "parse" them with grep, cut, wc and paste, but soon they need special tooling and get feature creep.
Who needs `git pull`? It's just a footgun.
False. As has been explained in detail too many times to count.

Please do not try to resurrect old falsehoods.
What's happening to podcasts now previously happened to the WWW.

In the 1.0 era, websites were hand-crafted and made for no other reason than curiosity and time. Then businesses got into the game, and personal websites disappeared. Today, unless you are a developer or have something to sell, chances are that you wouldn't even think of creating a website.

It seems that podcasts followed the exact same path. As late as 2012, podcasts were niche things that most had heard about, but few actually considered doing. Today, like websites, podcasts are just another arm of marketing at best, or an ad delivery vector at worst.
TikTok Bans at Major Colleges Aren’t Going over Well with Students
The Basic Algebra Behind Secret Codes and Space Communication
It depends, if it’s slow enough you’ll end up with a hybrid culture that has parts of both.
There are well defined models of the real numbers. You don’t know enough mathematics to comment intelligently on this topic. What you wrote above makes no sense.

EDIT: There is no least real number under the standard ordering. There is a least real number for a given well ordering. If you are asking me to define a well ordering on the reals then your request question should have been stated differently.
> If you're used to 5% of people leaving on their own per year, assume its closer to 0% for 2023 and 2024

Strongly doubt this claim. Especially for employees of a sought-after firm like Spotify, there will always be people jumping ship either to other big co's or to join startups/start their own thing
Oh I'm with you. And I think (and hope) TBL isn't finished yet.
Honestly, I paid for the convenience.

I paid to bark orders at my Amazon Echo's / Google in the car, and vend literally any song I wanted.

You could look back and be like >> Its amazing your ok with spending 100k on food over your lifetime, you could have eaten grass from the side of the road for free.

Piracy is easy, Spotify was easier.

Buying and ripping CD's is Effort
Can they compete with Deezer for audio quality or will they also be reducing that by 6%?
Pwning the all Google phone with a non-Google bug
One of the motives that I tried to play piano was the Sims building music (:
> Talking % terms means it doesn't matter the base size.

I think wether or not it matters depends on whether the effects of an increase is linear, sub linear, exponential, etc.
> The existing system has been used as a workaround by activists to defacto teach things that shouldn't be taught to students.

And who determines, with which justification, what should be taught to students? Teaching science and facts should never be something controversial, and I'd expect teachers to be able (and allowed to) make that decision - they know the children under their responsibility the best, not politicians.
Wait, Florida has banned private schooling and homeschooling? That seems like a much bigger problem.