MurphyA/hacker-news huggingface dataset:
by tialaramex | 2025-12-31 15:38:27+00:00
My point was that you don't need to erase types to get parametricity. It may be that my terminology is faulty, and that in fact what Rust is doing here does constitute "erasing" the types, in that case what describes the distinction between say a Rust function which is polymorphic over a function to be invoked, and a Rust function which merely takes a function pointer as a parameter and then invokes it ? I would say the latter is type erased.
by mikeyouse | 2025-12-31 15:39:27+00:00
They've changed the laws recently which makes it far easier - I believe you'd still need to be accredited but for most of HN, that's a low bar. For OpenAI specifically, they've allowed employees to participate in the funding rounds and they did a separate tender offer with Softbank to provide liquidity to early employees as well;

https://fortune.com/2024/12/17/hundreds-openai-employees-10-...
by constantcrying | 2025-12-31 15:40:31+00:00
To be honest, the Megalag video really made it clear what a great product Honey is. It is very explicit about the fact that you, as the consumer, can get extraordinary deals by using the extension.

This also makes me think that the whole campaign is astroturfed. The only "victims" of Honey are influencers and storefronts, who of course will do their part in trying to get their customers to stop using the product, but for the consumer there really are only benefits with using the extension.

The only arguments against Honey is that they are supposedly breaking some internal rules of the advertising industry (and who cares about those? Certainly not me) and that they are offering deals better than the store wants to offer to you, which makes an extremely compelling case for using that extension.

I always considered extensions like Honey to be quite scammy and believed that they offered little benefit, but apparently I was wrong.
by nashashmi | 2025-12-31 15:40:55+00:00
> I switched back to a new carrier but I had to get a transfer authorization from Lyca.

I don't understand. I am able to travel and load multiple eSims on my phone. If you wanted to load a second esim, what prevented you? After loading one esim, you dump the other, or disable it. Do you mean in terms of transferring ph number?
by Aurornis | 2025-12-31 15:40:57+00:00
> I'm honestly curious whether you yourself are even aware of the disingenuousness of this argument.

Unnecessarily condescending and smug, but I’ll try to respond.

That said, you’re putting forth your own disingenuous assumptions and misconceptions. The natural gas turbines are an intermediate solution to get up and running due to the extremely long and arduous process of getting connected to the grid.

Arguing pedantry about the word efficiency isn’t helpful either. The data centers are being built, sorry to anyone who gets triggered by that. The gas turbines are an efficient way to power them while waiting for grid interconnect and longterm renewables to come online.

Disingenuous is acting like this is a permanent solution to the exclusion of others. The whole point is that it gets them started now with portable generation that is efficient.
by WorldMaker | 2025-12-31 15:41:04+00:00
That's where tags are useful because the only valid operations (depending on force push controls) are creating a new tag. If your release process creates tag v0.6.0 for commit 123 your tools (including `git describe`) should show that as the most recent release, even at commit 234. If you need to cut a hotfix release for a critical bug fix you can easily start the branch from your tag: `git switch -c hotfix/v0.6.1 v0.6.0`. Code review that branch when it is ready and tag v0.6.1 from its end result.

Ideally you'd do the work in your hotfix branch and merge it to main from there rather than cherry picking, but I feel that mostly because git isn't always great at cherry picking.
by Eridrus | 2025-12-31 15:41:08+00:00
This is extremely simple software.

Claude is extremely verbose when it generates code, but this is something that should take a practicing software engineer an hour or so to write with a lot less code than Claude.

I like all the LLM coding tools, they're constantly getting better, but I remain convinced that all the people claiming massive productivity improvements are just not good software engineers.

I think the tools are finally at the point where they are generally a help, rather than a net waste of time for good engineers, but it's still marginal atm.
by vjvjvjvjghv | 2025-12-31 15:41:52+00:00
"Rome said the companies seem to be maximizing prices while negotiating discounts behind the scenes with health and drug insurers and then setting yet another price for direct-to-consumer cash-pay sales."

This describes the biggest problem in US healthcare. No clear and consistent pricing. If we had a real market, you would get a prescription and then go to the seller with the lowest price. And everybody would get the same price. This whole business with PBMs that are owned by the insurance companies, discount cards and other shenanigans just invites corruption.
by louiereederson | 2025-12-31 15:41:53+00:00
i'm sure openai and their investors know what the cash burn is. it's also been well reported by The Information with no pushback from the company or investors. they have also reported that openai is forecasting $9b in training compute spending for 2025, up from $3b last year. this more or less lines up with Epoch's estimate that training compute has reliably grown by ~4x per year. the vast majority of that is just from building bigger data centers rather than chip performance improvements. you obviously need to grow revenue pretty quickly to absorb that.

https://www.theinformation.com/articles/openai-says-business...

https://epoch.ai/blog/training-compute-of-frontier-ai-models...
by zozbot234 | 2025-12-31 15:42:05+00:00
If you do the math, that's $10-$12 per watt year. There's approx 24×365.25=8766 hours in a year, so assuming that the datacenters would be running 24×7, that boils down to $1.14 to $1.37 in revenue per kWh. That's not a bad deal if power really is a major part of the expense.
by ep103 | 2025-12-31 15:42:18+00:00
You and I see the tiktok slop. But as that functionality improves, its going to make its way into the toolchain of every digital image and video editing software in existence, the same way that its finding its way into programming IDEs. And that type of feature build is worth $. It might be a matter of time until we get to the point where we start seeing major Hollywood movies (for example) doing things that were unthinkable the same way that CGI revolutionized cinema in the 80s. Even if it doesn't, from my layman perception, it seems that Hollywood has spent the last ~20 years differentiating itself from the rest of global cinema largely based on a moat built on IP ownership and capital intensive production value (largely around name brand actors and expensive CGI). AI already threatens to remove one of those pillars, which I have to think in turn makes it very valuable.
by ptx | 2025-12-31 15:42:29+00:00
I don't think it's necessarily a misconception but rather people having different conceptions of what the term "F-Droid" refers to. It could refer to the client, the server tools, a specific server instance, the project, the collection of applications, or possibly other things.

Some people might use "F-Droid" in the same sense as the main page [1] does, to mean "an installable catalogue of FOSS (Free and Open Source Software) applications" but others in the sense the about page [2] uses it, referring to the "non-profit volunteer project", which is consistent with the project statues [3]:

> F-Droid is the name of a not-for-profit technical, scientific and creative community effort serving the public benefit.

The documentation start page [4] makes it a bit more clear:

> F-Droid is both a repository of verified free software Android apps as well as a whole “app store kit”, providing all the tools needed to setup and run an app store. It is a community-run free software project developed by a wide range of contributors. It also includes complete build and release tools for managing the process of turning app source code into published builds.

[1] https://f-droid.org/en/

[2] https://f-droid.org/en/about/

[3] https://commonsconservancy.org/dracc/0039/

[4] https://f-droid.org/en/docs/
by jacquesm | 2025-12-31 15:43:34+00:00
> But same can be said of humans.

Indeed, the 'cleanroom' standard always was one team does the RE and writes a spec, another team that has never seen the original (and has written statements with penalty clauses to prove it) then does the re-implementation. If you were to read the implementation, write the spec and then write the re-implementation that would be definitely violating the standard for claiming an original work.
by toast0 | 2025-12-31 15:44:28+00:00
> Do you usually publish your hobby code publicly? If not, consider this an appeal to do so (:

Yes; https://github.com/russor/crazierl/ and there's an in browser demo as well https://crazierl.org/demo.html (thanks to v86! https://github.com/copy/v86 ) Supports virtio-net and realtek 8168.

> I take that there aren't any pluggable drivers for NICs like there's for nvme/sata disks?

I mean, there is NDIS / NDISWrapper. Or, I think it wouldn't be too hard to run netbsd drivers... but I'm crazy and want my drivers in userland, in Erlang, so none of that applies. :)

As a fair warning, there's some concurrency errors in the kernel which I haven't tracked down that results in sometimes getting stuck before the shell prompt comes up, the tcp stack is just ok enough to mostly work, and the dhcp client only works if everything goes right.
by koakuma-chan | 2025-12-31 15:44:32+00:00
> The hard part when it comes to site optimization is persuading various stakeholders who want GTM, Clarity, Dynatrace, DataDog, New Relic, 7 different ad retargeters, Meta, X, and probably AI as well now that a fast loading website is more important than the data they get from whichever of those things they happen to be interested in.

Just fire them all. Start your own company.
by Aurornis | 2025-12-31 15:44:43+00:00
Boom doesn’t actually have a turbine yet. Their design partner publicly pulled out of their contract with Boom a while ago.

Boom has been operating on vaporware for a while. It’s one of those companies I want to see succeed but whatever they’re doing in public is just PR right now. Until they actually produce something (other than a prototype that doesn’t resemble their production goals using other people’s parts) their PR releases don’t mean a whole lot.
by webstrand | 2025-12-31 15:44:51+00:00
And what happens when the licensing board gets politically compromised? You cant fix broken incentives by papering over another layer of administration. If the underlying incentives are opposed, the administration layer will be adapted to fit.

Civil engineering licensing works because underneath it all the incentive structure is aligned with the goals of the license. Its not about imposing morals, its about ensuring that buildings and devices are constructed to not fail, and to not fail catastrophically. The motivations of the ones who hire engineers are mostly aligned, they don't want the devices to fail either, and expose them to liability.

Medical doctor licensing also works because the incentives are mostly for patients not to be dying. But in the pharmaceuticals industry the incentive structure is different, where some rate of fatality is considered an acceptable cost of doing business, we see examples of subversion.

Sure software engineering licenses could be a great addition. But alone it will fail unless the incentive structure for those employing software engineers is aligned with the licensing goals.
by nephihaha | 2025-12-31 15:47:39+00:00
The Dutch were ridiculously bad at imposing their language on other countries. Little trace of it remains in Indonesia, or New York. Aruba, Curaçao and Sint Maarten have never taken to it. South Africa is kind of the exception except even then Afrikaans has played second fiddle to English for 150 years, and they have sought to differentiate their language from Dutch in more recent times.

Portugal has been better at that game when you consider its size.
by matklad | 2025-12-31 15:48:03+00:00
I assume you ment to write `assert(subexpression != undefined)`?

This is resilient parsing --- we are parsing source code with syntax errors, but still want to produce a best-effort syntax tree. Although expression is required by the grammar, the `expression` function might still return nothing if the user typed some garbage there instead of a valid expression.

However, even if we return nothing due to garbage, there are two possible behaviors:

* We can consume no tokens, making a guess that what looks like "garbage" from the perspective of expression parser is actually a start of next larger syntax construct:

```
function f() {
let x = foo(1,
let not_garbage = 92;
}
```

In this example, it would be smart to _not_ consume `let` when parsing `foo(`'s arglist.

* Alternatively, we can consume some tokens, guessing that the user _meant_ to write an expression there

```
function f() {
let x = foo(1, /);
}
```

In the above example, it would be smart to skip over `/`.
by PeterHolzwarth | 2025-12-31 15:48:18+00:00
Well, instead of repeating myself manually, I'll paste in a comment of mine here from a past discussion on carbon capture:

It's easy to forget why there is a bit of a challenge to getting C02 out of the air: there's so little of it, comparatively.

In order, air is, broadly, made up of the following:

Nitrogen: %78.084

Oxygen: %20.946

Argon: %00.934

CO2: %00.042

The stuff is essentially beyond a rounding error - it really gives one an appreciation of the "either don't release it, or capture it at the point of release" sentiment, and for the difficulties in making carbon capture outside of these scenarios be even slightly cost-effective.
Built a local-first crypto P&L and TurboTax Online export tool (open source)
by metalusmonk | 2025-12-31 15:48:27+00:00
I ran into a lot of issues getting accurate crypto transaction data into TurboTax Online this year (wrong CSV formats, silent failures, scientific notation, etc.).

I ended up building a small open-source tool that:

computes FIFO cost basis locally

exports TurboTax Online–compatible Raw transaction activity CSVs

includes a preflight validator to catch errors before upload

It’s local-first (no hosted service, no data upload) and currently supports Coinbase, Kraken, and Binance US.

Sharing in case it’s useful to anyone else dealing with the same mess:
https://github.com/metalusmonk/crypto-pnl-tool

Happy to answer questions or improve it if people find it useful.
by WorldMaker | 2025-12-31 15:48:28+00:00
You can always take advantage of the graph structure itself. With `--first-parent` git log just shows your integration points (top level merge commits, PR merges with `--no-ff`) like `Added feature X`. `--first-parent` applies to blame, bisect, and other commands as well. When you "need" or most want linear history you have `--first-parent` and when you need the details "inside" a previous integration you can still get to them. You can preserve all information and yet focus only on the top-level information by default.

It's just too bad not enough graphical UIs default to `--first-parent` and a drill-down like approach over cluttered "subway graphs".
by Aurornis | 2025-12-31 15:48:34+00:00
> This is a really long way of saying "We need to burn fossil fuels to make more money."

Like every other industry in the world?

I’m kind of amazed that AI data centers have become the political talking point for topics like water usage and energy use when they’re just doing what every other energy-intensive industry does. The food arriving at your grocery store and the building materials that built your house also came from industries that consume a lot of fossil fuels to make more money.
by Eikon | 2025-12-31 15:48:38+00:00
Most cloudflare products are very slow / offer very poor performance. I was surprised by this but that’s just how it is. It basically negates any claimed performance advantage.

Durable objects, r2 as well as tunnel have been particularly poor performing in my experience. Workers has not been a great experience either.

R2 in particular has been the slowest / highest latency s3 alternative I ever had experience with, falling behind backblaze b2, wasabi and even hetzner’s object storage.
by jklinger410 | 2025-12-31 15:49:05+00:00
> The simple evidence for this is that everyone who has invested the same resources in AI has produced roughly the same result. OpenAI, Anthropic, Google, Meta, Deepseek, etc. There's no evidence of a technological moat or a competitive advantage in any of these companies.

I think this is analysis is too surface level. We are seeing Google Gemini pull away in terms of image generation, and their access to billions of organic user images gives them a huge moat. And in terms of training data, Google also has a huge advantage there.

The moat is the training data, capital investment, and simply having a better AI that others cannot recreate.

I don't see how Google doesn't win this thing.
by draven | 2025-12-31 15:49:46+00:00
It was more about everything since the Amiga being a regression. BeOS was sometimes called a successor (in spirit) to the Amiga : a fun, snappy, single-user OS.

I regularly install HaikuOS in a VM to test it and I think I could probably use it as a daily driver, but ported software often does not feel completely right.
by pixtur | 2025-12-31 15:50:03+00:00
Wow — TiXL is on HN! I’m one of the maintainers, and I’m blown away by the feedback and traction our software is getting.

Some quick answers:

Is it an “After Effects” killer? I spent a lot of time with AE and used to teach classes on it. I tried to integrate everything I love into the UX of TiXL and change everything I hated :) So, it depends on what you want to make. TiXL has pretty good keyframing and compositing, and we’re working steadily on improving it. It can probably do a lot, with the benefit that you never have to “render,” and you can combine keyframe animations with procedural animations. But tracking, precise sync with video files, and typography animations are still much better in AE. So, for “traditional” 2D vector motion design, AE is a clear winner. For particle effects, composition, and audio-reactive work, TiXL can be a strong option.

As other posters pointed out, it sits somewhere between After Effects, Fusion, TouchDesigner, Blender (with nodes), and Resolume.

Windows — yikes: I’m totally with you. Windows is going downhill, not just since Microsoft’s obsession with AI and forcing everybody into their cloud. We’re working on making in running natively on Linux and MacOS. With .NET and ImGui, chances are pretty good. But as another poster pointed out, moving from DX11 to Vulkan will be a tremendous effort. It might be doable, though, because the largest API-specific implementations are bundled into a few low-level components.

Anyways! Thanks for featuring our project. If you’re curious, give it a try and join us on Discord. We’re a friendly community doing this thing together — not for profit, but because we really like motion graphics and good interaction design.
by JumpCrisscross | 2025-12-31 15:50:14+00:00
> If all the money poured into conserving status quo was spent on creating better conditions for Palestinian refugees in any of the independent Arab states

Easier said than done. The chaos the PLO caused in Jordan and Lebanon [1] raises legitimate security concerns for any country asked to accept large numbers of Palestinian refugees.

[1] https://en.wikipedia.org/wiki/Palestine_Liberation_Organizat...
by marcosdumay | 2025-12-31 15:50:56+00:00
> you're talking not about making a pile of stuff but about making a mountain range that's a mile high and hundreds of miles long.

Just to put it into numbers, wikipedia has the total amount of CO2 on the global warming page, if we assume it's in a 2 g/l substance it totals to around 180 km^3.
by kkukshtel | 2025-12-31 15:51:21+00:00
I like to tell people that all the AI stuff happening right now is capitalism actually working as intended for once. People competing on features and price where we arent yet in a monopoly/duopoly situation yet. Will it eventually go rotten? Probably — but it's nice that right now for the first time in a while it feels like companies are actually competing for my dollar.
by nehal3m | 2025-12-31 15:51:37+00:00
>One solution that can help is an external air heat exchanger

I have one of those, it blows fresh air in through the bedroom and sucks it back out through the kitchen (loft house, this route prevents food smells from wafting into the bedroom). Aside from just feeling fresh all year, this system also prevents mosquitoes from entering in summer while still allowing air circulation, it automatically bypasses the exchanger at night to provide cool air and it has some pollen filters installed which helps with hay fever.

So great economic return and a bunch of upsides, but it does require space for the exchanger and the ducts throughout the house.
by malfist | 2025-12-31 15:52:12+00:00
I find it extremely unlikely that homes are routinely at 2000-3000 ppm. That is extremely high and would mean multiple people in a small area with no air exchange for a long while.

I monitor my indoor co2, but don't take any action because it's extremely rare to be above 700 or 800. I can only remember a handful of times its reached 1k ppm. And my house should be prime candidate for co2, it was built during the era of "seal all air gaps" but before ERV or HRVs. I also use pressurized co2 to inject co2 into a planted aquarium. And my dogs are terrified of open windows so they are rarely open.
by ultrarunner | 2025-12-31 15:52:22+00:00
I'm sure you wouldn't throw stones from a glass house. Either way, I suspect you're reading what I wrote as "well, this is easier and I don't care enough to put in the effort." Conversely, there is currently no realistic (not to mention safe) path forward. I am subject to significant and rigid regulation that precludes any other action. My comment was intended to point out the absurdity of the situation in the hope that awareness can lead to change.

Aviation is currently going through a chicken & egg situation much like the electric vehicle charging network. Unfortunately, it's hampered by regulatory inertia. To blame that on an individual is wildly counterproductive.
by PaulDavisThe1st | 2025-12-31 15:53:05+00:00
That's not how software development works.

Folks think, they write code, they do their own localized evaluation and testing, then they commit and then the rest of the (down|up)stream process begins.

LLM's skip over the "actually verify that the code I just wrote does what I intended it to" step. Granted, most humans don't do this step as thoroughly and carefully as would be desirable (sometimes through laziness, sometimes because of a belief in (down|up)stream testing processes). But LLM's don't do it at all.
by potato3732842 | 2025-12-31 15:53:08+00:00
You can think of industrial CO2 use as basically the same as nitrogen but a little worse and several fucktons cheaper.

CO2 is fairly inert. This makes it useful. Welding steel is a typical example of something you can use CO2 to shield. There are many other examples in the chemicals industries of things like that where you want to do something at a "higher than natural on earth" temperature to make a reaction happen or happen faster but you don't want that reaction to happen with oxygen all around.

And on the other end of the temperature spectrum....dry ice.