skysight-inc/HackerNews huggingface dataset:
Specifically, as I ubderstand it, the accumulation of rounding errors differs with the order in which floating point values are completed and intermediate aggregates are calculated, unless you put wait conditions in so that the aggregation order is fixed even if the completion order varies, which reduces efficient use of available compute cores in exchange for determinism.
So what answer did you expect from him? Last time i've checked China was still a communist state
At a previous company as a joke on corporate bureaucracy and obsession with titles and climbing corporate ladders they let us pick our own titles: Staff Cat Wrangling Engineer E12, Architect XIV, etc It was kind of fun to see what people picked.
There's an app called Draw Things, for iOS/iPadOS/macOS/etcOS, that uses the ANE to run Stable Diffusion on your phone/tablet/laptop.
https://en.wikipedia.org/wiki/Triad_(organized_crime)
does a specific structure really help? GOOG/META seemed good when the company was small. Now it seems like more a like a con then a pro.
> So then it’s only proving that if you choose the ordering ahead of time, you won’t be able to do it, because real numbers don’t have a predefined order. You can only order them as you produce them.

What's the problem? You just produce the diagonalized number at the same time as you produce your order. Every order you produce them in has its own corresponding diagonalized number that will never be produced.

> If you re-sort after each iteration (or insert them in order), you can count as many real numbers as you want.

You can count as many real numbers as you want, but none of them will ever be equal to the diagonalized number. (That is, in finite time, you will always be able to find a digit that differs between the two numbers.)

> How many bits can be encoded in the universe? That will give the limit of what could ever be counted. And it’s not infinite.

How do you know the universe isn't infinite?

Regardless, I don't see why we shouldn't consider formal systems in which infinite amounts of information can be manipulated. Even in our finite light cone, mathematical statements about infinite sets can help us separate the possible from the impossible. For instance, mathematics tells us that adding 1 to any integer will never produce the same integer. There are infinitely many integers, so we can't experimentally verify this in the real world. But if we accept that abstract statement, then we know what to expect when we do try to physically add one object to a group of objects.
This is a great showcase not only of Common Lisp, but of (La)TeX.
I meant the Lex Friedman podcast. Can that play this too?

Maybe there’s an option to download the audio off safari somehow, but it doesn’t seem like it through any of the standard controls.
I still wonder if "He (or she) is a poet ... And a software developer" causes a conflict to arise in many people's brains. They want it simple, pick one?

Whilst "He writes software and poetry" doesn't? Or to a lesser extent?

Personally I say I build software, not that I'm a software eng :-). (And that I practice the guitar ... for real)
Cool project, but I agree "cmd+b" was pretty confusing, and meaningless to me (the closest shortcut I'm familiar with is my tmux leader command, which is ctrl+b).

I'd suggest rephrasing the readme to use the term "command palette," which I think is the more recognizable name for this functionality. Or maybe you could riff on the idea of "application launcher" by calling this a "prompt launcher."
I wrote a script if interested hoy me up at dataf4l@gmail.com it uses t5
Yes, been doing the same thing. Even started looking up things that I was too lazy to research with Google, because I knew it would take longer time.
All right, US insurance companies deny millions of valid claims not because of greed, but because "the doctors office does not code the claim correctly". It's just an unforeseen side effect that said insurance companies end up with billions of annual profits and patients sometime die...

Your post remains me of how Russians often react on their forums to posts regarding the corruption in Russia. There are undeniable proofs of how corrupted Putin regime is. All ministers, members of president administration, local administration, judges, generals, etc. end up owning multi-million properties both in Russia and Europe/USA, but many regular people find the stupidest excuses of how the system is fair and just, but "the doctors office does not code the claim correctly".
> doctors

> without autonomy

This is an incredibly poor way to act given that doctors usually have unlimited personal liability, even if they are employees
Where are these cheap as dirt 30 series? A 10gb 3080 is still over $500 usd used ($750 aud) when I’ve looked. When did secondhand GPUs that still cost the same as a brand new PS5 start to be considered cheap?
It's not an officially sanctioned plan but the people behind it are serious enough. Basically, these are a few independent engineers pitching a solution to planning commissions. The proposed solution is being considered along with (presumably) a lot of other options and probably at this point not much more than a report and some pretty graphics. But that doesn't mean it's a bad plan of course.

As sea levels rise, plans like this will get a lot more attention. These people are talking about dealing with five to ten meters of sea level increases. That's going to cause a lot of challenges that will require some serious engineering. And and it's unlikely that a country like the Netherlands is going to patiently await rising sea levels and do nothing about it. That's just not how things work over there and there's too much history of dealing successfully with similar challenges in the past.

My home country has of course a bit of a track record when it comes to building effective sea defenses. The Delta works are pretty awesome and cost many billions. The trigger point for deciding on building all that was some severe flooding in the 1950s. Thousands died, and the sea pushed deep into the country. Basically, engineers went to work and started coming up with plans to prevent that from happening again. Implementing this took decades. The work was only completed in the nineties.

The end result is a system of of dikes, sluices, and other defenses that seem very effective so far. And a lot of know how for building stuff like this. Which is why e.g. Dubai has some nice new valuable offshore real estate in the form of a few nice new islands. Skills like that are going to be in demand a lot in the next decades as different countries figure out that they can either accept losing major chunks of their coastal real estate or try doing something about it. And that is going to unlock a lot of financing.

So, yes, plans like this sound like the right level of ambition at least. Too early to tell if this specific one will win. But something will happen.
FTC Seeks Comment on Business Practices of Cloud Computing Providers
The guy started as a 12yo just making up stuff online .. then continued to just make stuff up for almost a decade.

The only thing he managed to do was to convince people that scots isn’t a real language.

Why would you give him a scholarship? For good intentions?
True when replacing "1 to 1 mapping" with "1:1 injective mapping"
Over 70% of steel produced in the US is already produced from scrap and electricity with Electric Arc Furnances (EAFs):

https://www.steel.org/steel-technology/steel-production/
I don’t think anyone uses alpha/beta terminology to simply mean “the hierarchy”, and I find it disingenuous that you keep arguing as such.

The common interpretation is that “an alpha” is someone/thing that can take over a group by being the strongest (where strength in wolves is domination through physical strength, and humans in social domination). This is the myth. Hierarchies exist, but not for this reason.
What’s wrong with text?
My knee jerk impression is that the study could be explained by defining loyalty as willingness to accept unpaid work.
Handmade, but indeed Tailwind.
I don't love insurance companies and I don't love the profit incentive they have.

If a patient breaks a leg and a doctor recommends not experiencing gravity for a while, do we fly them to space?

I am using hyperbole to demonstrate a point: there are meaningful economic limits that must be created by some entity and enforced.

What is the value of a human life? The GDP of a nation is a hard upper limit. The total money a particular person in question has access to is the lower limit.

If you run an insurance company (or you run government run healthcare) you can't avoid answering that question with an actual real dollar amount.

At some point spending money on a person with a particular condition does mean that someone else with a different condition can't have money spent on them.
The local news station probably receives a big part of it's budget and profits from medical ads. It won't run any material that can threaten it's main income.
it's also on youtube: https://www.youtube.com/watch?v=L_Guz73e6fw
>> , I think it's important that we stop and actually seriously think about the ethics of what's happening here.

I agree. I think very little good will come from these developments, if any. At best they will take peoples jobs, which alleviates work but we don't have a social structure to deal with that and don't even know what one would look like.
Yes, this will come, we had to start somewhere. Would love a PR on this, should be straightforward.
An example on the landing page would be nice
It looks like you don't spend much time with young people. Most of them don't event know what the "congress" is.
This isn't true in British English, at least in my experience. We'd say "25th of March". The "of" would be omitted when writing a sentence, but you'd include it when reading aloud.
The Death of Credit Suisse
I am really hoping LLMs will remove much of the cruft from our daily communication.

If cover letters are not a human effort any more they can be left out.

Recently I was involved in supporting my manager in hiring for a new Developer position and we barely even skimmed the letters. They are already basically useless
Here’s an example of something that happened to my sister that isn’t exactly the same, but is the same sort of philosophy in action.

My sister was the manager of a coffee franchise named after a certain character from classic literature. Her location was doing extremely well, she was a competent type-A who commanded a great deal of respect in her entire district, and was generally assumed to on the fast-track for promotion.

One day, $200 was missing from her daily cash. She was fired the next day. Not for the missing money; they came showed her a list of very minor issue (clerical errors, an unwashed countertop on a random inspection, a couple unhappy customer feedbacks) that had come up in her eight-year career, and said she was fired for general incompetence.

Two weeks later, one of her ex-employees called up, crying; she was doing her laundry, and found $200 in one of her pockets. She had gone to the safe to make change for the register and screwed up.

The point here is: corporations understand that you can't fire someone or deny coverage based on reasons that can be contested. It's not fraud if you fire them for some other reason. It's not fraud if you don't even know why you denied coverage. You're only in trouble if you play fair.

We’re Americans and we love this sht and it's no wonder the CEO of that coffee company thought he deserved to be President.
A better thing to do is take the job description and a detailed resume, and rewrite the resume to fit the job description. Cover letters might be needed in certain jobs like academia, but they have fallen out of fashion in the online application world.
Not exactly. The US PTO rejects a large proportion of patent claims. It can be quite expensive / time consuming to get a US patent as an individual inventor. But you can appeal the rejections, and large corporations and patent trolls have staff attorneys who do that all day long, so then tons of garbage patents get approved too.
No idea who really benefits but there's been scandals like this before:
https://www.washingtonpost.com/news/morning-mix/wp/2018/02/2...
https://projects.thestar.com/motherisk/
Well, for anything actually putting pixels on the screen under the compositor's purview, the compositor controls the framerate of the game and there needs to be context switching involving the scheduler to get things displayed.

I'm not clear on what mechanisms exist today for preventing things like a DoS of GPU resources in something of a single entry to the GPU driver without returning to userspace. We've all seen things like GPU stalls reported in dmesg, so clearly the drivers are tasked with preventing that sort of hang where a process enters the driver and stays there far too long.
Did anyone think otherwise and need to have it explained?

Having been on both sides of the employment equation a few times now I can say confidently that people act on their values and respond to incentives without regard to where they sit on an org chart. This too doesn't require a study to confirm. Perhaps I'm naive and the point of publishing this is to drum up engagement from the aggrieved employed.

Be you an employer or employee the hardest thing to be in business is ethical. Convincing (or paying) people to care is incredibly hard, as is convincing (or paying) people to learn. It gets a lot easier when you find a way to tie either of those things to their values, and honestly most people, rationally, value themselves above all else. Is it any wonder people give up and begin exploiting one another?

This article reads like someone found the Gervais Principle [1] and viewed it as full of low-hanging fruit for a study.

[1] https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-...
This Week in KDE: Distro Upgrades for Fedora KDE in Discover
The study never states that 97% of climate scientists have a particular opinion on the matter. It doesn’t come remotely close to
saying that. Wherever you and popular opinion are getting that “97% of climate scientists” idea, it isn’t from this paper.

What it DOES say is that ~97% of papers whose abstract states a clear opinion on Anthropogenic Global Warming agree with the idea that Anthropogenic (literally “human-caused”) Global Warming is, in fact, human-caused.

Shocking, I know, that the majority of climate scientists who state an opinion about human-caused global warming believe that such global warming is, in fact, human-caused. Just shocking.

That 97% consensus amongst papers that state an opinion doesn’t represent the majority of climate scientists who published during the period of the meta-study… the paper clearly states that the majority of climate-related papers didn’t state an opinion at all.

Shocking, again, I know, that less than half of climate related papers expressed an opinion on the subject at all… but there you have it.

Basically they’ve told you up front what the number show… the vast majority of papers that care enough to state an opinion support the mainstream consensus.

Which… again… is shocking, to someone looking for a nit to pick. What it isn’t is particularly misleading, or anything like an example of scientific misconduct.

> The number of papers rejecting AGW is a miniscule proportion of the published research, with the percentage slightly decreasing over time.

Or, in other words, few papers whose authors have the requisite expertise to successfully navigate peer review disagree with those who have the expertise required to review their work.

> Among papers expressing a position on AGW, an overwhelming percentage (97.2% based on self-ratings, 97.1% based on abstract ratings) endorses the scientific consensus on AGW.

Or, in other words, the experts who state an opinion overwhelmingly share their opinion, and both methods of confirming their consensus tally to roughly the same result.

What you haven’t done here is poke holes in the science, or their conclusion… what you’ve done is poked holes in the inferences you’ve made from bad reporting on the science.

Which is, again, shocking.

Nevertheless, it’s much greater than non-zero… those who know enough to state an opinion state that opinion.
Been using Spack for a while to manage my machine learning package dependencies. It allows me to quickly spin up projects with complex dependencies (my current environment has 329 packages built ...). It's pretty easy to use with containers. It allows me to evaluate and migrate to different PyTorch/CUDA versions easily.
This just devalues cover letters. As a hiring manager I am strongly motivated to avoid channels which would cause me to wade through a bunch of fake crap. If there turns out to be no way to filter out AI generated text, we will end up that you have to attend an in person interview at some intermediary whose job is just to verify that you are a human being and you have some idea what the job ad said.
There were quite a few unintentionally hilarious moments. Some that stick out was Sam not having seen Ex Machina and then also Sam using the Elon Tears interview against Elon in a kind of Uno reversal move. Seems to be a weird rivalry brewing.
Wow. This is almost the exact plot of The Rainmaker by John Grisham[1] that came out in 1995:

“Rudy uncovers a scheme by Great Benefit to deny every insurance claim submitted, regardless of validity. Great Benefit was playing the odds that the insured would not consult an attorney. A former employee of Great Benefit testifies that the scheme generated an extra $40 million in revenue for the company.”

[1] https://en.m.wikipedia.org/wiki/The_Rainmaker_(novel)
If as you say, the infinity of the real numbers lacks the property of predefinable order, whereas the infinity of the natural numbers does have that property, does it not strike you that those infinities may be fundamentally different in some way relating to size, and therefore mapability?
Nice that you think in that way :-) I wonder though if what you look at as labels, many others treat instead like boxes?

F.ex. if they've classified you as a software engineer, then ... I'm thinking it doesn't occur to most people that you might be a writer and musician too hmm
I'm also a hobbyist. It's daunting, but there are a lot of good videos on Youtube.

I think the most frustrating thing is just trying to find the correct symbol and footprint for the part you want. Sometimes they're hard to find because you have to understand Kicad's organization scheme. Sometimes what you want isn't there at all so you have to make your own symbol or footprint or both. (Which, to be fair, is reasonably easy to do.)

Exporting a Kicad project's gerbers and drill files to JLPCB is surprisingly easy, but to use their pick and place service is more work. (I just ordered an assembled board for the first time, and had to manually reposition all the parts in their web interface because the position file put all the parts offset way off to one side and with the wrong rotation. Not sure if I did something wrong or there's just a bug.)

I think Kicad just takes a long time to learn. There are a lot of very powerful features that you might not know about at first. Kicad also expects you to do things in a particular way, and if you don't it tends to cause problems.

Kicad 7 is out now, but I haven't tried it yet.
Can you give an example of a violent criminal act done to further ideological goals where the goal is not to spread terror?
Yeah, it's anti-Harvard admissions, which is the entire point of the case, and the judge wouldn't allow it into evidence?
“Make Me an App”
These exist, although pretty rare these days to come across them in my experience.

You can still get the filling by the can in most grocery stores. Nothing like a warm poppy seed kolache...
A lot of Lex’s podcasts are. His conversation with John Carmack is over 5 hours long.
Tracking Music History
“In other words, they’d rather keep up the flame wars on social media and build survival bunkers in Montana than address the social ills their critics charge them with exacerbating.”

Nails it.
The Linux kernel since 2.6.25 provides CPU time limits on real-time priority so that runaway real-time tasks don't prevent other interactive processes from having some CPU time. So you can still interact with the system.

"man 7 sched" provides a lot of detail about the real-time scheduling policies and options.

(Of course if the compositor is essential to the kinds of interaction you need, e.g via the GUI, you'll still be stuck if the compositor stops working. But that's not a real-time priority problem.)
> I cannot tell you how many doctors had to buy a BMW because their other doctor friend has a BMW and you're not one of the "doctor club" unless you own one.

I've seen it as well.

Also, medical professionals tend to only be around other medical professionals for most of their 20's and early 30's, which really helps create a kind of insular and closed culture. Having to match for residencies and fellowship doesn't help (you'll get shipped somewhere you know nobody and be forced to work long hours and your only support network will be colleagues). It's not that dissimilar to how a cult operates when you really think about it.

It's no surprise they come to identify strongly with the tittle and will do things to fit in with the "club".
It depends on the job and company. I've worked with folks w your mindset who'd bail at 5 when their team stayed till 7.

Then 5 years out, their team mates were making an extra 200k a year because they got bonuses and raises in return.

So in their case it was short term uncompensated overtime , long term well compensated.
I’ve worked in healthcare revenue cycle management for over a decade. If you don’t accurately tell the insurance company what you’re doing and why you’re getting denied. Doesn’t matter if it’s health, auto, home, etc. There are thousands of codes, millions of combinations, and all being mostly hand coded by minimum wage workers. There are constant fuck ups most of which don’t require anyone but a computer to review to know it’s wrong. But okay cool conspiracy.
I wonder what I would think of a candidate who submits a computer-generated text for me to read, especially when the input is not even human bullet points but just the job post and the resume.

We don't have any formal process for hiring (we're <10 FTE) so whether you add a cover letter is up to you, but if you submit one and I spend my time evaluating your message, and it turns out you had an unrelated third party bullshitting me from the first to the last word, I expect this is not going to go over well.

As an IT person, I do have to commend the automation, though. There are pros and cons to weigh as you use this.
> I assume anything Apple is cooking is using Nvidia in the server room already

I don't think Apple's server side is big or interesting. Far more interesting is the client side, because it's 1bn devices, and they all run custom Apple silicon for this. Similarly Google has Tensor chips in end user devices.

Nvidia doesn't have a story for edge devices like that, and that could be the biggest issue here for them.
If latency is irrelevant, I don't think there is a strong practical reason to prefer one over another. (LoRA is more elegant in my biased opinion because you roughly recover finetuning with a large r.) In practice, you see one do a little better on some tasks and vice versa on others as observed by papers after mine.
The way it went is: we built this as part of Motif for the past month, and our users loved it. Many asked for a way to add this feature to their existing sites, so we made a standalone platform that streamlines the process, and open sourced it :)
That sounds like a conspiracy theory. It was more like the U.S didn't support democracy in certain European countries(i.e left them to Russia) than to support dictators backed by communist systems.
That sounds like an improvement
I’d like to read the description of what the Facebook graph is intended to convey.