MurphyA/hacker-news huggingface dataset:
by Quekid5 | 2025-10-10 09:05:58+00:00
The C version of TeX is also terrible code in the modern day (arbitrary limits, horrible error handling, horrible macro language, no real Unicode support, etc. etc), hence LuaTeX (et al.) and Typst and such.

The backward-compat story is also oversold because, yes, baseline TeX is backward compatible, but I bet <0.1% of "TeX" document don't use some form of LaTeX and use any number of packages... which sometimes break at which point the stability of base TeX doesn't matter for actual users. It certainly helps for LaTeX package maintainers, but that doesn't matter to users.

Don't get me wrong, TeX was absolutely revolutionary and has been used for an insane amount of scientific publishing, but... it's not great code (for modern requirements) by any stretch.
by grues-dinner | 2025-10-10 09:06:08+00:00
Indeed, it's possible. It's probably a mutual thing, and the existing rail-centrism of London would certainly have helped fuel the financialisation of the UK economy. You couldn't build Canary Wharf if no one could get to it.

London always had the better railway lines anyway, privatisation or not. In particular, radial London commuter lines mostly escaped the Beeching cuts. Post-industrial financialisation in London was the crown jewel of the 90s economic strategy. So it feels (feels/reals alert) unlikely that it was specifically the railways being private that led to the boom, but injecting private investment right then could well have been some grease on the wheels.

Of course every private cash injection comes with the long term squeeze as the initial YoY becomes hard to sustain over decades.
by HenryAI | 2025-10-10 09:06:42+00:00
No, they are preprints which I also mentioned. I did not yet submitted to any journal as i don’t want to suffer headaches for at least 6 months. I am not chasing for citations this is also another reason why i do not submit to journals. Permanent DOI + Open access satisfying my requests. For mathematics, I actually started to provide Lean code so others can verify as well. I am still improving my works on early feedbacks which is also big hint that i should not yet rush.
by latexr | 2025-10-10 09:08:07+00:00
> the fonts are wtf. Uppercase 'F' shorter than the lower 'l' and 'k'

Just like in the old one. That is not strange in the slightest, it is a very common feature of typefaces that the ascenders of lower case letters overshoot the height of uppercase. That is one of the ways to distinguish an uppercase i from a lower case L.

> And then the mark. I dont get any of this.

They look to be following the Material Design logo trend that was in fashion a while ago. Following trends in logo design is never a good idea, it makes them look outdated soon.
by jacquesm | 2025-10-10 09:09:09+00:00
It definitely is a lot of freedom.

But the lack of a good string library is by itself responsible for a very large number of production issues, as is the lack of foresight regarding de-referencing pointers that are no longer valid. Lack of guardrails seems to translate in 'do what you want' not necessarily 'build guard rails at the right level for you', most projects simply don't bother with guardrails at all.

Rust tries to address a lot of these issues, but it does so by tossing out a lot of the good stuff as well and introducing a whole pile of new issues and concepts that I'm not sure are an improvement over what was there before. This creates a take-it-or-leave it situation, and a barrier to entry. I would have loved to see that guard rails concept extended to the tooling in the form of compile time flags resulting in either compile time flagging of risky practices (there is some of this now, but I still think it is too little) and runtime errors for clear violations.

The temptation to 'start over' is always there, I think C with all of its warts and shortcomings is not the best language for a new programmer to start with if they want to do low level work. At the same time, I would - still, maybe that will change - hesitate to advocate for rust, it is a massive learning curve compared to the kind of appeal that C has for a novice. I'd probably recommend Go or Java over both C and rust if you're into imperative code and want to do low level work. For functional programming I'd recommend Erlang (if only because of the very long term view of the people that build it) or Clojure, though the latter seems to be on its retour.
by stabbles | 2025-10-10 09:09:18+00:00
Python installation size over time:

170M python-3.6.15 183M python-3.7.17 197M python-3.8.20 206M python-3.9.24 218M python-3.10.19 331M python-3.11.14 362M python-3.12.12 377M python-3.13.8 406M python-3.14.0
by xela79 | 2025-10-10 09:09:38+00:00
a RSS reader should allow for quick view of titles & summaries so you can decide to click through or not, inoreader free version scratches that itch. Don't need any fancy features, or social stuff. sure it's not self hosted, but it's just a collection of rss feeds, if it's down for a while, nothing big of value was lost, a small ompl backup of the feeds is all you need to get started elsewhere, self hosted or not.
by thaumasiotes | 2025-10-10 09:09:43+00:00
> It's a bit like the British 'ö' in 'Coöperative'. Given that I remember one single time I saw that spelling in the wild while visiting the UK, should I now go and write angry letters to all editors that "English really has 27 letters!!"?

Well, no. The 'ö' in 'coöperative' is not a single grapheme; it's two graphemes. The same mark, which we might call U+0308 COMBINING DIAERESIS, is used with the same significance on any arbitrary letter (OK, any vowel), indicating that the letter is not part of a digraph and should be interpreted alone. This is how the distinction is drawn in writing between a coöp [where hippies work; each 'o' is a separate vowel] and a coop [where chickens live; the 'oo' is a single vowel].

The example I generally use to illustrate the conceptual difference is that, in Mandarin pinyin, é and è represent identical vowels, whereas in French é and è represent two different vowels. There's just one letter "e" in the pinyin example (along with two tone markings), but there are two letters in the French example.

(The French themselves would disagree - they don't include letters like è in their official alphabet - but they are wrong.)
by HenryAI | 2025-10-10 09:09:54+00:00
This preprint proposes Truth-Aware Decoding (TAD): a program-logic, knowledge-base–aligned, decode-time guard system for LMs; it casts oracle filtering as a logic judgment, proves when greedy steps are safe under sound/complete guards, and defines an entropy-style invariant for factual risk. Case studies report fewer hallucinations without hurting throughput, with Lean-verified artifacts.
by wvh | 2025-10-10 09:09:55+00:00
The whole concept of buying something because it is cheap is weird.

I have a small list of items I think I will need in the near future; if it's not on that list, I'm not buying it, from anywhere, at any price. Maybe I'm a bit more ascetic than the average person, but I find it hard to imagine people just browsing lists of "cheap" stuff for hours to just buy stuff they don't need. And then being happy that they won because they paid less than some imaginary "full price".
by MomsAVoxell | 2025-10-10 09:10:15+00:00
The product of the railways is the successful arrival of passengers at their chosen destination.

The fact that this isn't obvious, and that instead the means by which that product is delivered is considered more important than the actual arrival of passengers, is very telling.

This is a common issue in the technology world - too often, the actual end result is overlooked, for the sake of the means by which that product is produced. Your special organisational tricks mean nothing if the customer is left at the station, standing in the rain, hundreds of kilometres from home.

The timetable doesn't get anyone home. The trains do. The timetable just describes the intent - it is a requirement which describes a service, not a product. The train is required to show up at that time, and by publishing it the train company is establishing agreement with its customers in an open and fair manner.

A product is something which is produced, and the word 'product' describes, after the fact, that which was produced. A service is an act which is performed in support of producing something. Timetables are a service which are subservient to the fact of actually producing the desired result. I do not go to the train station to look at the services being promised delivery; I go to engage in the act of using that service, to gain my desired product: my ass at home, making a cuppa.

Disclaimer: if you've taken a train in any one of 38 different countries around the world, chances are your safety has been being predicted by SIL4-level online tests I've written for that purpose ..
by leg100 | 2025-10-10 09:10:27+00:00
It's also pretty shady that no mention is made of Datastar Pro on the home page [1]. You might well be well on the way to integrating Datastar into your website before you stumble across the Pro edition, which is only mentioned on the side bar of the reference page [2].

[1]: https://data-star.dev/ [2]: https://data-star.dev/reference/datastar_pro#attributes
by haunter | 2025-10-10 09:10:30+00:00
~10 hours or so before the announcement bets on her skyrocketed on Polymarket

https://x.com/polymarket/status/1976434242386317640

Someone without any history whatsoever put 70k on her 5 hours before the announcement

https://x.com/polywhalewatch/status/1976499384373121488

Trump was never above 5-10% and out of nowhere she was the winner (see the 1 day market view) https://polymarket.com/event/nobel-peace-prize-winner-2025?t...
by pjc50 | 2025-10-10 09:10:49+00:00
It was always viable? It may not have been as comfortable or safe (slam-door trains) as people liked, but it was always crucial to London working for the 20th century.

Privatization didn't increase capacity, did it? It certainly didn't build any new lines.

I'm not sure it injected any capital either, subsidy was maintained throughout? Arguably paying dividends while receiving public subsidy has been taking capital out of the system.
by adlpz | 2025-10-10 09:10:54+00:00
I may be just completely out of my depth here, but I look at the cool example on their website, the Open the pod bay doors, HAL bit, and I don't like it, at all.

And reading comments one would think this is some amazing piece of technology. Am I just old and cranky or something?

This feels... very hard to reason about. Disjoint.

You have a front-end with some hard-coded IDs on e.g. <div>s. A trigger on a <button> that black-box calls some endpoint. And then, on the backend, you use the SDK for your choice language to execute some methods like `patchElements()` on e.g. an SSE "framework" which translates your commands to some custom "event" headers and metadata in the open HTTP stream and then some "engine" on the front-end patches, on the fly, the DOM with whatever you sent through the pipe.

This feels to me like something that will very quickly become very hard to reason about globally.

Presentation logic scattered in small functions all over the backend. Plus whatever on-render logic through a classic template you may have, because of course you may want to have an on-load state.

I'm doing React 100% nowadays. I'm happy, I'm end-to-end type safe, I can create the fanciest shiny UIs I can imagine, I don't need an alternative. But if I needed it, if I had to go back to something lighter, I'd just go back to all in SSR with Rails or Laravel and just sprinkle some AlpineJS for the few dynamic widgets.

Anyway, I'm sure people will say that you can definitely make this work and organize your code well enough and surely there are tons of successful projects using Datastar but I just fail to understand why would I bother.
by frm88 | 2025-10-10 09:10:55+00:00
This! In my experience it started well before 2018 that we left QA and ISO 25010 behind and I had to specialise in performance optimising software and hardware. By 2018 we were well downhill in terms of sheer number of bugs and perpetual emergency interventions. The amount of money we made by teaching customers how to performance- and resource-optimise their code and databases allowed me to retire in 2019. Which yeah. Since then, the situation even for me as a private user has gone further downhill: the endless bloat Microsoft alone distributes with every monthly update; the horrible amount of bugs in new games - even by big names like Blizzrd, EA - I'm confident in saying that they ship beta versions now - is, for me, an indicator that a problem like Y2K today would have extraordinary consequences. So yes, I understand being tired of it all, particularly in a work environment.
by wolfgangbabad | 2025-10-10 09:11:00+00:00
Be careful with Datastar. If the paid "PRO" features are not enough to warn you let me just say that I had a very unfortunate encounter with the author. I asked about how to do something like wire:navigate in Livewire and he told me that's not necessary and I don't understand Datastar and I should go fuck off. He was very ad hominem and aggressive. Won't use his product ever.
by Juliate | 2025-10-10 09:11:21+00:00
And it's still a huge thing that shifted with the Internet too.

Prior to it, yes, there was international phone lines, but those were still expensive enough you might ignore them.

Before then, I'd say around start of the 90's in Europe, you did not represent yourself being in sync with someone, anyone abroad (but perhaps that started to become conceivable for people who could afford frequent international calls or travel).

And that conditioned how you perceived your own time, the time of others, the events here and over there, and the effort you took into communicating long distance, through letters.
by SethTro | 2025-10-10 09:12:29+00:00
Is that for [0, 10^12] or for 10^18 + 10^12? Is the 3.75 hrs total core hours or system time?

I wrote https://github.com/sethtroisi/goldbach in the last four hours and I think it's 10-100x faster than your code

time ./goldbach -t8 -K 1024 -e 100''000''000''000 real 0m44.133s user 3m32.193s sys 0m0.092s time ./goldbach -t12 -K 1500 -e 1''000''000''000''000 267468893942 = 267468891139 + 2803 (407) 926868341768 = 926868338701 + 3067 (437) 599533546358 = 599533542901 + 3457 (481) real 2m3.909s user 16m0.729s sys 0m37.960s

I know of at least another 4x I could improve it but I've been nerd sniped enough for the night.

I wouldn't trust it 100% but it finds all terms in https://oeis.org/A025018 and https://oeis.org/A025019 and I can verify in https://sweet.ua.pt/tos/goldbach.html
by gwd | 2025-10-10 09:12:39+00:00
It's good to know -- having replace-url functionality behind the paywall is likely to be a deal-killer; I can't help but think that this "freemium" model is really going to kill datastar's prospects for taking off; at best it's likely to result in a fork which ends up subsuming the original project.

That said, the attitude of the guy in the article is really messed up. Saying "fuck you" to someone who gave you something amazing for free, because he's not giving you as much as you want for free -- it's entitled to a toxic degree, and poisons the well for anyone else who may want to do something open-source.
by _0ffh | 2025-10-10 09:13:16+00:00
Took the words right outta my mouth!

Of course we want a full list of public functions with all the info. But with just a list of functions it's often still not quite clear how you're supposed to setup and call them, unless you dig through the whole list and try to understand how they interact internally. A few short examples on "How do I init the library/framework so I can start using it", "How do I recover from a failure case", etc. makes the docs infinitely more accessible and useful!
by meander_water | 2025-10-10 09:13:48+00:00
Great read, but I was expecting something different based on the title.

This sounds like his approach working on personal projects. I'm really curious about large technical team projects though. What's the best approach to getting stuff done and making sure everyone is working towards the same goal etc.

After 15 years I have yet to see a technical project that hasn't run over budget, over time, under delivered or burnt people out.

I'm sure there are people out there with counter examples who know exactly how to deliver projects at a massive scale. Any links/suggested reading would be appreciated!
by alluro2 | 2025-10-10 09:14:03+00:00
One thing I don't get fully is people that say "it's easier to write code" - we use n8n for workflow orchestration - a junior developer can put together some nodes to e.g. get data from an API, transform it (by writing code), prepare a CSV, send an email. In about an hour. You then have a workflow that you set to run every night at 2am, and that you can open, understand visually at a glance, modify, and continue running without any other actions required. All self-hosted on a small VM.

Alternative would be writing custom code, deploying it somewhere, setting it to run automatically on schedule somehow, and modifying it and redeploying through a dozen steps every time.

Of course there is docker and cron and deployment scripts - but all of that is not needed with n8n for these kinds of use-cases.

For me, that's the primary value of n8n - nodes themselves are nice-to-have shortcuts, some of the time. Maybe I'm not familiar with tools that make it easy to "just write code" and have everything else (deployment, orchestration etc) covered?
by tomsmeding | 2025-10-10 09:14:43+00:00
I don't doubt there are interesting things in that book, but this particular one feels just so unsurprising: people are likely to notice that the flip-flops in the two bins are remarkably similar, and see that one is cheaper. They don't see a reason to buy the more expensive one so they choose the cheaper one.

It would have been more interesting had people chosen the more expensive one. There is a folk theory that you can get people to do this if you add an even more expensive option -- the "middle" option is the most attractive.
by sznio | 2025-10-10 09:15:34+00:00
>At this point why not just bite the bullet and go back to the old days of php serving html.

Going back to it is the point. HTMX lets you do that while still having that button refresh just a part of the page, instead of reloading the whole page. It's AJAX with a syntax that frees you from JS and manual DOM manipulation.

I fairly recently developed an app in PHP, in the classic style, without frameworks. It provided me with stuff I remembered, the $annoyance $of $variable $prefixes, the wonky syntax, and a type system that makes JS look amazing -- but it still didn't make me scream in pain and confusion like React. Getting the app done was way quicker than if any JS framework was involved.

Having two separate but tightly integrated apps is annoying. HTMX or any other classic web-dev approaches like PHP and Django make you have one app, the backend. The frontend is the result of executing the backend.
by cadamsdotcom | 2025-10-10 09:15:36+00:00
This is a case of the “everyone except me is an idiot” fallacy.

What actually happens with these people is they are pragmatically cargo-culting - because it helps them achieve some other aim, like delivering business value - until their abstractions leak and they have to go uncover the truth.

People grow and learn when they need to :)
by yohannesk | 2025-10-10 09:16:04+00:00
As an Ethiopian man, I view this new Nobel Peace Prize with profound skepticism, a feeling rooted entirely in the disastrous outcome of Abiy Ahmed's utterly undeserved award. The premature praise he received for peace-making quickly evaporated, leading instead to a catastrophic war and the fragmentation of our nation. His prize has been followed by widespread conflict, massive displacement, and an alarming return to authoritarian rule. For us, the entire Nobel Peace Prize now feels meaningless, a hollow symbol given its failure to prevent—or perhaps its role in emboldening—such terrible suffering in Ethiopia
Fermi Paradox Weakens
by fym | 2025-10-10 09:16:16+00:00
I read Children of Time and got me thinking that the Fermi paradox might not be so much of a paradox. In ~200 years we went from harnessing electricity for the first time to being at the verge of AGI. What are the grounds then to assume that biological intelligence dominates the cosmos? If there is any intelligence out there it is most likely silicon based. And if so, a suitable planet for biological intelligence != suitable planet for silicon intelligence. Even being interested in Earth for their resources does not make sense. Try to pump water out of the gravity field or any metal. The natural source for resources are asteroids where there is no gravity to overcome. And in terms of energy, the Sun is not a good source, its phase is unstable. There are way better and more stable sources with narrowed spectrums in starts with in a different phase.
by brucehoult | 2025-10-10 09:16:23+00:00
Note that, other than not having an FPU, the "Hazard3" RISC-V core in the Raspberry Pi Pico 2 (RP2350) is very competitive with the latest Arm Cortex M33 in the same chip, despite being the part time (purely at home) work of a single engineer. And fully open source with a permissive Apache 2.0 license.
by Juliate | 2025-10-10 09:17:26+00:00
It's an interesting take, and you may as well map it to industrial projects, architecture, software to see it from a different perspective.

The timetable is the specs. The product is what your customers experience.

The specs (loose or... very specific) is definitely a major product step. But in that it is a mean to deliver the service/experience in the end. Without the implementation details (that do not live in the spec), you get often unsatisfied people everywhere.
by physicsguy | 2025-10-10 09:17:33+00:00
The freemium model of everything makes me skeptical and reluctant to buy too much into many things.

Bit like Pydantic. It's a JSON parsing library at the end of the day, and now suddenly that's got a corporate backer and they've built a new thing

Polars is similar. It's a faster Pandas and now suddenly it's no longer the same prospect.

FastAPI the same. That one I find even more egregious since it's effectively Starlette + Pydantic.

Edit: Add Plotly/Dash, SQLAlchemy, Streamlit to that list.
by vkou | 2025-10-10 09:17:41+00:00
> Should reddit just be a place only for liberal politics?

I should be eating off golden plates and live in a house made of candy, and I shouldn't have to worry about the president's goon squad invading 'liberal antifa cities', or any of the other insane shit that's going on, but life isn't quite living up to my expectations at the moment.

Perhaps when they open up their safe spaces and behave in a civil manner, other communities might take their demands for access more seriously.

All-in-all, if your biggest political concern right now is that you've been banned from a few subreddits because you're a participant in another one, I'm sorry that it's causing you distress. But I'm afraid that your problems aren't ranking very highly on my list of immediate political concerns. When the ship's on fire, I frankly don't care about the poor feng shui of the deck chairs.
by eeeesh | 2025-10-10 09:17:55+00:00
Where "do xyz" means "gain access to opposite-sex spaces without consent of those for whom these spaces are intended". This is an important issue for women and girls in particular, as female spaces are necessary for privacy, dignity and safety - and in the case of competitive sports (e.g. "play soccer"), fairness.

If we're being real, telling males they can use women's and girls' spaces is very unpopular policy.