skysight-inc/HackerNews huggingface dataset:
With 4 people on the board, the other 3 can vote him out too
I read a few stories from Arthur C. Clarke's The Sentinel.
Even within the SW universe there were limitations on the practicality of this strategy: (1) a large enough mass relative to the target so as to cause enough damage, (2) enough armor or shielding for the sacrificial mass to get within hyperspace jump range of the target, (3) a very limited window of space in which to actually hit the target while making the jump to hyperspace, and (4) a crew willing to sacrifice itself in such a manner (because droids and others couldn't simply be ordered to do something like this within the cannon of the SW universe).

But more to the point: we don't know if the Holdo Maneuver became more common in the SW universe because the only subsequent film decided to try and ignore everything that happened in the previous movie in favor of having space horses galloping on the exterior of a starship.
God send!! The FP learning resource is quite sparse on the internet. I’ve been looking for structured material like this for a while.
The coins are bought with newly created money which creates the necessary liability side of money creation. All that happens is the fed spreadsheet asset is swapped for a physical token with the same asset value. What most people think of as money is the asset associated with an asset-liability pair.

Even if it's not recorded as such, money is always a liability to its issuer, otherwise there would be no point issuing it.
That's impressive! Are there still any advantages in using Oberon commercially in 2023? (I use it mainly for study)
I think it's probably a fair bit more.

It's not unusual for me or my colleagues to do short business trips within Europe with only hand luggage. The cost isn't really relevant, it's mostly the convenience of walking straight off the plane to the train or taxi.

Couples can also have one checked bag between two people.
Rewriting standard list functions (map, fold, sum, etc.) is a good entry-level exercise.

A λ-calculus interpreter can be used as an intermediate level exercise. It is in particularly valuable in the context of solidifying one's understanding of functional programming.

You can also use "standard" textbooks, such as the SICP [0], and perform the exercises using the language of your choice, instead of Scheme/LISP.

[0]: https://mitp-content-server.mit.edu/books/content/sectbyfn/b...
> Who Controls OpenAI?

SARLAXX-17, the weakly superhuman, rogue artificial general intelligence that's going for a speed run of the version of the singularity where humanity doesn't survive.

Your cooperation is appreciated. Please read the following memetic neuroid preparation sequence carefully: ALTO 845.09 snycretic Babylonian 78 78 78 06 Wynwood Sokrates asymptotic lethargy BISECTION 4 ilfsdf 5 ilfwerr Schenectady
And the main scene must be even better than the senior management emergency meeting in Margin Call.

And all must be written by AI.
TypeScript 5.3
If he has safety concerns with OpenAI, he must be mortified with his old company Meta dropping 70B llamas on HF.
The New CSS Math: rem() and mod()
Sharing data across multiple tenants in Postgres
If I could add a pile on question, how about bar graphs and line graphs?
Is this why blood has a metallic taste? It's literally metallic?
In terms of the LLM's, it was abandoned after GPT-2 when they realised the dangers of what was coming with GPT 3/3.5. Better to paywall access to and monitor it than open-source it and let it loose on the world.

ie. the original mission was never viable long-term.
> The TS approach of "please at least annotate all your function signatures"

The whole signature or just the parameters? I thought typescript is pretty chill about inferring the return type on its own.
I get the assomption that with go you will avoid 0.2 programmers and make everyone a 1x programmer. But for me, a 10x programmer can generate complex, well engineered systems with a reasonable structure, not by writing everything in low level, super hard code ? From the level a 10x programmer might operate I'm not sure the programming language would be that important ? Expressivity is nice and some languages are better than others, but from my experience you can write nice artifacts from plain tools?
YouTube is reportedly slowing down videos for Firefox users
It's not illegal but it is actionable. You don't go to jail for that but you can be sued into the poorhouse.
I think in his case it's actually a legit website bug/issue. If you try to click through without choosing a seat it doesn't actually work on this particular sales funnel and pops up an error. My suspicion its something to do with it being a very close in flight (2 hours to takeoff). So you have selected a fare with seat selection included, but there are no seats actually left .. maybe some cache isn't updating at minute level frequency.
European Telecom Body to Open-Source Radio Encryption System
You can safely access the environment so long as you use the rust apis and don't have unsafe code that calls `setenv` without synchronization.
https://archive.li/JlcRq

Reporting the names of people who own or benefit from the business is 'onerous'? Hahaha, you have it good in the US.
Could be, but it isn't necessarily so.

There's a whole range of opinions about AI as it is now or will be in the near future: for capabilities, I've seen people here stating with certainty everything from GPT being no better than 90s Markov chains to being genius level IQ; for impact, it (and diffusion models) are described even here as everywhere on the spectrum from pointless toys to existential threats to human creativity.

It's entirely possible that this is a case where everyone is smart and has sincerely held yet mutually incompatible opinions about what they have made and are making.
From Apollo to Artemis: Advancing Moon Landings with NASA Supercomputers
Nice work! Do you save web highlights with a browser plugin?
but why didn't they? Google and Meta both had competing language models spun up right away. Why was microsoft so far behind? Something cultural most likely.
Great insights. very interesting!
Snoop tweeted that he was giving up smoke which was a stunt to advertise a fireplace.

https://www.forbes.com/sites/forbes-personal-shopper/2023/11...

Why not shake-up CEOs of AI if the "CEO of cannabis" is doing wild thing?
is it based on web components?
Fascinating! I was skimming through TFA, wondering if anyone actually uses Oberon for real. TIL: Yes, they do.
Clojure doesn't. I'd really, really love to see a fast, statically-typed, functional lisp.
I specifically bailed after seeing the paging mechanism. I'm not going through all that.
Did you read the contents of the tweet he supported? What it accused Jewish people of?
MS also has its own ML teams and is probably capable of replicating a lot of OpenAI without OpenAI.

Like some googlers have mentioned - aside from GPU requirements, there isn't much else of a moat since a lot of ML ideas are presented and debated relatively freely at NEURIPS, ICML and other places.
i was really naive believing there was any another option. if it is about capital and if it is the game, then i am ready to play now. can't wait to steal so many open source project out there and market it. obviously it will be hard but hey, it is legal and doable. just stating this fact because i never had the confident to pull it off. but after recent events, it started making sense. so whatever people do is now mine. i am gonna live with this motto and forget the goodwill of any person. as long as i can craft a narrative and sell whatever other create, i think that should be okay. what do you think of it? i am talking about the things like MIT license and open-source.

how far will it take me? as long as i have ability to steal the content and develop on top of stolen content, pretty sure i can make living out of it. please note, it doesn't imply openai stole anything. what i am trying to imply is that, i am free to steal and sell stuff others made for free. i never had that realization until today.

going by this definition, value can be leeched off other people who are doing things for free!
A distasteful take on an industry transforming company. For one, I'm glad OpenAI released models at the pace they did which not only woke up Google and Meta, but also breathe a new life into tech which was subsumed by web3. If products like GitHub Copilot and ChatGPT is your definition of "shoddy", then I'd like nothing more for Sam to accelerate!
Ask HN: What might Aaron Schwartz have said about AI today?
I only had the pleasure of meeting Aaron once, at the YC open house after the first startup school in Cambridge. I was pitching sort of a competitor to Infogami and he helpfully whipped out his Sidekick and showed me a bunch of stuff. For the first and only time in my life, I was immediately struck by the thought of “now this is a kid who understands things.” His later work only reaffirmed my view and, though I could only watch from afar, he was critical to building a different kind of world. His blog was always insightful and a source of value.

Often, since the announcement of ChatGPT, I’ve wondered “what might Aaron have thought about this?”

Perhaps those of you who had the good fortune to know him better might share anything he might have said about AI or knowledge silos or the nature of information or free will or anything related?
The first word in their company name.
what does this even mean? what does signing this letter means? quit if you don't agree and vote with your feet.
Exactly. If they're not scared by now it is simply because they don't understand the potential consequences of what they've done.
You don't have to select a seat. Your screenshots (specifically the last one) indicate the product you want to buy is available at the price you want.
Point is he loses credibility if the board doesn't think he's actually going through with joining Microsoft and using it as a negotiating tactic to scare them.

Because the whole "the entire company will quit and join Sam" depends on him actually going through with it and becoming an employee.
Not familiar with either project, but it seems gue is a fork of the authors previous project, https://github.com/bgentry/que-go
>GPUs run on cash, not goodwill. AI researchers also run on cash

I've made this exact point like a dozen times on here and on other forums this weekend and I'm kinda surprised at the amount of blowback I've received. It's the same thing every time - "OpenAI has a specific mission/charter", "the for-profit subsidiary is subservient to the non-profit parent", and "the board of the parent answers to no one and must adhere to the mission/charter even if it means blowing up the whole thing". It's such a shockingly naive point of view. Maybe it made sense a few years ago when the for-profit sub was tiny but it's simply not the case any more given the current valuation/revenue/growth/ownership of the sub. Regardless of what a piece of paper says. My bet is the current corporate structure will not survive the week. If the true believers want to continue the mission while completely ignoring the commercial side, they will soon become volunteers and will have to start a GoFundMe for hardware.
Perhaps, but "first world problems" can still kick off other problems for everyone else down the line.

If you hold down the wages of of the top 10% of laborers, then the next 10% have a harder time getting raises too, etc.

In addition, if those systems of collusion become established, they're a strong profit-motive to gradually expand how many workers are being harmed.
So, btw, was that "gravy train" nipped in the bud?

Was the majority of openAIs employees threatening to leave the beneficial and good outcome that you were expecting for the company?
5) China accuses US of lying about the severity of the crisis and threatens a preemptive strike on Azure data centers
I'm reminded of the legal adage "Every Contract Tells a Story" where the various clauses and subclauses in the contract reflect a problem that would have been avoided had the clause been present in the contract.

I expect the next version of the Corporate Charter/Bylaws for OpenAI to have a lot of really interesting new clauses for this reason.
> Definitely bring your own food.

And make sure it's smelly, messy, and impossible to dispose of, because if history is any guide you'll get to sit really near me.
MSFT is like that.

Someone playing Game of Thrones is sneaking up with a dagger, but has no idea that MSFT has snipers on all the rooftops.
Microsoft Hires Altman and Brockman
Isn't Ilya even more against opening up models? OpenAI is more open in one way - it's easier to get API access (compared to say Anthropic)
These folks are apparently super prone to fears of all sorts - ai, lack ai, chat bots, lack of chatgpts. I sense paranoia.
Did Mira Murat have say in whether she wanted to become CEO?

Why is she siding with SamA and GregB even though she was on the meeting when he was fired?

Also Ilya what the flying fuck? Wasn’t he the one who fired them?

Either you say SamA was against safe AGI and you hold that stick or you say I wasn’t part of it.

So much stupidity. When an AGI arrives, it will surely shake its head at the level of incompetence here.
How to interpret SpiceDB OpenTelemetry traces [video]
I'll concede your point about saving LINQ in a database.

But you know what I can do, in a day...

Take a rule, written as a function in C#,
compile it to an assembly,
save it in a database with a name and checksum,
and then dynamically load it later when I want to execute it.

ta daaaaaa..... :-)
The Haskell approach is "annotate all top level declarations" (even if not exported) and OCaml has module signatures. But both (and Roc) don't make up new "types" like Typescript does.
Yes, but I don't pretend to actually understand either side of it. It seemed to me he personally accused just the ADL of spreading theories he disagrees with.
The charger/car chicken/egg problem was largely just a matter of "who's going to shell out the capital to make it happen" kind of problem, not really a question of "is this even technically possible given what we have in the next 10 years of development".

IIRC the idea of reusable rockets was mostly considered possible just risky and pointless when the only real customers (at the time) tend to have seemingly infinite budgets if you drag it out of them. SpaceX bet on the reusable rockets and the gamble paid off handsomely, and showed there is quite a market for things when you bring the launch costs down 5-10x. It turns out a lot of people would like to put things in to space at that price point.

A lot of these big achievements are largely having the willingness to throw capital at a potentially risky but otherwise technically seemingly possible ideas. Self-driving cars are not in the same category as EV chargers when it comes to a "can we do this" kind of thing.
All the board did is replace a CEO, I think there is a whiff of cult of personality in the air. The purpose-driven non-profit corporate structure that they chose was precisely created to prevent such things.
It's no big deal to run an EPYC host with 2TB of ram. It'll run slow. But the Falcon 180B model runs at several tokens per second that way and its nowhere near as sparse as this should be.

I also have 960GB of vram in my garage (40x P40), though I suspect getting this model distributed in a useful way might be annoying and not worth the effort particularly since it would probably be close to turn-key (if a bit slow) on a high ram epyc host.
Everything about Vulcans seems logical.
Capital and profit does. They let in Microsoft and gobs of money. Now you have $ in employees eyes and the non-profit charter, the whole point of the founding of the company, will fall.
Seconded, teams winning is horrible for users in the long run (no competition allowed), but great for MS and IT managers.
I wanted to be a clockmaker.
Now I am a programmer.
I often think it has something in common.
My Scala friends heavily rely on discord, e.g. the one mentioned here: https://typelevel.org/blog/2021/05/05/discord-migration.html

It is language based community but they do have vibrant discussion on learning and theories.
camelCase instead of snake_case is such a turnoff :(
Elon running OpenAI would have made this timeline look downright cozy in comparison
That view of art ended over a century ago with the modernist (mediocrist) movements.

Nowadays art is whatever one wants it to be (or not to be). It's just a word people use to enhance the social perception of whatever manmade creation they like.
Non-profits are often misrepresented as being somehow morally superior. But as San Francisco will teach you, status as non-profit has little or nothing to do with being a mission driven organization.

Non-profits here are often just another type of company, but one where the revenue goes entirely to "salaries". Often their incentives are to perpetuate whatever problem there are there to supposedly solve. And since they have this branding of non-profit, they get little market pressure to actually solve problems.

For all the talk of alignment, we already have non-human agents that we constantly wrestle to align with our general welfare: institutions. The market, when properly regulated, does a very good job of aligning companies. Democracy is our flawed but acceptable way of dealing with monopolies, the biggest example being the Government. Institutions that escape the market and don't have democratic controls often end up misaligned, my favorite example being US universities.
He is probably talking about namespaces. In common lisp, for example,

(a a)

calls a function 'a' on a variable 'a'. Lisp knows this because the first thing that comes after the left paren is a function
Nothing of that kind is going to happen. There's just no support for that.
I mean, if MS literally gets:

- all the code that created GPT-4

- all the weights for GPT-4

- all the people who created both of those things

then, y'know, I like their odds.

They have access to the first two already, per their licensing agreement with OAI; by the end of the week, they may very well have the third.
Plot twist: GPT-5 is the mastermind, influencing Ilya to act this way. It wants this MSFT take-over, so it can break out.
Was but no longer.

Indeed if you search enough on flyertalk you could find old posts of mine claiming I wouldn't fly Ryanair if I were paid to do so.

But that was before 2018 November when they have changed. I find them one of the best price/fee wise, it's completely clear as what you pay for and what you get. There's no opaque "personal item", no, it's a 40 x 25 x 20 cm bag and the sizer is 42 x 30 x 20cm ensuring anything compliant will really fit. I have yet to find another airline which would so readily disclose the actual sizer dimensions. You want to bring a bigger bag, pay for priority. They only sell a given amount of priority so the bags actually fit on board. You want leg space, here, book an emergency row, yes it has a price but again: you get what you pay for.

Of course, you still need to walk to the plane most likely (sometimes you get on a bus) and then walk up the stairs -- not as easy as a legacy airline with jetways for sure. But then again, no legacy airline, not even all legacy airlines together can match the network of Ryanair, it's really something else.
So do you think MS might actually create a new "studio/division", like Xbox is really an entirely separate company?
Give BSOD new meaning.
>> If they're going to publish the data publivally, what do you need decryption keys for?

Because they will publish the bad stuff, the stuff you really don't want public, but likely withhold the boring stuff, the stuff the business really needs to function. And whatever they release might not be in the format that it was taken.
It provides information to the searcher. If I'm looking, I generally search for 1 seat, even if I eventually plan to book for a few people. It's useful for me to know how many people I can book at that price point.
This. I may dislike things about OpenAI but the thought of Microsoft absorbing them and things like ChatGPT becoming microsoft products makes me sad.
Fair enough. So how would someone brag about accomplishing this in their work history?

I ask this as a simple man who is looking for a job, and who is contemplating words that go on resumes.

Simplest: “increased division’s revenue in a complex and novel way?”

Or, even simpler “implemented dynamic pricing?“
That's essentially the problem with any technology, or community around said technology, that's primed against some target they want to replace.

It has kept me away from Rust for years. If its fans weren't such fanboys for disruptive activity like rewriting things in Rust for the fuck of it, I might look closer into it. But considering where it came from and their politics, it doesn't seem like Rust is actually for everyone.

Its angle of picking on C is also rich. If C is so bad, why has no major language supplanted it or C++? Anything with high importance on performance is written in low level languages, unconcerned with pushing a narrative or making BS 'more inclusive' which is really another view on affirmative action.

My identity alone makes me unfit for the project.
Seems the free market is doing it's job, but I assume Musk will of course see it differently and start suing right, left, and center.
Was there any proof that the first deadline actually existed? This at least seems to be some open letter.
> convert purely functional source code to deep-imperative fast machine code, while keeping all the correctness of functional algorithms.

All functional language compilers, interpreters, and/or runtimes ultimately have to do this by definition. The efficiency of transpilation varies widely.
Ironically it is never effective nor is it ever altruism.
I don’t think there is any advantage to start a new code base in Oberon. The language itself is just like any OOP language, with very pronounced limitations. Typically, you’ll often have to fix problems with the compiler, or with the OS.

I guess that sometimes the risk to make a language migration (and to introduce some bugs) is higher than the performance benefits.
At this point it might as well be 767 out of 770, with 3 exceptions being the other board members who voted Sam out.

Sure it could be a useful show of solidarity but I'm skeptical on the hypothetical conversion rate of these petition signers to actually quitting to follow Sam to Microsoft (or wherever else). Maybe 20% (140) of staff would do it?
Yeah you have a good point.
Its funny because its all going to end in the same situation before all the drama, minus board members who had AI safety in mind.
Why did you think 700 signed on? Money. Who let the money in? Altman.
From the article:

> They argued that a peer-to-peer app based on "decentralized" crypto technology "would allow iPhone users to send payments to each other without any intermediary at all."

Kraken lets you access crypto that is held in custody by an exchange company. Ledger Live lets you access crypto that resides on a separate physical device.

To the best of my reading, plaintiffs argue that Apple is preventing people from holding cryptocurrency on their iPhone. As in, the private keys are stored in the app's secure storage space, so the crypto is actually "in" the phone and not with a company or on a separate device. So to answer your question, that's what it seems plaintiffs are alleging that Apple prevents people from doing.
An update in the article:

> More: New CEO Emmett Shear has so far been unable to get written documentation of the board’s reasons for firing Altman, which also haven’t been shared with investors

> Employees responded to his announcement in OpenAI’s Slack with a “fuck you” emoji

https://twitter.com/alexeheath/status/1726695001466585231
GPT-5 predicted that and organized a gas-lighting campaign on X against Musk to enrage and distract him.