skysight-inc/HackerNews huggingface dataset:
Ugh, and some of the rows of that table are "sets of models" while some are singular models...there's the "Flagship models" section at the top only for "GPT models" to be heralded as "Our fast, versatile, high intelligence flagship models" in the NEXT section...

...I like "DALL·E" and "Whisper" as names a lot, though, FWIW :p
Are DeepSeek's new models really that fast and cheap?
Don't know, only one I've any experience of is Kia's which seems to use some sort of flywheel. I did look into it briefly, but all I found was indications that it saved over the life of the vehicle and wasn't shown to increase replacements (but that might only be that specific tech).
That's definitely a great improvement.
Show HN: Couscous – AI-powered code reviews that keep your team in sync
Couscous is a VS Code extension that uses AI to analyze your code quality against best practices and team conventions. It provides instant visual feedback, rewarding you with the satisfaction of delivering high-standard "code dishes" or... well, letting you know when your code needs a little more seasoning.

Think of it as your personal code chef, ensuring your team follows conventions and best practices. Write clean, elegant code, and you'll feel like a master chef in a prestigious restaurant, serving up delicious couscous. But if your code is messy or inconsistent, you might just get a not-so-appetizing reminder to clean up your act.

Features
AI-powered code analysis using Deepseek
Couscous icon for compliant files (score > 70%)
Poop icon for files needing improvement
Inline violation highlighting
AI-generated improvement suggestions
Quick-fix code actions
You are greatly understating the value and improvement that these services brought. Especially around accessibility.

In the city I grew up in taking a taxi was basically not an option. You can now typically get a ride from Uber or Lyft within 10 minutes.

In the city I moved to for college there were plenty of Taxis but could take 30+ minutes for one to show up, or maybe it would never show up and you’d have to call another company and hope they would eventually send someone to you.

These are anecdotes, but the massive increase in for-hire rides after these companies were introduced does show that they did improve the experience and made for-hire rides more accessible and appealing.
> I don't think OpenAI is training on your data. At least they say they don't, and I believe that.

Like they said they were committed to being “open”?
Honestly, the decline of American empire is the only potential upside to any of this for me.

The world can't pretend 2016 was just an anomaly. This is who we are now and the world will learn to move on without American "leadership."
You haven't demonstrated why it's hubris, only claimed that it is so.
Meta in Talks to Reincorporate in Texas or Another State, Exit Delaware
Inscrutable naming is a proven strategy for muddying the waters.
Or the number was never real to begin with.
There is now a whole bunch of relay computers on youtube! It's become easier to do it seems. This one 2011, some more recent on youtube.
Have you seen Azure VM SKU naming? It's.. impressive.
The helicopter was following the route and at the right altitudes. It was ~700-800' below the jet, rules would be 500' separation I think. Jet was not being wrong being overly cautious as they probably didn't have a visual on it.
> I'm pretty sure "o3-mini" works better for that purpose than "GPT 4.1.3"

Why would the marketing team of all people call it GPT 4.1.3?
why is o1-pro not mentioned in there?
Red, blue and purple states are all passing laws to restrict teens online
Hiring practice of FAA leaves a number of questions (2018)
Actually sounds like benchslop to me.
That's the same thing, the credible "chance to unseat" becomes "motivation to acquire", leading to a much faster and more certain exit.

Of course, that's exactly the pattern of behavior that is seen as problematic.
For US cities it would make sense, though the very largest could be argued to also not include that.

Use case: Configure device for customer in another state, OK like the mailing address state 2 letter code is XX what city? Oh there's a choice of two. The one I've heard of is probably the biggest city. Either way, it comes out OK.

What if you don't know what state something is in? Sol3/US/*City should shell expand on command lines.
Package to folder mapping is pretty common in a lot of languages. Java and Python, for instance
For non-stem perhaps.

For math/coding problems, o3 mini is tied if not better than o1.
It seems like it would be very, very easy to make these Servpro salespeople unreasonably busy undertaking sales calls that do not have a worthwhile rate of return.
Don't be too hard on him. For sufficiently large values of zero, you don't really need to check...
Yes, this $300Bn company generating +$3.4Bn in revenue needs to hire marketing expert. They can begin by sourcing ideas from us here to save their struggling business from total marketing disaster.
OCSP stapling has always felt like more work than short-lived certificates. You still need to replace your certificates, but now you have a second process that refreshes the staple.

At that moment you might as well refresh the certificate.

Then there is the issue that of stolen certificates. Imagine a key and staple is stolen, the company detects it and revokes the cert.

You still have until the end of the stolen key & staple's lifetime in which they are valid, and the consumer would never know.

At least with OCSP live checking that timeframe is reduced to mere seconds, at the cost of loss of privacy.

With CRLs you have to pull more data, but you can at least reduce the vulnerable time to seconds, without privacy implications.
I think GP point, is that the proposed remedy: “contract between Google and Apple in which there would be anything exchanged of value.” would force Apple ditch all Google services, including GCP. Given paying Google for GCP services would require a contract exchanging something of value.
The caption on the graph explains.

> including with the open-source Agentless scaffold (39%) and an internal tools scaffold (61%), see our system card .

I have no idea what an "internal tools scaffold" is but the graph on the card that they link directly to specifies "o3-mini (tools)" where the blog post is talking about others.
Likewise, I played for hours and actually enjoyed it. I also really loved Adventure, Superman and similar.

That second linked article (npr.org) is a really interesting read about E.T.'s programmer and his experience during and after making the game, although the story ends a bit abruptly. TLDR; he loved being a rockstar programmer for Atari and was paid millions, but had to move on and find a career/life afterwards. Spoiler alert: he went on to become a SV therapist, helping others with similar experiences. Somehow, the whole thing feels prescient for a lot of current-day devs on the eve of "The Great AI dev takeover".

On his perspective around the game itself, a couple of quotes of particular interest:

"There's a difference between frustration and disorientation," he says. "Video games are all about frustration. It's OK to frustrate a user. In fact, it's important to frustrate a user. But you don't want to disorient the user."

Also, this resonates:

"Spielberg looks at me and he goes, 'Couldn't you just do something like Pac-Man?'"

I remember playing the game with an older family member looking on. As was apparently the case with Spielberg, his eyes absolutely glazed over. But, he got a real kick out of watching me play Space Invaders and laughed out loud as the aliens sped up.

So, the gameplay itself was the biggest complaint about the game. There's a YT video that gets more into the gameplay issues, with matching visuals. [0]

In any case, it's insane that he went from concept to finished game in only 5 weeks.

[0] https://www.youtube.com/watch?v=Uj7iICS64iI
They mention in the model card, it's so that they can have a separate "system" role that the user can't change, and they trained the model to prioritise it over the "developer" role, to combat "jailbreaks". Thank God for DeepSeek.
> But what would we call that model?

Ask one of their models for advice. :-)
One of my favorite parodies: https://www.youtube.com/watch?v=EUXnJraKM3k
Drone pilot to plead guilty in collision that grounded aircraft
I am running the 7B distilled version locally. I asked it to create a skeleton MEAN project. Everything was great but then it started to generate the front-end and I noticed the file extension (.tsx) and then saw react getting imported.

I gave the same prompt to sonnet 3.5 and not a single hiccup.

Maybe not an indication that Deepseek is worse/bad (I am using a distilled version), but moreso speaks to much react/nextjs is out in the world influencing the front-end code that is referenced.
I think this is with and without "tools." They explain it in the system card:

> We evaluate SWE-bench in two settings:
> *• Agentless*, which is used for all models except o3-mini (tools). This setting uses the Agentless 1.0 scaffold, and models are given 5 tries to generate a candidate patch. We compute pass@1 by averaging the per-instance pass rates of all samples that generated a valid (i.e., non-empty) patch. If the model fails to generate a valid patch on every attempt, that instance is considered incorrect.

> *• o3-mini (tools)*, which uses an internal tool scaffold designed for efficient iterative file editing and debugging. In this setting, we average over 4 tries per instance to compute pass@1 (unlike Agentless, the error rate does not significantly impact results). o3-mini (tools) was evaluated using a non-final checkpoint that differs slightly from the o3-mini launch candidate.
> How is anyone supposed to know what these model names mean?

Normies don't have to know - ChatGPT app focuses UX around capabilities and automatically picks the appropriate model for capabilities requested; you can see which model you're using and change it, but don't need to.

As for the techies and self-proclaimed "AI experts" - OpenAI is the leader in the field, and one of the most well-known and talked about tech companies in history. Whether to use, praise or criticize, this group of users is motivated to figure it out on their own.

It's the privilege of fashionable companies. They could name the next model ↂ-↊↋, and it'll take all of five minutes for everyone in tech (and everyone on LinkedIn) to learn how to type in the right Unicode characters.

EDIT: Originally I wrote \Omega-↊↋, but apparently HN's Unicode filter extends to Greek alphabet now? 'dang?
200k context window

$1.1/m for input

$4.4/m for output

I assume thinking medium and hard would consume more tokens.

I feel the timing is bad for this release especially when deepseek R1 is still peaking. People will compare and might get disappointed with this model.
Hey! I'm sorry you feel that way. There's several people who have subscribed to updates to OpenAI from my comment so there is clearly value to other commenters. I understand not everyone is interested though. It's just a free side project I built and I make no money.

Additionally, I believe my contribution to the conversation is that gpt-4o-mini, the previous model advertised as low-cost, works pretty well for my use case (which in this case can help others here). I'm excited to try out gpt-03-mini depending on what the cost looks like for web scraping purposes. Happy to report back here once I try it out.
>...even though it's convenient for travelers

Which is why it will not close. It's easier for Congress members, senior staff, etc. to use rather than the drive out to Dulles of BWI. It's convenient for powerful people.
This is definitely intentional.

You can like Sama or dislike him, but he knows how to market a product. Maybe this is a bad call on his part, but it is a call.
But think of all of the dignitaries who would have to be driven around DC in traffic as opposed to being flown on helicopters to where they need to go!
Have you tried seeing what happens when you speak to it about topics which are considered politically sensitive in the PRC?
Apple Scraps Work on Mac-Connected Augmented Reality Glasses
Hierarchical CSV
I really don't get the point of those oX-mini models for chat apps. (API is different, we can benchmark multiple models for a given recurring taks and choose the best one taking costs into consideration). As part of my job, I am trying to promote usage of AI in my company (~150 FTE); we have an OpenAI chatGPT plus subscription for all employees.

Roughly speaking the message is: "use GPT-4o all the time, use o1 (soon o3) if you have more complex tasks". What am I supposed to answer when people ask "when am I supposed to use o3-mini ? . And what the heck is o3-mini-high, how do I know when to use it ?".
People aren't gonna ask the same question to 5 different models and burn all their rate limits; yet it feels that what's openAI is hoping people will do.

Put those weirs models in a sub-menu for advanced users if you really want to, but is you can use o1 there is probably no reason for you to hake o3-mini and o3-mini-high as additional options.
"oh no DeepSeek copied our product it's not fair"

> proceeds to release a product based on DeepSeek

ah, alas the hypocrisy...
> are now just boat anchors and door stops.

This systems could go from Luxury Yacht to Anchor shockingly fast. I visited Broadway Video in NY (a very high-end post house) in the later 90s and they had a disconnected Quantel Mirage (~$750,000) literally propping a door open.

The earliest systems had such astronomical prices because they were based on huge amounts of discrete components and they knew the lifetime sales would likely only range from a few dozen to hundreds of units. The original Paintbox only had a 68000 CPU yet had to handle mixing two full frame composite video images with alpha channels at 60fps with 1 FPS UI lag. That required dedicated hardware to achieve most of its functions. I doubt the CPU ever touched the actual video data in most operations. The hardware processing pipelines in video effects systems of this era usually digitized, processed and manipulated video in its native YUV or YIQ encoding. Decoding to RGB would have been very costly, even more bandwidth and memory intensive - and rather pointless since general purpose CPUs couldn't work nearly fast enough to process it in real-time.

Reading patents from the high-end broadcast video effect systems of the 1980s is eye-opening. I was blown away by the 1981 Ampex ADO patent. https://patents.google.com/patent/US4472732/en

In the late 1970s these studs made discrete hardware to remap live video sources onto almost arbitrary quadrilaterals with alpha channel, light sourcing and shadows in real-time. This was basically implementing GPU texturing and lighting functions out of Atari 2600 era 74LS-type logic. The designs had to use decadent amounts of the fastest static RAM available to cache and buffer every line of video, and even then only barely kept up. It's no wonder these crazy racks of gear could cost upward of a million dollars. Yet by 1990 the march of Moore's Law would allow clever designers to achieve similar effects with the Video Toaster, a sub-$2000 add-in card for an Amiga. The Toaster won an Emmy award for technical achievement and unleashed the real-time desktop video revolution which put this kind of tech in everyone's hands.
Let’s call it “O5 Pro Max Elite”—because if nonsense naming works for smartphones, why not AI models?
Running it locally lets you INTERJECT IN IT'S THINKING IN REALTIME and I cannot stress enough how useful that is.
Owner of a 2017 Peugeot 208 with Apple CarPlay support here. Siri can discriminate voices against loud music and outside noise just fine.
https://archive.is/Ny2oj
Seeing the cot can provide some insights on what's happening in his "mind" and that alone it's quite worth it imho
that’s because those lethal means have been written into the amendments and people have been brainwashed by the NRA to care about those amendments, especially the one to bear arms.

This lethal defense thing has been all about pushing more and more guns on people for financial profit, if there was a way to sell internet guns you have to use to shield your privacy, they would, their number 1. focus is money, everything else is number 2.
Name is just a label. It's not supposed to mean anything.
The -mini postfix makes perfect sense, probably even clearer than the old "turbo" wording. Naturally, the latest small model may be better than larger older models... but not always and not necessarily in everything. What you'd expect from a -mini model is exactly what is delivered.

The non-reasoning line was also pretty straightforward. Newer base models get a larger prefix number and some postfixes like 'o' were added to signal specific features in each model variant. Great!

Where things went of the rails was specifically when they decided to also name the reasoning models with an 'o' for separate reasons but now as the prefix at the same time as starting a separate linear sequence but now as the postfix. I wonder if we'll end up with both a 4o and o4...
I meant concrete real-world applications like "a WhatsApp clone" or whatever. Paxos is very abstract. Nobody deploys "a paxos".
It changes the landscape with its multifaceted approach.
only the arms of, but this joke doesn't work in English.
You know you are running an extremely nerfed version of the model, right?
Super supportive as I really value debuggers as tools even tho they are horror shows to use!

> Similarly, the following features are non-goals of the project:

> Supporting non-native languages (i.e. Java, Python, etc.)

But I think that position is likely a mistake in terms of leaving killer features on the table and baking in architecture decisions that might continue to make these kinds of features impossible / very low-class experiences.

Properly integrating with the python interpreter to be able to debug python + c/cpp extensions running in the same process is a huge missing whole in the debugger market.

I don't know how other people do it but I 'solve' this problem by attaching either a python debugger or lldb to the python process -- meaning I can debug either python or the cpp but not both at the same time. The experience is very lacking. Even just seeing the python call-stack while paused at a cpp breakpoint would be huge.
Using R1 with Perplexity has impressed me in a way that none of the previous models have, and I can't even figure out if it's actually R1, seems likely that its a 70B-llama distillation since that's what AWS offers on Bedrock but from what I can find Perplexity does have their own H100 cluster through Amazon so it's feasible they could be hosting the real thing? But I feel like they would brag about that achievement instead of being coy and simply labeling "Deepseek R1 - Hosted in US"
This doesn't follow.

Are you certain that "DEI programs" (which themselves are a wide range of things, from explicit preferences to hire veterans in US Government jobs to as described ineffective NSF rigamarole) are causing overall less meritocracy, or is it just a particularly visible form, some less qualified black people are getting in instead of equally unqualified white people, and that's notable, while the well qualified folks who get in but wouldn't be considered otherwise aren't noticed because they don't make the news.
Oh this is so cool
This conflated two things as equivalent, and they are not equivalent.

Buying almonds is a market exchange with good transparency around what you’re getting and how much it’s going to cost.

Elections are not open market exchange. For starts, you aren’t buying a good. Another is that this discounts a lot of other election adjacent activities like all the party volunteers who are unpaid, for example. Those don’t count toward spend but if it did I imagine the totals would get much higher.

Not to mention, we are talking about someone getting elected who very well does have influence over citizenry. Buying almonds is just buying almonds. Getting elected is a transference of power.

Honestly elections are surprisingly cheap for what is gotten in return, but they couldn’t be more different
I would actually love if it would just ask me simple questions (just yes/no) when its thinking about something i wasnt clear about and i could help it this way, its a bit sad seeing it write out the assumption and then take the wrong conclusion
New startup idea. Just get some big names to sign on like sama or whoever and then only ever state “we are the uber of AI”. Then wait for the spice to flow.
Yes, it is a great product, especially for coding tasks.
Well yeah, why fix the drains when they can run a business etc.

I think it is fairly ludicrous to allow something like this to be privatised. It just doesn't make sense to me but then I am not PM.

I am kinda hoping they'll let it go bankrupt and then nationalise it for pennies-on-the-pound (a "haircut" for the investors).
An Opinion is not a "Take"
> people can't lobby to Congress

Always assumed that the elections is exactly about it
If you're willing to deal with enterprise pricing, Undo [0] implements something reasonably comparable to rr without the hardware timer requirements.

[0] https://undo.io/
You can get around it based on how you ask the question. If you follow whatever X/reddit posts you might have seen for the most part, yes, you get the thinking stream to immediately stop and get the safety message.
Think how awesome the world would be if labels ALSO had meanings.
There probably is a way to make money off this, but while doing so I’m thinking you also would be selling some dignity along with it.
Maybe you are wrong about LP? Then everything makes sense.
Coinbase acquires Spindl to accelerate the future of onchain ads
It’s convenient for everyone. Normal, local people (including myself) tend to strongly prefer DCA when a route is available in/out rather than deal with Dulles or BWI.
I'm not really into this space but he lists some bin files in the Downloads section. Is this not the compiled ROM you're seeking?
What, by burning down your neighborhood?

Making a bunch of emergency calls to attract these guys would be much worse than having slightly predatory sales practices.
That's the point, isn't it? It takes these dark patterns that predatory game devs/actual gambling apps have been researching and minmaxing for years and points them at something useful and productive instead (language learning). The result is a language learning app with very effective user retention and repetition, which is especially useful for a subject that requires lots of repetitive practice.

As far as I can tell there isn't any actual gambling and the microtransactions/lootboxes appear to be simulated and don't depend on actual money. This overall doesn't seem like a bad system to me. I think their overt dark patterns are intentional and are tripping your "this is malicious" sense when in fact I would give them kudos for using them in a way that is beneficial to people.
I love it when someone dives a bit deeper behind something pretty common for most Ruby devs. It's actually a really elegant pattern that is used and it's everywhere in Ruby.
R1 (70B-distill) itself is very uncensored, will give you full account of tiannanmen square from vague prompts. Asking R1 "what significant things happened in china in 1989" had it volunteering that "the death toll was in the hundreds or thousands and the exact number remains disputed to this day". The only thing that's censored is the web interface.
Meta in talks to reincorporate in Texas or another state, WSJ reports
I did update my comment, but said that I am using the distilled version, so yes?
The FAA only has direct authority over civilian flights. They can't unilaterally suspend military flight operations anywhere (like the military helicopter flight involved in the recent mishap), although in this case I assume the military will voluntarily go along with a request.
Episode title was "Be right back"
They sure scrambled something together after DeepSeek sweeped the market.