MurphyA/hacker-news huggingface dataset:
by cdata | 2025-06-10 20:22:34+00:00
I had the pleasure of meeting Mikeal on a few occasions, but mainly I've benefited from his work over the years (initially via the JavaScript ecosystem, and later through the Protocol Labs community).

PouchDB was way ahead of its time, and I'm just now coming around to how crazy cool it was and is compared to most other tech in its space.

He made a great deal of positive impact on technical areas I care about. Rest in peace.
by mgkimsal | 2025-06-10 20:22:35+00:00
Even when you know it's coming, it's hard to process. Met Mikeal at oscon in ... 2007 I think, where he was presenting windmill as a testing tool for js/ajax. We kept in touch for a few years, and he was kind enough to meet up with me during some travel time in California the following year. He took great joy in introducing me to some tapas place I can't remember now, but I do remember the excitement he had just... telling me about it. That low key passion (tech, food, anything else) is one of the things I still remember about the few times we met in person.

Reading about his cancer last year was difficult, not so much for him directly; he seemed to have made peace with it (that's the impression I got anyway). But it's a reminder of my own mortality, and I know I would not react or continue on the way he did. That's difficult to acknowledge.
by ChristopherLeee | 2025-06-10 20:23:06+00:00
Hi HN,

I’m one of the co-founders of MathForge++, an open-access platform that combines version-controlled math/physics proofs, on-chain contributor attribution, and CAD-to-fabrication integration.

⸻

What it does • Collaboratively write and version LaTeX-based proofs, with git-style history • On-chain smart contracts automatically record accepted contributions for immutable IP provenance • Upload CAD models linked to proofs, with an upcoming API to connect to fabrication partners

⸻

Why it matters • Papers and designs today live in separate silos—contributors often lose recognition and IP • arXiv is great for sharing papers but doesn’t support versioning, attribution, or hardware pipelines • MathForge++ brings transparency, remixability, and real-world impact to scholarly work

⸻

Tech stack and implementation • Frontend: React + Tailwind, real-time LaTeX editor • Backend: Node.js + MongoDB, with Git-like version control • Blockchain: Ethereum-compatible smart contracts for attribution and optional token rewards • CAD support: Embedded viewer + CAD file uploads; fabrication API in development

⸻

Current status and roadmap • MVP live with proof versioning, PRs, and on-chain attribution • Next: token/reputation layer, volunteer + AI moderation, CAD support • Later: connect fabrication partners for real-world prototyping

⸻

Why now Open science and blockchain provenance are maturing, and the maker/hardware movement is growing. Yet no platform connects proof, attribution, and physical build in one place. We see an opportunity to evolve how math, physics, and innovation get shared and built.

⸻

Anyone interestd in collab?

C
by numpad0 | 2025-06-10 20:23:21+00:00
Yeah, the thinking behind "low background steel" concept is that AI training on synthetic data could lead into a "model collapse" that render the AIs anyhow completely mad and useless. That either didn't happen, or all the AI companies internally holds a working filter to sieve out AI data. I'd bet on the former. I still think there might be chances of model collapse happening to humans after too much exposure to AI generated data, but that's just my anecdotal observations and gut feelings.
by tedsanders | 2025-06-10 20:24:32+00:00
Yeah, our models are sometimes too lazy. It’s not intentional, and future models will be less lazy.

When I worked at Netflix I sometimes heard the same speculation about intentionally bad recommendations, which people theorized would lower streaming and increase profit margins. It made even less sense there as streaming costs are usually less than a penny. In reality, it’s just hard to make perfect products!

(I work at OpenAI.)
by bachittle | 2025-06-10 20:24:54+00:00
free users don't have this model selector, and probably don't care which model they get so 4o is good enough. paid users at 20$/month get more models which are better, like o3. paid users at 200$/month get the best models that are also costing OpenAI the most money, like o3-pro. I think they plan to unify them with GPT-5.
by alister | 2025-06-10 20:25:11+00:00
As a quick test of logical reasoning and basic Wikipedia-level knowledge, I asked Mistral AI the following question:

A Brazilian citizen is flying from Sao Paulo to Paris, with a connection in Lisbon. Does he need to clear immigration in Lisbon or in Paris or in both cities or in neither city?

Mistral AI said that "immigration control will only be cleared in Paris," which I think is wrong.

After I pointed it to the Wikipedia article on this topic[1], it corrected itself to say that "immigration control will be cleared in Lisbon, the first point of entry into the Schengen Area."

I tried the same question with Meta AI (Llama 4) and it did much worse: It said that the traveler "wouldn't need to clear immigration in either Lisbon or Paris, given the flight connections are within the Schengen Area", which is completely incorrect.

I'd be interested to hear if other LLMs give a correct answer.

[1] https://en.wikipedia.org/wiki/Schengen_Area#Air_travel
by aDyslecticCrow | 2025-06-10 20:26:08+00:00
> Once they attach an ad product their margins will rapidly soar due to the comparatively low cost of the ad segment.

They're burning through computers and capital. No amount of advertising could cover the cost of training or even running these models. The massive subscription costs we've started seeing are just a small glimpse into the money they are burning through.

They will NOT make a profit using the current methods unless the models become at least 10 times more efficient than they are now. At which point can Europe adapt to the innovation without much cost.

It's an arms race to see who can burn the most money the fastest, while selling the result for as little as possible. When they need to start making money, it will all come crashing down.
by keybored | 2025-06-10 20:26:30+00:00
> I'm sure the capitalists among you will want me dead for saying this, but: pay your fair share. I don't care what the law says, pay enough that no one can say that you're a lamprey on society, please.

They’re gonna lobby to get as low taxes as they can. Why would they do anything else? That people think they are “lamprey” is (or would be) a minuscule problem in a country like America.
by hnaccount_rng | 2025-06-10 20:26:46+00:00
I think I got the first part, including and up to

> If this still seems too complicated it would probably be better to just dive in and mess with it so you can physically see what's going on.

And it really seems like NixOS being _the_ correct :tm: solution for what I want from an home server. The problem is that Nix doesn't quite cover (or at least didn't when I first deeply looked) my needs (it lacked a useful Clickhouse package). And I don't even want to say "Nix should be simpler". I don't even think it _can_, it's fundamentally a complicated and complex problem to deal with!

My problem is solely with the Nix community. The amount of jargon-loving and argumentative "you shouldn't attempt what you are attempting in the first place" or "you are holding it wrong" gaslighting is really something :D

I think the point where you fail to grasp the problem is: Nobody is claiming that Nix can't do a thing. My complaint is: There is no way to find _the_ way to do the thing. And there seem to be multiple _incompatible_ ways to achieve any given state. Without any way to distinguish those (let's call them) camps for a new person. In this way it's everything Unix but dialled to eleven! You don't need to argue (for me) that anything _can_ be done. I'm getting that from "Turing complete". My problem is only the practice: How do I get there?

edit: I think my immediate problem is: How do I get the series of "commands" that a nix derivation will invoke? Kind of like "what's the receipt, that is being executed?" That's missing for a sensible repl-loop for me. I'm sure I'll be getting there. The capability that Nix offers is extremely appealing. But at the same time the documentation and community are unhelpful to the extreme
by BeetleB | 2025-06-10 20:27:12+00:00
Indeed, this submission is also a good article on why pair programming often fails with humans.

It's not that AIs are bad. It's that pair programming is (often) not effective. In the majority of cases, one side dominates the other.

In my experience, a modified pair programming system works better where the two of us discuss the problem to be solved, then each of us goes off for a few hours independently coming up with ideas, and doing experiments. We then get together, discuss our findings, and finalize a plan of attack. And then pair programming helps as we're both at the same level and on the same page. But even then, having to watch someone else's screen (or have people interrupt you while you're typing) is a pain.
by charleszyong | 2025-06-10 20:27:25+00:00
$219 is for the unassembled version $299 is for the assembled version $199 is for the first 20 units of the assembled version $599 was the price before I spent hard hours dealing with supply chains

When I was just a hobbyist, I had to pay the price on the website. Now that I have some funding to order in large quantities, prices come down a lot. I do the dirty work of sourcing the components so hobbyists don't have to ;)
Software Product Development Service
by softechies | 2025-06-10 20:27:30+00:00
Leveraging AI, machine learning, IoT, and cloud-based SaaS, we engineer intelligent, scalable solutions for a smarter future. Our cutting-edge platforms enable automation, real-time analytics, and seamless connectivity, empowering businesses with data-driven decision-making. From predictive AI models to secure SaaS ecosystems and IoT-driven automation, we deliver robust, future-proof technology. Designed for agility and innovation, our products enhance efficiency, productivity, and digital transformation. Partner with us to accelerate growth with next-gen tech that adapts to evolving market demands. Innovate. Transform. Lead. https://softechies.net/software-product-development-services/
by gorgoiler | 2025-06-10 20:27:30+00:00
This site is literally named for the Y combinator! Module some philosophical hand waving, if there’s one thing we ought to demand of our inference models it’s the ability to find the fixed point of a function that takes content and outputs content, then consumes that same content!

I too am optimistic that recursive training on data that is a mixture of both original human content and content derived from original content, and content derived from content derived from original human content, …ad nauseam, will be able to extract the salient features and patterns of the underlying system.
by twiss | 2025-06-10 20:27:44+00:00
FWIW, OpenPGP does have a definition of a well-formed packet sequence, e.g. for messages here: https://www.rfc-editor.org/rfc/rfc9580.html#name-openpgp-mes...

The packet sequence used by this vulnerability was not a valid OpenPGP message, as pointed out by the blog post (under the header "An invalid packet list").

Part of the issue in OpenPGP.js was that it didn't fully validate the message packet grammar, which has now been fixed: https://github.com/openpgpjs/openpgpjs/pull/1853
by jqpabc123 | 2025-06-10 20:27:52+00:00
At this point, we really just don't know what "consciousness" is.

For all we know, it could be a quantum mechanical property of the universe. Does anyone have proof that it is not?

The brain may have evolved a means to tap into this quantum realm --- similar to the way migratory birds have evolved the ability to see the earth's magnetic field and use it for navigation.

The one thing I am certain of --- there is no real logical reason to believe an electronic device can do the same.
by neilv | 2025-06-10 20:28:01+00:00
Reading between the lines is also a skill in general human communication.

Which is why, when someone sends me an AI-generated message that previously would've been written by them, it's like they're jamming one of my skills.

Not only are they not giving me some information I had before (e.g., that the person thought of this aspect to mention, that they expressed it this way, that they invested this effort into this message to me, etc.), but, (if I don't know it's AI-generated) the message is giving me wrong information about all those things I read into it.

(I'm reasonably OK at reading between the lines, for someone with only basic schooling. Though sometimes I'm reminded that some of my humanities major friends are obviously much better at interpreting and expressing. Maybe they're going to be taking the AI-slop apocalypse even worse than I do.)
by SirHumphrey | 2025-06-10 20:29:41+00:00
It’s not really that humans have infinite context windows, it’s more that the context windows are a very poor substitutes for long term memory.

Memory even in a text heavy field like programming is not only text based so it’s often hard to describe for example an appropriate amount of error checking in prompt.md. Giving a person with anterograde amnesia a book of everything they know - no matter how well indexed or how searchable will not fix the lack of long term memory.
by Legend2440 | 2025-06-10 20:30:08+00:00
The flip side is: knowledge is not (and should not be!) copyrightable. Anyone can read your articles and use the knowledge it contains, without paying or crediting you. They may even rewrite that knowledge in their own words and publish it in a textbook.

AI should be allowed to read repair manuals and use them to fix cars. It should not be allowed to produce copies of the repair manuals.
by gamblor956 | 2025-06-10 20:30:10+00:00
Hint: if you read the parent comment, you see that "LA" is actually a collection of many smaller cities, and that "LA" is geographically bigger than some states and so of course it is not completely walkable. LA is 44 miles long and 24 miles wide. And that's just the city of Los Angeles. The county of Los Angeles is 4000 square miles, and has over 80 cities, most of which are only separated from each other by a road. But LA Metro is the (geographically) largest public municipal public transportation system, so you can take a bus from one of of LA county to another.

Downtown is walkable. Hollywood is walkable. Echo Park is walkable. Pasadena is walkable. Santa Monica is walkable. Long Beach is walkable. Culver City is walkable. Bevery Hills is walkable. Glendale is walkable. Burbank is walkable.
by jcynix | 2025-06-10 20:31:42+00:00
Look at HyperCard (more or less dead, regrettably) or Excel and you'll see many useful "applications" created by non-programmers over the years.

People want to create, but need tools to make this easier / more abstract than regular programming. Most companies want to get them into their walled gardens instead, especially web-based companies today.
by m_dupont | 2025-06-10 20:31:47+00:00
I have some more tips, specifically pertaining to Germany and your requirements:

> Language: In Germany you can get around no problem with 0 German. Me personally I downloaded Duolinguo the day before my flight and I did just fine learning as I went.

> EU financial foundation: I'd say you can just build a US financial foundation then send it over via bank transfer when u arrive.

> Established living situation: If you get accepted to a german university, try to show up at least a month before courses start. Take that time to open a bank account, get insurance, enrol and find an apartment. Do NOT try to find a rental when you don't have boots on the ground, there are a bunch of scams that target international students trying to secure accomodation. For your first month or so, just stay in an airbnb until you find a place you like long-term

>
by mdp2021 | 2025-06-10 20:32:29+00:00
I have not submitted this article... I submitted https://hackaday.com/2025/06/10/is-the-atomic-outboard-an-id... , "Is The Atomic Outboard An Idea Whose Time Has Come?", which discusses the general idea also in view of environmental goals.

The article which is now presented as submission is linked by the one I proposed.

Something strange happened...
by LightHugger | 2025-06-10 20:32:43+00:00
I'm not the person uncritically examining party propaganda. My information is based on what the democratic party has said and done, nobody else. So, entire post misses the mark very hard for me.

Frankly i think you're exactly the person who is part of the problem here, proudly prejudiced, not very well informed despite thinking you know better than everyone.

> Do you think any party is in favor of illegal immigration? How would that work anyway? Parties try to pass laws. The best you could find is that some party favors immigration policies you would prefer be illegal.

This kind of reads like it's written by AI or something but either way it's irrational on such a fundamental level that i don't really know what to make of it. Obviously a ruling power in a country can be in favor of something illegal and take action to increase illegality on purpose. That's what you are saying trump is doing, so you don't even disagree with yourself. Where did you think the huge numbers of illegal immigrants came from while under democratic leadership, did they materialize independently? No, they promoted illegality.

It wasn't in my post but just in case you aren't an AI, the democratic party is pro illegal immigration for relatively straightforward reasons. their large corporate donors like having a large cheap underclass of workers to exploit and abuse. Illegal immigrants are much less likely to cause problems at work and are likely to work harder because they are at a much higher risk. If you're a CEO you can bet it's better to hire people you know will never unionize, you can exploit easily and won't file any workplace safety complaints. You can even commit wage theft with abandon, what are they going to do about it? There's also other secondary effects like creating a large amount of illegality overloads the courts and generally creates chaos which can be easy to exploit.

I've also seen the argument that the dems hope to swing demographics to secure the vote but i'm not so sure about that one, especially considering how hard legal voting immigrants are swinging against the democratic party for all of my prior mentioned reasons. I feel like if you were actually in touch with the legal immigrant population you would understand this a lot better.

I'm in favor of large scale legal immigration so people get full workplace rights and aren't easy to take advantage of. Duh. Creating an underclass of workers with less rights to keep corpo rat profits rising is bad. The democratic party has done the opposite, this is fact. Not really sure what else there is to say, all your smoke isn't worth much.

And i do think the dem's longer term plan was something stupid like "bring in infinite illegal immigrants to create a problem" and then "we will sell the solution and make them all citizens!" and that went ass up with their own hubris exploding in their face. Either way that's evil shit.
by sedatk | 2025-06-10 20:33:54+00:00
I had a cracked version of Turbo Esprit game on Amstrad CPC. There was one utility pole in the game in one of the maps. You reached to it by turning left at the start and then right, and it was second pole on the right, or something like that. If you hit that pole using "street turn" action, you'd instantly get teleported to another street with hundreds of pedestrians, climbing up to the sky. I thought I'd found heaven, but now thinking about it, the glitch might be caused because of the crack and repackaging. I loved discovering such an obscure behavior in a game though. I couldn't reproduce it on an emulator again.
by robocat | 2025-06-10 20:34:08+00:00
Different topic: CSS doesn't have a good way to manage nearby clicks? A tap just a few px outside a button should click the button? <Input>s can steal focus from nearby taps on Mobile Safari (which can also be a fuckup). I hate iPhone taps that slip a little and scrollable areas having queer interactions (causing usability/accessibility issues).
by domofutu | 2025-06-10 20:34:34+00:00
Wait... was your comment LLM-generated? Because that was a suspiciously accurate roast—complete with parallel structure, lexical flair, and a cheeky emotional beat at the end. Honestly, I feel... parsed.

And yes, I admit it: I treat emdashes like seasoning—measured in emotion, not quantity. Final participial phrases? Chef’s kiss. Coordinate series? Can’t stop, won’t stop.

Appreciate the close read—clearly, we’re both running on the same firmware.
by hypeatei | 2025-06-10 20:34:56+00:00
Ah yes, you're doing the meme: if ANYTHING happens it means "fuck the Democrats"

Sure, it couldn't possibly be anything else like inflation after COVID (which happened globally) that caused incumbents to lose around the world. No, Dems just needed to get this one thing right and they're to blame for Trump. Sure.

EDIT: https://imgur.com/uPJAxEl
by JumpCrisscross | 2025-06-10 20:34:58+00:00
> They're deployed because of the riots, not illegal immigration

The riots got worse after they were deployed. Obviously. They're being deployed because we have a drunk for SecDef, a basket case in Stephen Miller and flagging illegal-immigrant arrest numbers that are making Homan look incompetent. So we get theatrics. Sort of like the tariffs.
by dcminter | 2025-06-10 20:35:05+00:00
> they were intentionally crippling Facebook Messenger at one point [in a browser]

They were/did. I was using Messenger Lite for a bit which was ok, but they killed that and the mobile browser mode.

I still need FB for some events and contacts, but I refuse to have the fat messenger app installed so now I end up using the damn thing in desktop mode which is ... painful.

All I seem to see in my feed these days is "suggested for you" so it's a lot less addictive than it was back in the day. Not sure why they're so determined to drive the user base away, but that does seem to be the plan.
by aDyslecticCrow | 2025-06-10 20:35:16+00:00
> It was worth the burn to capture the market.

You cannot compare Uber to the AI market. They are too different. Uber captured the market because having three taxi services is annoying. But people are readily jumping between models using multi-model platforms. And nobody is significantly ahead of the pack. There is nothing that sets anyone apart aside from the rate at which they are burning capital. Any advantage is closed within a year.

If OpenAI wants to make a profit, it will raise prices and be dropped at a heartbeat for the next cheapest option. Most software stacks are designed to be model-agnostic, making integration or support a non-factor.
by baq | 2025-06-10 20:35:18+00:00
Regulation was the point discussed, healthcare and gun controls are two examples where there are massive qualitative and quantitative differences in regulation between EU and USA. E.g. healthcare is a matter of national security in the EU and it's a profit center for pension funds in the USA. Gun controls I'm not too familiar with, I can only see second order effects in the US in the form of an arms race between police and citizens.
by LadyCailin | 2025-06-10 20:36:14+00:00
This is one of the main reasons I’m for licensing software engineers like civil engineers are. You know that without a license, you can’t work in the civilized world. So when your license requires you to not build the torment nexus, and some manager comes and says “build the torment nexus” then you tell them no, knowing that they can’t just fire you and hire someone else to do it. Yes, they might outsource it, but you can create regulations that say that companies that offer products in the civilized world anyways can’t offer the torment nexus as a product, and then you get a super compelling argument for preventing the torment nexus.

The plan isn’t without flaws, but nobody ever even wants to discuss, they just cut off the conversation early.