skysight-inc/HackerNews huggingface dataset:
Software engineer is like a lawyer for JSON
How does this compare to https://github.com/vgarvardt/gue?
They did the bare minimum to let Linux based stuff run on Azure but other than that not much.
I believe that her military rank or equivalent thereof is inconsequential; for one, I would agree that it's nothing terribly impressive. What is telling, however, is the surrounding discourse, how the AI safety circles assess these people and their motivation; it is absolutely clear that these AI people are completely aware of it, moreover you get AI startup CEOs actively _bragging_ about meeting the spooks and their agents. And this signal is so much more telling than anything else you would be able to pick up, IMO.
As I posted elsewhere, I think this is a conflict between Dustin Moskovitz and Sam Altman. Ilya may have been brought into this without his knowledge (which might explain why he retracted his position).

Dustin Moskovitz was an early employee at FB, and the founder of Asana. He also created (along with plenty of MSFT bigwigs) a non-profit called Open Philanthropy, which was a early proponent of a form of Effective Altruism and also gave OpenAI their $30M grant. He is also one of the early investors in Anthropic.

Most of the OpenAI board members are related to Dustin Moskovitz this way.

- Adam D'Angelo is on the board of Asana and is a good friend to both Moskovitz and Altman

- Helen Toner worked for Dustin Moskovitz at Open Philanthropy and managed their grant to OpenAI. She was also a member of the Centre for the Governance of AI when McCauley was a board member there. Shortly after Toner left, the Centre for the Governance of AI got a $1M grant from Open Philanthropy and McCauley joined the board of OpenAI

- Tasha McCauley represents the Centre for the Governance of AI, which Dustin Moskovitz gave a $1M grant to via Open Philanthropy and McCauley ended up joining the board of OpenAI

Over the past few months, Dustin Moskovitz has also been increasingly warning about AI Safety.

In essense, it looks like a split between Sam Altman and Dustin Moskovitz
In the eyes of AGI humans will be a liability.
Their board positions are gone either way. If they stay OpenAI is done.
Latency is lower with a built in modem. IME the lag that a phone wifi network and an extra layer of routing adds is noticeable for certain things like RDP.
I highly doubt this is directly in support of Altman and more about not imploding the company they work for. But you never know.
The amount of money and power their products might offer makes it pretty desirable. Theoretically there should be no limit to the amount and type of shenanigans that are possible in this particular situation.
Guess OpenAI that was actually open was dead the moment Altman took MS money and completely change the organization. People there got a taste of the money and the mission went out the window.

A lesson to learn I guess, just because something claims to be a nonprofit with a mission doesn’t mean it is/always will be so. All it takes is a corporation with deep pockets to compromise a few important people*, indirectly giving them a say in the organization, and things can change very quickly.

* This was what MS did to Nokia too, if I remember correctly, to get them to adopt the Windows Phone platform.
> Open the wrong door and you’ll be fighting for your life in a garbage compactor.

Technically the heroes blast a hole in the wall to get into the compactor.
He has a green light to build a new thing and operate it as its own, obv. MS will own most of the equity but then he will have something as well.

OpenAI is a non-profit, so, no material benefit to him (at face value, I don't believe this is the case, though).
Fair point but a footnote given the amount of fall-out, that's on them and they'll have to retract that. Effectively they already did.
No, it's definitely not because of marketing. SML is more of a dead language than most lisps. SML is used because it has a strong type checker, which is much more conducive to learning, and just having resilient programs in general.
>It does not seem like his profile

He did exactly that at Y combinator, and he was the ringmaker in turning OpenAI for profit and becoming head of the company. This seems exactly like his profile actually.
Regardless of what anyone thinks about it - M$ was going to pay an entity they did not control 18 Billion to be a player. Now they don't have to - they get it almost for nothing. Hat's off to M$ - this is certainly one of the largest corporate missteps by a board in charge of such hot technology that I have ever witnessed.

The Open AI board has taken the keys of Paradise and willingly handed them directly to the devil;)
Wow. That would be delicious for Microsoft...
> Did you even read the article?

Of course. I also clicked through and looked at his examples, did you?

> The author and the GitHub links mentioned provide some examples that use setenv() not directly, but transitively.

The big list at the end of the article? That's absolutely not true: they're all read only usecases that prove my point. Nobody should be changing any of those in the middle of the program. If you disagree, please point out specifically which one and explain why, because I don't see it.
All the WSJ article claimed was that MSFT had access to OpenAI code and weights. Chances are they don't actually have the right to fork GPT-X.
They are utterly delusional if they think they will be board members of OpenAI in the future unless they plan to ride it down the drain and if they do that they are in very, very hot water.
you're a meme. do you "see" why artists are mad?

it's quite simple. artists offer to make their art for a price, as a 'service'. then, something comes in, that pirated their previous works, and offers to make imagery in that art style for free (or at a low low price), undercutting and displacing that artist.

really it's a 'yet another spin on piracy'. cause that's just the 'services' part, besides the 'selling works/artwork' which has long been rife with piracy, but the 'pirating what's been offered as a service' thing is new. piracy expanding into 'services' field as well. services (particularly those that rely on someone specifically taking their time to do something, and not just 'press button, service gets performed unattended') are scarce. there's only so many hours and so much time in one's life.
Someone must have formulated a law that says something like the following:

"Given sufficient visibility, all people involved in a business dispute will look sad and pathetic."
There are three of them, and Ilya...
Why be a sexist dick about it? Is she not her own person with her own credentials? She can fail on her own terms just fine it seems.
I wonder if they are realising that their reputation is damaged beyond repair. Their old friends have a hard time accepting that those people may not be the ones they think they are.
How to (Not) Use OAuth Scopes for Authorization
My complaint with FP:
Sometimes I just want to do something silly, like adding a log somewhere.
If I choose to add said side effect, now all my functions are marked with an io signature (so there might be _other_, nastier side effects hiding there as well - mainly an issue if you have multiple people contributing to the same project).
If I don't add the side effect, and choose to refactor multiple layers of code, I will need to make all my functions return multiple values and later fold over all the accumulated strings and... life is too short for that.
The principles really resonate with me, but maybe we are limited by the current tooling, because the development experience is quite clunky in its current stage.
There’s a LOT that goes into picking board members outside of competency and whether you actually want them there. They’re likely there for political reasons and Sam didn’t care because he didn’t see it impacting him at all, until they got stupid and thought they actually held any leverage at all
As per my understanding AGI is general intelligence that can replace and outsmart humans in so many roles.
Wikipedia is mostly written by its users though. Wikimedia is just a glorified site host, if it went rouge the encyclopedia could simply be forked and hosted elsewhere. Microsoft has the right to build on the GPT trained models but others do not, they'd have to start from scratch.
It's not. Delta shows me that there is 1 seat available at this price.

Here are the screenshots: https://imgur.com/a/X923fSo
That's fair lol
But not every permutation.
>However it is only a matter of time before the radio cannot be fully disabled for some reason or another (oh we just turn on the radio to get guaranteed network time as part of our Trusted Cloud Experience that we secure you with!). Once that ship sails the devices will no longer be owned by the users and cannot be trusted.

Couldn't this same concern apply to Wi-Fi chips? I fail to see how cellular would change much here. If any company (Apple or anyone else) wanted to do something nefarious like this, they could already do it today.
Sama: Top priority remains that OpenAI continues to thrive
Connections at that level don't mean a lot because sitting on the same philanthropy boards is a form of networking, it'd be like finding them on the same Discord server, in terms of significance and the number of links you could make that way.
The Mythical Man Month is great. What makes it great, is that it circles around how important everything but code is, in any professional software development progression.

I would argue that it should be the bible for every manager that are managing engineers. They should study it thoroughly and all the literature it touches and mentions.

The best book I have read on software development by far.
> "Given sufficient visibility, all people involved in a business dispute will look sad and pathetic."

"involved in a business dispute" is superfluous here, its just a reason that visibility happens.
What makes you think all Bezos thinks "Net worth = Score"? What if he simply wants to build the best e-commerence/cloud conglomerate there is, and that happens to coincide with amazon share prices going up? After all, the better job he does at running amazon, the more investors will value it.
Feels like OpenAI employees aren't so enthused about joining MSFT here, no?
My simple take would be the credits for GPT-3.5/GPT-4/GPT-5. The key engineers were part of those that have seemingly moved to Microsoft. I personally think Ilya is brilliant. I absolutely don't think he's the _sole_ brilliant mind behind OpenAI. He wasn't even one of the founders. He's a very brilliant and powerful mind and likely will be critical in the breakthroughs that lead to AGI. That said, AGI feels like one of those "way off in the distance ideas" that might be 5,10, or 100 years away. I tend to think that GPT-x is several orders of magnitude from AGI and this drama was silly and unneeded. GPT-5/6/7/8 aren't likely to destroy the world.
Boards that I have been on do not allow board members to remove other board members - only shareholders can remove board members. I don't know why this is being downvoted.
Since this whole saga is so unbelievable: what if... board member Tasha McCauley's husband Joseph Gordon-Levitt orchestrated the whole board coup behind the scenes so he could direct and/or star in the Hollywood adaptation?
They can sell OpenAI to microsoft for 20 billion, fill the board with spouses and grandparents, then use 10 billion for salaries, 9 for acquisitions and 1 for building OpenAi2.

Mozilla wastes money on investments while ignoring firefox and nobody did anything to the board.

Oh and those 3 can vote that Ilya out too.
The big problem with self-driving cars is that too many people are letting their imaginations run away.

This actively hurts funding when promises fail!

Who's going to want to invest in self-driving cars when their "full self driving" Tesla that they bought 5 years ago will never be "full self driving" while they own it?

Who's going to believe the promise that self-driving-cars are safer when Cruise's and Uber's cars hit passengers? It's clear that their cars weren't refined as much as their leadership believed.

Self-driving cars are a problem that might take another decade or two to perfect; so acting like they are going to come out in the next few years is counter-productive.
Beautiful, thanks for sharing
It is literally the definition of a dark pattern lmao

whenver dark patterns come up, and people defend them, i always wonder to myself "who do you work for"
>Twenty years ago there were no electric cars

But there were electric cars before the model T.
https://archive.ph/2kmB3
Do they face any real consequences?
Do you use an Apple mouse? It's not like you are frequently charging. Just plug it in while you go get a coffee or lunch and you are good for weeks. It displays a low charge warning in the menubar to alert you.

I found having to always keep a supply of batteries at hand was more inconvenient than just plugging in the mouse once in a while.
Amazon at least wants to be also making money renting out H100-H200 instances in AWS so they may be intentionally only using some of their hardware for themselves.
Imagine being in the mid-1990s, Windows 3.x is what most people use on the PC, Windows 95 is around the corner.

Here is a full workstation graphical OS, programmed in a memory safe systems programming language, with automatic memory management.

The language is compiled to native code, originally, eventually the system will evolve to a mixed AOT/JIT workflow.

The OS is heavily based on the ideas from Xerox PARC, primarly in Mesa/Cedar[0][1], and brings them into the normal PCs, specially with Native Oberon.

A mix of dynamic loading, REPL and mouse commands, gives an experience similar to Lisp Machines/Smalltalk (like in Cedar).

Basically any public symbol from a module, can be called from the shell, or via the mouse, and act upon selected text, selected window, widget or take additional input.

When modules are changed and reloaded this affects the whole OS, similar to those Xerox environments.

Rob Pike actually became quite a fan, hence with Rio and ACME in Plan 9 are heavily influenced by how Oberon (the OS works), and also carried into Inferno/Limbo afterwards.

All of this when outside Xerox PARC and ETHZ, almost everyone was discussing about writing OSes in C (with exception of Apple and Object Pascal, later C++).

The closest you would get to it today, is how Powershell alongside .NET and COM permeate Windows, and even that fails short as that is only userspace.

This is why many of us relate so much to Oberon, even if it doesn't make sense in 2023, an alternative universe of systems programming in GC based languages, coupled with a Lisp Machines/Smalltalk like experience.

[0] - https://www.computerhistory.org/revolution/input-output/14/3...

[1] - https://www.youtube.com/watch?v=z_dt7NG38V4
I think I've reached peak media saturation for this event. I've been furiously clicking every link for days, but upon reading this one I felt a little bit of apathy/disgust building inside of me.

Time to go be productive with some exercise and coding. Touch grass a little. See where things end up in a day or two.

It's been fun though. So much unexpected drama.
Given the general lack of useful communication, it would be funny if Sam Altman returns to OpenAI at the same time all the employees are quitting. ;)
Well, yes, if there are no type annotations because all types are inferred, you don't see the effect "types".

https://www.roc-lang.org/tutorial#tasks
http://archive.today/NDN23
AGI is unforseen it might even think humans are the force behind the warming, which they are.

Other animals don't pollute like humans.
No, but it also shows that those who supposedly care about AI alignment and whatnot, care more about money. Which is why AI alignment is becoming an oxymoron.
Flair is a discount airline (not WestJet discount, more like Spirit Airlines or Frontier or some "ultra low cost carrier", I doubt their passenger revenue is more then peanuts a flight, if they even make anything at all), it's basically like going to the discount grocery store in a poor neighborhood and wondering why your $20 brand of parmesan cheese is not available?

It's not like they hide the fact they are a discount airline and you need to accept there will be inconveniences for such discounted prices.
Cofounding a company is in a lot of ways like marriage.

It's not easy, or wise, to rewind the clock after your spouse backstabbed you in the middle of the night. Why would they?
Personally, this is the only thing so far that makes sense to me in the middle of all this mess. But who knows…
I think it’s overly simplistic to make blanket statements like this unless you’re on the bleeding edge of the work in this industry and have some sort of insight that literally no one else does.
But you will have people who built the models and systems. It will take time, but replication will be done eventually and weights will be obtained through training easily.
Accurate OCR that answers questions from source documents? Yes... very innovative. As an example, I have a real estate data company that provides zoning code analysis. Whereas before I would have to manually transcribe tables (they come in many different formats, with table columns and rows that have no standard structure), I can now tell GPT.... Examine these images and output in my custom XML format after giving it some examples. And ... it does. I've fed it incredibly obtuse codes that took me ages to parse through, and it... does it. I'm talking about people using non-standard notation. Handwritten codes, anything. It'll crunch it

tell me... how much would it cost to develop a system that did this with pre-GPT OCR technologies? I know the answer. Do you?
> Well after midnight on Monday, another user joked that they wanted the “entertainment to stop” so they could finally get some sleep. “Same,” Musk replied, along with a crying-while-laughing emoji—an icon he used at least seven other times in response to posts about the company.

Peak journalism.
So what does their data say about the cost of a house in 2019 vs today? The cost of a vehicle in 2019 vs today? it could just be the BLS not fully capturing inflation
Not a bad set of guidelines, but I think a bit more nuance is worthwhile.

If you only care about price, Southwest isn't a bad choice. But the cost may be in significantly increased travel time. E.g. if you live in the PNW, start with Alaska first, then try Southwest, because Alaska will probably have better direct flight options.

And seat selection... don't bother with it is fine if you're traveling alone. But if you're going on a family trip, this kind of detail is actually important.

Otherwise generally agree. Definitely bring your own food.

Also, if you do fly Alaska, always take your luggage as a carry-on if is plausible. Don't pay up front, because at the gate they'll offer to check it at no charge when the flight is pretty full.
An Airflow for Gophers?
Whose morals again?
Gogh – Color Scheme for Terminals
@dang has said before that when the site is busy the best way to help is to logout.
Yes, this is the exact thing they did to Stacker years ago. License the tech, get the source, create a new product, destroy Stacker, pay out a pittance and then buy the corpse. I was always amazed they couldn't pull that off with Citrix.
What? The owner of Quora is even worse. Literally one of the worst sites on the web and he's on the board somehow.
The driving tests in the US are a joke, IMO.
This is Haskell-specific, it sounds like. I agree, the IO monad is really quite inconvenient sometimes.

I work in OCaml, which is also a functional language, but prints can be added in single lines. I address this point in Lecture 19 (Imperative Programming), actually, but my perspective is -- we invented immutability and purity to serve us, but we need not be fanatically beholden to it. In my opinion, I think Haskell goes in that direction, when every usage of IO now needs the IO monad to get involved.

A little mutability is OK. Functional programming is about the avoidance of side effects, more than simply forbidding it.
I thought climate change was about the environment. Now it's a social justice tool.
As a professional who uses F# every day, I appreciate this answer, even though it concerns me. Separating concepts from practical details is worthwhile, but can be taken too far. I think the FP community probably focuses a bit too much on theory. I would encourage you to consider teaching a more practical language, like F#, in the future.
Unlike the Islamic countries that live eternally peacefully with their neighbors I guess..not slaughtering each other like barbarians.
They're quitting in order to continue work on that IP at Microsoft (which has a right over OpenAI's IP so far), not to destroy it.

Also when I said "cooking AGI" I didn't mean an actual superintelligent being ready to take over the world, I mean just research that seems promising, if in early stages, but enough to seem potentially very valuable.
Sam Altman: top priority remains to ensure OpenAI continues to thrive
I don't think so, MSR is more like OpenAI, a research think tank. MSR doesn't create products, they create concepts. I think Sam wants to create products. I think it would also be a difference in velocity to market.
I honestly wish Windows Phone had stuck around. I didn't particularly like the OS (too much like Win8), but it would at least be a viable alternative to the Apple-Google duopoly.
This is getting a bit ridiculous, soap opera style.
The last person to hold out will have all the power
My layperson impression is that biological brains do online retraining in real time, which is not done with the current crop of models. Given that even this much required months of GPU time I'm not optimistic we'll match the functionality (let alone the end result) anytime soon.
"few important people"? 95% of the company went with Altman. That's a popular vote if I have ever seen one..

Nokia was completely different, I doubt any of their regular employees supported Elop.
I love hnrss and nearly all feeds work, but I think "best comments" might not be since it's empty:

https://hnrss.org/bestcomments

Or maybe no recent comments meet the criteria :D
Very funny … would have preferred … physicists think they are mathematicians, mathematicians think they are Gods, God thinks: what kind of idiots have I created?
Why do they need 12 months. Does it need 12 months of training
I'm baffled by the idea that a bunch of people who have a massive personal financial stake in the company, who were hired more for their ability than alignment, being against a move that potentially (potentially) threatens their stake and are willing to move to Microsoft, of all places, must necessarily be in the right.

The hubris, indeed.
But you are aware, there are anarchocapitalists that would allow selling children? So even if that quote is wrong(so far I have not found the original radio interview confirming or negating it), it is not a weird question(especially given his other statements). And the answer could just be "no". No narrative painting in my point of view. But I lack the original transcript.