skysight-inc/HackerNews huggingface dataset:
>every other line of "best practice" code is `if err != nil` and the only other advice is "well you could just ignore errors".

You have a valid point there, but it hurts my ears a little for you to use the word "monadic" or "monad" to make the distinction between how the way Golang handles errors differs from how other modern language do it. To me, for a language to "have monads" requires the type system to give the programmer the ability to distinguish between a value type, e.g., an integer, and a computation that produce a value type. Haskell's type system for example uses `Integer` to refer to the former and, e.g., `IO Integer` to refer to that latter. And clearly by that definition, Rust and most other modern languages just don't have monads, i.e., don't have monadic types (and consequently don't support a monadic programming style) -- unless perhaps Rust's macro system can be used in some complex way to define the monadic-computational types, but I've never seen it used that way. BTW, I'd actually go further and say that to get the benefits of monadic style, the IO monad or whatever the language calls it must be the only way to perform side-effecting computations (though there is a little wiggle room on the definition of side effect here).

To be more precise, the terminology I prefer is that a monad (in the context of programming languages) is a type that obeys the 3 monad laws: https://wiki.haskell.org/Monad_laws. There are other ways besides a monad for the type system to distinguish between a value and a computation producing a value; Explicit continuation passing is one such way: whereas in Haskell you'd read a character from standard input with `main = getChar >>= \char -> do something with char`, in a language that uses explicit continuation passing, you'd write `main = getChar (\char -> do something with char)` where in this language getChar takes one argument, which happens to be a continuation argument. But all the languages I know about that let the programmer use the type system to distinguish between a value and a computation producing a value use the monadic style to express that distinction (rather than something like explicit continuation passing) so I tend to use "monad" and "monadic" to refer both to the specific thing that obeys the 3 laws and for the deeper programming-language property.
They're joking.
Yeah I think most of the speculation is way too mundane. Those factional disputes may exist, but it's clear that something big and serious happened to prompt a very sudden firing with that particular statement.
What other headset shares the Quest's UI? Most headsets aren't even standalone like it.
Native American horse hair pottery [video]
I mean I'm not a lawyer (of the big city or simple country varieties, or any other variety) but if you talk to most HR people they'll tell you that if they ever get a phone call from a prospective employer to confirm details about someone having worked there previously, the three things they'll typically say are:

1) a confirmation of the dates of employment

2) a confirmation of the role/title during employment

3) whether or not they would rehire that person

... and that's it. The last one is a legally-sound way of saying that their time at the company left something to be desired, up to and including the point of them being terminated. It doesn't give them exposure under defamation because it's completely true, as the company is fully in-charge of that decision and can thus set the reality surrounding it.

That's for a regular employee who is having their information confirmed by some hiring manager in a phone or email conversation. This is a press release for a company connected to several very high-profile corporations in a very well-connected business community. Arguably it's the biggest tech exec news of the year. If there's ulterior or additional motive as you suggest, there's a possibility Sam goes and hires the biggest son-of-a-bitch attorney in California to convince a jury that the ulterior or additional motive was _the only_ motive, and that calling Sam a liar in a press release was defamation. As a result, OpenAI/the foundation, would probably be paying him _at least_ several million dollars (probably a lot more) for making him hard to hire on at other companies.

Either he simply lied to the board and that's it, or OpenAI's counsel didn't do their job and put their foot down over the language used in the press release.
> You can put a charger at every parking lot in front of the convenience store

Once charging drops below 10 minutes, it's all about throughput. You don't want people clogging the charging units. You want to get them in and out. Revenue per charging unit, that's what it's all about.
Because their Twitter clone went so well for them?
So essentially you pay your engineers to maintain a fork, so you can use the software for "free." Then the question of "build vs buy" eventually arises, because maintaining a fork is a costly maintenance burden, and is essentially the "build" side of that question. Seems like the license would be working as intended then. ;)

Besides, this assumes you're creating a competing work. Most use cases of FSL can self-host the latest code. That's the whole point.
It's "millennials" not "millenials". What age group does that put you in?
Not surprised the reason was this, though definitely surprised we ended up knowing about it this way.

All things said and done, I'm glad it turned out this way. Sam Altman reeked of scummy "tech-bro" vibes, not to mention the whole WorldCoin debacle (no offense to any "techbros" who might actually be building cool stuff to actually improve humanity and aren't only in it for the money)
How's your experience with Leptos so far? I gave it a try over a weekend for my pet project, felt that it's not ready for prime time yet, so decided to go ahead with Dioxus (which doesn't mean that it's more stable or anything).
I'll take lazily not using Shift over pecking at Caps Lock!
It sounds like one of the board members is an "AI safety" person, so it's not that crazy.
Greg has now publically announced that he quit. What would motivate Ilya to stay if he didn't agree with the rest of the board? If they are still a 3-person team, they could announce a different company tomorrow and have the entire technical staff jump ship.
It's good to have strong math foundations for the AI career.
The latter is for Mazdas, the former is something we can't discuss in a SFW forum
Even if her accusations are 100% correct, I doubt it has anything to do with this. The messaging would have been entirely different.
Agreed that this is almost certainly unrelated, I was just sharing the context since they asked.
OpenAI suspending subscriptions is especially suspect because they've dynamically altered GPT-4 usage limits many times before to handle increased load, and they didn't touch it at all last week before closing signups entirely.
For something like Sentry that's typically not a huge problem.

Only the "receive errors from application" endpoints needs to be public; everything else can be gated behind a VPN or HTTP password or whatever. While it's certainly true that such an endpoint can have security problems, it's a pretty small surface area.

Besides, what kind of interesting stuff is there in Sentry? When configured correctly, probably not too much, depending on what type of app you're using it with.
So what's the downside to more tires?
I believe you’re suggesting revocation means something else. Once the software is released under a license you’ve created a legal contract granting those terms. You can’t (at least in the referenced licenses) rewind and take away the license grant.

Sure you can fork it and license new code in a different way, but that’s not the same thing.
This sort of comment has become a cliché that needs to be answered.

Most people are not good at most things, yes. They're consumers of those things, not producers. For producers there is a much higher standard, one that the latest AI models don't come anywhere close to meeting.

If you think they do, feel free to go buy options and bet on the world being taken over by GPUs.
This is the problem. He's engaging and agreeing with openly, overtly racist accounts. This colors even the most generous of interpretations.
The silos should have built closer to where the tests were performed in the Great Basin or at least west of the continental divide to try and contain more of the fallout instead of in the breadbasket of the continent if they had to be built.
Unlikely, non-compete clauses are not enforceable in California.
You're making a lot of projections here...
Given they were talking about the quest 3, it shares the same UI as the quest 2
Oh we know. We know. Man I miss n-gate.
The board knew and agreed to it in that case.
“If you believe that AI will literally automate all jobs, literally, then it makes sense for a company that builds such technology to … not be an absolute profit maximizer.
It's relevant precisely because these things will happen at some point.”

Can someone explain how that's possible? AI will plant/harvest crops ant be a butcher? I don't follow.
Thanks! It's amazing how the Nitter UX is actually better than Twitter itself (showing proper context)
They’re being authentic and real by only using lowercase
Man films pulling wounded officer to safety on Southwest Freeway [video]
Small scale social groups
OpenAI is an ideologically driven, political organisation, around the political and technological question of how to deal with AI safety. They only hire people who are AI safety people using "culture fit", and their board was constructed before they were for profit + doesn't hold any equity in the company and only owes a fiduciary duty to the OpenAI charter (which is entirely about AI safety). The board of OpenAI kicking out the CEO of OpenAI is much more likely to be related to AI safety than any other company in a similar situation, this isn't AI safety people projecting their own concerns and what's important to them onto an entity that doesn't care. OpenAI very obviously does care about AI safety, as an organisation, even if they're more towards the "build it" side of the debate in AI safety.
Because getting fired like this (both so abruptly, and with the unusually frank statement from OpenAI) suggests some sort of ethical issue. There's plenty of amicable divorces in the business world where teams just diverge on vision, goals, or methods, but they're the sort of thing people generally see coming. This HN post has collected thousands of votes precisely because it's such an unusual and surprising development, so it seems to me there's at least a 50% probability that it is something bad.

I don't expect Eric Schmidt to have general foresight about Sam Altman, but as a former CEO himself he must understand its not a decision a board would make lightly.
https://nitter.net/gdb/status/1725667410387378559
Perhaps it is to make it look not like default style of ChatGPT output?
Neither @sama nor @gdb are known to communicate in all lowercase. That fact that both did today must mean something.
I would literally pay a year wage for an @half-life.com email address.
Ask HN: Are job referrals worthless now?
I've been looking for work the past few months. I've never been great at the people-networking side of the software engineering business but know enough people to get some good referrals from Staff Engineer / Director level former coworkers. Despite meeting all the requirements, and being referred by a current employee...I'm just getting simple rejection emails. Previously I thought of referrals as a great signal that someone was good candidate and was worth at least a phone call. Is that no longer the case?
If you think this AI thing is neat, just wait until you hear about robots!
This appears to be relevant to Sam's firing: https://x.com/FreddieRaynolds/status/1725656473080877144?s=2...
MSFT is still up this week.
> So riddle me this: Why was common the reaction of all these different requirements to suddenly pretend everyone is using a phone for everything all the time?

It's very resource intensive and challenging to design multiple interfaces is the obvious answer here. Designing a website with just a few interactions that's accessible, supports mobile and desktop screens, and works in all browsers is already challenging and time consuming enough. Asking for almost a separate interface for different screen sizes and more costs significant resources that many won't have.

> Because that's how many apps and websites now look: Like something designed for a small phone screen and navigation by thumb. I open a website on a 4K monitor with a laser-precision pointing device, and I get an information density comparable to the intergalactic void.

What websites and apps in particular? I agree lazy mobile ports exist and are bad but I'm not experiencing this often with my daily apps and websites.
I can't read AGI without thinking adjusted gross income.
https://www.washington.edu/news/2020/12/03/tire-related-chem...

EVs' heavier weight also cause more tire wear, creating more fine dust...
Context please.
I could buy that if the announcement was "Altman is leaving in x months to spend more time with his family. He will be assisting with the transition to Murati stepping in as CEO."

But that's not what the board said.
That is just disagreement in technological aspects, which any well-functioning company should always have a healthy amount of within its leadership. The press release literally said he was fired because he was lying. I haven't seen anything like that from a board of a big company for a very long time.
First rule of startups. Never lie to your board.
Second rule, never lie to your CEO.
A nonprofit cannot run on well wishes. Not effectively anyhow.
Wow. Just wow. Thanks for the info.
What kind of encounters? What does close mean? As in…you saw one flying or one landed near you? Or you boarded it?
Full verification is one, but that is still challenging at scale. Formal methods has many weaker methods as well which are easier to apply in general (automated proof, abstract interpretation, static or dynamic model checking, hell some would even argue the judicious use of dynamic checks is a kind of formal methods).

I think that a shift from "this is my program, it's a sequence if steps that does what it does" to "I asked a LLM to generate me a program that does this vague thing I want" makes you naturally ask questions like "wait is it actually doing the thing I want" and "what do I even want it do do". Formal methods, broadly, has a lot of good answers to those questions.
Galactica was focused on academic use cases and got a lot of hate due to hallucinations.
Literally officially breaking out the microwave as we speak, tonight's going to be a ride
Do you really want to build a business on a platform with 100% lock in.

It not like to can just move to another AI company if you don't like their terms.
Also building 100 shitty things is a great way to speedrun skill acquisition.
What’s the point of the subsidiary?

Nonprofits can already raise funds by e.g. selling T-Shirts, baked goods, ai services, etc…
Im not sure about that as both the Magic Trackpad and Magic Keyboard both have the charging ports on their backs.
Sorry, I thought the implication was that the UI was also made by another company.

In my experience the UI and everything in the Quest 2 and 3 works great so I don't understand where the original poster is coming from at all.
he wasn't a very good face, most of my friends don't recognize who sam is, they know what chatgpt is though.
Not the case, in this situation. Incompetence is always a factor, of course
Would that result in a firing on such short notice ?
If you haven't been fired by the board of a startup you founded, you aren't doing it right.
> with half of screen real estate of their software attributed to padding

Padding is incredibly important for readable text content. For example, WCAG recommends that blocks of text be no more than 80 Latin glyphs wide.

https://www.w3.org/TR/UNDERSTANDING-WCAG20/visual-audio-cont...
robots that zero-shot learn how to plant/harvest crops just by watching a video of you doing it.
That's a high end looking printer, with a high end price. How much 3D printing do you do? Which model specifically do you own? Really nice looking stuff.
Has anyone asked the thinking machines that are so much more than text generators if they want to stay at OpenAI or move on?
Yeah, although I guess you can read that as: "I will do everything I can to raise the stock price, which executives and employees both hold", then it actually makes sense.

But that $1 salary thing got quoted into a meme, and people didn't understand the true implication.

The idea is that employee and CEO incentives should be aligned -- they are part of a team. If Jobs actually had NO equity like Altman claims, then that wouldn't be the case! Which is why it's important for everyone to be clear about their stake.

It's definitely possible for CEOs to steal from employees. There are actually corporate raiders, and Jobs wasn't one of them.

(Of course he's no saint, and did a bunch of other sketchy things, like collusion to hold down employee salaries, and financial fraud:

https://www.cnet.com/culture/how-jobs-dodged-the-stock-optio...

The SEC's complaint focuses on the backdating of two large option grants, one of 4.8 million shares for Apple's executive team and the other of 7.5 million shares for Steve Jobs.)

I have no idea what happened in Altman's case. Now I think there may not be any smoking gun, but just an accumulation of all these "curious" and opaque decisions and outcomes. Basically a continuation of all the stuff that led a whole bunch of people to leave a few years ago.
But how about a hundree thousand small users?

Its not just that you lose revenue, but you also strain existing resources degrading service and satisfaction for other legitimate customers.
I'd start by clarifying what you mean by "an understanding on AI" what do you mean by AI? Do you mean machine learning as a scientific discipline? or something else. You can probably start with Wikipedia to get a map at that level.

I often see https://www.fast.ai/ recommended as an answer to this question, but I have not used their courses so I can't comment on their utility.

You could get a map of current industrial capabilities by looking at the white papers and documentation for the AI web services offered by Google, AWS, Azure.

Two podcasts with interviews with researchers and developers: MLST, Latent Space
Maybe shouldn't have been given advanced notice at all, since it was during trading hours.
It's still a completely unnecessary disturbance of the market. You also don't want to bite the hand that feeds you. This would be taking a personal disagreement to Musk-levels of market impact.
The device was located in Sams ass but Sam said it was actually the phone he forgot in his pocket. The board didn't like that he didn't tell the truth about the method of transport and so hes out.
Sounds perverse somehow.
> last minute timing

Only feels last minute to those outside. I've seen some of these go down in smaller companies and it's a lot like bankruptcy - slowly, then all at once.
Twist: The AGI is not only already there, it is running rampant already.
Sure, I'd be okay with receiving a 5-second call from the FBI or from a family member assisting with an FBI case in the case of a missing person report in my area - who wouldn't.

You imply there are many calls like that (you write "Would you like to be the receiver of many robocalls?") but this is the only such case at the moment.
Presupposing we have not always been within the drama singularity.
See this proof of concept integration of an LLM into the Spot robot - https://youtu.be/djzOBZUFzTw

I don't see anything limiting this tech from being integrated into other kinds of robots.
There have been a few cases where other businesses have taken Sentry code to directly compete with Sentry.io (the SaaS business).

For example, at one point somebody operated sentry.otherdomain, reselling the service commercially as-is. In another case, a larger, better-capitalized software vendor explored bundling Sentry as part of a broader tools offering.

These efforts undermine the project because they did not contribute back to the project, either monetarily or with code contributions. Whereas when Sentry monetizes the work, the revenue earned pays the software developers who maintain and improve the work.
Already a good investment then, even if this fundamentally changes how impactful OpenAI is going forward.
New strategy to get workers back in the office will rely on 'unspoken rules'
It will complicate the control of the truck and add more components (increasing the cost).
Why is that distinction important? Especially in light of the first sentence of the paragraph that sentence is embedded in.

> THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW.
Pure speculation, could be a troll on a new account.
I think by now we would've learned to wait till after someone has died and some time has passed to let any skeletons in closets come out before idolizing them. And yet, even today, statues and buildings are named after the living..
I wonder if OpenAI employees will start resigning en masse because of this as a form of protest. The board better have a very good reason to back up their decision, if they decide to elaborate at all anyway.
They invented a relativistic device that slows time inside a chamber. A human can spend a whole day answering a prompt at their leisure.
When you measure it like that... something really tingles and puts it into perspective. That also shows how much progress we make with how little money. To put it in units I know:

I work on a team that operates ~the only climate research station in Greenland, the fastest melting piece of ice on earth. The total cost of our project is ~10e-7 of the money they lost. You could build, operate, and employ ~10,000,000 scientists at 1,050,000 climate research stations with that kind of money.

Let's just say our forecasts and climate projections would be pretty spot on with that sort of funding.
Kara is an access journalist who has been holding Altman up as the "next Jobs" for a while now. She has no credibility as anything other than an opinionated "journalist" and it would not be surprising if her "sources" are none other than Altman himself.
The guy you’re responding to isn’t advocating for the technology. He’s just saying Sam Altman stands to gain a lot financially. You kinda need to chill out
This very average frequency/amplitude/speed of discharge, for any given battery, depends upon many parameters (during most of such 'call to batteries': slope of the call and quantity of electricity needed, duration, proportion of vehicles connected to the grid...).

This is part of the solution, as we have ways to reduce effects of intermittency on production (mainly a mix spread over the continent), other ways to store electricity (hydro, green hydrogen-burning turbo-alternators...), and curtailment...
And there is: https://twitter.com/anothercohen/status/1725631445941563671
(...I don't know what this means?)
This BOD went out and shot their own company. Sam & friends can now cherry-pick whoever they want from OpenAI and recreate most of the value in a few months under their own governance.

Firing Sam is absolutely one of the dumbest things a BOD has ever done in history. He's the founding CEO of the company that is insanely successful, he is the company. If you wanted him gone for some trivial reason you needed to get him onboard first, "here's a billion dollars, now spend more time with friends and family for the next 18 months".
Perhaps you’re thinking of how the jockey pump and main pump work together in a sprinkler system.

A jockey pump maintains pressure in the system and is sized at less than the flow rate of one sprinkler head. The main fire pump is activated when a pressure transmitter detects a drop in pressure. The jockey pump can’t maintain pressure when a sprinkler head opens, and the drop in pressure starts the main fire pump.