skysight-inc/HackerNews huggingface dataset:
as a person who likes airplanes (and airliners in particular,) i think it's cool that a commercially-focused aircraft manufacturer has managed to return to a type of flight that has primarily been relegated to military operations for a very long time

today i am not thinking any further ahead than "wow, they did a really cool thing and made a supersonic test platform for a commercial airliner."

there will be lots of future questions and concerns but we are far off from them, because they are not even close to scaling this up and there are so many gaping holes in the plan that i don't take it seriously at the moment.

i just think the little plane is neat.
He says a lot of things that are untrue... but this... its true. Its why Deepthink makes no diffrence.
Reader died because Google was switching to social media, not because people did.

> It would have been hard to make that product evil.

You can just treat RSS data as content to bring in new users, while building your lock through other means. Sharing, recommendations, algo feeds, commenting, and, eventually, posting. Then apply demands to RSS feeds, leveraging your audience, and lock out new ones.

This is all very easy and the playbook is well understood at this point.
It certainly does sound like Canada. I am one of the lucky ones and do have a family doctor and it is still a minimum of 6 weeks for me to book an appointment to see him.

If I am really in trouble, I can go to his clinic as a drop-in (along with dozens of others) and wait, hoping somebody doesn't show for their appointment.

The state of healthcare in Canada is...bad. really bad. Canada's healthcare system is effectively using long wait times as a form of passive rationing, where delays lead to natural attrition of patients. This is a poor solution to address the per-capita physician shortages by decreasing demand rather than increasing access to care.
there are smaller distillations all the way down to 1.5b parameters. I'm running 7b on my laptop.

https://ollama.com/library/deepseek-r1
The idea is that you give the libraries and APIs as context with your prompt.
I signed up and I really like the custom domain feature, this is really valuable to me, personally :)

I also like the gamification aspect, is there anywhere I can check what are all the badges/achievements I can get (so I know what to target)? If not, any plans to make that visible?
Good to know! IIRC the Round didn't have as high a water resistance rating to begin with, and I typically wear a leather band, so this might not be a deal-breaker for me.
> Not only do people not need hypersonic flight,

We do. It takes me more than 14 hours and two flights to visit my son in Brazil. Even if there was a direct flight, it wouldn't be much less than that.

At this time, very few people visit places more than 10 hours away from their homes. Knowing places faraway and different expands one's horizons. You learn that there are different ways of living, different ways of thinking, and that not everything that's different is bad, threatening, or broken, or "underdeveloped".

The more people know each other, the better we are able to work together. And the better we understand we are all on the same boat, regardless of what our governments say.
We live in it whether we agree with it or not. Most people have limited options when it comes to the location they call home.
No, you can kinda tell by the planes shape how fast it can go. https://en.wikipedia.org/wiki/Area_rule

Certainly they're fast, wikipedia says the the G650 can get to mach 0.9, but it's called the sound barrier for a reason. https://en.wikipedia.org/wiki/Sound_barrier
What you just did is a fallacy. That's fine, but it needs to be asked: what sort of "Nazi content" did you report?

If it was a user calling Trump a Nazi, then it should have been removed, and their moderation failed.

If it just espouses Nazi ideology or rhetoric, that's free speech in the US.

That's just how it is. It's part of this country. I have to listen to both the throaty, greasy growl of the white supremacist and the piercing howl of the victims wounded by words.

edit to add additional context:
There's a difference between someone "posting" "nazi" content on facebook and here on HN, for example. on FB they figure you're seeing it because of your actions. Your friends, a group you joined, etc. If it's a friend posting on their wall, your moderation task is easy, block the friend, unfriend, talk to the friend, call them out. regardless of your decision, FB doesn't have any obligation or, i would argue, right to step in and moderate in those circumstances. If it's in a group, the moderators of the group have to decide if it represents the group. If it does and you disagree, leave the group.

Someone spouting nazi nonsense on HN is spouting it into a megaphone on the streetcorner, as it were. I have to read the content, even if i didn't actively follow that user or "join" that group.

there are different moderation strategies. merely invoking "nazi" as the boogyman to back up your point is fallacious.
We're all down at the chow truck now; metaphorically-speaking.
define insane here.

I think modern social acceptability hinges more on the degree to which personal beliefs infringe on others, at least in the west.

If someone refuses to personally eat pasta because they believe in the great spaghetti monster, they can knock themselves out for all I care.
You need to substitute "AI" with "LLMs" or "current transformer architecture" or something. AI means something completely new every few years so speaking of what AI can't do or can never do doesn't make any sense.
I am beginning to think that the fate of the world might not rest on giving this man infinity dollars
When looking about the staments of the founder, DeepSeek is what OpenAI promised to do originally. They are not for sale.
I've wondered about this too. The LLM could just write machine code. But now a human can't easily review it. But perhaps TDD makes that ok. But now the tests need to be written in a human readable language so they can be checked. Or do they? And if the LLM is always right why does the code need to be tested?
Probably limited to termination of your rental.
I've tried this.
I've scraped example pages directly from github, and given them a 200 line file with the instructions "just insert this type of thing", and it will invariably use bad APIs.

I'd be happy to share the example with you.
He's been good and bad for this field.

Good:

- Attracted a lot of attention, investment, and engineering to this field. It's unlikely we'd be where we are today without OpenAI shocking the world with its demos.

- Built some salient products like ChatGPT

Bad:

- Tried to get congress to create a regulatory moat for AI (perhaps when he realized there was no moat for himself)

- Tried to dry up funding for other startups (again to try to create a moat)

- Over-hypes and over-promises what his team has done and what can be delivered (a boon to his fundraising, but making funding frothy and disconnected from fundamentals)

- Engaged in very public-facing drama around his board, his company's nonprofit status, etc.

- Telling congress he has no equity in OpenAI and is doing everything with no reward, yet driving around in a $5M Koenigsegg Regera supercar and getting a generous comp package put together for the new corporate governance structure.

- Creepy stuff like eyeball-scanning Worldcoin is pitched as essential in a post-AGI world, but transacting on non-revocable biomarkers seems like some 90's televangelist's sermon about the "Mark of the Beast"
I hope this is obvious but deepseek has more than $10 M. You can't spend all of your cash on a single training run.
scarecity is a great motivator for innovation. abundance breeds complacency.

I meant big in terms of innovation, not budget.
In case you are not familiar; the current state of ballistic missile defense is so poor that American politicians have lobbied against deploying it and giving American citizens a false sense of security. Both THAAD and AEGIS are very impressive programs, but they simply cannot defend against a credible attack on American soil.

1. America deals with much faster ballistic missiles than the theater-scale ones seen in Israel and Ukraine. Those intermediate-range missiles tend to struggle accelerating like an ICBM does, and are often 3-4x times slower than an ICBM during reentry.

2. FOBS kinda makes early-warning interception a moot point. A MIRV attack conducted through low orbit has been feasible since before ballistic missile defense existed as a concept. If China or Russia wanted to strike American soil with impunity, they can do so from whichever azimuth they prefer.

3. The numbers just don't add up. No matter how you do the math, it's obvious that America doesn't have enough interceptors to offset warheads. 40 years ago Regan declined nuclear disarmament because he thought the math around ballistic missile defense would look better in the future. It doesn't.
It is available at https://chat.qwenlm.ai/, under the model selector.
We find polymers outside of Earth-like conditions.

https://en.wikipedia.org/wiki/Hemoglycin
Only 1 in 10?
Is there a point to this if license headers are (supposedly) useless?
This is very similar to my experience as a software development agency to enterprise customers. Out of big product ideas.
Using uv as your shebang line
> Tech debt, they can't easily add or change features anymore

It's this. I've worked on Slack applications and you can clearly see why they might struggle to implement this given the data structure of their messages. Their brand of markup is also quirky and it might be difficult to add this feature in a backwards compatible way

Snippets was added much later and part of me feels like the demand for syntax highlighting was exactly why they added snippets. It's also a scapegoat for them not adding syntax highlighting to regular messaging
He still right even with deepseek, they are way more than 10m
Never attribute to malice that which can adequately be explained by stupidity, and all that.

Like, I've no doubt that Putin is very happy that he was elected, and the FSB and GRU probably put their finger on the scale to at least some extent, but it's probably more a case of a convenient idiot than a Manchurian candidate.
Does anyone remember another public VMS system called "Carl" or Carl.best.net or something like that? I had fun playing with VMS on it, but that was years ago.
It's hilarious how the discussion in the PR is not about the PR itself, but about the implications of this.
This being HN, there's only a few of us left.
How to protect your privacy from Facebook – and what doesn't work
The reporters appear to be young and inexperienced and the outlet looks understaffed.
Yes! We are implementing more achievements and will launch a specific page to find out all the badges you can earn soon!
> He turned OpenAI into ClosedAI. He is a lying greedy sociopath.

And Steve Jobs shut down OpenDoc, doesn't mean he wasn't charming:

https://www.youtube.com/watch?v=oeqPrUmVz-o
Analyzing and Exploiting Branch Mispredictions in Microcode
I keep reading people on the internet mistrusting him with a lot of confidence, but I haven't heard of any tangible evidence that he's lying about anything.

Can you name a couple of examples of the things he said that we know are lies? Or is it all just people making uninformed assumptions or being snarky?
> Hemoglycin (previously termed hemolithin) is a space polymer that is the first polymer of _amino acids_ found in meteorites.

I’m done, have a great day! (Monomers)

Edit: My apologies for being dismissive. I’d like to get into the specifics of why amino acids (amino and carboxylic groups specifically) are special, and interesting exceptions like hydroxy and alpha-hydroxy acids, but I’ve got to get to work and I could spend an entire year explaining the nuances. The deeper you get into the details, the more the anthropic principle rears its ugly head.
So much for Open-AI.
I had an NHL season ticket plan that included AHL games (the teams played in the same building at the time). Major league, minor league, it doesn't matter. What sets live sports apart from watching on TV is the crowd. Nothing beats the atmosphere of a full barn all cheering in unison for the home team, living and dying with each play.
Kinda. AWS could subsist, but Amazon itself has unironically become the shady red light-district bazaar we were all afraid of.
In the end, he is a very good dealer. He already got his packet. From now on, it's OpenAI's investors' problem. not him.
Except for the pesky turtles nature of that logic..
SMT solvers might not be feasible for large-scale things, but they can certainly be used to find a sequence of a couple instructions doing a specific thing if you give enough computational resources, and that's what OP was talking about. (whether it'll complete in a reasonable time (i.e. less than like an hour) for something with more than like 4 instructions is a separate question; but 4 instructions is enough for some fancy stuff).

Like, just playing around not particularly seriously, I've gotten SMT to spit out [1] for narrowing & packing four int32x8 vectors into one int8x32 vector, assuming no wrapping necessary (4 minutes via Bitwuzla), among other things; nothing one couldn't figure out by doing a bit of thinking, but it does work! And could conceivably get more feasible for larger tasks over time.

[1]: https://dzaima.github.io/paste/#0KytITM4uLi5PUqjMzTXRAZEGYNK...
Not sure if joking but even llama 3 training was estimated 60M compute cost. It doesn't mean that the total cost to get there is only 60M.
I mean, they haven't prevented that at all though? There's plenty of very good competition in the $0 space, they're far from the only one.
Thank you. But that doesn't work for me.

If you mean just the name of the version in the prompt?
No way.

If you mean all the libary and my code in the contextwindow?

Way too small.
Berkeley Researchers Replicate DeepSeek R1's Core Tech for Just $30: A Small Mod
Isn't it the same in China then? They can also use VPNs
I am an (amateur) developer so when I needed to create some simple 3D objects to print them afterward OpenSCAD looked like a dream come true ("object as code" :)).

I tried three times (over two years) to use it but it was absurdly difficult to build a piece, with something that looked like "callbacks from hell" in JS (boxed in boxes in boxes of code. I had to keep track of the position all the time and there are no constraints.

Compared to that I tried Onshape (the free version which is almost the full one but all models are public) and it took me an afternoon to create my pieces. It was really simple, on a generic laptop without any power (a Lenovo P14s)
Nice, I wish they provided negative prompt examples ("without X", "remove Y")
I can't wait to see NASA's one. What I really hope is Mach 2 at altitudes higher than the Concorde, in order to minimize sonic booms on land. Even if we never get to fly supersonic over land again, a Mach 2 plane that can cross the Pacific would be incredible.
It says you are using Skyscanner, but in your search box I can't find Miami International Airport but I can find it using Skyscanner. Skyscanner also returns better results in the autocomplete. It shows relevant airports first, yours seems to show them in some other predefined order. For instance, when I search Philadelphia I get a local small airport first (the main airport is the last one in the list), but when I search in Skyscanner the main airport shows up first.

Other issues:

1. After I searched once, I was not able to search again from the same page (the search button does nothing)

2. The first search took about 1 minute to see results

3. I can only search one-way?

4. I can't change the currency

5. I can't see pricing with bags included (google does this)

6. I can't filter results (eg. can't see only direct flights)

7. I can't select the number of passengers

8. There might be a typo here "32 find flights cheaper"

9. I don't know if the flight time is my local time or some other time

I honestly don't see the difference between this and a service such as google flights (or the 100 other similar services).
Well, he was wrong about that.
He's immune from prosecution. He can still lose court cases that say that he doesn't have the constitutional authority to do X, though, for many values of X.
I listened to the latest Rails keynote, I never have before. I don't recall the exact details but it was a bit of a weird vibe for me.

> Many opinionated frameworks are also less reliable because of the layers of abstraction, so I'd also associate opinionated framework = sexy and temporary.

That's one of the persistent knocks against rails -- the layers of abstraction. I think that's fair, but it's a tradeoff. You either go along with it because it's advantageous or don't. Once you get familiar with the concepts and the theory of it the framework does what you expect, not a lot of surprises.

I'll push back on "temporary" though. It's been around for 20 years. It's old, so by definition it's not sexy.

Personally, I've built a number of apps in Rails that are still in production so it's a solid choice.
And when the reaction wheels get saturated they have to expend propellant to let them spin down. It is a fascinating mechanism.
> the VC asks whether a trio of super-smart engineers from India "with say, not $100M, but $10M – could build something truly substantial?"

I don't know where you got "incentivized to make a small and scrappy team" - The question was simple and clear, and Sam's response was pretty clear as well. He was/is wrong, and is now finding out.

“Sam Altman says small companies will never produce valuable AI models”.

sure sounds like

"Look, the way this works is we're going to tell you it's totally hopeless to compete with us on training foundation models"
i don't. i'm explicitly choosing not to be pedantic and instead hoping you'll take what i say as what it obviously is intended to mean and not as a very specific and accurate phrasing to be disassembled and torn apart without acknowledging the overall intent of the message.
It’s not that hard to selfhost. Only real gotcha is that you need ssl
Even within apes the variance is wide enough that I question the value in drawing any conclusions about human nature, especially for laypeople. Why chimpanzees and not bonobos who are equally close relatives to humans but whose social structure is matriarchal, non-territorial, and considerably less violent?

There is such myriad behavior in the animal kingdom that drawing insight into human social structure from it seems like it is more often a Rorschach test than it is a scientific exercise.
Now do the same for Toyota so I could replace their shitty app with my own.

Why can't automakers hire 1 descent UX designer? If they can't afford it, they could band up and hire one.
In truth it actually does have an ergonomics issue. Since the button position is orthogonal to the screen and mounted upside down, the left and right directions are evident but up and down directions are ambiguous.

It turns out you 'pull' the thing toward you for 'down' and 'push' it away from you for 'up'. Did you guess right?
Steve Jobs did not sound like a caricature of a gay man or a valley girl (no vocal fry, very charismatic speaker) and was never laughed out of the room in negotiations (one of the strongest negotiators the world has ever seen).

Steve Jobs was charismatic. Sam Altman is the opposite of charismatic.
Don't feel like a noob, SketchUp's interface and controls are AMAZING (or were in 2016, which is where I am stuck because I do not want to "upgrade"). I have tried many modeling tools over the years, but always come back to using SketchUp for moderately complex designs. I haven't seen a CAD tool that does exactly what I want yet, which is to be able to define geometry either via a GUI or code (e.g. build123d), but then to easily go back and forth between the two, say adjusting some geometry output manually with my mouse by dragging it, and having the code update as well (which I acknowledge is difficult).
This is a bit absurd.

Why would he tell someone how to compete with him?

His answer is I'd say perhaps meant to be facetious considering the rather rude question posed.
Once you get out of the atmosphere, lift is ~0 too.
I'm pretty sure a LLM can be taught to press a button
An unofficial ranking of the most NSFW GoDaddy commercials ever:

https://www.golfdigest.com/story/an-unofficial-ranking-of-th...

The Woman(!) Behind GoDaddy's Tasteless, Effective Super Bowl Ads:

https://www.forbes.com/sites/jeffbercovici/2013/02/06/the-wo...

Who Let These Commercials Be On TV?

https://www.youtube.com/watch?v=_rRopnyZaR0

GoDaddy's most infamous ads:

https://www.youtube.com/watch?v=u7yFCqOAb9Y

10 SEXIEST GoDaddy Super Bowl Commercials - Sexy Super Bowl Ads:

https://www.youtube.com/watch?v=4ECUIQv9ruo
I see this form of thought here a lot.

The general gist of it is "well, everyone else likes this so you should be okay with it too". Usually the person arguing in that direction is one of "everyone else".

I've never found it super convincing.

Personally, I don't actually think that the technical discourse here is super great- occasionally I see things from highly knowledgeable folks, but a lot of the time it's just hacks out a hackin.

HN is a forum run by venture capitalists and folks who are tied to that either aspirationally or professionally.

I get a lot of information about how that group of folks thinks from this site, and I find it helpful in understanding their affect on the world I live in.

You're welcome to have whatever preferences you have for the site, but it's not how I have been interacting with it for the last decade.

To the point about flagging, I am always surprised how willing folks are to believe that every other social media algo is gamed, but just assumed that there is no manipulation going on with their own media consumption.

I mean, go write a bot to flag stuff using ghost accounts, I don't care- I get my "HN front page" from a set of search terms, which will show a lot of dead and flagged content. It's pretty trivial to see what happens if you're looking to know that kind of thing, and other folks have written at least two tracking systems I know of for killed HN content.

I can totally buy that the reality of empire and its internal contradictions are uncomfortable enough for the tech bros that seem to make up the most of the site. The idea that they reflexively repress anything "political" sounds reasonable.

That doesn't seem like a great premise, but I buy it better than the idea that I should be beholden to that same ideal in my use of the site.
CS Fundamentals are CS fundamentals, whether you're writing the B-tree or spot-checking it.
On the live cast the presenter mentioned Boom have already secured ~130 pre-orders, including United Airlines. Not bad considering the Concorde anticipated 100+ orders but only manufactured a fraction of that.
If they're trying to act like they're "saving the world" they're doing a terrible job. It's honestly gross how much money is going into an industry that at best doesn't touch any real problems for humanity, and at worst amplifies the worst among them.

And I don't really think they sound like they're trying to save the world. They sound like they're trying to get rich.
Utter madness, if the tape were magnetic, spoons would get stuck on it and clog the machine.

(in a weird way, this post makes me feel like I'm honing my skills to become an AI sceptic)
He was speaking specifically about Indian startups, and he did say they should try anyway, Which means he clearly thought there was some non-zero (but not very non-zero) chance one could succeed.

It sort of is the most banal possible thing, and I'm sure he never even would have guessed that comment would have been repeated or been controversial (it was long ago). It's like if Toyota said you couldn't make a dependable car for $5,000 but hey, go try and prove me wrong. It's nothing
CommonCode Is a New Project for Open-Source Coding AIs