skysight-inc/HackerNews huggingface dataset:
> > I fail to see what C has to do with the choice of build tools.

> You are definitely smart enough to figure that out.

Clearly not, because the features you enumerate with respect to Cargo aren't unique to Rust or non-existent in C. They are simply build tool features. If you learn what these features are called, you can search for them in other tools, assuming that's not too much "effort" for you.

> But if a person responds to any criticism of C with vitriol,

So far, the only people in this thread replying with vitriol are you and jerf. Believe it or not, I was trying to be helpful, and somehow you keep trying to rope me into a dumb Rust debate that NO ONE CARES ABOUT.

> Have you even used a proof assistant?

Only daily. But, let's keep those unfounded assumptions coming...

> To be clear what point I'm making: these tools are amazing, feats of engineering, but they're not really viable for most C projects.

Ah, but CBMC is completely viable for any C project, and proof assistants are very much on the way toward viability for general adoption right now. I should know, because that's kind of an area of specialty for me.

> If I go into a average Rust project, and run "cargo run", Cargo will build the project, and the resulting binary will run.

> If I go into a random C project, and run "cargo run", that won't happen.

Now we get to the crux of your issue. You want a zero-configuration build tool. They exist for practically every language and platform. Search for that phrase and be enlightened. But, just like cargo, you'll still need to add configuration for customization (or pass it on the command-line).

> And in fact, there is not a tool in existence where I can go into a random C project...

Note that this is a proper use of ellipses. See above: it's called a zero-configuration build tool. Your ignorance of their existence should not be construed as evidence of cargo's uniqueness.

> I'll remind you of when you said, "I fail to see what C has to do with the choice of build tools."

The reminder is rather silly, as we've just exposed that you haven't put in the "effort" to understand the tools that exist for C, despite having over a million lines of C under your belt. :-)
Oh NPR. Notice how the headline characterizes an adversarial relationship. Alt headline “PragerU is introducing diversity into schools that’s more than skin deep.”
Well, the standards can't be that important. If you post the r-word in your job listing you're not going to get listed. But the payment may do the trick.
Exactly. It's not random, it's revealing. You can see them starting to aim towards their first commercial bets beyond search and developer tools while still paying lip service to the safety cult.
> After all, the communication portal in MyChart is "Message My Provider", not "Message An MA To Message My Provider".

That is semantics, could be changed to "Message the office" but that isn't going to be the most clear title for the majority of people to understand what it is doing. It's the same as calling the office, 99.9% of offices (basically all outside of concierge/direct care) are going to be triaged by an MA/nurse first.

As far as the payment requirements I've heard of, I have never seen anyone bill just for the MA reply.
https://en.wikipedia.org/wiki/He_who_does_not_work,_neither_...
I don't know if this qualifies but one our biggest WTF moment as kids was when we got our hands (in 1986?) on a floppy disk for the Commodore 64 that'd play the song "Everybody was kung-fu fighting":

https://youtu.be/-rN-Mwblqbw

We'd load and reload that floppy over and over again and wonder how it was possible that our computer could do that : )
Not if they keep you out
> My prediction is that Altman will, unmoored from any sort of accountability, wind up fucking shit up like every god damned SV founder, get fired, and then OpenAI will wind up being eaten by Microsoft for a song.

this is why microsoft loves sama. of course the firing spooked them. it would have seriously soured the trajectory.

so much cleaner to let sama take the wheel.

everyone important goes home rich, or at least happy, they think. ms gets a gold-painted goose. sama will undoubtedly get some form of gold plated escape hatch, parachute, life raft, etc.
Arguing Ourselves to Death
You can look at the comments section to see how popular it is, oftentimes there are a few hundred comments. That is higher than most NYT news stories (back when I used to use their website).
https://archive.ph/XzRAn
I don’t think non open source software fits the FSF definition of free software
Good. It would have been a shame to waste another weekend on twitter if this had gone the other way.
“When you strike at a king, you must kill him.”
> My prediction is that Altman will, unmoored from any sort of accountability, wind up fucking shit up like every god damned SV founder, get fired

Who has this happened to except for Travis kalanick at Uber?
I think this is fine as long as it's clear upfront that this is a paid service and the reply actually addresses my concern.
Almost all of these clones are FOSS, and can be dropped onto a server somewhere. Hell, the most common way to implement the game has everything on single html page with a javascript file that handles the entire game's logic and word list.
> I don't know what the difference is between a threat and an attempt

Is this a real statement? As in, ESL possibly?

Someone blustering/threatening to do something is just a bunch of hot air. Enacting legislation and putting into action so that it becomes illegal would be attempting it.

It would only be an attempt, as we've seen how well banning through legislation works with things like Prohibition, War on Drugs, etc. Are they going to force all US ISPs to block it? Are they going to ban it from the stores? Are they going to prevent US users from accessing VPNs from outside US territories? Let's face it, people are addicted to TikTok, and they will find a way to get their fix.
IANAL but I'm guessing it means they loaded 30k documents into an e-discovery system and performed at least one search over the entire index of documents.
Very little, in practice: the waste disposal of fission reactors is one of the ways that the energy density of nuclear fuel actually matters — there's hardly any by volume, even if you add up the entire world's nuclear waste.
It means it cost OpenAI a lot in legal fees to keep Altman in power.

With all of this boardroom drama, no wonder Microsoft is starting to diversify its AI investments.
Serious question: Do you think that Isreal would cease to be attacked by Palestinians tomorrow if they stopped military operations, left Palestine, lifted all blockades, and only operated a no-cross policy for the shared border?

My hypothesis is that without a blockade, external munitions would be shipped in and used to try and obliterate Isreal.

I see no evidence of a stop-and-immediate-peace outcome.
This being on CNN is quite hopeful!

LSD, MDMA and Psilocybin (mushrooms) are all very potent non-habitual substances capable at creating instant psychic breaks and creating permanent improvements.

I'm excited to see this momentum!
Back in the days when minicomputers (which required a walk to the air-conditioned machine room to reboot) and microcomputers (which had a case or keyboard switch) coexisted, the former were way less flaky than the latter.
This is an extremely long tail problem. When you count the absolute numbers on the revenue, it's much larger. Perhaps the absolute majority of the app store revenue would be subject to the 30% tax. Money matters, not the number of apps.
Well, I mean, come on that does make those corporate MITM tools work better, dontit? I haven't checked it, but there's a non-zero chance that curl.exe on win32 "helps" in the same way, assuming there's an equivalent libressl in WSL
The future GDP growth of the country is going to come from the people (and their kids) who are smart enough to not buy into this nonsense while everyone else will be stuck in a lower class of their own making.

More of these people are likely to emerge from the 'woke' states because people who are going somewhere in life don't care to partake in this game.

>A while back the right and the left used to trust in science and scientists. Now noone does anymore and truth itself is for sale.

How long is 'a while back'? The right has been bashing science for the 30 odd years i've been alive.
Just using the 32 entry LUT and the small-angle approximations (sin(x) = x, cos(x) = 1-x^2/2) lets you calculate sin(x) within +/- 0.00015, which is rather impressive for something that can be done quickly by hand.

If you use cos(x) = 1 then you are still accurate to within 1%

[edit]

I think I also found an error in TFA? It seems like picking the "best" N would allow r to be in the range -pi/32 < r < pi/32, which makes the 3rd order Taylor series have an error of 4e-12, significantly better than the error range for 0 < r < pi/16
I mean, they could've leaned into it more.

Something like announced with this that their new model "Rubicon" had, under the resumed leadership of Altman, crossed a milestone threshold.
Interesting to see &amp; get encoded as andamp; in the title lol.
> they should still proceed with the request for more information so that they can better guard against removal of access in cases that they do not agree with.

They almost certainly are, which is why the reasoning of EU’s predictable involvement was what triggered Apple’s reinstatement of Epic’s account seems dubious to me.
Have you actually seen their videos? They are far from the quality you get from PBS. Fact checking Prager U videos often takes 30+ min to go over a 5-10 min video.
"They were right and so was he"

well thank the lord for that level of accountability
What does "full woke" mean to you and where did you come upon that definition?
I don’t typically spend an hour at the airport either.

This is why SFO is generally amazing and my favorite airport in the country. I often show up after boarding has started and have never been close to missing a flight.
A simple dice game shines a bit of light on the psychology of regret
OpenAI is a nonprofit which changes most motivations for the board. They are ultimately tasked with preserving the mission rather than profit which cases Altman in a very poor light here.

There is a for profit subsidiary which Microsoft invested 13 billion in, but that can't return money to board members only Altman and it's investors.
>For methods modifying internal state, I think you’ll have a hard time with the assertion that “purity is easier to reason about”.

Modeling the method that modifies internal state as a function from old state to new state is the simplest way to accomplish this goal. I.e., preconditions and postconditions.
I don't know what is happening elsewhere I suppose. I'm a PhD clinician at a US public academic medical center and respond to patients within 24 hours even if it's to say "let me check on that...it may take a week to get the answer/letter/etc." I'm pretty sure that's the expectation for all our MD/DOs and other clinicians. We don't bill for it, and it doesn't contribute to our targets, but it just seems like it falls under a salaried expectation to me. It's for the patient.

That said--hospital management, driven by the insurance world, tries to wring as much uncompensated labor out of the medical workforce as possible. Doctors (including my MD colleagues) do not get together to limit the number of doctors available. That's baseless conspiratorial thinking that doesn't withstand a moment's scrutiny when you understand the incentives at work in American healthcare.
I don't know what the op is referring to but just a guess. I know one app, HelloTalk where I think you can get paid to teach language. Think of it as zoom + twitch but centered around language learning. You can run a channel (twitch style) and you can take private "zoom" calls for money. Apple is probably taking 30% for those calls.
> Correct, and until Apple is threatened with fines, I believe they'll continue doing this until it no longer serves them.

Commission fines Apple over €1.8 billion over abusive App store rules for music streaming providers.

https://ec.europa.eu/commission/presscorner/detail/en/ip_24_...

Maybe tripping up the same entity that's already on to you with other fines for similar behavior is not that smart.
Commonwealth Fusion is such a Fallout name
Worldle is just hangman with hints.
Assuming, of course, you trust the fact checkers.

Not just in what they flag in Prager or whatever online source (I don’t really care), but also in what they don’t flag PBS or VOA for.
I doubt it. The existence of the words themselves is a fact, which is not copyrightable. Only their arrangement can be. Feist Publications, Inc., v. Rural Telephone Service Co., 499 U.S. 340 (1991)

However, to be copyrightable, the arrangement has to be expressive, i.e., it must "possess the requisite originality because the author . . . chooses . . . in what order to place them."

My strong suspicion is that Wordle's word list is randomized. Not a chosen expression of the author.
Gnome Shell extension allows creation of Picture-in-Picture (PIP) for any window
> Israel is somewhat in the middle in terms of the usage of force in this situation vs. what most of the world considers to be normal

If we're being honest, I think that perception (such that it may exist) largely depends upon the race of the subject states. Consider the recent bomb blast on Iran, attributed to Israel - if Iran responded in the same manner as Israel did after Oct 7th, our govs would be denouncing them as evil incarnate!

In any case, I really think - really hope - that's not true; surely most civilians don't think forced starvation, massacres of children, torture etc are "OK". If so, there is no hope for humanity.

And bear in mind this is not "just" about Gaza - many more people now know about Israel's illegal and dehumanising actions towards Palestinians, whipping up Islamophobia, and general land-theft and terrorism throughout the region. And we do not understand how this is allowed to happen in our name, supported by our governments.

> Even most of the western world would and has.

In the past, yes. And in times gone by, civilians were kept informed of global events by newspapers and TV news. Now, we are basically seeing a genocide, land-grab and oil-grab unfold right before our very eyes, from the normal, everyday people who are affected - people who now don't seem so different to us, people just like us.
You cannot kill an immortal.
Amazing how strong sound logic and reason can continue to be
They hired an external firm to review the suitability of Altman and Brockman and it also reviewed 30k documents. I wonder how they managed to review that many documents in a few months. The outcome is very predictable anyway. Without Altman/Brockman OpenAI is dead. This explains why the instigators of the ousting (Mira Murati and Ilya Sutskever) supported the return of the 2 people who purposely violated the goals of OpenAI the not-profit in pursuit of profit. No one is saying that they didn't need to do that (making AGI as anything other than a for-profit is not feasible) but lying about their immediate goals is definitely a red flag, especially when you are working on something as ethically sensitive as AGI.

Imagine if Openheimer lied and turns out that the was planning to make a company to sell WMD to anyone with enough money
That's certainly worth linking to but I'd prefer to have a more neutral source as the top link. I guess I'll put it and the other openai.com link in a top comment.
Yeah. The review and findings should have at least attempted to answer the question: "What did Ilya see?"
This is one of the major issues underlying the perversity of US healthcare. That and high-level executive churn incentivizing "innovative" initiatives and policy changes just so the executive makes their mark and leaves for the next rung elsewhere.
See also: https://openai.com/blog/review-completed-altman-brockman-to-... and https://openai.com/blog/openai-announces-new-members-to-boar...

(I've merged those threads hither in the interest of having a hopefully more neutral article as the top link.)
The difference here really is that the doctor is reviewing what is being sent in some practice. Sure, there's some possibility that the doctor is over influenced by the suggestion and goes "it seems right", but that's true even if they effectively google it as GPs often do today. Whereas a LLM trained on the internet at large seems about as useful as WebMD, which sometimes feels like it would tell you bleeding after an accident chopping food is a sign of cancer.
I hope the folk at Valve have been busy working on this - Steam for iOS and Vision Pro could be great!
The term has become a bit generic these days and people will use it in place of a range of things. Citrix or vmware are often just called "terminal server" by aome people.

There is a huge difference between a port forward on port 3389, and publishing the gateway behind azure app proxy - the latter supporting mfa, account lockouts, and not actually requiring any open port to the internet. Much of the discussion online treats these as equal.
By separating the two. If there’s no Cargo.lock, resolution needs to be done, and the result is written out to the lock file. If the lock file is there, then you don’t need to re-run resolution, you just read out the result from the file.

The latency you’re arguing over is probably more to do with rustup selecting the right cargo and exec-ing that than dependency resolution. It’s heavier weight than it should be due to history reasons.
In all the possible timelines, there is no universe in which the review concluded wrongdoing on Altman's part and demanded his immediate removal. Trust me, I checked. In fact, I hired WilmerHale to review all 30,000 possible timelines. After paying them $2M in fees, they concluded that I was right all along.
I’m a .net engineer currently.

Could you recommend how I should get started with erlang/elixir?
The public loses
> You can get into the weeds about what you meant by whatever you said. I am aware.

>When you want to explain something that doesn't make objective sense when read literally, okay, it might have an aesthetic explanation that makes more sense.

What an attitude and way to kill a discussion. Again, hard for me to imagine that you're able to have objective discussions at work. As you wish I won't engage in discourse with you so you can feel smart.
Being unsatisfying doesn't make it less of a law, and doesn't make the belief that you shouldn't have to follow those laws less libertarian.
> All of this nonsense is because scientists lost their moral standing by cheating, lying and going full woke

So Ozempic is just propaganda then? MRNA vaccines too? CRISPR? CAR-Ts? LLMs? EV Batteries? Nike Alpha Flys? Superconductors?

Hate to break it to you, but we are in a golden age of science especially in Biotech.
Comments moved to https://news.ycombinator.com/item?id=39647105.
> The answer is that Altman tried to get the Board removed, the Board found out and snap fired him

Who elects the board in a non-profit? Who did sama go to to get them removed?
Yes I'm familiar with Teknium's Mistral issues, which were resolved some time ago. IIRC they weren't related to FSDP.
> have a shortcut set up for Cmd+Shift+V to actually type the letters

Seems like this would be hard to "google"... can you provide a guide or a link to a guide on how to accomplish this?
There was a moment a few years ago when steelbrain's pundle was the only tool I knew of with proper instant hot module replacement.

It went the way that many one-man projects with no community backing so, which made me sad. I moved to Rollup, and then recently moved to Vite to get back on the instant HMR train.

Thanks for your work in this space, steelbrain! pundle was awesome!
Club, ain't in it, etc.
Making an Emperor Bed (2018)
It’s a pity it wasn’t ampersandampsemicolon. ;)
I’m part of the work from home class and it’s pretty great. I might be in the office twice a week, if that. I start each day by getting my kids ready for school. I stop at lunch and snuggle my toddler, or after he gets home from preschool.

My two boys grew up in the COVID and think that parents are just supposed to be around the house. Completely different than my daughter who remembers the before times.
(this was originally posted in https://news.ycombinator.com/item?id=39647488 but we've merged that thread hither)
And that's why I added the clause, this is a case where I think gratis is more important than libre — when it comes to putting the means of production into the hands of the workers.
Warhammer is, at least somewhat, what you get when you ram dune and lotr together: god-emperors and space-orcs.

Kind of ironically, given that it’s a world that coined “grimdark” and kind of sort of espouses it, it’s also kind of a neat example to point to as a deontologist critique of consequentialism: “see what happens if you let the ends justify the means? you get space orcs! and men who are kind of okay with that!”
OpenAI investigation says it was wrong to fire Sam Altman
I always see people saying elixir allows them to deliver features more quickly, but how?

From what I have seen, it’s just another programming language. I’m not getting where the large speed up is…
Nah, I think Microsoft will end up buying some form of assets off of OpenAI (it's a non-profit with odd corporate governance that Altman doesn't own stock in, so I don't think they'll buy the whole company) for an extremely exorbitant price. Altman will put in some ambitious but clueless Microsoft manager to run it and move on to his next thing. Then it'll turn out that Gen AI is dramatically overhyped and the real-world utility is far less than expected. Shit'll get fucked up, people will forget about it, and Microsoft will write down their investment by a large margin - kinda like Hotmail, and Skype, and Nokia, and Minecraft, and what's starting to happen to GitHub and LinkedIn. And so it goes, a classic Silicon Valley love story.

But I have enough faith in Altman's ability to fuck shit up without facing personal consequences that I'm pretty sure he'll navigate some sort of sale before everything goes south.
> we've had genocide in Cambodia, Serbia, [...]

Just to correct you, the genocide was in Bosnia, not Serbia, as a culmination of years of ethnic cleansing of the muslim (and to a smaller extent the ethnic Croat) population of Bosnia by the Serbian ethnic group during the period of 1992-1995.

https://en.wikipedia.org/wiki/Bosnian_genocide
Is this site AI generated?
I'm sure that has nothing to do with decades of self-propagandizing that AI was something to be feared in fiction coupled with a year now of everyone who writes for a living embodying the Upton Sinclair quote "don't expect someone to understand something their job depends on them not understanding."

I haven't seen a positive article on AI from mainstream press in at least a year.

Yeah, under those conditions public sentiment is going to be influenced in a given direction.
You can probably use VPATH as a hack
> That only makes sense if we assume Apple’s world class legal team didn’t see what every lay person could.

Apple banned Epic the day before DMA came into effect when doing this sort of thing was still legal, they 100% saw this. They did probably bet on the chance EU would overlook it if they did it before the law came into effect, they lost that bet but they thought it was worth a try.
I can assure you that in a hospital system, the doctor is not getting much of the $25 either. For my situation, we don't charge for messages, but for other services we need to hit a target (messages don't count) based on our salary, and productivity bonuses above that target are about 5-10% of the billed amount.