skysight-inc/HackerNews huggingface dataset:
There are no drones available today or even on the drawing board which can perform even a fraction of the F-35 mission set.

https://www.youtube.com/watch?v=X-A_aF7lpm4
You’re really reaching, LOL.

No, he wasn’t convicted of accounting fraud. What else do you believe that’s wrong? Not to mention it’s a misdemeanor unless politics demands a felony.

And “delivering the kinds of returns YC does”? Is that the bar now? How’s Obama stack up? LOL
"We have no moat. But we are well-capitalized, so in classic early-mover monopolist fashion we'll try to pull the ladder up, then use funds to bri--er, lobby--the government into smacking down climbers."
>>You know what happens to code that works? It ships.

there is nothing wrong with that, it is up to the developer and a team to enforce and gatekeep quality

or up to the business user to accept working code
> the power of the USA to stabilize it.

The power of the USA is what destabilized it, by creating a breeding ground for all sorts of fun militias in Iraq.
> But why wouldn't Sam Altman or whomever just start AI Ycombinator with hundreds of thousands of AI "founders"? Do you really think it would be more "democratic"?

AI is useful in the same way with Linux

- can run locally

- empowers everyone

- need to bring your own problem

- need to do some of the work yourself

The moral is you need to bring your problem to benefit. The model by itself does not generate much benefits. This means AI benefits are distributed like open source ones.
In the 1930’s? Pretty well?

How has it worked out since then? I count a 100% failure rate.
[x<<1 + 2, x<<1 + 3] is a Binary Tree
Elon Musk Lackeys Have Taken over the Office of Personnel Management
https://archive.is/tnE37
> It is literally impossible to "forget" if you have pattern matching + algebraic data types/enum/unions.

No, it's entirely possible to forget. That should be obvious. It is a functional necessity for you to be able to forget as you can only type so much at a time. You cannot possibly write code to call a function and perform pattern matching on the result at the exact same moment in time. There fundamentally has to be a period of time where the work will be incomplete, which opens the opportunity to not finish. It should be abundantly apparent to you that that you can forget to finish what you started in such a scenario.

Your checks and balances will alert you of your forgetfulness, but that's true of all languages. The biggest risk is that you will forget to define behaviour. But if you fail to do that, you've got problems even in languages with pattern matching and associated types. ADTs/enums/unions/pattern matching. are not sufficient to define behaviour. Not even close.

Like you said, pattern matching only helps you with checking errors. But there is no reason to check errors in the first place if you don't do something with the error, and for that you need to document what the error condition means for the user. Otherwise you have undefined behaviour. And once you've documented the behaviour, the error checks are confirmed for free anyway. You can't forget. The checks and balances will make it known, spectacularly.

What, exactly, are you trying to accomplish by overselling what is already a fantastic feature by its own merits on the basis of something that isn't at all realistic? If you want to get developers excited about the feature, there are way more compelling attributes to extol!

I have read this exact claim before, for what it is worth. Did you end up here simply because you repeated what you saw elsewhere without actually thinking about it?
SLAP FLOP browser vulnerabilities threaten nearly every Apple device since 2021
>Then I got their chat to tell me what their model is based off of and it said ChatGPT

The same is true for Llama, Claude, etc. The internet is polluted with GPT stuff so of course LLM's will hallucinate that part. LLM's do not know about themselves.
This post has a lot of similarities to the 'object algebra' paper by Bruno Oliveira.

https://www.cs.utexas.edu/~wcook/Drafts/2012/ecoop2012.pdf

If the OP author has any interest in doing a 1000x service to the C# community, the community needs a translator like you to convert the paper's compiler example into other domain specific examples. I'm pretty sure this paper went nowhere because it lacked a hello world example. something easier to digest and smaller and scope. The classic "dog is an animal and cat is an animal" level of explanation.
https://threadreaderapp.com/thread/1884244369907278106.html
https://app.bsky.cz/profile/carrigmat.bsky.social/post/3lgso...
Taxpayers willing to pay for it, and at a cost that's inclusive of the profit for the builders.
Its not between a fighter jet and a passenger jet. Its between those two AND building a new engine. Massive is a huge understatement.
Notably, 10,000 years is longer than all of recorded human history.

It’s a bit of a pipe dream to think we’d plausibly be able to follow through consistently on anything even 1% that long right now.
> * The Section 174 changes went into effect, requiring all software to be expensed as R&D, which means it can't be deducted from profits directly and instead has to be amortized over 5 years [0].

I get the short term initial issue. I don't see why it would be an issue to stick current level of staffing until it normalizes 5 years later. I'm not sure this was ever a major issue. It just seems like a convenient excuse to cover up something else.

Interest rates are obviously definitely an issue.

> this is not caused by AI.

It may not be caused by AI, but it is going to affect hiring numbers from now on.
There's also that thread about the Belgian couple who drove across the Congo:

https://forum.expeditionportal.com/threads/democratic-republ...

I call these kinds of forum threads "afternoon destroyers". It would be fun to weaponize them into a whole organized link page.
Stupid fucking posts like this should make us all angry. It’s like someone noticing, for the first time, that store clerks will let you just take what you want if you frighten them with credible threats. Surely it’s the perfect tactic and will lead to no bad repercussions for society!

Anger is only meaningful to humans. AI’s together can achieve the same thing with dispassionate bargaining. So “angry AI” could only be a way to manipulate people.
And what are the results of your decision in terms of performance?
This general idea is explored in many other pieces of science fiction literature, but it has also recently been visualized in https://en.wikipedia.org/wiki/3_Body_Problem_(TV_series)
It's an awkward latter to climb indeed.
Can confirm anecdotally. Even R1 (the full, official version with web search enabled) crashes out hard on my personal Rust benchmark - it refers to multiple items (methods, constants) that don't exist and fails to import basic necessary traits like io::Read. Embarrassing, and does little to challenge my belief that these models will never reliably advance beyond boilerplate.

(My particular test is to ask for an ICMP BPF that does some simple constant comparisons. Correctly implemented, this only takes 6 sock_filters.)
AKA Miracle Tree.

Sad to say "discovery" only comes by way of the present reality -- really piss poor search engine results on offer at the moment -- I researched this plant heavily a number of years back when numerous quality information pages were easily found - my memory isn't crash hot but I still recall what was known despite not listing any one algae species specifically, the seed cake had good value for cleaning up contaminated water (ie agricultural situation of waterway, pond or dam) for livestock and even human consumption.
In my opinion it's not always the most readable codebase, due to some idiosyncratic style choices, but it definitely has the advantages of being small and focused.
Why do they have dns records around copilot and openai then?
> The data we have is 500 years of free markets in the western world and the verdict is overwhelmingly: Yes, more freedom means more winning.

No, more freedom means more winning to a point. Past that point it does not, and I'd argue that's where the US is.

> Just invite some incompetent bureaucrat over your house to dictate how you should cook and you'll quickly agree.

That's supposed to be convincing, somehow? Just invite some "competent" capitalist over to your house, and he'll sell your fishing rod in exchange for a short-term discount on fish at the supermarket, and see how well you win.
Just big sounding words to make it sound like something nefarious is happening. Nothing of that sort actually happened, just OpenAI trying to save face.
They can be linked, e.g. 2x DIGITS can run 405B models [1]. Won't know what value/performance we can get until they start shipping them in May.

https://nvidianews.nvidia.com/news/nvidia-puts-grace-blackwe...
I think you're misunderstanding the answer here. By asking that you're assuming that the model has a self-awareness but most models don't. Think of it as a common question asked on internet. They just have a training data and answers are from that. And Chat GPT is mostly talked about on the internet, so you get that answer. You can replicate this behavior with most open source model.
Oh, and apparently Kimi k1.5 and the supposedly-half-trillion-dollar "Stargate" announcement.
I operate under the assumption that Google, OpenAI, Anthropic, Bytedance et al either totally ignore it or only follow it selectively. I haven't touched my Robots.txt in a while. Instead, I have nginx return empty and/or bogus responses when it sees those UA substrings.
That's kind of a ridiculous statement. With the money spend on A380 they could have developed a whole lot of different things.
On this point, if you turn on bot fight mode it also says it blocks verified bots.

But, bot fight mode says "there is a newer version of this setting" however it does not link to it.

Anyone have any insight on the blocked verified bots or the supposed new version?
Before this gets flagged, just wanna let you know I agree with everything.
You being alive right now is very likely a cost that the collective we could have decided to do without. Clean water, the suppression of diseases that'd wipe out entire populaces... Without those, you should likely have died before you were 5. You know what, I think you're right, you should have died before your 5th birthday.
Someone said on HN a while back that this sort of approach is the most sensible, because any design doc is just an incomplete abstraction until you get in the weeds to see where all the tricky parts are. Programming is literally writing plans for a computer to do a thing, so writing a document about everything you need to write the plan is an exercise in frustration. And if you DO spend a lot of time making a perfect document, you've put in far more work than simply hacking around a bit to explore the problem space. Because only by fully exploring a problem can you confidently estimate how long it will take to write the real code. Often times after the first draft I just need to clean things up a bit or only half complete a bad solution before improving it. Yes, there are times you need to sit and have a think first, but less often than you might imagine.

Of course, at a certain scale and team size a tedious document IS the fastest way to do things... but god help you if you work on a shared code base like that.

I've always thought the rigid TDD approach and similar anti-coding styles really lend themselves to people that would rather not be programming. Or at least have a touch of the OCD and can't stand to not have a unit test for every line of code. Because it really is a lot more work both up front and in maintenance to live that way.

Cyber-paper is cheap, so don't be afraid to write some extra lines on it.
New Apple Mac, iPhone, iPad Hack Warning-Your Data at Risk Since 2021
> Until then, bare in mind that most of the planet can't afford a plane ticket, nevermind the supersonic bit.

And thats a good thing. The world can’t afford the carbon (equivalent) emissions of many people flying supersonic.
The solution is simple: stop paying.
React has kept changing its design approach and best practices every two years - probably to keep the bootcamps always running and churning the change industry.
Do China's A.I. Advances Mean U.S. Technology Controls Have Failed?
>they faked spotify wrapped numbers

That would explain why mine were definitely wrong too. Although I wouldn't attribute it to malice since it makes little sense to tell me I used their paid service much less than I thought, at least compared to the opposite.
You don’t think character counts in terms of whether or not he’d fit in Ycombinator? That says much about either Ycombinator or you. Stiffing employees and not being able to run a charity very much counts in this discussion. As does the tendency of his business partners and confidants to end up in prison. You’d go into business with a rapist who lies constantly?
He didn't "let it devolve into a civil war." He authorized the CIA to fund rebel groups which maintained and expanded the civil war.

What exactly do you suggest Obama should have done with "the power of the USA to stabilize it?" Invade? How would trying to 'fix' Syria be any different than trying to fix Iraq or Afghanistan?
>> Military spending is the overwhelming majority of non-discretionary spending
>
> This is so wildly wrong and easily disproven that I really can't take the rest of what you say seriously.

sigh

https://www.cbo.gov/publication/59729

Defense accounted for $805B out of a total discretionary budget of $1.7T. The next largest category (using the CBO's classifications, not mine) are veteran's benefits @ $131B, and it goes down from there. If you want to quibble with what "overwhelming majority" means, I guess you can do that, but I doubt that's interesting to anyone.

I'll wait for you to 'disprove' the above.

tbc, I am not surprised by any of this (as you say, he was very clear about his intentions), but let's not pretend that there is any policy-specific valence to the outcome of any vote in the current electoral system. People vote as they do for their own (usually terrible, and usually unrelated to policy) reasons, and the people that win get to do what they will with the power bestowed upon them. Insofar as Trump's and Republicans' actions make life for the bottom ~80% harder, don't be surprised as buyers' remorse sets in pretty heavily. And so goes the "debate".
You are contradicting yourself.

You can either a) rebuild the Concord or b) use modern technology.

If you use modern technology, its not a Concord anymore.

And you can't magically go Mach 3 just because you say its 'modern'. What existing engine can do that? And even if you had an engine, a Concord will not do that anyway.

So really you are talking about developing a whole new plane. And that's gone cost 10-20 billion $ and including the engine like quite a bit more.
https://winworldpc.com/product/icon-do-it/1x
San Francisco Public Library has an annual budget of $200 million, i.e. around $20/month per SF resident (including seniors and newborns).

Only 15% of that is spent on books and ebooks.

So perhaps the public libraries are serving most people well enough?
2025: year of tariffs.
Malloy is a newish data language with semantic models... Perhaps what semantic SQL would look like: https://www.malloydata.dev/
Auto-Differentiating Any LLM Workflow: A Farewell to Manual Prompting
Implemented in AdalFlow:https://github.com/SylphAI-Inc/AdalFlow
The world's smallest violin playing for OpenAI...

No sympathy from me. If you use copyrighted material to build your empire, you don't get to turn around and complain when somebody else does the same (even if they are chinese).
Ask HN: What AI code completion tool are you using, if any?
I've used Github Copilot, Supermaven, and at one point I tried to use one that ran locally but I forget which one, and in any case it was terrible. Copilot and Supermaven are both pretty good, in the sense that I take their suggestions probably 7/10 times.

What else are people using these days? Are there folks out there who tried assistants like this and ended up just turning them off?
https://www.shelf.im/ comes to mind
This sounds funny.
"Making money is easy, just go out there and make money" is effectively what you're saying.

It takes time to find and execute these ideas. Yes the tech can be cheap, maybe even building it can be cheap, but the time to grow your customer & client base from scratch can be highly varied.

If it were really this easy, you'd have every person on IndieHackers having ditched their jobs already because their ideas have taken off. Yet very few have.

Go out and execute, yes, but it can take many iterations to get anywhere.

Even Pieter Levels has about a 10% hit rate on his projects being successful.
Common replies on HN when Apple mistakes are announced amount to something like: "Fixed in ___________".

But there is no way to go back and fix what has happened since 2021.

Some mistakes need to be addressed in the design phase before a product is released.

Otherwise the result is something like Microsoft Windows.

Updates, updates and more updates. Neverending fixes.

None can fix the past, the damage already done.

Compensation for losses is never paid.
Space really isn’t that scarce.

Library books solely as interior design is still better than 99% of the decorative architecture campuses are covered in that use up orders of magnitude more space.
Why? It feels like the spade of advancements post-o1 are shattering all remaining roadblocks to AGI.
Now that Diddy is behind bars, someone has to pump the baby oil stonks.
Lit does not use a virtual DOM, nor require a compile step. Instead, it utilizes object accessors and tagged templates to figure out when to schedule an update.
It used to be that Hacker News was a place for the inventors, the technologists, and the futurists. What happened to our optimism and excitement for firsts?

Airfares have dropped precipitously over the last fifty years: https://simpleflying.com/50-years-airfares/, and it's quite possible that the trend will continue.

Conversely, the speed of commercial flight has barely changed over that time (with the exception of longer flights reducing stops). Boom is innovating in this area and bringing supersonic flight within reach again -- I for one think that's something to be celebrated.
Haha, what a shoddy headline. "Bypasses" and "industry-standard" have no place here.

CUDA is not an industry standard. Vulcan is an industry standard. They did not bypass CUDA... that's like saying if I use Vulcan I'm bypassing OpenGL. PTX is an alternative low level API provided by Nvidia because of how awful CUDA is for high performance code.

What DeepSeek wrote could only have either been written in PTX or Vulcan.

Any other company could have done this, and low latency traders on Wall Street that use Nvidia write their stuff in PTX for obvious reasons.

OpenAI, was, is, and always will be, absolutely incompetent when it comes to using their hardware effectively... and they're no different than any other company. Reading is not a goddamned super power! Just read the docs!
Don’t all Internet users in UK pay for BBC anyway?
As of Postgres 12 (Oct. 2019) CTEs are no longer materialized by default and are eligible for predicate push down.

The planner may still struggle but it’s not true that a CTE is an optimization fence.

https://www.depesz.com/2019/02/19/waiting-for-postgresql-12-...
A very unsatisfying answer. They really should elaborate, at least a tiny bit, on what kind of research, conducted by whom, etc.
They claim this was the first 100% civil aircraft to go supersonic.

The Concorde wasn't a civil aircraft?

Also in the 60s a DC-8 was made to go faster than Mach 1
> We have so many useful idiots

It's always projection with these guys.
Is it somehow bad to be "pro-Chinese"?

Imagine someone saying OpenAi has a "pro-American" bias
AIGPU: An Arithmetic-Intensity-Guided Single-GPU Scheduling Model
The first quarterly profits of the White House will be improved.

Businessmen do enjoy their short-term gains afterall.
Interesting piece. As a coder and writer (hardcore outliner here), I’ve thought about this too.

I wonder about writing user stories for fiction. If software is something people use to realize an outcome, fiction is also something readers consume to realize an outcome. What might a “reader story” look like for some of our favorite novels? What kind of impression or change does a writer seek to produce in a reader’s mind? Such documentation could be valuable, similar to requirements documentation.

Aside to the author: King’s first name is spelled with a “ph.” Sorry, long time fan here :)
> they have the technology

Having the tech sounds funny. In some abstract way maybe. Actually being able to build a supersonic airframe and everything connected.
They aren't just taking "the chinese word for it". Many folks love it and know it is impressive because its largely open source and can be put on a Raspberry pi.

Thus, unlike _open_ ai (lol) people can actually already see its impressive even if all claims can't yet be verified. I didn't see anyone say something like this for the LLAMA release which also hurt OpenAIs standing. My theory is this is another case of "its chinese so must be bad and cannot be trusted" even though its open source and thus doesn't have to be chinese at all.
Apple is currently running TV commercials in the US for Safari as a privacy-focused browser.
so it's ok if they ignore robots.txt and just vacuum up every scrap of data they can, but not when someone else does it to them, iiuc
Well. If they had working face / human character transfer, listen, my dude, every single image would show a face transfer. It's one of the biggest challenges.
You put it well. It should also be noted that the embargos and tariffs will only sabotage the US's own interests in the long term, as if the Chinese were not intelligent enough to make their own in-house technology. Wait until their own GPUs beat NV's; there are already startups at work [1]. The NSA used to put backdoors in US-made hardware, which it was then happy to distribute worldwide; now, somebody has decided that encouraging China to make their own will work well for US interests? I have no idea what this foreign policy is meant to accomplish. Even if you were the most patriot of US patriots, I have no idea why you'd support this policy. Even Huawei is striking back [2].

[1] https://www.tomshardware.com/news/chinese-gpus-made-by-moore...

[2] https://www.bloomberg.com/news/features/2025-01-28/huawei-ha...
Doesn't necessarily change your overall point but Trump won a plurality of the vote, not a majority.
Dario is the CEO of Anthropic. I'm struggling to imagine a more blatant case of motivated reasoning.
iPhone 16 already has satellite SOS.
Didn’t Stanford take the first version of Meta’s Llama, then use OpenAI (against its TOS) to create Alpaca?
I love libraries and the huge benefit to society (especially low income individuals) libraries provide, but my biggest frustration is the lack of spaces to take video calls (personal or work) and the early hours they close. It would be nice for libraries to be available past 6pm for those that work a regular 9-5.

For example, to my knowledge, there's not a single place reasonably convenient in NY Bryant Park library or Stavros Foundation library where I can take video calls. In more suburban cities I frequent, the hours are often 9-5 with a Sunday operating 1-5pm.

It also frustrates me so much that coffee shops (establishments expecting purchases to stay) function more conveniently than libraries as a place I can sit down and work.
College and community radio are infinitely better for new music discovery. KEXP and KTRU here in Houston have expanded my horizons significantly. Bandcamp as well.
How is president ordering to work from the office or resign - an end to democracy?

This narrative is pure bs.
How would they prove they used it’s model. I would be curious to know their methodology. Also what legal actions OpenAI can take? can DeepSeek be banned in US?