skysight-inc/HackerNews huggingface dataset:
> As a potential contributor, I'm scared away by their practices of turning down improvements on political grounds.

As a potential contributor I suggest you to be present on their mailing list (filter for OSX and other keywords if you wish) to have a voice when needed.

> Their technology is stagnating and becoming more and more irrelevant as alternatives are catching up or surpassing them (clang/llvm)

I would say clang+LLVM is a poor example, because for C/C++ they're directly comparable in final performance (state of the art). The Clang suite is newer and I'd argue benefits from this and the lack of legacy. Then Apple has it as their compiler of choice and this entails a lot of dedicated work force.

Instead I'd say GNU/FSF have stagnated in their methods of collaboration. I've looked at their GCC website. It probably looked not too different in 1999. That's not a bad thing but mailing lists... I understand the love for e-mail but not the mailing lists. I think if the wonder called Rust didn't embrace the new ways of thinking, communication and tooling, it would not have developed into what it is today and as fast as it has.

Finally GNU/FSF may have served their purpose. They spawned the idea of radically free and open source software. A decade later (1990s-2000s) the thousands of neat programs were being made for Win32 and very few developers chose to open source their creations even when the software was perpetually free. "I dont want others to see my code" sometimes out of fear of being judged, remember those arguments? Think of the developer effort wasted in discontinued programs that are no longer available/working and either have no successors or their successors had to be remade from scratch. Thankfully nowadays the mentality has changed and it's rare to see a free/shareware program that still remains closed to the public.
That carriers would be sunk pretty much instantly is a given, and has been for a while now. The USN invests heavily in subs, and you don't hear much about them for a reason...
Weird wording for layoffs.
Apropos of little, I cancelled my family Spotify plan because of the Joe Rogan deal and moved to Apple Music. Totally forgot that’s the reason I moved us until your comment.
I don't think this post really views this from the perspective of the company. Why do companies do layoffs? Well, many reasons, but in general they feel a need to spend less money but intend to get better results. To some extent that means laying off people who are poor at their jobs and keeping people who are good at their jobs. This is almost impossible, because the good people are the most willing to leave, and the bad people are most motivated to politic. So the company is going to lay people off and realistically, it's not going to be about who is good or bad. There is some sense though, cuts are not going to hit core parts of the business first.

One of the curiosities of this is that the rockstar engineers often want to go and build something incredible and new. But those are the exact types of places where management will turn around and say "Yo! Why do we have 50 extremely expensive engineers working on this weird project bringing in no money". So you can go where the interesting work is, but often that's the most precarious position. Do you think the mediocre engineer working on Facebook's timeline is more or less at risk than the Rockstar building a new UI for Meta's next headset? I know who shareholders would want to keep.
So what would you say a number is if not a name for the equivalences of set bijections? Genuinely interested, what is 2?
By "without AC" I think you mean "with the negation of AC". It turns out that BT+ZF is equivalent to ZF + a weaker version of AC called the Ultrafilter Lemma, iirc. There is more info in the Wikipedia article about BT. Also, the Hahn-Banach theorem (plus ZF) proves BT.
> There's nothing fundamental stopping Google Docs from adding ChatGPT to their UI and getting way more consumer training data than OpenAI can get without a similar play.

OpenAI could get exactly the same (or more, idk) data by integrating into Teams, considering the Microsoft partnership.
I dunno. As the country bifurcates more and more, I'm thinking long and hard about if I want to travel to certain states. I'd rather as little of my money as possible be spent there.
> the fact that it is a felony seems particularly aggressive to me

Agreed. There's really not analogy for this in the professional world, except for things that are _already a crime_ like fraud or negligence. I don't think most people on HN could be prosecuted just for failing to do their job to the satisfaction of their local government.
That basically describes my schedule and my habits.

One important thing to add to that: an online diet. I have The Guardian, Reddit, and a ton of other distracting content blocked on all devices (hosts files, NextDNS, etc).
> Also, that technology is also not really so fancy. What matters is that you have enough computing power.

And data
Europe, Middle East, and Africa
That is weird. I guess we can agree to that principle but do we need to be draconian about it? Do we need laws to make teachers focus on curriculum?

Didn't you ever read a book that wasn't prescribed by the curriculum?
> Making the best developer tools for free or at least close to free

The bastards! Making and releasing high quality developer tools. We have to stop them! Has MS actually EEE'd anything in the last 25 years? I legit can't think of a single formerly-open thing that's been Microsofted via their own extensions.
Kinda like WFH, this varies a lot from people to people. Well, I don't know about the damage part, but definitely, for some of us, intense multitasking leads to cognitive decline (it was reversed for me hence why I said "I don't know about the damage part")

I spent a few years working on a Support team, at least a couple of those years managing that team, and part of my job involved being interruptible with a very short response time, on several different channels (I mean email, IM, phone, etc.)

I liked that job as I met great people and learned a lot, but the moment I was able to shift into a more focused position (within the same company) I felt a great relief, an improvement in my quality of life, and a recovery of my cognitive skills. At that same company, I had (had because I no longer work there, we're still friends of course) a great friend, someone whom I know since we were 16 (We're 44 now), and he's the exact opposite and took the opposite path: He started off doing dev work, focusing on just a few tasks at a time, but it didn't work for him (even though he was amazing at his job) and ended up loving working as a support engineer. He thrives in an environment where he gets interrupted multiple times per hour (!!) during his work day, with no impact at all on his cognitive skills. In fact, not only is he a great problem solver, while dealing with multiple problems in parallel (and the interruptions include having to jump on a screen-sharing session without warning, something I can't tell you how much I feared and despised when I had to do that job!), he can tell you by heart the numbers of all the tickets he's working on, including their description and context. And I don't mean while working, I mean over beers at a meetup ...

The one thing we both agree on is that we love WFH and would never, ever go back to an office (he's been WFH pretty much all his life, while I've been doing that for 15 years now). And just as that is the case for us, I also know personally people who don't like WFH and need to go to an office every day in order to be productive and to feel a human connection with their coworkers.
> do good numbers exist, that the "hysterical" campaigns increased those numbers and not just put the kids on the street to do scavenging on toxic dumbsters?

So let me get this straight your hypothesis is that campaign to get kids out of sweatshops were harmfull, and the reason we stopped putting them insweatshops is not public pressure but spontanous mass enlightenment?

Maybe it is your perception of these campaignes as hysterical thats wrong.
this is a really awesome deep dive into the architecture!
Modernizing very fast and suddenly, under duress.

adjective - "marked by a concerted effort and effected in the shortest possible time especially to meet emergency conditions" - Merriam Webster dictionary.
The rules are whitelisting not blacklisting oriented, so it’s easier to give the set of list that would be allowed, and every other book in existence outside that allowed set is potentially blocked.

The rules would block a book like East of Eden. Pornographic elements and too advanced for kids (even if it isn’t)
Wasn't sure what HPC stood for

> High performance computing (HPC) is the ability to process data and perform complex calculations at high speeds. To put it into perspective, a laptop or desktop with a 3 GHz processor can perform around 3 billion calculations per second.
> But there are uncountably many finite collections of symbols.

As others have pointed out, that depends on how big the set of possible symptoms are.

If the set is finite, then there are a countable number of finite collections (the countable union of countable sets is still countable).

If the set is countably infinite, then there are still countably many finite collections.[1]

If the set is uncountably infinite, then you're right. However, the author is probably talking about all symbols known to humanity, which clearly is not only not uncountable, but it is finite.

[1] https://math.stackexchange.com/questions/200389/show-that-th...
There were some books that some segment of voters didn't approve of that certain school libraries were providing. This seems like a backdoor way to stop that while bypassing having to go through controversial school board meetings and/or 1A constitutionality issues to block those books.

Not to say this isn't insane, just explaining how I think it happened.
Creating empty git commits and pushing them to a PR might be all you need to scratch that “let’s just try it once more, without changing anything” itch.

Please just don't. If your CI / CD pipelines do not offer the option to retrigger builds in some way other than modifying the repository, rather spend some time improving them.

I am aware of the "Squash commits" and similar features most CI systems have, but those boxes are easily forgotten. Plus you end up squashing everything and there are valid reasons for having more than one commit in the same PR and keeping them separate
Interesting, related, and maybe different enough perhaps to warrant a separate HN discussion? The paper by Krügel, Ostermaier, Uhl focuses on the morality of what ChatGPT writes and people will be affected, based on a particular moral thought experiment. The article by Sanders and Schneier focuses on the downstream implications of using ChatGPT for lobbying -- both textual communications with representatives and strategic issue targeting.
The cross range would need to be around 1000 km for Kennedy Space Center... so a real problem.
Those were arguably the same people having kids in the 1500’s. We’ll just go through another bit of a dark she and bounce back.
Given that there isn't some superior visual representation of math, I think it is reasonable to say there won't be one for code - at least for a while.
> How do you think auscultation tells you the “type of lung infection”?

take a 5 year old, its coughing like a 5 year old does when it has a nasty cold. Is it crackling, if so where? ok something to worry about, lets think about antibiotics. If not done. off you go home tell us if it doesn't improve in 5 days. (steps shortened etc, etc etc)

xray? seems excessive, ultrasound? also expensive and trying to get the kid to stay still for it. faff.

For actual confirming diagnosis, yes, but its already done that way. The article specifically says replacing the 'scope with an ultrasound.
The problem is that some of the libraries are hosting sexually explicit material that is accessible to younger children that some parents claim is sexually grooming the children. Some of these books have been included on reading lists.

The book that is the poster child for this is the cartoon book Gender Queer

https://www.westernjournal.com/book-depicting-child-pornogra...
I think that comment was calling for a "yes, and..." response.

https://en.wikipedia.org/wiki/Yes,_and...
Can someone explain the difference between a junior walker and a senior walker in terms a hacker can understand? Like compare it to junior devs and senior devs. What skill gets you $35 a walk?
26% of electricity generated in Texas in 2021 was from wind. Installed wind and solar capacity has grown quite a bit since 2021.
I'm in a similar boat. Furthermore, people tend to overlook that many new issues -> lots of routing effort (e.g. reading the ticket to see what team it best fits and then which person) which further cripples mid- to low-level management.
I personally don't... well I didn't until I actually used jQuery to code jQAPI V3 in two ways: 1) parse the XML from the official jQuery docs and passed it to the Astro static site generator and 2) to build the Navigation/Search. I haven't used jQuery close to a decade as well, but it was a nice feeling to just "hack away" in it :).

When the site was down for a bit, I received a couple of messages where it went, and how to bring it back. "i need jqapi online, is the blood for my code" inspired me to just do a rewrite and play around with Astro.

But yeah, wouldn't use it for new projects. Just seemed fitting to code with the actual library the documentation is about.
My guess is that Stripe is way better at international payments and by moving US to stripe they can have a single payment processor worldwide.
This article doesn't mention whether it prevents the cardiovascular depression that actually kills most people exposed to fentanyl. If the vaccine doesn't prevent that, it's useless. A vaccine that makes fentanyl less "fun" doesn't do anything for the people who ingest it thinking that it's something entirely different.
> Any way you slice it, there's no way that the Rogan deal pays for itself.

Especially when you still get ads on podcasts. Listening to any podcast on Spotify is so frustrating because I pay for the service and STILL get a half dozen ads an episode.
They've even allowed veterans to teach without credentials for up to 5 years (while working on a degree and teaching certificate): https://www.reuters.com/world/us/amid-us-teacher-shortage-fl...
Model Governance?

Correct me if I'm wrong, but it seems like some type of 3rd party Model Governance should be happening. Is it?
They do, but Stripe may have other advantages that Amazon's home-grown billing does not... fraud detection comes to mind.
Free speech is not the same as being able to tell other people’s kids anything you want while they’re attending a mandatory educational institution run in the name of the public.

This law seems like an extreme reaction, but to what many people believe is already an extreme situation.

See also:
https://youtu.be/TwucVRj_mdc
It's much more complicated than that. First you have to check your countries list of sanctions, and this is bizarrely difficult.

1. You might be able to work for most companies in a country, but that specific company (or type of activity) is sanctioned.

2. You might be ok for a while, but a sanctioned individual buys a stake and suddenly becomes not ok.

3. The employment itself might not be sanctioned, but your bank flags it as suspicious so payments are rejected and you run into other problems.

For what it's worth, you can run a free check on ComplyAdvantage (full disclosure - that's my employer). https://complyadvantage.com/complytry/

All that being said, there are plenty of remote jobs available where this isn't a problem at all.
And the logo will be a blue square with the $ sign in it, rotated 45 degrees
I don't think so but it's Florida. I don't live in Florida. The majority in Florida must somehow be OK with this and it's their teachers and children.

Don't take my nuance to mean that I approve of this or think it's a good idea.
> How about denying megaphones to the hysterical fringes?

Do you think it is an accident that, when there is a popular movement, whether it is punk rock or protests against vietanm war, the media will invite the most crazy person possible and portray them as maniacs?
Summer storage for winter will not be a thing.

Tropical solar farms synthesizing ammonia for export to high latitudes will be.
Support Tickets are like fires. Typically, there are folk waiting around in case of fire to render aid.

Rotate who the "fireman" is on the team, they are out of Sprint and just fix. Spreads internal knowledge around too.
> Another approach I use is "write it down". In this sense, I add to bookmarks (here I am a diehard fan of Pinboard), but NOT with the intention of "read it later", but "if I want to find it again, I know where it is". So I have a cake and eat it too - no "wall of links of shame", and no anxiety that I might have lost a life-changing link.

That's what I do too and it works well. I've changed the system I use to track the content (currently I'm storing interesting things I may want to read later in Zotero, and some also in Safari's Reading List).

What I like about this is that I can save something for later even if, despite finding it interesting, I either don't have the time or the mental energy to read it now, and also that I have a nearly-endless list of things to go through if I'm ever bored, stuck, etc.
Real numbers are interesting and math is not about computation, counting or calculation.
TLDR: support should absolutely tank velocity, make the org feel your pain. If they want better velocity they need to invest in shoring up issues.

One thing to consider… support tanking your velocity is a feature, not a bug.

Sounds like you need investment in support tooling etc that can lessen that burden. Velocity will improve when support is less burdensome.

This is obviously not one-size-fits-all advice but worked well for a previous org I was at. If the sprint work will have a side effect of fixing support or support is so intense it requires a majority of the team you HAVE to fix that first regardless if sprint/scrum/kanban, etc. if velocity was super high for a few sprints but regressions/bugs were introduced they could impact future velocity, so those high velocity sprints weren’t as productive as you thought. It’s never just one number.

The org I worked at with the absolute worst support/sprint structure also had the only code base I considered “unsalvageable”. They refused to do anything to improve existing processes and spent half of every team’s time on the same support issues on an endless loop. They never had the measurements needed to actually figure out where to improve clients experiences.
That's impossible. They must have asked this survey at a Silicon Valley networking event on AI or something. Rough search shows there are 63,644,000 "professional workers" in the US so this survey is saying 17,183,880 Americans are using ChatGPT at work. How can anyone seriously believe that stat?
After loss of virginity those two things can happen just fine.
We have an big propaganda issue that is being exploited by our national enemy's (I'm talking about you Russia). All this stuff that upsets our stable society is only good for our enemies. Nobody should care of what other people are reading, unless it poses a threat to our society. Talk about shouting fire in a theater.
Zero to Nix, an unofficial, opinionated, gentle introduction to Nix
G-suite?
Lights out in Pakistan as energy-saving move backfires
I think it also depends on what you call AI and where you look. They have invested in computational photography, lots of audio work stuff, etc. But mostly in areas that are core to their hardware sales.
using my blog, i am trying to create a road map of things people can do to get their dream job. Creating a personalized site can be one way.

In a previous article I talked about certifications, and other stuff people can look up and practice to improve their chances. The point overall is to take steps to break out beyond the required things such as just make a resume because that can be boring. If you can show unique skills, it signals to your employer that you have people who are willing to learn and go beyond what is required.
Stripe's superior fraud detection is an open secret in FinTech. There are apparently a lot of large companies with their own payment rails that route riskier looking payments (e.g. a new account who you haven't yet settled a transaction with) through Stripe for this reason.
https://archive.is/cVuOB
In our sad, bifurcated present I am not sure that’s true on net.
There's actually a very simple argument: The existing system has been used as a workaround by activists to defacto teach things that shouldn't be taught to students. Keeping the books out of the library is the best practical method of stopping this, because directly controlling the contents of the curriculum is hard to enforce.

That argument may or may not be true in this particular case, but it's not some impossible thing that can't ever have a good reason behind it.

Edit: Also, don't confuse school libraries with public libraries. Schools make content-based decisions about what's appropriate for students all the time.
When was the last time a kid said, gee, I'll read the books randomly lying around the classroom?
This sounds pretty great! It sounds like they created a chemical solution, which coats the PFAS stuff and makes it magnetic, so it's easy to remove with a magnet. The solution can be re-used up to 10 times, according to the article.

I do wonder what happens to the solutions after that, I hope the solution itself isn't very dangerous
So they are solving the teacher shortage?
Seeing a lot of gateway timeouts. Are you folks aware of this?
Maybe just strategic pauses then.
Remember that I am not here trying to argue for the truth of the AC; I'm arguing against the author's argument. The author's argument, as I read it, relies on an intuition that "choosing" an element that is not-finitely-describable is problematic. However, the mathematical meaning of "choosing", in the context of the AC, is a statement about the mathematical existence of a certain function. To respond to the author's intuition requires only showing that not-finitely-describable domains are not a "problem" for the existence of functions. Maybe it is difficult to "choose", in some natural language sense, an input to f(x) = x + 1 such that the output x + 1 is a real number (e.g., you can't write down such an input one digit at a time on a piece of paper, even an infinitely long piece of paper). But this does not mean it is problematic for the function to exist in the mathematical sense.
Teachers are already paid little and dealing with the stress of managing large classrooms with little pay has to be turning off a lot of teachers away from that career path. With laws like this our future pipeline of teachers is essentially getting gutted. I guess republicans are winning on both fronts here. One, they pander hard to the extreme base and two, they kill public education and make private education more attractive.
All integers are by definition finite. Positive integers are defined by S(S(S(...S(0)...))) a finite number of times, where S is the successor function. (And negatives in the obvious way.)
There are models of ZFC in which every real number is definable. You may be interested in the top answer at this mathoverflow.net question:

https://mathoverflow.net/questions/44102/is-the-analysis-as-...
A vaccine doesn't work unless it helps the tiny fraction of fentenyl deaths who unintentnially take the drug? How about this: You're less likely to come in contact with the drug if there are fewer users getting high off it.
I honestly don't have a clue what you're talking about here.

My point was that you can think Elon Musk is a jackass and not buy a Tesla even if you do think Jeff Bezos is a jackass and still shop at Amazon.