MurphyA/hacker-news huggingface dataset:
by saurik | 2025-10-25 05:01:20+00:00
> Look at Apple, their software game is mediocre now because of that culture, but they're at the top of their hardware game because instead of outsourcing and acquiring, they built in-house.

Apple acquired Touch ID (AuthenTec) in 2012 and Face ID (PrimeSense) in 2013. They acquired most of the depth mapping tech for Portrait Mode (LinX Imaging) in 2015. They purchased a ton of companies on the road to making their chips, including PA Semi, Intrinsity, and Dialog Semiconductor. It seems like they acquired their flash memory controller (Anobit Technologies) in 2011?

I totally agree that Apple improves the stuff in house--or even kind of throws it away and starts over to achieve better verticality--after integrating the teams, but so do all of these companies if they aren't making some grave mistake (as was seemingly the case with pretty much everything that Twitter bought, lol). Like, AFAIK, it isn't actually that rare that companies successfully pull that off? WhatsApp didn't even have end-to-end encryption before Facebook bought them!

> Others said this is an acquihire, and that might be the case, but are the new hires going to easily follow OpenAI's vision or try to interpret things according to what they're used to?

FWIW, I honestly don't know how this is being characterized on either side, but a lot of times this is just how people are hired: the way you build something "in house" by "attracting the talent" (from your next paragraph) is to give them the moral equivalent of a big signing bonus from the "capital" you mention they have by acquiring a company someone started that is effectively the resume of not just one person but an entire team of people who are able to become a turn-key department.

This strategy has the fascinating benefit that often the money that is then paid for the company and earned by the various players (such as the founders) gets taxed at a long term capital gains rate rather than as income (as we'd expect a normal signing bonus), and if the turnaround is short enough and a lot of the original money came from angel investors or friends and family rather than venture capital, you don't need all that much of a multiple to make it worth everyone's involvement.
by jiggawatts | 2025-10-25 05:01:55+00:00
Apparently this is very new science, the information is still being collected as cutting edge research.

One thing that is clear is that the intergalactic medium has a highly variable density. In the vicinity of a recent galactic merger or near-miss, there would be a smear of stars fading off into the distance.

Conversely, even a fairly quiet and passive galaxy like our own is expected to eject stars at a rate of one every few hundred years from the core region immediately nearby the black hole there.
by xbmcuser | 2025-10-25 05:02:17+00:00
If they spend time handholding 1000s of lazy people not willing to do basic search provide logs etc before helping they would spend all their time handholding instead of working on the software they are coding in their spare time as a hobby.

As much as I personally do not like the abrasiveness from many open source devs I empathize with their behaviour as most people are not willing to do the slightest work to help themselves and just expect to be hand fed. And this abrasiveness usually comes after years of trying to be helpful.

Btw if you asked a question then got an answer and figured it out hopefully you would have added it to the help notes of the open source software you are using so others would find it
by array_key_first | 2025-10-25 05:02:37+00:00
Literally every single medical procedure, down to the most mundane, has risks.

That's why we don't give MRI's out the wazoo. We actually gatekeep them a lot, and most research will tell you that investigative MRIs without chief complaints are a bad idea and we don't do them.

I had cancer. I had no MRIs, but multiple CT and PET scans. CT scans and PET scans have risk - they don't just do those for kicks. But you know what else has risks? Cancer. So there's a calculus here.

Every single medical procedure, down to getting your blood drawn, has this calculus. Nothing is risk free.
by nurettin | 2025-10-25 05:03:04+00:00
Turbo pascal help for me! The polynomial example taught me how to use pointers. Before that, I could only use static arrays up to a certain length.

Learning about heap allocation was euphoric. I kept beaming because I had unlocked infinite memory, and people around me didn't get why I was such a happy teenager.

To be fair, I already knew about memory regions from PEEK/POKEing on a commodore as a child, but it was always static and pre-populated.
by laterium | 2025-10-25 05:04:02+00:00
Why is retraining not allowed in this scenario? Yes, the model will know the breakthrough if you retrain. If you force the weights to stay static by fiat, then sure it's harder for them to learn, and will need go learn in-context or whatever. But that's true for you as well. If your brain is not allowed to update any connections I'm not sure how much you can learn either.

The reason that the models don't learn continuously is because it's currently prohibitively expensive. Imagine OpenAI retraining a model each time one of its 800m users sends a message. That'd make it aware instantly of every new development in the world or your life without any context engineering. There's a research gap here too but that'll be fixed with time and money.

But it's not a fundamental limitation of transformers as you make it out to be. To me it's just that things take time. The exact same architecture will be continuously learning in 2-3 years, and all the "This is the wrong path" people will need to shift goalposts. Note that I didn't argue for AGI, just that this isn't a fundamental limitiation.
by arunmu | 2025-10-25 05:04:20+00:00
Thanks. We are already using timescale postgres image for pgvectorscale with some customizations on tsvector and GIN indexes. Would be nice to have bm25 as well. Any specific reason why this was not made open source from the get go or is it the usual phased approach by Timescale (now Tigerdata)? If not, it is a worrying signal as the same could happen with pgvectorscale development as well.

Anyways really appreciate the free offerings by timescale. Really makes things easy.
by aureianimus | 2025-10-25 05:06:22+00:00
In a lot of cases you can get far by locally proofreading the definitions.

Trying to formally prove something and then failing is a common way people find out they forgot to add an hypothesis.

Another pitfall is defining some object, but messing up the definitions, such that there's actually no object of that kind. This is addressed by using test objects. So suppose you define what a ring is, then you also prove that real numbers and polynomials are examples of the thing you defined.
by beloch | 2025-10-25 05:06:24+00:00
Years and years ago, Facebook asked me for a picture of my passport when I was trying to recover my password. Obviously, I said, "No". I eventually found the password, but I stopped using Facebook shortly afterwards anyways.

The Internet used to be a domain of handles and alter-egos. Anonymity was cherished because it protected us from (then) mostly imaginary evils. Now that those evils exist, are legion, and are being traded on NASDAQ, we are teaching children to surrender their anonymity and live without masks in a digital panopticon.

We need to revive old-school handles for children and teach them the value of anonymity.
by array_key_first | 2025-10-25 05:07:32+00:00
Safe, in the context of living on Earth, means an acceptably low risk of a bad outcome.

Tylenol is safe. Tylenol can also permanently damage your kidneys.

Walking is safe. Walking can also permanently damage your cartilage.

Food is safe. Thousands of people die from choking.

We all know this, colloquially. When it comes to medicine, it is as if one's brain hops and skips right out of their ear. It's not magic, it works like everything else on Earth works.
by OptionOfT | 2025-10-25 05:07:45+00:00
I really dislike how the companies try to antromorphisize their software offerings.

At my previous company they called it 'sparring with <name of the software>'. You don't 'work' with Claude.

You use the software, you instruct it what to do. And it gives you an output that you can then (hopefully) utilize. It's not human.
by anitil | 2025-10-25 05:08:11+00:00
I wrote a python library that would build a perfect hash at run-time, it was basically the stupidest way you could do it - it would shell out to gperf to build the library, compile it to a shared library, then link the entry points in (I think with ctypes? I can't remember).

It was just for fun, but in the end even ignoring the startup costs of all of that, the default performance of python's dictionary was better.
by ssl-3 | 2025-10-25 05:10:55+00:00
It is approximately correct as long as the temperature deltas are approximately the same for heating vs cooling.

(And as long as we're dispelling generalizations: Those deltas do vary wildly based on local climate, such that they're impossible to generalize and typify.

For instance: The city of Saint Paul, Minnesota [USA] has a very different climate compared to the city of São Paulo in Brazil, with accordingly-different heating/cooling deltas.

https://weatherspark.com/h/y/10422/2025/Historical-Weather-d...

https://weatherspark.com/h/y/30268/2024/Historical-Weather-d... )
by d3Xt3r | 2025-10-25 05:11:01+00:00
> go back to buying Windows laptops and putting Linux on them. But they just aren't as nice.

There are native Linux laptops from several manufacturers such as Slimbook, Star Labs, System76, Tuxedo etc. Or if you prefer mainstream OEMs both Lenovo and Dell sell laptops with Linux preloaded (or have official Linux compatibility listed on the spec sheet). And of course, there's also Framework, if you're in the lucky 10% of the world's population where they ship to.

Personally I'm a big fan of ThinkPads - I have the Z13 Gen 1 and it's honestly running Linux on it has been one of the best non-MacBook laptop experiences I've ever had. Just picture this: all day battery life, suspend/resume that works 100% of the time, every bit of firmware upgradable from within Linux (fwupd) and literally *zero* errors in the dmesg/boot logs. I've had this machine for over 3 years now (running Bazzite and CachyOS, both on KDE) and have had no major with either the hardware or software.

I've also got an M1 MacBook Air, and the only thing it does better is the battery life, but otherwise I vastly prefer my ThinkPad. Happy to answer any questions.
by adwn | 2025-10-25 05:11:01+00:00
Have you considered that the second path you outlined, "giving your body to a master tradesman to get a piece of paper over many years" (in the figurative sense), is in general a necessary prerequisite to avoid the first path of any moron being allowed to "[call] himself a repair man which can and does end in disastrous jobs"?

> I wish I could live in a world somewhere in the middle […]

This world would just be a mixture of both, with many more semi-skilled tradesmen doing many more half-assed jobs, but not having to train as long.
by aw1621107 | 2025-10-25 05:11:10+00:00
It's a bit of both IIRC. You're right that limiting checks to the function signature avoids accidentally leaking implementation details, but it also means that checking functions can be done entirely locally. Not having to recursively inspect called function implementations to determine whether there is a type/borrow checking error scales much worse than only needing to look at function signatures.
by noduerme | 2025-10-25 05:11:20+00:00
I like this approach. After some months of gamely trying to involve Claude in my coding process, I find it's much more enjoyable and efficient for me to just write the code myself, rather than babysitting it and going over and over something it wrote finding errors and logical flaws. I was about to cancel my subscription.

This month, however, I had to start upgrading a very large db from MySQL 8 to 9, on a codebase that involves a few hundred long and complex queries. I wrote this code, so I know what they do and I understand the schema, but I'm also aware that some of them may violate ONLY_FULL_GROUP_BY, and a few (but can't remember which) had historical oddities unless DERIVED_MERGE was turned off. I was girding myself to run tests on dozens of suspects, but as a lark I handed Claude the whole codebase and the schema and asked it to identify any queries that might break if those two default options were enabled. Astonishingly, it did. It identified 15 queries and explained what they violated. It was wrong about 7 of them... those seven were actually fine, and it acknowledged that it had farmed this out in some way and that whatever it used for evaluation had been overly conservative and had returned false positives. But the other 8 queries were fixable. It was also a bit off about how to rewrite them - it created a lot of slow and inefficient workarounds. It neglected the idea of lateral joins, it didn't write SQL optimized for the indexes, etc. But it saved me hours and hours of locating these queries myself.

To me, this idea of letting the LLM render down a lot of code into potential pain points seems like a much more valuable use of it than asking it to write code itself. I kept my subscription for that reason.
by chrismorgan | 2025-10-25 05:11:31+00:00
> the most important person in a major surgery is the anaesthesiologist, not the surgeon(s)

Could you explain more? It seems to me that, as sans surgeon there is no surgery, the surgeon is inevitably the most important person. Anæsthetic in its current form is a comparatively recent invention; historically major surgery was done without it, and in emergencies can still be done without it (at the cost of excruciating pain and far higher risk of negative outcomes, of course).
by rkagerer | 2025-10-25 05:13:22+00:00
Dialing 911, it instantly starts calling, and the send button changes to hangup.

I find this kind of crap all over the place in Android - buttons dancing around or changing function so idiotically that it almost feels like my phone is intentionally trying to trip me up.

The designers also seem stuck under an assumption the user is operating in an act-look feedback loop. In reality, good tools let you shift your focus away from them once you become proficient - the mechanics of their use becomes second nature and fades into the background allowing you to focus on your task - exactly the way you found yourself relying on muscle memory in that razor-focused, high stakes situation.

I'm saying this not only as a lifelong tech nerd, but from lived experience as a First Responder (where we routinely deal with high-stress situations, and aim to train with our equipment until it's too familiar to get wrong). It's unconscionable they'd ship such an inconsistent behavior in a function that is at once critical and rarely-exercised.

The problem wasn't you, it was your shoddily designed tool.
by godelski | 2025-10-25 05:14:11+00:00
> lazy people not willing to do basic search

It seems you did not read my comment. Here, let me reiterate in case you are too lazy to look back. I even indented it to change formatting the first time

>> I cannot stress this enough >> Just because the user didn't find it doesn't mean they didn't search

Handholding isn't hard. You can be firm and critical while doing it too. See my example.

> provide logs etc

They probably could, but that depends on the community.

> I empathize with their behaviour

I do not. It is better to just leave the message on read than to respond with hostility. Growing up around my house we stressed "Thumper's Rule"

If you don’t have somethin’ nice to say, don’t say nuthin’ at all.

It applies here too. You can just ignore it instead of investing your time getting upset. You'll feel better too! Maybe just give them more time to keep searching. If you must respond, suggest a query. Either way you're responding, but a nothing response is a lot less effort than an angry response.

> Btw if you asked a question then got an answer and figured it out hopefully you would have added it to the help notes of the open source software you are using so others would find it

I do!

But not in communities I get banned from for not finding the (supposedly) previously discussed issue. They won't let me.
by array_key_first | 2025-10-25 05:16:34+00:00
There was pretty much no point in time in American history where people just accepted each other.

This kind of stuff is very easy to say when you might be a person who is easy to accept. In general, Life is pretty smooth sailing if you don't trot too much off the beaten path - and that, unfortunately, includes immutable characteristics.

Generally, if you ask other people about the same time frame, you will get different answers.
by jdlshore | 2025-10-25 05:19:30+00:00
HATEOAS is hypertext as the engine of application state. When a person reads a webpage and follows links, it’s not HATEOAS, because the person is not an application.

HATEOAS and by-the-book REST don’t provide much practical value for writing applications. As the article says, a human has to read the spec, make sense of each endpoint’s semantics, and write code specific to those semantics. At that point you might as well hardcode the relevant URLs (with string templating where appropriate) rather than jumping through hoops and pretending every URL has to be “discovered” on the off chance that some lunatic will change the entire URL structure of your backend but somehow leave all the semantics unchanged.

The exception, as the article says, is if we don’t have to understand the spec and write custom code for each endpoint. Now we truly can have self-describing endpoints, and HATEOAS moves from a purist fantasy to something that actually makes sense.
by throwup238 | 2025-10-25 05:22:06+00:00
That’s the exact opposite of what the GP is suggesting. Read this again:

> Business logic is the real killer. Have one person suck it up and do it in typescript (sorry y'all) on the GQL/apollo server and all the clients can ingest it easy.

Move the logic to the GQL retriever so that clients don’t have to implement business logic.
by aspenmayer | 2025-10-25 05:22:46+00:00
I can only presume that they got the atomic symbol for potassium (K) mixed up with vitamin K. That’s so wrong it crosses over into being “not even wrong” but entirely wrong and beside the point. I hope they aren’t your doctor anymore, or anyone’s. Please tell me you reported this incident to the state medical board.

https://en.wikipedia.org/wiki/Not_even_wrong

> "What you said was so confused that one could not tell whether it was nonsense or not."
by alexpetros | 2025-10-25 05:25:34+00:00
> HATEOAS would mean your browser/client would be entirely responsible for the presentation layer, in whatever form you desired, whether it's buttons or forms or pages or not even a GUI at all, such as a chat interface.

Browsers can alter a webpage with your chosen CSS, interactively read webpages out loud to you, or, as is the case with all the new AI browsers, provide LLM powered "answers" about a page's contents. These are all recontextualizations made possible by the universal HATEOAS interface of HTML.
by glxxyz | 2025-10-25 05:25:50+00:00
There was a C$7k government grant at the time for the heatpump, which roughly matched the tax.

The current Ontario solar grant is weird- it only applies to battery systems without net-metering. They also offered a 10-year interest free loan though so I took that, improves the ROI a little. I think battery systems do make more sense for people who are further sound and using more electricity at the time of year that they are generating it. The solar sales people estimated a 10-year ROI but they had to include a pretty high annual energy cost increase in their calculations (I think 8%/year), I estimated more like 15 years.

I didn't really consider replacement, by all reports the WaterFurnace pump should last 25-30 years and the propane furnace was probably 5 years old so would have lasted about the same. I would think that the WaterFurnace costs a little more to replace, maybe a winter's worth of propane.

Several people told me that ground source heat pumps were too expensive, but years later it still feels like the best investment I've ever made, the gentle heating and cooling is more comfortable too. Anyone with enough space who has to have fuel delivered (propane, oil, etc.) should seriously consider it.
by aureianimus | 2025-10-25 05:26:14+00:00
I think the difference is mostly cultural. The type theories of Lean and Rocq are fairly close, with the exception that Lean operates with definitional proof irrelevance as one of the default axioms. This causes Lean to lose subject reduction and decidability of definitinal equality as properties of the language.

Many people in the Rocq community see this as a no-go and some argue this will cause the system to be hard to use over the long run. In the Lean community, the interest in type theory is at a much lower level, and people see this as a practical tradeoff. They recognize the theoretical issues show up in practice, but so infrequently that having this axiom is worth it. I consider this matter to be an open question.

If you look at what's being done in the communities, in Lean the focus is very much on and around mathlib. This means there's a fairly monolithic culture of mathematicians interested in formalizing, supplemented with some people interested in formal verification of software.

The Rocq community seems much more diverse in the sense that formalization effort is split over many projects, with different axioms assumed and different philosophies. This also holds for tooling and language features. It seems like any problem has at least two solutions lying around. My personal take is that this diversity is nice for exploring options, it also causes the Rocq community to move slower due to technical debt of switching between solutions.
by akmarinov | 2025-10-25 05:26:36+00:00
- Hot reload that actually works.

- OTA updates, skipping Apple review for every little thing. Really speeds up builds too.

- Repack and module federation aren’t even possible on native

- running tests on iOS - 2 minutes minimum and having to boot the simulator in most cases. RN - seconds

- IDE with all sorts of plugins, that are impossible on Xcode, Rozenite

- AI trained on lots more React code, where they usually struggle to use Swift 6 properly

and a bunch more things
by t312227 | 2025-10-25 05:27:11+00:00
hello,

as always: imho (!)

congratulations on shipping!!

fwiw: i have to admit, i may be getting "to old" to understand this online/service hype which took over "the it world" years ago ...

create an online-service and market it with "no upload", "local", "privacy" etc...

idk ... whats the advantage over "my" image-conversion-tool which i use heavily since decades ... if i remember it correctly, since around the late 1990ties (!) ... drummroll ... meet:

ImageMagick ~ Mastering Digital Image Alchemy

* https://imagemagick.org/

its utility called "convert" does everything a "normal" person could want for image-conversion.

its FOSS, runs locally in your terminal or GUI, produces stunning results and again: no internet needed, no privacy-concerns etc...

source-code available at

* https://github.com/ImageMagick/ImageMagick

it has lots of language-integrations etc.etc.

* https://imagemagick.org/script/develop.php

just my 0.02€

ps. if i want do develop such a converter which could run locally in the browser, i would take a look at the wasm-port of imagemagick, available here:

* https://github.com/KnicKnic/WASM-ImageMagick
by caminante | 2025-10-25 05:29:00+00:00
I'm jealous of the learning and hobby project.

Though, the returns are (edit: "not great") if the figures above INCLUDE net metering revenues.

Heatpump = Negative IRR until y8 Solar = Negative IRR until y16 Heatpump + Solar = 0 NPV through y25 | 8% discount rate