MurphyA/hacker-news huggingface dataset:
by vee-kay | 2025-10-24 19:19:09+00:00
Nah, snakes and jellyfish serve a valid purpose in the ecosystem.

But yeah, mosquitoes and cockroaches should be made extinct, even if they are tough critters.

Talking of tough though..

Say hello to the only creature that's evolved to cheat death itself: the Immortal Jellyfish. https://en.wikipedia.org/wiki/immortal_jellyfish
by dangus | 2025-10-24 19:19:35+00:00
Why not? My framework weighs 1 pound less than my MacBook Pro did and the spare battery weighs about one pound itself. Net backpack weight is the same.

If I am guilty of hand waving a spare battery aren’t MacBook die-hard guilty of handwaving away major downsides to the device like soldered-in storage? I saved something like $500 compared to Apple by buying my own 2TB of storage.

And let’s be honest, it’s rare to actually need MacBook Air levels of “sitting away from a power outlet” battery life. It’s definitely nice to have and I definitely wish my framework had that level of battery life but it’s a want not a need, and it’s not as important to me as having a system I can repair myself, having a system that runs Linux with first-class support, plays PC games easily, etc.

I will also say that the spare battery being in my backpack now has coincidentally come in handy countless times outside of the laptop.

And if you want better battery life than that there are other choices like Lenovo, you don’t even have to use a Framework to get a great Linux laptop.
by pjmlp | 2025-10-24 19:19:57+00:00
My 2000 euro Thinkpad has better specs, I run Windows 11 on it, get to do CUDA and Vulkan natively, and there is DirectX 12 Ultimate as well.

Macs are great as an OS with UNIX infrastructure, aa graphical laptops relevant for workloads besides Photoshop and Sketch, not so much.
by krapp | 2025-10-24 19:20:33+00:00
The Constitution prevents the Federal government from interfering with freedom of association, as it does with the rights of free speech and religion. Those rights are neither defined nor guaranteed by the Constitution, they are considered to be inalienable rights endowed to all peoples by God.

Private entities are allowed to choose with whom they associate, or not, barring protected groups defined in Federal law. This is why businesses have a sign on the door that says they have the right to refuse service to anyone. Rights not permitted to the Federal government devolve to the states, and then to the people.

Also, it's Hawaii. The native government was overthrown by a coup orchestrated by American sugar companies. It is one of many sovereign indigenous nations being unjustly occupied by the US. The Constitution is on their side but I hold them to no obligation to give a single rat fuck about colonizers and their laws.
by pgwhalen | 2025-10-24 19:21:34+00:00
I am by no means an industry insider, but I’m skeptical of your claims about running a ln airline on tech from those eras. The visible side of airline IT (ticketing) perhaps, but surely there is a lot of behind the scenes software that facilitates the efficiency of operation (plane positioning, route planning, maintenance tracking) required to compete on price in the modern era.

It’s easy to complain about modern airlines (and I do), but it’s still true that’s never been cheaper to fly, and IT infrastructure is surely no small part of that.
by 7402 | 2025-10-24 19:21:37+00:00
Am I the only one like this?

In my long programming career I feel I did most of my programming nonverbally - large programs always felt I was sculpting a big chunk of stone rather than writing an essay.

Once it was done, I had no problem describing it, discussing it, documenting it, etc. But the actual task of programming felt like it was going on the non-verbal part of my brain.

These were mostly big programs, by the way: hard-real-time, or machine control, or threaded C++, or scientific data processing.

I found my style to be generally incompatible with pair-programming - except for pair debugging once my or someone else's code was written, that I did find useful.
by r0x0r007 | 2025-10-24 19:21:49+00:00
I agree with you, seems like we are trying to make the shoe fit. Not only are we missing the understanding of what is happening inside transformers, but now we are trying to teach them and see how they respond and then interpret it. That seems fine with viruses and animals, but we are talking about a piece of software here. Shouldn't we know what's happening inside? Maybe these kinds of papers can shine more light and give us better understanding though, still it feels backwards to me...Regarding the multiplication itself, shouldn't pure understanding of the meaning of multiplication(it's a summation basically) be enough for 'AI' to call it a day? If AI or human understands that, then the rest is computation part. We already got that covered, so instead of having 'AI' learn it on its own on crazy amount of data and get it right 99% of time, shouldn't we just give it a calculator? Somebody PLEEAASE give this AI a calculator :-)
by walkabout | 2025-10-24 19:23:14+00:00
> It seems unfair to call out LLMs for "spam, scams, propaganda, and astroturfing." These problems are largely the result of platform optimization for engagement and SEO competition for attention.

They didn't create those markets, but they're the markets for which LLMs enhance productivity and capability the best right now, because they're the ones that need the least supervision of input to and output from the LLMs, and they happen to be otherwise well-suited to the kind of work it is, besides.

> This isn't unique to models; even we, humans, when operating without feedback, generate mostly slop.

I don't understand the relevance of this.

> Curation is performed by the environment and the passage of time, which reveals consequences.

It'd say it's revealed by human judgement and eroded by chance, but either way, I still don't get the relevance.

> LLMs taken in isolation from their environment are just as sloppy as brains in a similar situation.

Sure? And clouds are often fluffy. Water is often wet. Relevance?

The rest of this is a description of how we can make LLMs work better, which amounts to more work than required to make LLMs pay off enormously for the purposes I called out, so... are we even in disagreement? I don't disagree that perhaps this will change, and explicitly bound my original claim ("so far") for that reason.

... are you actually demonstrating my point, on purpose, by responding with LLM slop?
by dangus | 2025-10-24 19:24:14+00:00
But now you’re comparing buying a whole new computer to repairing one. It’s not like it’s hard to buy an x86 laptop at a Best Buy.

The fact of the matter is that sending a MacBook to depot and fixing it takes around a week including transit times to and from. Apple no longer does any computer repairs in store.

At $60 for a battery or $200 for a screen those parts are so cheap that I could just buy them to keep on hand and they’d still cost less than AppleCare.

Many parts like storage and RAM are standard where, yes, I can walk into a store and buy them and install them same day.
by daxfohl | 2025-10-24 19:24:37+00:00
True. Generally it seems like you're visualizing things, moving stuff around, seeing vague patterns and trying to make them more clear. IDK how a transformer architecture would fit all of that in its context, or use it productivity once it's there. You can't just keep appending forever, but you also can't delete stuff either, because unlike humans, a deletion is a hard delete; there's no fuzzy remembrance left to rely on, so even deleting bad ideas is dangerous because it'll forget that it was a bad idea and infinite loop. Symbols manipulation doesn't come until the end, after you have a good idea what that part will look like.
by snailmailman | 2025-10-24 19:25:06+00:00
Theres a lot of weird setup often required on the backend in my experience, but when it works, it works well. But until you get everything dialed in it can have weird issues that don't have a clear path to fix them.

It might be better in their weird AIO solution? But i dont like the idea of giving a docker container the ability to spawn more containers. I just use one of their normal docker containers and have had to manually change a lot to make it work as they actually suggest. Like just recently i setup their notify_push plugin as it improves performance - but the provided setup instructions didn't work in my setup and i had to manually tweak several things.
by pixelpoet | 2025-10-24 19:25:40+00:00
> It seems unfair to call out LLMs for "spam, scams, propaganda, and astroturfing."

You should hear HN talk about crypto. If the knife were invented today they'd have a field day calling it the most evil plaything of bandits, etc. Nothing about human nature, of course.

Edit: There it is! Like clockwork.
by mlinhares | 2025-10-24 19:25:48+00:00
I did high school at a prestigious technical school at my hometown, hard to get in, very competitive. The education itself wasn't that much better than my previous school but they had the name recognition and as getting in was very hard, likely the best students around town.

Almost 100% pass rate to college, mostly the best colleges. Did the education provided there affect this? Likely, but it was much more the self selection of having the best students that were doing a SAT like test to get in.
by kulahan | 2025-10-24 19:26:13+00:00
Shocking considering how cold it gets there. It's cold and dry and windy where I live, and there are nearly zero skeeters. I spend most of my afternoons on the porch, and I've been bit twice all summer. But this tracks with what I've heard from campers and hikers in that region. You wake up and your tent is covered in the little bastards.
by NoSalt | 2025-10-24 19:26:37+00:00
I had a mathematics professor in college whose specialty was in knots. I naively, and probably too bluntly, asked him how his work fit into the world; a question I have regretted to this day. Anyhoo ... I guess this is where it fits into the "world". If you are interested, here is his Wikipedia page:

https://en.wikipedia.org/wiki/Morwen_Thistlethwaite
by throw28158916 | 2025-10-24 19:26:46+00:00
If you go into to website over https your browser validate certificate for that domain. Great. Now what if I told you it is possible to do this but in reverse? Web server can ask a certificate from your web browser to validate your identity. So both ends know that the other is legitimate. Now the question is where to store that certificate? As a file on disk? Seems like bad idea - too easy to steal. Instead of that we can store them in dedicated hardware like yubikeys or tpm module. And the great thing is they are resistent to phishing because certificates use mathematics and can not be fooled by wrong url in browser address bar. So generally passkeys are just authentication using certificates.

(Although I recommend reading more about FIDO2 keys and webauthn instead of passkeys, because passkeys are one specific variant of FIDO2 webauthn + marketing around it.)
by ngruhn | 2025-10-24 19:27:07+00:00
I'm not sure if I get it. But I don't know Clojure syntax too well. Say I want to represent a slideshow state. I could do it with

{ slides: List<Slide>, current_index: Int }

Or alternatively:

{ left_slides: List<Slide>, current: Slide, right_slides: List<Slide> }

Is it fair to call the latter a Zipper?
by dangus | 2025-10-24 19:27:09+00:00
But then you have a 5 year old laptop that’s going to lose official Apple software support in 5 years and become a paperweight unless you install your choice of ONE Linux distro.

If you don’t specifically have a memory bandwidth-constrained workflow this doesn’t matter at all and having upgradable memory is still better for most people.

If Framework starts using CAMM modules or releases a Ryzen AI board with soldered RAM this difference is lessened/disappears.
by jfengel | 2025-10-24 19:27:13+00:00
I don't understand this argument. The Democrats have plenty of non-cultural issues. The current government shutdown is focused on health care financing. Democrats have long campaigned on raising the minimum wage.

Climate change isn't supposed to be a cultural issue. It's a question of science, and that's the problem. Every area where Republicans disagree with Democrats is defined to be a "cultural issue".

Democrats do have cultural issues, but so do Republicans. For some reason only Democrats get the blame for it.
by jkaplowitz | 2025-10-24 19:27:18+00:00
> The US constitution is still in force after 236 years

True, but it's been updated a lot more recently than that.

The last update was still much longer ago than 10 years, of course. The most recently ratified amendment to the Constitution - the Twenty-Seventh Amendment, ratified 1992 - was, incredibly enough, proposed in 1789 along with the ten we know as the Bill of Rights and another one which was never ratified. And of the twenty-seven amendments ratified so far, the one most recently proposed by Congress, the Twenty-Sixth Amendment, was both proposed and ratified in 1971.
by kevindamm | 2025-10-24 19:27:20+00:00
It's never too late to learn queueing theory

...because the typical setup assumes λ ≤ μ so all arriving jobs eventually get serviced.

I think there's a lot of unmet potential in design of interfaces for pipelines and services that really gets at the higher level you mention. There are some universal laws, and some differences between practice and theory.
by dathinab | 2025-10-24 19:27:22+00:00
yes but also no

every distro has defined their own new file system layout standard

sure they all started out with the common ancestor of FHS 3.0, but diverged since then in various degrees

and some modern competing standards try to fix it (mainly UAPI Group)

(And yes some people will go one and one about how UAPI is just a way for systemd to force their ideas on others, but if you don't update a standard for 10+[1] years and aren't okay with others taking over this work either, idk. how you can complain for them making their own standard).

[1]: It's more like 20 years, but 10 years ago the Linux Fundation took over it's ownership.
by eightysixfour | 2025-10-24 19:27:35+00:00
> We need politics 101, streetwise edition, which ironically, isn't about going to the streets. The first step is to to discuss the policies of the Democratic party, motivations aside, they appear to be more of an aid than a deterrent of the process unfolding before us.

I, personally, think we should separate it from the Democratic party to start. The operating paradigm is wrong there. You need to define the new ideal party and then co-opt.
by Barrin92 | 2025-10-24 19:27:54+00:00
It's not defeatism at all. I think it's just important to acknowledge that a browser, or software at the scale of Microsoft is real work, these are objectively gigantic engineering efforts and not all of the people at those firms are stupid.

If you're really smart and you say "I can do it with half or a quarter of the resources with hindsight", sure I might give you the benefit of the doubt, but if you're going to claim you can do it with 0.1% of the resources in a volunteer Discord server effort, no. Not because I wouldn't be happy if that was possible, but because that's not how the world works. Linux is being able to compete with Microsoft because there are now large billion dollar companies like RedHat, Steam and others investing into the development. It takes real money and developer time.

And that's the second point, Mozilla has to make these compromises because they are one of the few companies that actually maintains an independent software project at this scale. And if any other competitor ever wants to get there, they'll need to answer these funding questions too. Even if they're ten times as clever, they'll still need tens or hundreds of millions.
by ACCount37 | 2025-10-24 19:28:25+00:00
Transformers also make for a damn good base to graft just about any other architecture onto.

Like, vision transformers? They seem to work best when they still have a CNN backbone, but the "transformer" component is very good at focusing on relevant information, and doing different things depending on what you want to be done with those images.

And if you bolt that hybrid vision transformer to an even larger language-oriented transformer? That also imbues it with basic problem-solving, world knowledge and commonsense reasoning capabilities - which, in things like advanced OCR systems, are very welcome.
by cogogo | 2025-10-24 19:28:29+00:00
Saw a tiger mosquito for the first time in Boston last fall. Reported it to the state but it is a losing battle and they are steadily establishing residency. Back again this season so a moderately cold winter still did not kill them off. They are extremely annoying as their primary prey are humans and they are very good at biting you without noticing - then comes the itch. Especially in late August into Oct.

https://en.wikipedia.org/wiki/Aedes_albopictus
by avidiax | 2025-10-24 19:29:32+00:00
I feel the trouble with this is two-fold:

It's not enough that the photograph is signed and has metadata. Someone has to interpret that metadata to decide authentic versus not. One can have an "authentic" photo of a rear projection screen. It wouldn't be appropriate to have an "authentic" checkmark next to this photo if it claims to not be a photo of a rear projection screen. The context matters to authenticity.

Secondly, the existence of such "authentic" photos will be used to call all non-authenticated photos into doubt.

So it doesn't even really solve any problem, but creates new problems.
by watwut | 2025-10-24 19:30:01+00:00
> t least around here the word "conservative" would include vigorously defending the rule of law and courts (along with property rights and so on).

When exactly was that last time? Note that rule of law would include demands that police follows the law too. As far as I can tell, it was never rule of law in the sense of "everyone must follow the law". It was "people we dont like must follow the law and we will max punishments for them".

> letting people who attacked police officers on Jan 6 out of prison is about as anti-conservative as you get.

Only because this time, police was standing against what conservatives wanted. When it was helping them, yes, it was different.
by fitsumbelay | 2025-10-24 19:30:06+00:00
Lots of cool ideas here - crypto first/crypto everything, IPFS and soon Farcaster integration. But the price is a big negative.

I also believe that whatever they're aiming at with verifiably real photos will either be commodified or end up not being valued very highly.

It's not quite the Rabbit R1 (at least the presentation here seems more honest) but I don't see it generating more than niche-of-niche interest.

Also, and maybe more to the previous point about commodification (or within-reach tech), this is the kind of project I can imagine hardware hacker/AI and crypto enthusiast doing on their own ( and I guess selling to friends and neighbors for $400 ... )
by konne88 | 2025-10-24 19:30:18+00:00
I have proven quite a few theorems in Lean (and other provers) in my life, and the unfortunate reality is that for any non-trivial math, I still have to figure out the proof on paper first, and can only then write it in Lean. When I try to figure out the proof in Lean, I always get bogged down in details and loose sight of the bigger picture. Maybe better tactics will help. I'm not sure.
by jordibc | 2025-10-24 19:31:49+00:00
I think the idea of knots as a basis for everything has come and gone several times. One of those were in the 90s, which is when I became aware thanks to the excellent "Gauge Fields, Knots and Gravity" by John Baez and Javier P Muniain, that was part of the "Series on Knots and Everything" [1]. Those are really intriguing ideas.

[1] https://www.worldscientific.com/series/skae
by ekjhgkejhgk | 2025-10-24 19:32:03+00:00
I don't think that's end to end encrypted.

With so much surveillance I think there's a real need for E2E on anything. I just bought the basic Tutanota package - but maybe that's just my OCD acting out.

EDIT: This is closer, and you can self-host

https://github.com/cryptoboid/splitio

But it's in JavaScript <throw up> can't win them all.
by Certhas | 2025-10-24 19:32:23+00:00
These are great suggestions, but did I understand that suggest git as an alternative to overleaf? That's... not at all reasonable, as well as completely missing what problems overleaf solves for which people. Overleaf ist git und the hood. But what it really provides is Google Docs style collaboration on Latex documents.

Reviewing the changes I review in Overleaf in GitHub pull requests would be incredibly painful and introduce a completely new, convoluted and unintuitive (until you're used to it) workflow for collaborative editing.
by prmoustache | 2025-10-24 19:32:43+00:00
For the same reason people tend to buy much larger cars than they really need.

They could own a much more economical car, and have enough money left in the pocket to rent a van when they go on big trips, get delivered or rent a trailer the few times a year they need to carry large stuff.

Personally I like having a laptop because I use my computers in different rooms depending on the use case and occasionally on travel.
by qjh | 2025-10-24 19:33:03+00:00
It's actually almost exactly the other way around.

The probability of a model M given data X, or P(M|X) is the posterior probability. The likelihood of data X given model M, or P(X|M), is the probability (or probability density, depending on whether your data is continuous or discrete) of observing data X given model M. We often are given un-normalised likelihoods, which is what the linked paper talks about. These quantities are related via Bayes' Theorem.

Now, you may ask, isn't the probability of observing data X given model M still a probability? I mean, yeah, a properly normalized likelihood is indeed a probability. It's not the mirror image of probability, it is just an un-normalised probability (or a probability distribution) of data given a model or model parameters.
by smith7018 | 2025-10-24 19:33:06+00:00
Most of their profits come from software or ecosystem lock ins. So while they do profit off of each Mac sold, if those sales don't translate to more iCloud subscriptions, app purchases, or iPhones then it really doesn't make financial sense for them. Even if they only had 3 people and a PM dedicated to Linux support, that's still roughly a million dollars a year for a nebulous promise of "slightly more hardware sales." It sucks but it's the reality of the situation.
by bigbadfeline | 2025-10-24 19:34:10+00:00
> Members of the current administration have used the term "extra-constitutional" on their own

They've used more that that, like Plenary Authority, but it's only the movement of the Overton window and it means nothing more than that, for now. These calls sound OK to the people because of the total dysfunction of both sides in Congress which justifies the need for a "strong hand" at the executive level.

I wrote some more about it in another comment, but the multi-trillion dollar question is why "our" side have kept and keeps coasting along the disaster driven politics in front of us?

> by acknowledging the game needs to be changed, so that the teams work for our benefit.

It's not clear who you ask to acknowledge the game but it's very clear that neither team is going to do it, much less to work for our benefit.

> The game, of course, being defined by what the goals and metrics of the system are.

The game is well into its end stage and the people who defined it, play it every day. What are the chances of those who haven't even figured it out yet?

Edit: typo
by courseofaction | 2025-10-24 19:34:25+00:00
American, please, wake up. The masked border police are on the streets arresting citizens, the military is being paid as a client of the president, corruption is legal, and a mass surveillance machine unfathomable to prior dictatorships is being/has been established. You're fucked. Listen to the soapbox. It is very, very relevant. Wake up.