MurphyA/hacker-news huggingface dataset:
by zejn | 2025-06-23 10:07:53+00:00
This is not the same issue you are talking about.

Cars are repairable, phones are not, this is why this regulation is coming about.

There are modules that need replacement in whole, but same is true for this regulation regarding to phones: display and touchscreen modules are replaced as whole, not per component. Not great, but not too shabby, given the only other choice was to toss it.

The bigger part is manufacturers have to provide OS support for 5 years after the last phone was sold.
by rob_c | 2025-06-23 10:08:16+00:00
A damning statement of the masses.

How about LLM do away with the pointless painful and thankless brute forcing of huge databases of physical paper to find the key piece of information you want to check something against. Teaching that, that is what academic study is leads to the misconception that writing enough about something makes it valid. A serious problem in many of the areas of new academic prostration.

I'd say this opens research to a new audience who otherwise wouldn't go near it, but frankly we see what damage the internet did to society after people said this in the 90s so yes maybe put it back in the box...
by sublimefire | 2025-06-23 10:10:57+00:00
This post is close to pure waffle. Yes there are parts of common sense but just to give some example “spice” thrown in amongst other lines:

> Deep learning has historical and epistemological connections to eugenics through its mathematics, its metrics and through concepts like AGI, and we shouldn't be surprised if and when it gets applied in education to weed out 'useless learners'.

It might be partially correct but this is similar to saying Germans should not be trusted because of WWII.

(sad face) this post subtracts from the valid arguments against the usage of AI tools in some valid scenarios, it is because some folks have a knee jerk reaction and label authors as Luddites
by zejn | 2025-06-23 10:11:07+00:00
I have a few phones that I am afraid to use. They're not that old, but the manufacturers have stopped shipping updates for them. This is a much needed regulatory innovation, since there was very little hope any company wanted to provide OS updates for longer than a few years.

Shipping OS updates to 5 years after the sale of last phone is going to make the phones work longer and lower the amount of stupid and fixable security issues present in all the outdated phones now in the wild. I hope.
by usrbinbash | 2025-06-23 10:11:08+00:00
> Much like living things, they are recycling entropy and information to/from their environment (the internet) at runtime.

3 Problems with that assumption:

a) Unlike living things, that information doesn't allow them to change. When a human touches a hotplate for the first time, it will (in addition to probably yelling and cursing a lot), learn that hotplates are dangerous and change its internal state to reflect that.

What we currently see as "AI" doesn't do that. Information gathered through means such as websearch + RAG, has ZERO impact on the systems internal makeup.

b) The "AI" doesn't collect the information. The model doesn't collect anything, and in fact can't. It can produce some sequence that may or may not cause some external entity to feed it back some more data (e.g. a websearch, databases, etc.). That is an advantage for technical applications, because it means we can easily marry an LLM to every system imaginable, but its really bad for the prospect of an AGI, that is supposed to be "autonomous".

c) The representation of the information has nothing to do with what it represents. All information an LLM works with, including whatever it is eing fed from th outside, is represented PURELY AND ONLY in terms of statistical relationships between the tokens in the message. There is no world-model, there is no understanding of information. There is mimicry of these things, to the point where they are technically useful and entice humans to anthropomorphise them (a BIIIG chunk of VC money hinges on that), but no actual understanding...and as soon as a model is left to its own devices, which would be a requirement for an AGI (remember: Autonomous), that becomes a problem.
by noelwelsh | 2025-06-23 10:11:14+00:00
I have to admit I'm not very interested in reading the code. I'm not likely to use this library so I'm more interested in a conceptual understanding than in the details that code requires.

Regarding composition, there are at least three ways to compose FSMs:

* Sequential: when one FSM finishes (reaches a final state) it transitions to the start state of another FSM.

* Parallel: two FSMs transition in parallel from the same input

* Nested: when a FSM reaches a certain state, another FSM starts responding to the input. When the second FSM reaches a final state, control returns to the original FSM.

It would help your description if you were clear about the kinds of composition your library supports. The terminology of FSMs is quite consistent and well defined, so I think you should be able to use it to describe what the library does.
by 317070 | 2025-06-23 10:11:19+00:00
> Let a semantic frame be defined as Ω = (Σ, R)

But if we let an AGI operate on Ω2 = (English, Science), that semantic frame would have encompassed both Newton and Einstein.

Your argument boils down into one specific and small semantic frame not being general enough to do all of AGI, not that _any_ semantic frame is incapable of AGI.

Your proof only applies to the Newtonian semantic frame. But your claim is that it is true for any semantic frame.
by jeltz | 2025-06-23 10:12:10+00:00
Read your own link before posting. While the parent was wrong about it being fully closed source the Overleaf editor isn't fully open source either, it is open core under AGPL.

> If you want help installing and maintaining Overleaf in your lab or workplace, we offer an officially supported version called Overleaf Server Pro. It also includes more features for security (SSO with LDAP or SAML), administration and collaboration (e.g. tracked changes). Find out more!
by vidarh | 2025-06-23 10:12:31+00:00
Assuming the Church-Turing thesis is true, the existence of any brain now or in the past capable of proving it is proof that such a program may exist.

If the Church-Turing thesis can be proven false, conversely, then it may be possible that such a program can't exist - it is a necessary but not sufficient condition for the Church-Turing thesis to be false.

Given we have no evidence to suggest the Church-Turing thesis to be false, or for it to be possible for it to be false, the burden falls on those making the utterly extraordinary claim that they can't exist to actually provide evidence for those claims.

Can you prove the Church-Turing thesis false? Or even give a suggestion of what a function that might be computable but not Turing computable would look like?

Keep in mind that explaining how to compute a function step by step would need to contain at least one step that can't be explain in a way that allows the step to be computable by a Turing machine, or the explanation itself would instantly disprove your claim.

The very notion is so extraordinary as to require truly extraordinary proof and there is none.

A single example of a function that is not Turing computable that human intelligence can compute should be low burden if we can exceed the Turing computable.

Where are the examples?
by kernelwhisperer | 2025-06-23 10:13:04+00:00
I've released it under a AGPLv3 so that people can fork it and built on it.

It uses a client-server architecture, but in the desktop version both are bundled together so the app can run fully local like Notion.

It also supports extensions/plugins, just like Wordpress, so developers are incentivized to extend it.

It's built with Typescript, React, Bun/Nodejs, SQLite and Material UI.

Would love some feedback.
by retorquere | 2025-06-23 10:13:36+00:00
> But in the Bibtex file it is very common for the titles to appear in their original title case form

That is common because they are following the rules about how to steer capitalisation when using bib(la)tex:

- If the entry is in English, and the style demands title case, output as is

- If the entry is in English, and the style demands sentence case, convert to sentence-case and output

- If the entry is not in English, output as is
by ben_w | 2025-06-23 10:13:46+00:00
> If you rarely got to see letters and just saw fragments of words as something like Chinese characters (tokens), could you count the R's in arbitrary words well?

While this seems correct, I'm sure I tried this when it was novel and observed that it could split the word into separate letters and then still count them wrong, which suggested something weird is happening internally.

I just now tried to repeat this, and it now counts the "r"'s in "strawberry" correctly (presumably enough examples of this specifically on the internet now?), but I did find it making the equivalent mistake with a German word (https://chatgpt.com/share/6859289d-f56c-8011-b253-eccd3cecee...):

How many "n"'s are in "Brennnessel"?

But even then, having it spell the word out first, fixed it: https://chatgpt.com/share/685928bc-be58-8011-9a15-44886bb522...
by squigz | 2025-06-23 10:14:05+00:00
> frankly we see what damage the internet did to society after people said this in the 90s

Isn't ignoring the incredible good the Internet has done exactly what you're advocating against with regards to LLMs?

Yes, new technology that impacts fundamental aspects of our society will have negative side effects that we will have to adapt to and solve - but on the whole, I think the Internet has produced far more good in the world than otherwise. We'll see how LLMs pan out, but I suspect it'll play out similarly.
by dataflow | 2025-06-23 10:14:52+00:00
Ah interesting, thanks for checking. Not entirely sure I understand where the waits were happening, but my guess here is that the way Microsoft intended listening to work is for a new pipe listener to be spawned (if desired) once an existing one connects to a client. That way you don't spawn 8 ahead of time, you spawn 1 and then count up to 8.

I would intuitively expect throughout (once all clients have connected) to be similar to on Linux, unless the Linux side uses syscalls like vmsplice() - but not sure, I've never tried benchmarking.
by quailfarmer | 2025-06-23 10:15:38+00:00
I’d amend that to “never buying them a smart phone”. There’s nothing particularly addictive about texting with friends, and while there’s certainly still mischief associated with that, it’s not the kind of brain-fry that’s most worrying to me.

I hear this idea that not having social media will “isolate” kids from their peers, but will it? I’m not sure how you would use TikTok to interact with your classmates, given it’s a global app.
by wallaBBB | 2025-06-23 10:17:23+00:00
Wanting the latest and greatest was a thing back in 2010s, when there was a lot of progress and a lot of experiments by the phone manufacturers. Today, me and most of my friends are pushing our phones as long as we can (4+ years). My parents hate when they have to change phones, because they then have to adjust to a new UI. If battery and screen could be easily replaceable + security updates, many people would not be changing their phones for 5+ years.
by pjc50 | 2025-06-23 10:17:46+00:00
> See my other comments on eg the runaway success of the False Claims Act

Could you link some examples of such comments because I can't find them, please?

> Or just consider the class action lawsuit and whether you think it fills a valuable role in society.

This is an odd one. They are extremely rare in the UK, but in practice I think we have better consumer protection because it's handled through ordinary politics and legislation, rather than litigation.

ref. https://www.osborneclarke.com/insights/what-status-class-act...

I also wonder how this is going to interact with politically connected people who are used to ignoring the law, such as Cuomo https://nyc.streetsblog.org/2025/06/16/no-mo-cuomo-scofflaw-...
by ykonstant | 2025-06-23 10:18:27+00:00
For the record, at UIUC we had a bunch of seminar classes (and I think a regular class?) on LaTeX and technical document creation, ran by A.J. Hildebrand; it was a fantastic course and I learned a lot of folklore "secrets" that the manuals will not tell you, as well as technical writing tips that were far from obvious.
by phoronixrly | 2025-06-23 10:18:52+00:00
If by 'putting your hands on your car' you mean deleting your catalytic converter, EGR, DPF, DEF, or tuning your engine so that it has worse fuel economy or better fuel economy but worse emissions, then yes, and rightly so. I would also argue that these features are essential if you use your car on public roads, especially in the tightly packed European cities (where you get low-emission zones with nice hefty fines if you enter them with a vehicle that doesn't adhere to them).

The only failure I see is not enforcing the GDPR on auto vendors, and cars being surveillance machines with no way to opt-out ( https://www.mozillafoundation.org/en/privacynotincluded/arti... ).

Edit: right to repair as well.
Show HN: I replicated GRPO and made it one-click runnable on HPC-AI.com
by cheerGPU | 2025-06-23 10:19:10+00:00
Hi HN,

I’m excited to share RUNRL JOB, our new one-click service for running Reinforcement Learning Fine-Tuning (RFT) workloads—think GRPO, PPO, or any custom reward-based tuning—directly on HPC-AI.com.

What It Is Pre-wired RFT pipeline: dual-network configs, memory optimizations, logging, and reward modules are all set up for you.

Model support: demos with Qwen-3B and Qwen-1.5 out of the box; drop in your own model if you like.

Cost & performance transparency: real-hardware benchmarks on 8× H100/H200, with live metrics in TensorBoard and built-in cost tracking.

Why It Matters Memory-efficient GRPO: up to 40% memory savings vs PPO—no separate value network or double backward pass.

Zero setup: no Dockerfiles, no dependency hell—just click “Start” and your training job spins up.

Accessible RLHF: lowers the barrier for researchers, students, and indie hackers to experiment at scale.

How to Try Visit the blog post: https://hpc-ai.com/blog/RUNRL_JOB_is_live_on_hpc-ai

Click “Launch GPU Instances”, choose H100 or H200.

Select the RUNRL JOB template and hit “Start Job”.

Monitor progress live in JupyterLab or via TensorBoard—zero extra setup.
by al_borland | 2025-06-23 10:19:18+00:00
This is how I feel when I hear or see people use the word “maths”, but I simply accept the cultural differences in language.

Though I don’t think throwing an “s” on a word to make it plural, even if technically incorrect, is on the same level as “basgetti”. Adding an “s” to words to make them plural, is generally a good rule, there are just some exceptions, and not that many people are deep enough into Lego to know it’s one of those exceptions.
by psyklic | 2025-06-23 10:19:41+00:00
The article's main point seems to be that students cheat with AI; hence, universities must "resist" AI to preserve critical thought.

Although universities are certainly against cheating, the responsibility has always been on the student not to cheat. Universities do not oppose useful technologies simply because they may be misused for cheating.

Put another way, the role of a university is to "discover and invent the future." In this light, universities will be more interested in developing AI than so-called "resisting" it. This is especially since it has already yielded breakthroughs in science, e.g. a Nobel Prize in Chemistry for protein prediction.
by pona-a | 2025-06-23 10:19:43+00:00
udisks, not counting its dependencies, has 265,334 LoC. pmount, in contrast, has 19,978 LoC, or >13x less.

sudo, another setuid binary with a lot of policy code, has 210 CVEs / 430.150 kLoC = ~0.5 CVE per kLoC.

57.5% of CVEs have a CVSS >= 7, so 0.5 * 0.575 = 0.2875 CVE7/kLoC.

As a back-of-envelope estimate,

udisks: 0.2875 CVE7/kLoC * 265.334 kLoC = ~76.28 critical CVEs; pmount: 0.2875 CVE7/kLoC * 19.9780 kLoC = ~5.7 CVEs.
by shuhongwu | 2025-06-23 10:20:45+00:00
Thank you for your feedback, and I apologize for the repeated posts. You're absolutely right to call that out. I've been having an issue where I couldn't see my submissions appearing on HN, so I kept reposting thinking they weren't going through. I've now contacted the HN admins to understand what was happening, and I won't repeat this mistake.

The real purpose is that the iPhone native Agent , purely on your device. and we think that we could use more edge devices do more. that's we are focus and research for.
by goless | 2025-06-23 10:21:13+00:00
Is there a way to combine:

Higher order finite state machines that require other states as parameters to work.

https://github.com/sdzx-1/ray-game/blob/master/src/select.zi...

The select, inside, and hover states here are all high-level states, and all require two state parameters. And these three states form a small state machine for handling mouse interactive selection.

Can I think of this way of using higher-order state machines as a kind of composition? A semantic composition.
by GordonS | 2025-06-23 10:21:30+00:00
Sure, here's stories from the Guardian in March, and Al Jazeera from last December: https://www.theguardian.com/world/2025/mar/12/israel-to-occu..., https://www.aljazeera.com/news/2024/12/9/qatar-saudi-arabia-...

And here's HRW and France regarding Lebanon - Israel even destroyed the fields: https://www.hrw.org/news/2025/02/17/lebanon-destruction-of-i..., https://www.france24.com/en/live-news/20250218-returning-leb...
by Avamander | 2025-06-23 10:21:49+00:00
At the same time I can run the latest OS on my 10-year-old ThinkPad brick. It's slow and ugly, but it works for the purposes I want to use it for.

It's absolutely crazy how we're basically forced to accept that mobile devices just expire when the OEM decides so. Unless you go into extreme lengths to build your own custom ROM, which might not even be properly doable (when the device becomes EOL).
by pjc50 | 2025-06-23 10:21:52+00:00
This is a general problem we've had iterations of in Edinburgh lately:

- traffic designers lay out road

- there is nowhere for delivery trucks to park, or extremely limited parking

- this is justified by a lengthy set of arguments about other road users

- deliveries still need to be made

- truck parks in bus lane, cycle lane, or on the pedestrian paving (cracking slabs!)

- everyone is now mad with each other, on the street or in the local newspapers
by npteljes | 2025-06-23 10:22:34+00:00
That's exactly how haggling at bazaars work. The prices are set ridiculously high, because of the haggling culture, sellers expect customers to haggle. And they won't turn away anyone who's too shy or rich to haggle.

That is to say - all the more reason to haggle. Or negotiate salary prices. What this experience says is that lowballs are the norm.
by nrclark | 2025-06-23 10:23:14+00:00
There's a certain irony in the idea that Hawaii has interstates, given that it's an archipelago. It's great that H1, H2, and H3 exist, and Hawaii deserves the same road funding as any other state. But there's some lesson about naming conventions, or emergent properties, or maybe something else to be had here for sure.
by atan2 | 2025-06-23 10:24:22+00:00
Writing that programmers that use Euler instead of RK4 are "bloddy idiots" might work well to get some laughs in a blog post when the author is trying to stress how RK4 is more accurate and stable than the alternative, but there are cases where real-time applications (especially on older machines and older consoles) could not afford the overhead of RK4 and Euler was gave good-enough for what they needed.
by shuhongwu | 2025-06-23 10:24:38+00:00
That's really cool! I just checked out HackYourNews.com and it's a great implementation of the summarization concept. I love that you're covering multiple sites beyond just HN, and including the comments summary is smart - often the real insights are in the discussion threads.

It's interesting that we both saw a similar need around staying informed without spending hours browsing. Your approach with Gemini Flash for the web-based solution makes a lot of sense, especially being able to offer it for free.

Our focus is a bit different - we're exploring what becomes possible when you move that intelligence directly onto the device itself. So while you're solving the summarization problem really well in the cloud, we're asking "what if this kind of AI agent lived natively on your iPhone?" The privacy, speed, and offline capabilities open up some interesting possibilities.

Thanks for sharing your project - it's always great to see different approaches to similar problems. The fact that multiple people are building in this space suggests there's real demand for better ways to consume information.

And, We will remove the paid feature in the later versions. Cause this agent is running on your device, there is no need to have any pay.
by ciphernomad-org | 2025-06-23 10:25:57+00:00
1. Formal Spec: You're right. A formal specification is the top priority. We released the code first as a concrete artifact to invite this exact kind of direct scrutiny.

0. Process: Our focus is on the technical merits of the work itself.

2. Encryption Speed: The process is computationally symmetric. Encryption is not slower than decryption. For each block, both operations perform one permutation and the navigation/state-update hashes.

3. Collisions & Key Reuse: This is the crucial distinction. A geometric path collision (e.g., L-R-L) is common and harmless. A catastrophic round key collision is what we prevent. The key for each round is derived from (master_key, state, node_nonce). Since the state is a cryptographic ratchet of the entire history and the node_nonce is unique to the position in the Labyrinth, a key-reusing state collision is cryptographically negligible.
by vidarh | 2025-06-23 10:26:25+00:00
Given that we know of no computable function that isn't Turing computable, and the set of Turing computable functions is known to be equivalent to the lambda calculus and equivalent to the set of general recursive functions, what is an immensely large hurdle would be to show even a single example of a computable function that is not Turing computable.

If you can do so, you'd have proven Turing, Kleen, Church, Goedel wrong, and disproven the Church-Turing thesis.

No such example is known to exist, and no such function is thought to be possible.

> Turing machines (and equivalents) are predicated on a finite alphabet / state space, which seems woefully inadequate to fully describe our clearly infinitary reality.

1/3 symbolically represents an infinite process. The notion that a finite alphabet can't describe inifity is trivially flawed.
by corimaith | 2025-06-23 10:26:53+00:00
>To your point, if you don't want a world where it's safer for home owners to own guns, than you need to ensure there are policies in place to create a world where that was true

So achieving monopoly on violence first. Which requires forcefully disarming all opposition just like what is happening right now. Is the Sovereign hypocritical because they arrest and potential kill people they don't like but they do not others to do so? According to many mainstream political theories, not neccessairly so.

The matter of fact is that if a major power really wants to destroy a smaller power, there's nothing a smaller power can do even if they develop a handful of nukes, especially at the cost of their economy. Much better just to work diplomatically with said major powers so that interests are aligned rather than demanding a absolute respect for sovereignity which does not exist in reality. So then the question is, why can the Shah or the Gulf States work with Israel and America, but not the Islamic Regime? Even worse so, it's one to turn a cold shoulder that America or Israel wouldn't care much, but to actively fund proxies that destabilize other allies is just warranting a response.