MurphyA/hacker-news huggingface dataset:
by chippiewill | 2025-12-19 12:15:57+00:00
per-minute isn't a crazy unreasonable proxy for it though:

- logs are generally proportional to the length of the job

- other artifacts also usually correlate to an extent

- some of the cost for Github will be for the entire time the job is active: e.g. active connections for log streaming etc. - it's largely correlated to the value the end-user gets out of it

- it's easy to bill for because they can already do billing that way on the hosted runners

- the costs are easy to predict for end-users

It's not like the rest of the Github platform is a per-user cost to run, but that's how Github charge for most features.
by andreyvit | 2025-12-19 12:16:10+00:00
Hey, I'm sorry, but your Postgres example is completely wrong: because of MVCC, a new version of the data will be stored on every update regardless of the choice of data representation, making the in-place mutability much less of an advantage. (It might be faster than a pair of a compact immutable format + mutable patch layer on top, or it might be slower; the answer ain't immediately obvious to me!)

What you should be imagining instead is a document database entirely built around Lite³-encoded documents, using something like rollback journals instead of MVCC.

We're doing something similar in my company, storing zero-serialization immutable [1] docs in a key-value store (which are read via mmap with zero copying disk-to-usage) and using a mutable [2] overlay patch format for updates. In our analytics use cases, compact storage is very important, in-place mutability is irrelevant (again because of Copy-on-Write at the key-value store level), and the key advantage is zero serialization overhead.

What I'm saying is that Lite³ is a very timely and forward-looking format, but the merging of immutable and mutable formats into one carries tradeoffs that you probably want to discuss, and the discussion into the appropriate use cases is very much worth having.

[1] https://github.com/andreyvit/edb/blob/main/kvo/immutable.go [2] https://github.com/andreyvit/edb/blob/main/kvo/mutable.go
by jabl | 2025-12-19 12:16:34+00:00
The peace price is different, and it's been a bit of a hit and miss at least since Kissinger got it.

And the economics prize, though it's not officially really a Nobel prize.

But the core science prizes, AFAICT, are pretty spot on. Of course there are always many worthy contenders of a prize and one can quibble should this or that person really deserve to get it instead of another person, but I haven't heard of any outright frauds or some trivial advancement getting the prize.
by forephought4 | 2025-12-19 12:17:20+00:00
5 step plan for Mozilla to succeed against the Behemoth Googzilla and the leviathans of MAWS.

1. build a team in Europe to create an email service comparable to gmail/protonmail

- domains: mozmail.com, mmail.com, godmail.com, pmail.com, dogmail.com, meowmail.com

- promoted as a simple everyday email – no overly complicated/advanced federati features in order to increase inter-operability, reduce spam and dealing with federalism

- for more advanced features, integration links with something like signal, or a hosted comms platform

2. invest heavily in Firefox core development and service features

- push for system resource and performance optimizations, even if it requires extensive architectural changes

- focus on perfecting a core browser experience then developing an extension API that allows a level of UI customisations that XUL did, have unsafe/hackers warning for any extension that uses this API, even official ones

- invest in KeePassXC ux and integrate it as a first class and core feature in Firefox that is useable by hackers, consumers and enterprises – offer paid services for simple database sync/backup, as well as a decent managed solution for enterprise.

3. Expand further with a suite of other services that have both self-hosted and paid management extras

- calendar and email client, universally usable between providers, but first class with Firefox and mmail.

- integrate something like libreoffice into a desktop client that can also be embedded into a Firefox tab.

- straight forward self-hostable teams communication platform, managed cloud versions also availabe

- self-hosted / managed file storage platform with web UI with integration links to other services

- all of the above require a unified web, desktop and mobile ux

- offer further software and hardware integrations to completely streamline personal digital management

4. Extensive marketing and brand exposure over TV and social media, while staying charitably non-profit and recognizing the digital roots

- Use the firefox, gecko and other digital animals as icons

- Themes and scapes from origins such as mosaic/netscape

5. In this scene Mozilla continues knocking down the buildings of the titans.
by throw0101a | 2025-12-19 12:17:38+00:00
Apparently renaming may not be allowed under US federal law:

> (a)(2)(F)(b)(1) Except as provided in paragraph (2) of this subsection, the Board shall assure that after December 2, 1983, no additional memorials or plaques in the nature of memorials shall be designated or installed in the public areas of the John F. Kennedy Center for the Performing Arts.

* https://codes.findlaw.com/us/title-20-education/20-usc-sect-...
by godelski | 2025-12-19 12:18:01+00:00
> even some

Some is a keyword.

Some doesn't change the law.

You're right to push back in case I intended something different. But I'll state this clearly: those LEO, ICE agents, and judges are committing crimes.

But the fact that not all criminals are punished or prosecuted does not change the laws either.

What I'm concerned about is people becoming disenfranchised and apathetic. Dismissing the laws we have that does punish LEO, ICE agents, and judges for breaking the laws. To take a defeatist attitude. Especially in this more difficult time where that power is being abused more than ever. But a big reason it is being able to be abused is because a growing apathetic attitude by people. By people giving up.

So I don't know about you and your positions. I don't know if you're apathetic or invested. All I know is a random comment from a random person. It isn't much to go on. But I hope you aren't and I hope you don't spread apathy, intentionally or not.
by agotterer | 2025-12-19 12:18:03+00:00
I’m a little behind on email, I’ll reply later today.

I’ll answer some of the legal right now. First, we are at every event. Not sure how much it matters legally, but we are there as hosts and to drive the feeling of community. Without us, I don’t think the community has the same feel.

We also have an unbelievably respectful and mature community. After over 70 seatings we’ve never had an incident. We also have a code of conduct document we send all new members.

Second, we setup an LLC to shield us personally from legal liability.

Third, not to say that it shields us, but the restaurants also have insurance and are a better target for a lawsuit.

We are in the US, and at the end of the day anyone can sue anyone for anything. It’s just the reality and risk of the times. It hasn’t been a problem for us yet.
by forephought4 | 2025-12-19 12:18:17+00:00
5 step plan for Mozilla to succeed against the Behemoth Googzilla and the leviathans of MAWS.

1. build a team in Europe to create an email service comparable to gmail/protonmail

- domains: mozmail.com, mmail.com, godmail.com, pmail.com, dogmail.com, meowmail.com

- promoted as a simple everyday email – no overly complicated/advanced federati features in order to increase inter-operability, reduce spam and dealing with federalism

- for more advanced features, integration links with something like signal, or a hosted comms platform

2. invest heavily in Firefox core development and service features

- push for system resource and performance optimizations, even if it requires extensive architectural changes

- focus on perfecting a core browser experience then developing an extension API that allows a level of UI customisations that XUL did, have unsafe/hackers warning for any extension that uses this API, even official ones

- invest in KeePassXC ux and integrate it as a first class and core feature in Firefox that is useable by hackers, consumers and enterprises – offer paid services for simple database sync/backup, as well as a decent managed solution for enterprise.

3. Expand further with a suite of other services that have both self-hosted and paid management extras

- calendar and email client, universally usable between providers, but first class with Firefox and mmail.

- integrate something like libreoffice into a desktop client that can also be embedded into a Firefox tab.

- straight forward self-hostable teams communication platform, managed cloud versions also availabe

- self-hosted / managed file storage platform with web UI with integration links to other services

- all of the above require a unified web, desktop and mobile ux

- offer further software and hardware integrations to completely streamline personal digital management

4. Extensive marketing and brand exposure over TV and social media, while staying charitably non-profit and recognizing the digital roots

- Use the firefox, gecko and other digital animals as icons

- Themes and scapes from origins such as mosaic/netscape

5. In this scene Mozilla continues knocking down the buildings of the titans.
by oncallthrow | 2025-12-19 12:18:33+00:00
> most web developers are well aware of the risky parts of the language

In my experience this really isn’t true. Most web developers I know are not familiar (enough) with prototype pollution.

By the way, this isn’t because they are “dumb”. It’s the tool’s fault, not the craftsman’s, in this case. Prototype pollution is complicated and surprising
by myrmidon | 2025-12-19 12:20:13+00:00
Replacing just the mask operation is not enough.

The problem is incrementing past the index integer type limit.

Consider a simple example with ring buffer size 9, and 16bit indices:

When you increment the write index from 0xffff to 0, your "masked index" jumps from 6 (0xffff % 9) to 0 (instead of 7).

There is no elegant fix that I'm aware of (using a very wide index type, like possibly a uint64, is extremely non-elegant).
by furyofantares | 2025-12-19 12:21:19+00:00
Hey, thanks for adding a link* to a making-of video at the end of the post. Your perspective shines through when you explain the motivation in that first half, and my complaint is really that leaning on LLM writing makes this hard or impossible to see.

The second half of the video is great too, I love seeing the actual prompts that go into the LLM.

And I don't think you wasted my time, I'm sorry if "you're not a person" came off directed at you, when my complaint is really that I couldn't find you through all the tokens. I'm glad the video remedied that.

* https://youtu.be/2P0CZPZzoZg
by ctrlmeta | 2025-12-19 12:22:14+00:00
Totally unreadable with the all caps. I guess that's the point.

This kind of thing is fun once. And it was fun when the AI-generated fake HN was posted last week.

But there's no need to upvote this kind of stuff to front page every week. The novelty wears off. It gets boring and silly pretty quickly.
by PurpleRamen | 2025-12-19 12:22:30+00:00
There are many features you are not using in all your software. Just being there, should not be a problem for people. You should evaluate a software by what it's giving you, and which harm it brings, not by what it's giving others you do not care about.

And so far, we can assume that AI in Firefox will be like all the other stuff people don't care about, just optional, a button here, a menu-entry there, just waiting for interaction, but not harmful.
by haroldcampbell | 2025-12-19 12:22:43+00:00
I need help in getting a refund by making contact with a real person at Amazon who can review actual video evidence showing that my package was stolen by Amazon’s delivery drivers. I am currently stuck in a cycle of generic communication that keeps re-iterating that my package was delivered when it wasn’t.

## Context and timeline - Nov 1, 2025 I ordered a generator from Amazon and wanted it delivered to a freight forwarder who would then send it (along with other items) to Jamaica after the recent hurricane Melissa.

- Nov 13 The generator is reported to have been delivered at a freight forwarder in Miami.

- Dec 4 We discovered that the generator was not shipped to Jamaica. We request an investigation be carried out by the freight forwarder in Miami

- Dec 16 After very many conversations back and forth, I finally got to personally speak to the owner of the freight forwarder in Miami.

- Dec 17 I received the CC-TV footage late Wednesday from the freight forwarder. The video was shocking as it showed that the package was stolen by the amazon drivers. How so? They opened the back of their truck; one climbed in; then he climbed back out, closed the door; then they drove off with the package still in the truck. The generator never left the truck.

- Dec 18 I spoke to multiple people at Amazon and was eventually able to speak with a manager at the customer service center (after escalation) who agreed to provide a refund in 3-5 business days.

- Dec 19 I received an email from Amazon saying that they won’t be providing me with a refund. Their reasoning: “... [the package was] in the box at the time it left our fulfillment center and that the box was delivered to the freight forwarder intact. As a result, we cannot issue a replacement or a refund for this item.”

## My dispute with Amazon This statement is factually false: "the box was delivered to the freight forwarder intact."

1. The drivers never delivered the box. They took a photo [1] of the box in the back of their truck 2. They left with the box in their truck.

Here's the CC-TV video evidence: https://www.youtube.com/watch?v=jKaGTsp9B-k&t=222s

You'll see that the box is in the bottom left of the truck and it remained there when they left.

The fact that it was supposed to be delivered to "Freight Forwarders" doesn't matter because they never delivered it as it was never taken out of the truck. I’m also aware that this is more than 30-days after the purchase, however, this was just how long it took me to get the video.

I believe that I should get a refund because the box was NEVER ACTUALLY delivered to the freight forwarder.

I’m currently stuck in a cycle of policy-sludge, who can I speak with at amazon?

1: https://docs.google.com/document/d/1wWhbSfZQLLCNOZrgrU1LZEZf...
by tliltocatl | 2025-12-19 12:22:45+00:00
> money (which they desperately need)

True. But crypto is bad publicity and everyone knows it. At that point it's no better than going out wearing a swastika sign (sorry, Poe's law triggered) and saying it's an ancient Buddhist symbol.

> No, what FF is doing is implementing features like Translate (an ALREADY opt-in feature[0]) and semantic search

Did you read my comment? The problem is that this takes focus away from the browser core. Why did they kill Servo? Were are XUL API replacements that were promised? The AI fluff could have been an extension - and that would keep everyone happy.

> It feels off-mission.

Than he doesn't need to talk about it at all. Unless that's a vibe check that's it. Somebody already posted an xkcd of it, I'm just doubling: https://xkcd.com/463/

> We're eating our cake and what, complaining that the baker's hands aren't made of gold?

Unfortunately it's pretty hard to define where "hand aren't made of gold" stops and "gotta call a HAZMAT decontamination team" starts.

> Meanwhile we're just attacking the last line of defense against Google (Chromium) taking over the internet?

The thing is: Google started as "don't be evil" as well. It didn't lasted because of inherit incentives issue. And so if Mozilla is the last line of defense it'd better have some distinguishing features other than "we are not google". Because if they keep focusing on "average user" (btw it's my firm belief that the said user doesn't exist outside management's heads) their incentives wouldn't be any different.

> So what do we privacy maximalists care? The forks give us exactly what we want.

That's what I'm doing personally. But the forks barely have resources to remove the crap, yet alone implement new features.
Show HN: Lidar, an extension to scrape websites as you visit them
by gaigalas | 2025-12-19 12:23:11+00:00
Hi there!

It started as a simple extension to remember HN profiles I visit and store the data locally.

I made some modifications, and allowed users to create any kind of scraping rule instead.

It works like this:

You create a rule once, it will start autoapplying whenever it sees a similar page.

At any moment, you can export or clear the data for any rule.

Chrome:

https://chromewebstore.google.com/detail/lidar/eckcmnibplmme...

Firefox:

https://addons.mozilla.org/en-US/firefox/addon/lidar/

---

Would love some feedback!
by jll29 | 2025-12-19 12:25:00+00:00
The course's title set great expectations.

The actual course has a narrower scope, usually this is just called "Formal Language, Automata and Complexity" or "Introduction to Theoretical Computer Science".

There are many genius ideas in computer science, e.g. divide and conquer, the various forms of abstraction (see SICP), some astonishing algorithms like Dijstra's, Kalman filters, MCMC, Viterbi's or Integer-Bresenham, or data structures like the Bloom filter or Kohonen maps; for an intro, have a look at A. K. Dewdney's book "The Turing Omnibus" for a fairly non-technical exposition of a broad range beyond TCS (beginner level, does not include most from my list here).
by jdiff | 2025-12-19 12:25:10+00:00
That initial percentage is a little misleading. It includes everything that caniuse isn't sure about. Really it should be something like 97.5±2.5 but the issue's been stalled for years.

Even the absolute most basic features that have been well supported for 30 years, like the HTML "div" element, cap out at 96%. Change the drop-down from "all users" to "all tracked" and you'll get a more representative answer.
by litexlang | 2025-12-19 12:25:40+00:00
[Litex](https://litexlang.com) is a simple open-source computer language for mathematical proofs. Anyone can have a rough understanding of Litex in 2 hours.

Although it is not yet ready for production use, it is already powerful enough to formalize set theory and basic logic, which is enough for most daily mathematical proofs. Visit [Set Theory Examples](https://litexlang.com/doc/How_Litex_Works/Litex_vs_Lean_Set_...) for more examples.

Star the repo [here](https://github.com/litexlang/golitex) to support Litex, and join our [Zulip community](https://litex.zulipchat.com/join/c4e7foogy6paz2sghjnbujov/) to give us feedback and suggestions!
by incrudible | 2025-12-19 12:27:52+00:00
I don't think it's merely an "aesthetic choice" when it comes to words like slavery or fascism, but even then: aesthetics matter. We all know the guy that always speaks in hyperbole. We learn to not take anything he says seriously.

The reason the advice is "do not flip the bozo bit" is because the default is to flip it. It's what people do naturally. If you're running around getting bozo bits flipped, you better know what you're doing.
by mutkach | 2025-12-19 12:28:33+00:00
> more than 1,000,000 lines of Lean 4 code and concluding with a QED.

Usually the point of the proof is not to figure out whether a particular statement is true (which may be of little interest by itself, see Collatz conjecture), but to develop some good ideas _while_ proving that statement. So there's not much value in verified 1mil lines of Lean by itself. You'd want to study the (Lean) proof hoping to find some kind of new math invented in it or a particular trick worth noticing.

LLM may first develop a proof in natural language, then prove its correctness while autoformalizing it in Lean. Maybe it will be worth something in that case.
by rbanffy | 2025-12-19 12:29:01+00:00
QSFP makes sense on a MacPro platform - and might be where Apple chooses to differentiate (one could dream of an M5 Mega, with four chiplets). The Mac Studio is a general purpose compact workstation that doesn’t need ludicrously fast networking beyond what 10Gbe and TB5 offer. It’s already overkill for the vast majority of users. Top configuration Studios are already a niche product.
by masklinn | 2025-12-19 12:29:08+00:00
The GeForce 700 series came in 3 different microarchitectures. Most were on Kepler but there were several fermi (the previous uarch) and a few mobile chips used maxwell (the following architecture).

Lest anyone think AMD is any better the Radeon 200 series came in everything from terascale 2 (4 years old at that point) to GCN3.

The gpu manufacturers have also engaged in incredible amounts of rebadging to pad their ranges, some cores first released on the GeForce 8000 series got rebadged all the way until the 300 series.
by showsover | 2025-12-19 12:30:32+00:00
Banning corporate ownership of housing wouldn't solve all problems but it would be a good start. Locals in general are not able to buy up as much of the housing, but it would still be something to look at.

If I were a dictator I'd say taxes increase by 100% for every house after the first (or second), aiming for a nice balance between allowing people to have another home and limiting the crazyness of owning multiple homes.
by rhdunn | 2025-12-19 12:31:07+00:00
Using texts upto 1913 includes works like The Wizard of Oz (1900, with 8 other books upto 1913), two of the Anne of Green Gables books (1908 and 1909), etc. All of which read modern.

The Victorian era (1837-1901) covers works from Charles Dickens and the like which are still fairly modern. These would have been part of the initial training before the alignment to the 1900-cutoff texts which are largely modern in prose with the exception of some archaic language and the lack of technology, events, and language drift post that time period.

And, pulling in works from 1800-1850 you have works by the Bronte's and authors like Edgar Allan Poe who was influential in detective and horror fiction.

Note that other works around the time like Sherlock Holmes span both the initial training (pre-1900) and finetuning (post-1900).
by stephendause | 2025-12-19 12:31:17+00:00
> - Is the work faster? It sounds like it’s not faster.

The author didn't discuss the speed of the work very much. It is certainly true that LLMs can write code faster than humans, and sometimes that works well. What would be nice is an analysis of the productivity gains from LLM-assisted coding in terms of how long it took to do an entire project, start to finish.
Show HN: Lilo Write – Local-first spatial writing (Apple Notes/whiteboard baby)
by Lucavalentino | 2025-12-19 12:32:05+00:00
Hello HN,

I rode the entire PKM bell curve meme then I started building Lilo Write, an infinite two-dimensional writing surface.

The tool: Writing that feels closer to thinking. You position ideas spatially useful for outlining, brainstorming, or any non-linear work.

The feats: Local-first, your data stays in your browser. Export anytime. No account, no tracking. Standard JSON format.

The tech: TypeScript + Vite, zero dependencies beyond build tools.

Rough edges warning: This is early and welded in a garage. Bugs exist, features are missing. Any comment is gold, shedding light in the tunnel for me.

https://lilowrite.com

Thanks ~ Luca
by dewey | 2025-12-19 12:32:05+00:00
They already plaster iOS with ads...just for their own services and it's disguised as a system feature.

It's especially obvious if you don't subscribe to paid iCloud and see ads for "Apple Arcade", "Increase iCloud Drive storage space", "Sign up for Apple Music", "Have you heard of Apple Fitness+" or "New show on Apple TV+"-push notifications everywhere. Something that in theory they discourage to use these for promotional messages, but that hasn't been the case for a long time.