skysight-inc/HackerNews huggingface dataset:
Yes, that’s exactly how you do it. That’s the exact process I everyone uses to find someone on facebook. Since you supposedly are in regular contact with these people, you can even ask them, “Is this you?” if for some reason you can’t identify their profile.

This is literally how everyone finds anyone on Facebook and every other social network.
Finding out about how, in a programming language with dependent types, types can be returned from functions like values, feels about the same way as when I learned functions can be returned as first-class values in functional programming. It went from "wait, what?" to "of course, why wouldn't you be allowed to do that?" From seeming confusing to seeming perfectly natural, leaving you more confused of its abscence than its presence. Though admittedly, I don't have much experience with using dependent types seriously.

This property of dependent types:

> In fact, if you don't mind writing a proof or two, our sprintf function can be called on format strings that aren't fully known at compile-time! You only need to be able to prove that the string will have certain format specifiers, and then calling sprintf can typecheck.

It's not new to me, but I also find it pretty cool. Proving things at compile-time that certain runtime conditions will hold using a programming language is so much cooler than just proving it to yourself in your head or on paper, and then doing a runtime assertion in the actual code. Or, not doing a check at all, and just having crashes or security vulnerabilities if you're mistaken.
Speculating, it's probably pretty bad if they're paying this much.
Fedora does this with a series of supported desktops, using ostree under the hood: https://fedoraproject.org/atomic-desktops/

It supports using OCI (Docker) images as a base system. I've been running the KDE Spin, Kinoite, on my desktop and laptop recently and I'm really happy with it.
Ilya will literally have a blank check from almost all the VC's in the industry.
That particular sample was shown to have been a fake last year when multiple purported hair samples were compared.
There's a few intersections like that here in Dublin.

But they aren't marked. So what sometimes happens is I cruise up on a bike, in the middle of the road because none of those have bike lanes.. and the bike, naturally, never triggers the lights. Neither does the car behind me.
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode
Kodak failed because their CEO refused to go down the digital route. How is that comparable?
>Should it not be "broadcom fusion" now?

Given Broadcom's actions they need to rename it to "Broadcom fission" :-P
> Pro: "our best model for general performance" (available in API preview today, GA in June)

Is there a reference for the June date? (Looking for the GA date, and still can't find it...)
More like hustle culture’s “spend more time with the family”
"We talked through and I got to an understanding in a way having read manuals and textbooks didn’t really help before."

You can't have a discussion with a book.
I’m a musician too, and: yep, same. Many of my best songs occurred to me at work, or doing something else, and I grab a napkin or piece of paper and write down the chords and a melody and a few notes so that I can recall the idea later. But I don’t need an instrument in my hands to do this.
Ilya knows how ChatGPT works. Any company that hires him will be able to catch up with ChatGPT.
Will this change which websites get made? Like, why bother writing an informational website if the only entity that ever sees it is an AI scraper?
What do you use to "keep /etc in scm"?
On one hand this kind of rules seem like tacked on, artificial, but on the other hand en passant has been introduced for a good reason and chess would be quite dull without it.
It can't answer the questions without the limericks in the prompt. The benchmark is to establish how well it uses the context window. For example, I just asked it "What is sought by the English top brass?". The answer from the limerick is "Cranberry glass" and 4o answers correctly when given the associated limerick once out of 2500+ limericks.

However, without the limerick, 4o responded with: "The term "English top brass" typically refers to high-ranking officials or leaders within the British government, military, or other institutions. What they seek can vary widely depending on the context and the specific goals of their roles. Here are some general pursuits that might be sought by such individuals:

National Security: Ensuring the safety and security of the United Kingdom from internal and external threats is a primary concern. This involves defense strategies, intelligence operations, and counter-terrorism efforts.

Economic Stability: High-ranking officials often focus on policies and initiatives aimed at maintaining and improving the country’s economic health. This includes managing inflation, unemployment, trade relations, and economic growth.

Political Influence: Top brass often seek to maintain or expand their influence both domestically and internationally. This can involve diplomacy, forming alliances, and participating in international organizations like the United Nations or NATO.

Social Cohesion: Ensuring social stability and addressing issues such as inequality, healthcare, education, and social services are critical. This can involve implementing policies that promote social welfare and cohesion.

Public Policy Implementation: Leaders are responsible for developing and implementing policies that reflect the government’s priorities. This includes legislation, regulatory frameworks, and public administration.

Technological Advancement: Keeping the nation at the forefront of technological innovation is often a priority. This includes investments in research and development, supporting tech industries, and ensuring cybersecurity.

Environmental Sustainability: Addressing climate change and promoting sustainable practices are increasingly important. This includes policies aimed at reducing carbon emissions, protecting natural resources, and transitioning to renewable energy sources.

Cultural and Heritage Preservation: Protecting and promoting the country’s cultural heritage and national identity can also be a focus. This includes supporting the arts, preserving historical sites, and promoting cultural initiatives.

These pursuits are shaped by the current political climate, global trends, and the specific priorities of the leaders in question. Would you like more detailed information on any of these areas?"
Not all of us are as morally bankrupt as that. I personally think I could make tons of money with a dumb AI product in my specific area of expertise, but I don’t see how any tech from today would improve outcomes versus the SOTA that’s not AI, but it would add costs and complexity. I would personally be annoyed if a company I worked at changed its goals to make money rather than something more noble. It’s happened a few times to me, unfortunately.
Plot twist he starts his own AI company
Nah. It’s same platitudes that’s always said when a someone high profile is fired.
Well, if the standard is "A group worked on a style for decades, it changed the field widely, and decades later it is recognized and studied worldwide" then nothing made in the past four years can possibly qualify :P Because random people with and without AI make all kinds of new styles every day. It's only in grand retrospectives that they are declared "A New Movement In The World of ART!"

I don't think it's hard at all for AI to create new styles. Will one of those become a new art movement? We'll have to wait a while for the retrospective.

Meanwhile, I'd recommend reading https://twitter.com/halecar2/status/1731612961465082167

And, checking out https://twitter.com/misterduchamp/status/1785009271010148734
and calls it Actually-Open AI
In (game) Rust, the players can use 4 digit keylocks to secure their bases and brute forcing is indeed a strategy. The lock zaps and eventually kills you but even with that, a determined player can eventually get in.
'Back in May 2023, before Ilya Sutskever started to speak at the event, I sat next to him and told him, “Ilya, I listened to all of your podcast interviews. And unlike Sam Altman, who spread the AI panic all over the place, you sound much more calm, rational, and nuanced. I think you do a really good service to your work, to what you develop, to OpenAI.” He blushed a bit, and said, “Oh, thank you. I appreciate the compliment.”

An hour and a half later, when we finished this talk, I looked at my friend and told her, “I’m taking back every single word that I said to Ilya.”

He freaked the hell out of people there. And we’re talking about AI professionals who work in the biggest AI labs in the Bay area. They were leaving the room, saying, “Holy shit.”

The snapshots above cannot capture the lengthy discussion. The point is that Ilya Sutskever took what you see in the media, the “AGI utopia vs. potential apocalypse” ideology, to the next level. It was traumatizing.'[0]

[0] What Ilya Sutskever Really Wants https://www.aipanic.news/p/what-ilya-sutskever-really-wants
I'd put the end of the golden age a few years past that, but I fully agree with the notion that the point where the game was at its best was long after he was in charge. He created a fun game, but not a game that people would continue to play for decades, and Magic R&D turned it into a game that I had far more fun with than anything he ever envisioned.
This should not have been downvoted. I work with the shipping industry and one of our partners just bought a satellite network.

All commercial ships these days have WiFi and satellite uplink is becoming ubiquitous. The tech we are building depends on low speed, low volume bidirectional data streaming and we haven’t yet found a ship in 2024 that doesn’t have much more bandwidth than we need
Valid point.

That said, guessing the PIN isn't the only attack; longer PINs also means that you have to "spy" more digits, which can be significant if the "spying" method is not 100% reliable.

But yeah. I guess it doesn't matter as long as you have a lockout mechanism.
This is one of my favourite things about Fedora Silverblue and rpm-ostree. If I run `rpm-ostree status`, I get a list of all the packages I’ve installed or removed compared to the base image. Makes it really easy to keep track of what’s different in my system compared to the current default.
Previous answer to this question:

https://news.ycombinator.com/item?id=40361419s
Siri is a piece of hot garbage.
I am strongly considering switching (back) to Android. iOS is certainly nicer, but having a voice assistant that actually works, and actually has access to my gmail + gcal + gdocs could be huge.

Execution is to be seen though...
And probably all of the big tech CEOs are trying to get him on the phone right now.
You will still need the compute resources of Microsoft, Meta etc.

And they have their own people who equally know how LLMs work.

Even raising funds is not a certainty given that VCs are becoming more cautious with AI as they realise it's now a platform fight between the mega corporations.
As a mod to two subreddits?
BLint: Check the security properties, and capabilities in your executables
If you modified something because it got some attention on HN, at least have the guts to own up to it :/
Hmm no, I don't think that's the case, but what exactly is the legal or ethical relevance of it?

You don't generally get to excuse bad behavior because you can make up a hypothetical different person doing the same bad thing in that situation.
DisclosedAI
It could be a PR statement, it could also be genuine. From outside looking in there's no way to know, so I will just pretend this tweet doesn't exist.
Apple doesn't give a shit about iOS?
Most of the VCs have already spent their money in the last couple of years.

So he may have a blank check but not nearly enough to build an OpenAI competitor.

Would love to see him at IBM with full use of their quantum systems.
One of my favorite stories of basically successfully implementing this in practice was this anecdote of teaching linear algebra at Dartmouth in the 90s: https://bentilly.blogspot.com/2009/09/teaching-linear-algebr...
Bizarre that the tower won't ship with the 8-core CPU.
PostgreSQL comes to Firebase
This should really officially be illegal, it's not even whether the content is garbage or not. I'm sure much of human content is also absolutely negative to a discussion. It's about the fact that it's hiding what it is. Not sure if it's at least against Reddit TOS to use AIs to fake discussions, I would think it should obviously be the case.
Not sure how this is handled in Switzerland, and I don't have good data on this, but I'd say a lot of people in Europe have at least a debit and a credit card with a PIN each.

Also nothing says you can't use the same PIN for multiple cards; they're essentially the same security domain anyway ("a piece of plastic in your wallet") — most people don't have "more" and "less" trustworthy cards…
I’m fairly certain Google just has a big stack of these in storage but never released, or the moment someone pulls ahead it’s all hands on deck to make the same thing.
The video shows slightly burned skin on the tip of his finger where he has been touching the "display".
How good or bad is this for OpenAI?
Platforming parties like afd, and politicians like Victor Orban affects the security of Europe. That's specific and concrete.

On the other hand even the ham fisted actions of Boeing trying to build their most complicated airplane with inexperienced workers in an anti-union state isn't spastic and random. They had a plan. It might be a bad plan but it was a plan. Elon just rage deleted a department.
It could be that some people saw holes in the official government narrative and wanted an independent investigation done to get closer to the truth. Do you know of any other independent investigations done on the collapse of this building?
Be careful of vendor lock-in. Especially when it comes to Google.
GitKraken Acquires CodeSee and Launches New, Ubiquitous DevEx Platform
ever heard of AIS, e. g. https://www.marinetraffic.com/en/ais/home/ ?
the large kind also do this in a sense
2 Oct 2023 A woman was hit-and-run by a non-Cruise Nissan car who propelled her into the path of an a vacant Cruise vehicle that then ran her over and dragged her 20 feet more. They were later released from zuckerbergsanfranciscogeneral.org in unknown condition.

https://www.sfchronicle.com/bayarea/article/woman-run-autono...
Sounds like a threat.
A person may become a criminal, but they will never stop being a person. Stop trying to find a way around human rights.
> someone takes it before going on a night out and saves themselves a nasty hangover while getting to party

But if their way of partying is to get drunk, this gel will prevent them from partying, since getting drunk requires the alcohol to get into your bloodstream.
Not according to the reporting
Every single person with kids either wants this, or just doesn't know they want it. That is not a small market. Do you want your kid to have access to your email, saved credentials and saved payment cards? No.
Sure, I prefer Slack to Teams, but I'd take almost anything over Jabber, and Slack was never a real option.
Not all that different of those are just two ways of saying "stole a person's organs".
On one hand this could happen to anyone so it's unfair to pin it on Cruise. OTOH the victim will sue no matter what so I guess this is what insurance is for. There's nothing to learn from this.
At least this is real ePaper and not that previous bull that was trying to pass off monochrome LCD as low-latency ePaper.
I looked into using LISTEN/NOTIFY recently and I must be misunderstanding. How is it different to polling a table? It seemed like it had all the same machinery behind it.
I thought the self selected PIN for filing a return was required for online filing, and that it was just an indicator of intent, like a signature.

Does it serve a security function? Am I supposed to remember what it is?

I know the IRS does have an identity protection PIN process, but that's separate.
I'm fairly sure that the CP/M-86 documentation says that a chained program returns to its caller, not the CCP. And BDOS function 0 with DL=1 will exit while keeping the program resident in memory.

MP/M used PRL files: https://www.seasip.info/Cpm/prl.html
When to Avoid CIAM
The Google I/O conference is today so of course Google announced several things and of course HN is discussing them.
I used to make note of these and run up to push the pedestrian crossing button if there was one.

It is the only way the system will realize you are waiting.
> Ilya is easily one of the greatest minds of our generation ...

> Jakub is also easily one of the greatest minds of our generation ...

Phew, I was worried he'd be irreplaceable or something. Hopefully they've already standardized the comp package.
> Solver3 is a fully backtracking dependency solving algorithm that defers choices to as late as possible. It starts with an empty set of packages, then adds the manually installed packages, and then installs packages automatically as necessary to satisfy the dependencies. [...]

> If you have studied SAT solver design, you’ll find that essentially this is a DPLL solver without pure literal elimination

DPLL algorithm: https://en.wikipedia.org/wiki/DPLL_algorithm
Besides the question of usability, there are at least 3 major problems that come up in the vicinity of linear types (some also apply to ownership in general):

* Do you assume trivial moves? Because that's not a safe assumption. Related, many examples only really work for local variables, and otherwise rely on special language object holders or something, which even if they can also be implemented in user code often break safety elsewhere.

* What, exactly, happens to your objects when a task unwinds?

* What do you do about leaked cycles?

* Inheritance is no longer a simple part of the language. And trust me, you do want inheritance.

It's not that these questions don't have possible answers (a few of which are touched on in the linked article), but there are no easy answers.
> Would love to see him at IBM with full use of their quantum systems.

I’m picturing a Wild Wild West-style mad scientist, creating a steampunk army from old spare parts from Big Blue and rising up to challenge the cyber people.
And just like that, a drawbridge across OAI's moat.
There's a conflation in the South between:

- Temporary civil death limitation on freedoms and rights for conviction of a crime

- Temporary punitive treatment including substandard healthcare, poor sanitation, , lack of climate control, lousy food, solitary confinement, unpaid forced labor, and lack of rehabilitation services.

- Permanent civil death and punitive discrimination in housing, voting, and job applications for the individual (if they were to serve their time and leave alive).

- Lack of professional minimal humanity shown towards the dead inmates' family who aren't necessarily guilty by association.
A few years ago? Probably catastrophic, he was Chief Scientist after all.

Now? Probably not too much, they have enough investment, and additionally talented people wanting to join. I mean, Andrej Karpathy also joined and left OpenAI twice and it didn't impact operations much.

I think OpenAI is now where Google was at or just before its IPO, a few key players leaving isn't going to impact them as much as it would have in its earlier founding days, and there is plenty of talent who are ready to jump in to fill the shoes of anyone who leaves.
Yeah, that's weird. I compared two of their posts and did a wordcount using wc -w, and it showed >1000wpm[0][1], which makes me pretty confident that it can't be a single person at least. What is interesting is the fact that it seems to post correct links, but misrepresents their content on further investigation.

The subs it mods seem kinda suspicious as well though.

0. https://old.reddit.com/r/JoeRogan/comments/1cs05k5/7_minutes...

1. https://old.reddit.com/r/JoeRogan/comments/1cs05k5/7_minutes...
A commercially available tool that can turn still images into depth-conscious panning shots is still tremendously impactful across all sorts of industries, especially tourism and hospitality. I’m really excited to see what this can do.
Most lights around here have three visible coils to prevent this - and even if nothing triggers it they change once every few minutes anyway.
> It's important to dismiss "strong suspicions" from semi-anonymous sources and ask for actual evidence, circumstantial or not

I see plenty of evidence, though no "smoking gun," mentioned on Wiki, including "transcripts of telephone interviews in which hospitals told prospective transplant recipients that they could obtain Falun Gong organs" [1].

> A good way to do that is to cite the conclusions of an "independent tribunal" that no one had heard of, whose only concerns are spreading the consensus about the evils of China and the Chinese, and who are mysteriously funded.

This seems inaccurate considering the statements from from Amnesty International, the U.N. Human Rights Council, etc.

[1] https://en.wikipedia.org/wiki/Kilgour%E2%80%93Matas_report#R...
He used “easily one of the greatest minds of our generation” for two different people in the same message. 100% ai generated
We're in agreement on all these specific niches the iPad is supposed to fill.

On how much it's filling them correctly, outside of people's feelings we only have a few indicators; I'd say this few years' steadily declining sales could be the best summary ?
Nvidia should snatch him.
Shot length, yes - but the scene stays the same. Getting continuity with just prompts seems not yet figured out.

Maybe it's easy, and you feed continuity stills into the prompt. Maybe it's not, and this will always remain just a more advanced storyboarding technique.

But then again, storyboards are always less about details and more about mood, dialog, and framing.
Minnesota Multifamily Market Overview
It was actually extremely complex and sophisticated. Getting accurate measurements was seriously tricky and making sense of them involved doing complex calculations (particularly spherical trigonometry) by hand. Some phenomena, like the precession of the equinoxes, required aggregating observations which had been taken over several centuries.

A good book to get a sense of this complexity is “The Light Ages” by Seb Falk.
Pursuit Makes the Case for Their Innovative Job Training Program
One of my kids friends uses the same pin as I had when he was a kid. I would give him and my kid my debit card and they would go get pizza if they cleaned my office.
It kinda was though. It was Stanford grads living inexpensively due to cheap agriculture land and creating lots of interesting things in a chill mediterranean climate. A way different place with way different motivations and very low stress due to cheap cost of living.
> The documented reason for this is that the target of a symlink can change

The actual reason is that build contexts are implemented as tarballing the current directory, and tarballs don't support symlinks.
Someone has already tried doing that, and it's pretty close:

https://twitter.com/eli_schein/status/1790520139164614820
Altman is the biggest con artist in tech.
Wouldn’t they have had convos weeks ago and this is just making it official?

Sure some people do ‘jump off the burning platform’, but most like to have some alternative options worked out.