skysight-inc/HackerNews huggingface dataset:
This is a pretty big technical achievement, and I am excited to see this type of advancement in the field.

However, I am very worried about the utility of this tool given that it (like all LLMs) is still prone to hallucination. Exactly who is it for?

If you're enough of an expert to critically judge the output, you're probably just as well off doing the reasoning yourself. If you're not capable of evaluating the output, you risk relying on completely wrong answers.

For example, I just asked it to evaluate an algorithm I'm working on to optimize database join ordering. Early in the reasoning process it confidently and incorrectly stated that "join costs are usually symmetrical" and then later steps incorporated that, trying to get me to "simplify" my algorithm by using an undirected graph instead of a directed one as the internal data structure.

If you're familiar with database optimization, you'll know that this is... very wrong. But otherwise, the line of reasoning was cogent and compelling.

I worry it would lead me astray, if it confidently relied on a fact that I wasn't able to immediately recognize was incorrect.
Do you think that 13 year olds today can’t find this book on their own?
I agree there's too much cope going around. All the people saying AI is just a tool to augment our jobs are correct, humans are still needed but perhaps far less of them will be needed. If job openings shrink by 50% or disproportionately impact juniors it will hurt.

One decent reason to continue is that pretty much all white collar professions will be impacted by this. I think it's a big enough number that the powers that be will have to roll it out slowly, figure out UBI or something because if all of us are thrown into unemployment in a short time there will be riots. Like on a scale of all the jobs that AI can replace, there are many jobs that are easier to replace than software so its comparatively still a better option than most. But overall I'm getting progressively more worried as well.
No, it is very much demonstrably false.

Here's a simple program that does not even do LLMs that will trivially enumerate all ideas (broken UTF8 handling omitted for brevity):

for (var numeral = new BigInteger(0); ; numeral++)
WriteLine(UTF8.GetString(numeral.ToByteArray());

For any given idea in English LLMs will certainly get it faster.
The two first graphs on the page are labelled as log scale in the time axis, so I don't know what you're looking at but it's definitely there.
Ah yes - Uber, Doordash, and AirBNB. Famously profitable, right? Definitely not companies that currently and have always hemorrhaged money in order to drive out the existing competition and establish a dominant market share. Users fell in love with the product because it changed the way they think, not because it was artificially subsidized to be the cheapest available option until the legacy industry could no longer compete with it.

There may be some insight to be gained with the concept in the essay, but the examples aren't great.
How Joe Rogan Remade Austin
This is great feedback! Thanks for giving it a try.

You're right that we're limited in how much news we can pull. Generally, we can only look about 90 days into the past for news articles.

I'd definitely like to expand the corpus of information that we can pull from. Getting access to reliable historical data is high on that list, as it will dramatically improve base rate estimation.
Question: Wouldn't it make sense, to build servers into the north side surface of sky-scrapers? There would be tremendous usage for those updraft winds and they could get solar power from the south sides shades..
Just based on how horrible of a company Nestle is, I usually encourage everyone to investigate some other options to make espresso at home.

Side Note: Personally, making my coffee is a nice process in the morning to kick my brain out of that early fog, it's something I have to engage with, but also something you can learn and get _very_ quick at to the point where you don't need much headspace to do it, not every espresso shot needs to be 1000% perfect.

The ritual of making it in the morning almost wakes me up as much as the coffee does :)
Mexican shoppers say Shein and Temu's delivery partner is stealing their stuff
I believe the original reason for referrals was related to the breakup of the Network Solutions DNS monopoly. This led to the split between TLD registries (who run the DNS servers) and registrars (who sell domain names). To enforce the split for the big TLDs .com, .net, .org, the registration database was also split so that Network Solutions could not directly know the customer who registered each domain, but only the registrar who sold it. This was known as the “thin registry” model. From the whois perspective, this meant that when you asked about example.com, the Network Solutions whois server would only provide information about the registrar; the whois client could follow the referral to get information about the actual registrant from the registrar. Basically all the other TLDs have a “thick registry” where the TLD operator has all the registration details so there’s no need for whois referrals to registrars.

As a result, a whois client needs referral support. The top level IANA whois server has good referral data, so there isn’t much to gain from trying to bypass it.
The people in this space talk a lot about not just life span, but health span. I don't know anyone who wants to suffer for a long time, of course we'd want to live well.

I know for myself, I'd love to be around to watch my kids grow up. Even better if I can do that while being old-man jacked and physically capable enough to still enjoy life. I don't think this has to mean that you're putting off enjoying life in the current moment though.

It seems like a funny question to ask who's "interested in living longer"? Taken to an extreme that's a pretty depression question.
What's the incredible part here? Being able to write code to turn hex into decimal?
> Reddit changed the way people interacted online and how online content was aggregated, people often append “reddit” to their google results to get higher quality content.

Nah. People already interacted that way back in the Usenet days. And we used Usenet search engines to get results from it specifically.

Reddit's only claim to fame is that happened to be there at the moment Digg became unusable.
Linux Customization and Indie Software
Also with the Wes Anderson movie "The Grand Budapest Hotel" you can get into the mood.
I think I'd be curious to know, if the size of ensemble is another scaling dimension for compute, alongside the "thinking time".
It seems to be unable to solve hard sudokus, like the following one where it gave 2 wrong answers before abandoning.

+-------+-------+-------+
| 6 . . | 9 1 . | . . . |
| 2 . 5 | . . . | 1 . 7 |
| . 3 . | . 2 7 | 5 . . |
+-------+-------+-------+
| 3 . 4 | . . 1 | . 2 . |
| . 6 . | 3 . . | . . . |
| . . 9 | . 5 . | . 7 . |
+-------+-------+-------+
| . . . | 7 . . | 2 1 . |
| . . . | . 9 . | 7 . 4 |
| 4 . . | . . . | 6 8 5 |
+-------+-------+-------+

So we're safe for another few months.
1) There is certainly value, but I would consider this a vitamin, not a painkiller.
2) Options if they were to pick something off the shelf would be $500/mo minimum. Quality is slightly less than what they're getting with us.
3) Annual contract, we would provide updates at a tbd interval.
4) We definitely have an opportunity to price in additional support. Whether they choose to use it or not, it would make the license price seem more reasonable.
Lol. I like this answer. You can either think of it in terms of "it'll eat my lunch" or "I now have 10x more capabilities and can be 100x more productive". The former category will be self-fulfilling.
I care more about being healthier longer. And I’d like that to last as long as I can and not a lot longer necessarily. It’s because I love life because it’s life, and wouldn’t mind if it went on for a long time. I could learn so many things.

But, even if it’s 60 years I want them to be healthy. So I do the things I am supposed to to age more slowly because aging is causative to ill health. My things I do is eat reasonable amounts of healthy food and exercise regularly. I supplement a few things like magnesium and taurine, that I specifically do better taking than not.

But if they came out with a “never age until you die” pill I would take it immediately.

But I think you’re confusing long life with long health span. I don’t think anyone dreams of living a long full life is hellish degenerative ill health.
Looks like your server got the HN hug
Try it with 9.11 and 9.9. Some have proposed that it thinks "9.11" is larger because in a social context 9/11 has much larger significance.
Some practical notes from digging around in their documentation:
In order to get access to this, you need to be on their tier 5 level, which requires $1,000 total paid and 30+ days since first successful payment.

Pricing is $15.00 / 1M input tokens and $60.00 / 1M output tokens. Context window is 128k token, max output is 32,768 tokens.

There is also a mini version with double the maximum output tokens (65,536 tokens), priced at $3.00 / 1M input tokens and $12.00 / 1M output tokens.

The specialized coding version they mentioned in the blog post does not appear to be available for use.

It’s not clear if the hidden chain of thought reasoning is billed as paid output tokens. Has anyone seen any clarification about that? If you are paying for all of those tokens it could add up quickly. If you expand the chain of thought examples on the blog post they are extremely verbose.

https://platform.openai.com/docs/models/o1
https://openai.com/api/pricing/
https://platform.openai.com/docs/guides/rate-limits/usage-ti...
Rings 1 and 2 are still very much present in your desktop x86 machine; Your OS just doesn't use them. X86-S will remove them, but no CPUs implement that reduced architecture, and Intel has made no public announcements about future generations that will.
I challenged it to solve the puzzle in my profile info.

It failed ;)
My PhD coordinator advised me to approach any study originating from China with the utmost caution even if peer reviewed.
> I don't think anyone is worried about SWE work going away, I think the concern is if SWE's will still be able to command cushy salaries and working conditions.

It's very important to human progress that all jobs have poor working conditions and shit pay. High salaries and good conditions are evidence of inefficiency. Precarity should be the norm, and I'm glad AI is going to give it to us.
Fasting increases nitric oxide levels. Maybe that's bad for people with existing cardiovascular issues? Probably the same people who would try intermittent fasting- it's a relatively bigger population. Of course you have to balance that against complications from being overweight.
You can safely remove the quotes around 'glucose' and replace "high blood sugar" with 'glycemia'
So if Metformin is used to treat high blood sugar levels, would we get the same cognitive benefits by just consuming less sugar?

Can't see the full paper to see if they compared the results of metformin vs a low-sugar diet.

EDIT: Already brought up and discussed here https://news.ycombinator.com/item?id=41522931#41523725
I think this question applies to any type of labor requiring the human mind so if you don't have an answer for any of those then you won't have one for software engineering either.
What a strange comment chain.
agreed, would love some transparency on the pricing page
Splitting the code base adds complexity. Adding a script tag does not.
This is the precipice of fourth-wave coffee. Bringing your desktop computer to a cafe, hooking it up, and remotely brewing a cortado somewhere, in a different time zone.
The bigger problem with extending lifespans beyond what evolution has optimized for is that you end up competing against your offspring for resources, and you give pathogens a non-moving genetic target to attack (which defeats the whole point of sexual reproduction).
LLMs perform well on small tasks that are well defined. This definition matches almost every task that a student will work on in school leading to an overestimation of LLM capabiity.

LLMs cannot decide what to work on, or manage large bodies of work/code easily. They do not understand the risk of making a change and deploying it to production, or play nicely in autonomous settings. There is going to be a massive amount of work that goes into solving these problems. Followed by a massive amount of work to solve the next set of problems. Software/ML engineers will have work to do for as long as these problems remain unsolved.
> we want to live longer and not get dementia

...but why? Dying is natural. Dying is normal. It's what's supposed to happen.

> I wanna know what happens

I've reproduced three times so I've ticked that particular biological box.

My OH is away this week. Our eldest cooked lunch on Tuesday when a meeting I was in ran over by an hour. I stumbled into the kitchen an hour later than planned to find the three of them eating what he'd prepared from what he'd found in the fridge and he'd made enough for me, too. They're pretty well set.

> I want to download my brain into a computer and see what humanity does over the next couple million years

I'm absolutely, completely OK with not doing that :)

I'm confident the next generation will figure it out, just like ours did, and the one before us, and so on...
It doesn't matter how many people regularly die in automobile accidents each year—a single wrongful death caused by a self-driving car is disastrous for the company that makes it.

This does not make the state of things any less ridiculous, however.
Using codeforces as a benchmark feels like a cheat, since OpenAI use to pay us chump change to solve codeforces questions and track our thought process on jupyter notebook.
Audio has only rolled out to a small subset of paying customers. There's still no word about the direct-from-4o image generation they demo'd. Let alone the video capabilities.

So no, it's not in chatgpt.
> Reddit's only claim to fame is that happened to be there at the moment Digg became unusable.

And up until now every competing Reddit-type effort attracted the wrong crowds.

There may be an opportunity for a new Reddit now that Reddit at scale attracts super young users that aren't as interested in long form discourse. Reddit's desire for growth has alienated a lot of high signal contributors.

There's huge opportunity here: https://www.reddit.com/r/Infographics/comments/1fb8xll/most_...
Are you the sort of person who feels life is awesome?

Knowing the name of a assisted suicide company off the top of your head seems to suggest not.

If you were, why would you want that to end?
Ask HN: Why is the Facebook video UI so bad?
It does exactly the opposite of what you would expect it to do when hitting any of the buttons, I can't wrap my head around why it is designed the way it is designed. I'm talking about the desktop browser version of Facebook.
lol, my accountant is pretty darn expensive.
Because you're being given superpowers and computers are becoming more useful than ever.
Here's an unpopular take on this:

"We had the chance to make AI decision-making auditable but are locking ourselves out of hundreds of critical applications by not exposing the chain of thought."

One of the key blockers in many customer discussions I have is that AI models are not really auditable and that automating complex processes with them (let alone debug things when "reasoning" goes awry) is difficult if not impossible unless you do multi-shot and keep track of all the intermediate outputs.

I really hope they expose the chain of thought as some sort of machine-parsable output, otherwise no real progress will have been made (many benchmarks are not really significant when you try to apply LLMs to real-life applications and use cases...)
More, from an OpenAI employee:

> I really hope people understand that this is a new paradigm: don't expect the same pace, schedule, or dynamics of pre-training era.
I believe the rate of improvement on evals with our reasoning models has been the fastest in OpenAI history.

> It's going to be a wild year.

https://x.com/willdepue/status/1834294935497179633
If doing a small amount of arithmetic and keeping 4 bytes (or less) additional memory per client is "a lot of time and space", you may need to rethink your priorities.

It is very, very unusual for any kind of request to anything to take a time within many orders of magnitude of how long exponential averaging will take. The difference between a GCRA implementation and complex multi-exponential average will be nanoseconds.
Worse, still, unless the current me blinks out of existence, "old me" will still be around - unless we can replace neurons in-place with computational analogs, the original me is destined to die, almost no matter what, even if a copy/download is made. From the download's perspective, it continues, but the original, if not ended then and there, still faces a grim end and will know it.
I am cautiously optimistic. So much of building software is deciding what _should_ be built rather than the mechanics of writing code.

I you like coding because of the things it lets you build, then LLMs are exciting because you can build those things faster.

If on the other hand you enjoy the mental challenge but aren't interested in the outputs, then I think the future is less bright for you.

Personally I enjoy coding for both reasons, but I'm happy to sacrifice the enjoyment and sense of accomplishment of solving hard problems myself if it means I can achieve more 'real world' outcomes.

Another thing I'm excited about is that, as models improve, it's like having an expert tutor on hand at all times. I've always wanted an expert programmer on hand to help when I get stuck, and to critically evaluate my work and help me improve. Increasingly, now I have one.
It was for a while, look up "centaur" systems, that's the term in chess. Stockfish 17 rolls them every time.
Usenet was used by about almost exclusively people with an IT or engineering background.

Reddit is used by a far wider and larger audience, both relatively and absolutely.
I agree with your enthusiasm for treatments and drugs that inhibit mTORC1 selectively. Low dose rapamycin is our best practical pro-longevity treatment today. I only wish we had a large randomized clinical trial for stronger direct support.

In contrast, the evidence of any direct in vivo action of metformin on mTORC1 is dubious. In vitro studies may be of little relevance in this context.

Even indirect effects of metformin via AMPK activation are controversial.

A careful study by Keys and colleagues of a large Danish cohort of twins (2022)found no reduction in all-cause mortality by metformin treatment.

They point out that the highly influential Bannister et al. study (2014, pushed by a high profile TED presentation) has not been replicated despite a 10-year period in which to do so. Here is the link to the Keys paper that makes me highly skeptical about use of metformin to modulate aging rates.

https://pubmed.ncbi.nlm.nih.gov/36287641/

Could you highlight any strong in vivo studies on metformin targeting mTORC1 selectively or otherwise?

I am not quite sure what to make of this Cell paper yet.

In the NIA Interventions Testing Program (systematic studies of the impact of drugs on longevity) metformin has inly weak effects in males (p ~0.3) and no effect in females:

https://phenome.jax.org/itp/surv/Met/C2012

In contrast adding rapamycin work wonders (in mice).
To be fair to Zweig, history's events could have unfolded differently than they did.
"Safety" is a marketing technique that Sam Altman has chosen to use.

Journalists/media loved it when he said "GPT 2 might be too dangerous to release" - it got him a ton of free coverage, and made his company seem soooo cool. Harping on safety also constantly reinforces the idea that LLMs are fundamentally different from other text-prediction algorithms and almost-AGI - again, good for his wallet.
Here's a video demonstration they posted on YouTube: https://www.youtube.com/watch?v=50W4YeQdnSg
It sounds like you are the perfect customer for them but when your machine craps itself I would suggest checking out something like the Breville Barista models. I have the Pro version which has the grinder built in and I've found it makes far nicer coffees than the pods and there is minimal faffing around due to everything being integrated in the one machine.
I'm retired and on metformin. I feel great. The wage slave problem is a separate problem for which there is only a political, not medical, solution.
Enhance your incident response call etiquette with technology. Learn how AI, automation, and modern tools like Squadcast improve clarity, focus, and respect in high-stakes situations. Discover the future of IR calls with AI moderation, alert deduplication, and more.
Are there any FOSS operating systems that are certified EAL 5 or higher by CC?
Are there any FOSS operating systems that are certified EAL5+ by Common Criteria? I have seen SUSE taking EAL4+ but is it EAL5 or higher?
> So in your hypothetical language with union types `X | Null -> Y` is a function that can actually return `Y | Null`?

No, but a function which returns Y | Null can be replaced with a function which returns Y without changing code on the call site.

Imagine I always used to give you a nail (Y) or nothing (Null), and you can handle both receiving a nail and receiving nothing. Then I can, at any time, change my behavior to giving you nails only. Because you can already handle nails, and the fact that I now never give you nothing doesn't bother you. You just perform a (now useless) check of whether you have received a nail or nothing.
I was a bit confused when looking at the English example for Chain-Of-Thought.
It seems that the prompt is a bit messed up because the whole statement is
bolded but it seems that only "appetite regulation is a field of
staggering complexity" part should be bolded. Also that's how it shows up in
the o1-preview response when you open the Chain of thought section.
Do you know of any resources to help learn bicycles? I wish I could tune my own bicycle but can't seem to figure it out. I can build my own computer, change the oil in my car, paint a house, etc. but my bicycle always befuddles me.
Even if LLMs take over the bulk of programming work, somebody still needs to write the prompts, and make sure the output actually matches what you wanted to achieve. That's just programming with different tools.
You're right, however I was looking for the same information to maybe try it on a RPi to learn more about Illumos.
Software engineering teaches you a set of skills that are applicable in more places than just writing software. There are big parts of the job that cannot be done by LLMs (today) and if LLMs get better (or AGI happens) then enough other professions will be affected that we will all be in the same boat (no matter what you major in).

LLMs are just tools, they help but they do not replace developers (yet).
It’s basically a scaled Tree of Thoughts
For debugging, accessing private innards is fine because the version doesn't change before you're done. For long-lasting features, you can perform a risk-based analysis as to the likely stability of the implementation details you're accessing.

But as a general rule: as a library author I deeply resent people who cause ME to get blamed when I change an implementation detail and their fragile code breaks when my library gets upgraded.

https://xkcd.com/1172/

> This update broke my workflow! My control key is hard to reach, so I hold spacebar instead, and I configured Emacs to interpret a rapid temperature rise as "control".
> I'm dead sure it will get it correct within 5 years

You might be right.

But plenty of people said we'd all be getting around in self-driving cars for sure 10 years ago.
I often click on those links and get an error that they are unavailable. I’m not sure if it’s openAI trying to prevent people from sharing evidence of the model behaving badly, or an innocuous explanation like the links are temporary.