skysight-inc/HackerNews huggingface dataset:
Certainly of course, but not while delivering maximum continuous energy from a kite to a turbine.
Hey HN,

I’m excited to share Spelly, an interactive browser based spelling app designed to help kids aged 6-12 improve their spelling. (Originally built to get my daughter with her prep for Spelling Bee.)

Here is what it does
Spelly the Owl reads out words
Kids type out the word
Game-Based Learning – Instant feedback, progress tracking, and rewards.
Its Free

We’re launching soon and would love feedback from parents, educators, and tech enthusiasts. If you're interested, check it out and sign up for early access at getSpelly.com.

Would love to hear your thoughts – what features would make this more useful for kids?
I thought Aleph Null was countably infinite?
My wheelhouse is lower on the stack, so I'm curious as to what you mean by "stateless single machine job" -- do you just mean that it runs from start to end, without options for suspension/migration/resumption/etc.?
... and an Apple Account with an SMS-verified telephone number.

And of course by requesting a result, you're letting Apple know that your Apple Account cares about a particular Airtag.

All the FindMy anonymity claims go out the window as soon as you actually lose something and want to find it. It's only anonymous if you don't query the network.
At least here in Germany one of the groups getting more help would immediately mean that the other one has less access simply because here you wait like 6 month to get an appointment with many psychotherapists and psychiatrists not taking any new patients. Would it be possible that the increase could explain the decrease as well.
Bill Wadge ruined my life! I stumbled upon his book on his language Lucid in the library when I was in grad school, and it opened up my eyes about different programming models. It inspired me to try making my own programming language and I’ve been doing it ever since!

Going on 10 years now, no sign of losing interest. Don’t read his book if you have an interest in the thing you’re doing; it’ll turn you into a compiler dev and you’ll never do your interest again.
Obviously it’s expensive and still I would prefer a reasoning model for coding.

However for user facing applications like mine, this is an awesome step in the right direction for EQ / tone / voice. Obviously it will get distilled into cheaper open models very soon, so I’m not too worried about the price or even tokens per second.
Why would that be fairer? We can assume they did incorporate all learnings and optimizations they made post gpt-4 launch, no?
> each passing release makes Altman’s confidence look more aspirational than visionary

As an LLM cynic, I feel that point passed long go, perhaps even before Altman claimed countries would start wars to conquer the territory around GPU datacenters, or promoting the dream of a 7 T-for-trillion dollar investment deal, etc.

Alas, the market can remain irrational longer than I can remain solvent.
one of the problem seem to be there's no alternative to Nvidia ecosystem. (the gpu + CUDA).
Bitcoin Reserve Bills Are Failing in Quick Succession in States
The external appearance can be quite deceiving if there are no critical features or surfaces it won’t be finished beyond its original cast or forged finish.

The inside will be precision machined to exact tolerances and the part will be validated extensively.

Even with all the memes and jokes the safety considerations for commercial passenger flight are insane.
I'm guessing e.g. "managed kubernetes in EU" will get quite competitive.
From looking at satellite, they have some batteries right next to power plant and some further away in facility. I don't know why they put some nearby when they have space further away.
Probably depends on the macro, but ok.
I'm almost sure this is a pretty common Zoom feature, I have run into this at least once a month the last 6-7 years.

IMO, it's less a Zoom problem, and more a setting on the host's side problem. Same category as "guest cannot move a meeting invite unless explicitly allowed to" on google calendar.
In other words, they want people to pay for the privilege of becoming beta testers....
Implicit Language Models Are RNNs: Balancing Parallelization and Expressivity
In a hilarious act of accidental satire, it seems that the AI-generated audio version of the post has a weird glitch/mispronunciation within the first three words — it struggles to say "GPT-4.5".
Thank will follow along with great interest!
If open ai offers a more expensive model (4.5) and a cheaper model (3 mini) and both are worse, it starts to be a fair comparison
It's sad that all I can think about this is that it's just another creep forward of the surveillance oligarchy

I really used to get excited about ML in the wild and while there are much bigger problems right now it still makes me sad to have become so jaded about it
Chemdle
There was 3, 3.5, 4, 4o, and then 4.5.

There are things to complain about in that, but “its always X.5 and never X.0” doesn't really seem to be one of them.
A Review of Charles Piller's Doctored
I know, which was the motivation for D.
Best game intro [1] ever IMO. Fun story, compact length, epic soundtrack ("Hell March"). They did that in 1996 and nothing since has even come close for me.

Had a ton of fun with the game itself, too.

1: https://www.youtube.com/watch?v=lJnMaTx4yjI
Actually yeah I see your point. I’ll concede on that.
Have a look at Mental Omega, a quite over the top RA2 Yuri's Revenge mod that makes it easy to play on modern windows, play online and also adds a tonne of extra content should you want it.

https://mentalomega.com/
This strikes me as the opposite of rushed. I get the impression that they've been sitting on this for a while and couldn't make it look as good as previous improvements. At some point they had to say, "welp here it is, now we can check that box and move on."
It is. But if we can handle maritime oil and gas rigs, which load/unload to tankers, hydrogen isn't MUCH worse.

It wouldn't be floating exactly though. Moored and piled into the sea bed, sitting above the waves like rigs and wind turbines.
Not dead. Still selling my books :)...
It's weird how many people seem to want a king
I was not involved in this project, but I have previously worked at Mozilla (although I left over 3 years ago). Maybe I can share some high level insights for how these things are approached.

Generally there are specific feature expectations when new platforms are added, and it can be a fairly major work. Besides rebranding, there are likely UI changes for look and feel, as well as specific capabilities expected across all platforms that were probably missing. Project deadlines tend to be soft deadlines rather than hard deadlines, but they are created to provide a point to work back from and define scope, and the goal is always to hit the deadline for release. Every day you don't release is a day users don't get access to the work you've put in.

I seriously doubt Mozilla purchased a Superbowl ad or otherwise had financial reasons to set this deadline.
My old company would crush tens of thousands of dollars' worth of high-spec optical gear, each year, as opposed to doing things like donating it to nonprofits or schools.

It was absolutely awful. They ignored pleas to donate, because they got slightly more, in tax breaks, by doing axe breaks (literally).

I suspect that this kind of thing is rife, throughout the various industries.

One of my favorite HN articles, is the one about the guy fixing an electron microscope in his garage: https://news.ycombinator.com/item?id=42511426
Misinformation mostly confuses your own side
That is an amazing resource. Thanks for sharing!
I've witnessed the "selfie tourists" overwhelm one of my favorite parks and it's just so frustrating. You want everyone to be able to experience it for themselves, but you have to be careful when sharing with others because human nature itself gets in the way. They ended up closing the park for the season to recover. Share responsibly.
Symmetries of Living Systems
As a regular thrift store hunter this is a great find that I’d file under the “oddball” category of my collection. Doubt it’s worth that much given regulations and all that but still a one of a kind, and makes for a great story.

I certainly haven’t found anything even close to this valuable in my 15+ years of hunting, so kudos to Tyler.
A multithread concurrency cost hierarchy
https://podcasts.apple.com/us/podcast/better-offline/id17305...
Anyone really finding ai useful for coding?

I'm finding it to make things up, get things wrong, ignore things I ask.

Def not worried about losing my job to it.
When he said he was going to "change the world", did he mean he was going to remove the beds?

Because that seems like a step backwards to me.
That's a surprising stance of moral absolutism which I doubt you carry into the rest of the aspects of your life. If you look at medical assertions and how they have changed over the years they are absolutely in line with the cultural assertions that come from a religious and political viewpoints. This is also why they vary broadly around the world based upon the cultures. You merely need to study different cultures around the world and view what they believe and see what they consider normal and deviant behavior as it relates to what is mentally normal and mentally deviant from a health perspective.

Let me provide you with an extreme example because you're not seeming to understand that there can be small variances everywhere so this extreme example should demonstrate exactly the point that culture deems what is mentally healthy behavior or not.

https://medium.com/the-story-in-history/the-tribe-where-boys...

https://en.m.wikipedia.org/wiki/Simbari_people

In most other societies especially any western society this not only would be considered criminal behavior but it would also be considered mentally deviant behavior. It would indicate a problem with mental health to engage in this behavior and promote it.

So it is quite clear to anyone that a culture through its religion and political power makes a determination on behaviors and the outcome of that determination is around mental health.

So the assertion that some people may have that transgenderism is a mental health disorder and their religious and political viewpoints are the reason they have around it isn't really that far-fetched considering what goes on in the world. I think if you simply look at the Facebook posts that do not get people banned that are asserting that in a political and or religious context transgenderism is a mental health disorder it's plain to see that is absolutely what Facebook is doing. They are carving out this exception allowing political and religious discourse around this. Because your cultural understanding is not the world's cultural understanding.
>They could, but they will not.

I intended to say "the number of AWS customers that currently survive on these services alone...". I've updated the comment.

My comment was aimed more at those who assume that providers offering only these services would mean they're technically non-competitive with AWS.

My overall point is that these services likely represent what many customers are actually using. If you're in an enterprise shop, this may be less true. Same if you're in a funded startup that's convinced it needs infinite scalability and architects accordingly.

But, I do agree that it's hard to convince people to resist the dogma. This may be changing as people are starting to question the value of Big Cloud vs its costs, but we'll have to wait for the dogma to follow to see any real change (for those who have access to Big Cloud).
Oh god, even this article has AI and LLM section in it. When I thought distributed system design could not get any worse, someone actually pitched AI slop in it.

God I want to dig a cave and live in it.
From what I understand, one of the reasons that Putin got so much authority, was because a significant number of folks were pining for the "good ol' days," of Joseph Stalin.
While Democracy Burns, Democrats Prioritize Demolishing Section 230?
Original thread:

https://www.reddit.com/r/ThriftStoreHauls/comments/1isghb0/f...
I don't think revenue numbers reflect that we are in a ditching the cloud hype cycle, particularly given emerging political risks.. At any given time there is hype for every possibility with controversy or ramifications and the software market is so much larger than what many of us were used to that any group seems large enough to be most of the market.
Fil-C doesn’t have those things because it doesn’t need them to achieve safety.
HTTP2 works great on the LAN, or if you have really good network.

It starts to really perform badly when you have dropped packets. So any kind of medium quality wifi or 4/5g kneecaps performance.

It was always going to do this, and as webpages get bigger, the performance degradation increases.

HTTP2 fundamentally underperforms in the real world, and noticeably so on mobile. (My company enthusiastically rolled out http2 support when akamai enabled it.)

Personally I feel that websockets are a hack, and frankly HTTP 3 should have been split into three: a file access protocol, a arbitrary TCP like pipe and a metadata channel. But web people love hammering workarounds onto workarounds. so we are left with HTTP3
I and many others have said this before, but I'll say it again.

Programming is the easy part. It really isn't hard and has never been hard to write software that generates code and other software. We've been doing that since the early 2000s with frameworks like winforms, and oh yeah compilers. The only difference now is that we're doing statistical analysis that costs literally billions of dollars in order to generate that code with a data first approach.

To generate code that actually does what you want and what your client wants, all while not being a clusterfuck of spaghetti that breaks after 6 months of changes? That's the challenging part.

So sure, if you need someone to hold your hand every step of the way in order to get a task done and to literally tell you step by step what must be done after two years of being a junior developer, then yeah you probably don't have a bright future. However, that'd be true regardless of if the AI boom was present or not.

To answer the question more directly: no I'm not afraid.
The Doge Takeover Is Worse Than You Think
Or the other way around: smaller reasoning models that can call out to GPT-4.5 to get their facts right.
I'm curious, what area is this? That sounds strange to me.

Some people in your boat would choose to buy an investment property in one place and rent in another in order to still get exposure to the real estate appreciation that is so common, while not having to buy a condo in a difficult area like yours. But it would probably be so much easier to just to invest in a few good residential property REITs.

Probably lower return than the best case scenario of owning a rental, but with all the costs diluted across a large portfolio (instead of 'surprise, you need a new roof!')
If a seemingly intelligent person goes against all reason to do something stupid, they're not stupid, they're a liar if they know it or not. At this point he would rather lose his family and die than admit he was played, so he's going to keep playing his role in the conspiracy theory until he does.
If you’re writing the software and the plugins you have 101 features and likely a bunch of complicated integrations between plugins or when people change them.

It’s only really useful if you’re getting 3rd parties to support plugins written by them.
It gets confused if I give it 3 files - how is it going to scan a whole codebase and disparate systems and make correct changes.

Pah! Don't believe the hype.
3.5x on a normal distribution with mean 100 and SD 15 is pretty insane. But I agree with your point, being 26% better at a certain benchmark could be a tiny difference, or an incredible improvement (imagine the hardest questions being Riemann hypothesis, P != NP, etc).
Perhaps you could use LLMs in a list ranking context to generate your scifi recommendations https://github.com/noperator/raink?tab=readme-ov-file
He's beaten nameless king, pre-nerf radahn, melania etc.
Nice, thank you for that (upvoted in appreciation). Regarding the absence of o1-Pro from the analysis, is that just because there isn't enough public information available?
You should consider selling this as a kit or something? There must be some people in Northern Europe who love this!
Subscriber-only content
Please don't post trashy articles from trashy media, government funded.

I know there are weirdos everywhere, but not much related to "Hacker News"
> The above code is simple and correct

Unfortunately not:

Using notifyAll and wait in Java is tricky to do correctly, you'd have a much easier chance using concurrency primitives that wrap these functions, like CountDownLatch[1] for one offs, or Condition[2].

System.currentTimeMillis is also not guaranteed to be monotonic, and System.nanoTime should be used instead. This would of course be obviated if a better concurrency primitive were to be used.

[1] https://docs.oracle.com/en/java/javase/21/docs/api/java.base...

[2] https://docs.oracle.com/en/java/javase/21/docs/api/java.base...
This is Java, the use of wait() and notifyAll() means the whole thing is running in a synchronized method/statement.
how does a company earn more by destroying things instead of donating it?
I was waiting for your comment and wow... that's bad.

I guess they are ceding the LLMs for coding market to Anthropic? I remember seeing an industry report somewhere and it claimed software development is the largest user of LLMs, so it seems weird to give up in this area.
I wonder if LibreWolf is of any help with those (and previous) changes. Would love to see LibreWolf maintainers chime in on this.
My favorite feature is that the little mic next to someone's name on the roster goes red when their internet is spotty. No ambiguity on who's internet is spotty ;)
wild how often this happens now. some no-name publication will write a few paragraphs summarizing a reddit post and call it a news article.
It is possible to understand the mechanism once you drop the anthropomorphisms.

Each token output by an LLM involves one pass through the next-word predictor neural network. Each pass is a fixed amount of computation. Complexity theory hints to us that the problems which are "hard" for an LLM will need more compute than the ones which are "easy". Thus, the only mechanism through which an LLM can compute more and solve its "hard" problems is by outputting more tokens.

You incentivise it to this end by human-grading its outputs ("RLHF") to prefer those where it spends time calculating before "locking in" to the answer. For example, you would prefer the output

Ok let's begin... statement1 => statement2 ... Thus, the answer is 5

over

The answer is 5. This is because....

since in the first one, it has spent more compute before giving the answer. You don't in any way attempt to steer the extra computation in any particular direction. Instead, you simply reinforce preferred answers and hope that somewhere in that extra computation lies some useful computation.

It turned out that such hope was well-placed. The DeepSeek R1-Zero training experiment showed us that if you apply this really generic form of learning (reinforcement learning) without _any_ examples, the model automatically starts outputting more and more tokens i.e "computing more". DeepseekMath was also a model trained directly with RL. Notably, the only signal given was whether the answer was right or not. No attention was paid to anything else. We even ignore the position of the answer in the sequence that we cared about before. This meant that it was possible to automatically grade the LLM without a human in the loop (since you're just checking answer == expected_answer). This is also why math problems were used.

All this is to say, we get the most insight on what benefit "reasoning" adds by examining what happened when we applied it without training the model on any examples. Deepseek R1 actually uses a few examples and then does the RL process on top of that, so we won't look at that.

Reading the DeepseekMath paper[1], we see that the authors posit the following:

As shown in Figure 7, RL enhances Maj@K’s performance but not Pass@K. These
findings indicate that RL enhances the model’s overall performance by rendering
the output distribution more robust, in other words, it seems that the
improvement is attributed to boosting the correct response from TopK rather
than the enhancement of fundamental capabilities.

For context, Maj@K means that you mark the output of the LLM as correct only if the majority of the many outputs you sample are correct. Pass@K means that you mark it as correct even if just one of them is correct.

So to answer your question, if you add an RL-based reasoning process to the model, it will improve simply because it will do more computation, of which a so-far-only-empirically-measured portion helps get more accurate answers on math problems. But outside that, it's purely subjective. If you ask me, I prefer claude sonnet for all coding/swe tasks over any reasoning LLM.

[1] https://arxiv.org/pdf/2402.03300
I don't know. That was what I was told, when I begged them to donate it to trade schools for poor folks.
There have been situations I’ve regretted speaking up, but there have also been situations I’ve regretted not speaking up. In particular, when I predicted something and could’ve convinced people to avert it or given myself credibility.

When you speak, you reveal yourself (or create an illusion). This includes your bias and ignorance, but also your trustworthiness and intelligence. If you don’t speak, people won’t think you’re dumb or rude, but they also won’t trust or befriend you.

A better message is “think before you speak”. First I would decide whether the speech brings value to the conversation (don’t say something mundane or obvious), then weigh that against the drawbacks (don’t upset people for the sake of it, although it may be worth it to upset them if they still take the feedback constructively, or if you’re primarily talking to other people).

Of course, this also applies to writing, even anonymously on Hacker News. The stakes are much lower, but (certainly not uncommon) think before you post (or comment): if you think it would be novel and valuable, do post, but if not, wait.
Might be you actually interested to work on that code?

I do personally know some of main developers and they know who owns the IP, but to push something like that it will take some resources unfortunately. So might be if some people get together on this it's could be done.

It's wouldn't cost some immense amount of money, but it will certainly cost some. At least I pretty sure that source code for the games is not lost.
neat!

watch -c -n 10 'fortune | figlet -w 80 | cowsay -W 80 -n'

character mode screen saver ;-)
Neither of those support your claim that buffer overflows are the top issue by a wide margin.

If you are saying that “most memory safety issues are bounds related” then I agree. I’m just disagreeing on the wide margin bit.
Nothing in the Facebook statement mentions the word dehumanize. You're simply inventing and adding a term in where none exists. It's talking about the view that transgenderism comes from a mental health disorder. Nothing in a belief, absent further context, that transgenderism is a mental health disorder is dehumanizing. Trying to link the two is so disingenuous that it's hard to take you seriously. Do you think when someone says anorexia or bulimia is a mental health disorder they have somehow dehumanized the person? Because in order to be logically consistent you would have to think labeling anything as a mental health disorder is dehumanizing.
That's some top-tier sales work right there.

I suck at and hate writing the mildly deceptive corporate puffery that seems to be in vogue. I wonder if GPT-4.5 can write that for me or if it's still not as good at it as the expert they paid to put that little gem together.
The new recipe format on conda-forge