MurphyA/hacker-news huggingface dataset:
by f30e3dfed1c9 | 2026-02-22 00:08:07+00:00
> I think that enough time has passed that we can critique poor old Kant

No, no, no! Here on Hacker News, it is apparently forbidden to criticize the dead, because "they can't defend themselves." It's seen as somewhere between "cowardly" and "uncouth."

This policy seems to mainly apply, for some weird reason I suspect I would prefer not to know about, to the recently-departed Dilbert guy. But I'm sure his fans would stick up for Kant also!
by markus_zhang | 2026-02-22 00:09:04+00:00
Back then I got the game from a friend, who handled me a CD. It was apparently a pirated version because it has that sort of red color progress bar installer.

I actually never made through E1L3 back in 1997, because it was very confusing for someone who only had about 15-20 mins of play every night — and I had to dodge from my parents who absolutely thought and still think that games are bad things.

But I was hooked with the end game screen which promised loads of goods (I still remember this phrase ) on the CD to make my own levels. Wow! I was instantly hooked! Alas, as I said it was a pirated version, and there was no map editor in the installer file. Back then people tend to strip any unnecessary contents off from the games and zip them into a compressed file.

I didn’t find the map editor until much later in my life. By then I have lost the interest of level design (I used to dab into Half-Life mapping because the pirated version was mercifully the full set of the original CD so it contained worldcraft.exe).

Nevertheless, very good memory. I still play its mods from time to time. Doom, Quake, Duke3d and Blood all have long lasting communities that produce loads and loads of goods throughout the years. They also built better tools and ports for us to enjoy.

Jeez. So many things to do, yet so little time.
by Arathorn | 2026-02-22 00:09:31+00:00
the main bit of auth which was left unimplemented on matrix-workers was the critical logic which authorizes traffic over federation: https://spec.matrix.org/latest/server-server-api/#authorizat...

Auth for clients is also specified in the spec - there is some scope for homeservers to freestyle, but nowadays they have to implement OIDC: https://spec.matrix.org/latest/client-server-api/#client-aut...
by rq1 | 2026-02-22 00:10:15+00:00
Imagine you read a value from stdin and parse it as:

Maybe Int

So your program splits into two branches:

1. Nothing branch: you failed to obtain an Int.

There is no integer to use as an index, so you can’t even attempt a safe lookup into something like Vect n a.

2. Just i branch: you do have an Int called i.

But an Int is not automatically a valid index for Vect n a, because vectors are indexed by Fin n (a proof carrying “bounded natural”).

So inside the Just i branch, you refine further:

3. Try to turn the runtime integer i into a value of type Fin n.

There are two typical shapes of this step:

* Checked conversion returning Maybe (Fin n)

If the integer is in range, you get Just (fin : Fin n). Otherwise Nothing.

Checked conversion returning evidence (proof) that it’s in range

For example: produce k : Nat plus a proof like k < n (or LTE (S k) n), and then you can construct Fin n from that evidence.

(But it’s the same basically, you end up with a “Maybe LTE…”

Now if you also have a vector:
xs : Vect n a

… the n in Fin n and the n in Vect n a are the same n (that’s what “unifies” means here: the types line up), so you can do:
index fin xs : a

And crucially:

there is no branch in which you can call index without having constructed the Fin n first,
so out-of-bounds access is unrepresentable (it’s not “checked later”, it’s “cannot be expressed”).

And within _that_ branch of the program, you have a proof of Fin n.

Said differently: you don’t get “compile-time knowledge of i”; you get a compile-time guarantee that whatever value you ended up with satisfies a predicate.

Concretely: you run a runtime check i < n. _ONCE_

If it fails, you’re in a branch where you do not have Fin n.

If it succeeds, you construct fin : Fin n at runtime (it’s a value, you can’t get around that), but its type encodes the invariant “in bounds”/check was done somewhere in this branch.
by bell-cot | 2026-02-22 00:10:27+00:00
All the stupid human emotional and legal and political drama doesn't count for sh*t when the notional water that they are fighting tooth and nail over is physically non-existent.

IIR, it was known in the 1980's that the American southwest could go through centuries-long phases of extreme drought - which resulted in the great majority of the local Native American populations either migrating out of the area, or dying off.
by SlinkyOnStairs | 2026-02-22 00:11:05+00:00
> It is wise for these Chinese fabs to eventually use a very aggressive dumping strategy to price well below cost push out other players forever, especially in DRAM.

It's not dumping, it's the opposite.

Sam Altman's stunt has created massive amounts of fictitious demand (OpenAI isn't using those wafers it's ordering) and triggered massive panic-buying from everyone else.

Prices are arteficially high, this has turbocharged China's fab and R&D budgets as you observe.

> is about to pay off with some industry dominance soon.

They're not looking to dump the semiconductor markets. They're looking to invade Taiwan.

All this buildout in their semiconductor industry is to detach themselves from the western semiconductor industry that will either sanction them if they invade Taiwan, or in the case of TSMC, suffer major damage in the ensuing conflict.

That the collapse/destruction of the Taiwanese semiconductor and electronics industries will utterly ruin the western tech industry is somewhere between a happy coincidence and acceptable collateral damage to them. No dumping required.
by rao-v | 2026-02-22 00:11:24+00:00
Yeah I’ve often wondered why folks aren’t training two tier MoEs for VRAM + RAM. We already have designs for shared experts so it cannot be hard to implement a router that allocated 10x or 100x as often to “core” experts vs the “nice to have” experts. I suppose balancing during training is tricky but some sort of custom loss on the router layers should work.

I’ve also wondered why the routers aren’t training to be serially consistent so you can predict layers to swap into VRAM a few layers ahead to maximize available bandwidth.
by SilverElfin | 2026-02-22 00:11:30+00:00
Yep, can confirm. Mountains in every state look bare compared to a typical year. Go look at ski slopes in California or Utah or Washington or wherever, and you’ll see lots of patchy terrain and generally terrible conditions even with artificial snow.

But that did not stop Marco Rubio from literally using the phrase “climate cult” to describe those who believe in the obvious evidence of global warming:

https://thehill.com/homenews/administration/5738648-rubio-eu...
by jcgrillo | 2026-02-22 00:11:41+00:00
Yeah, you're likely right it probably makes sense to just run it rather than trying to optimize further. As for excess weight, there is some--mine is a rare variant that has a small cuddy cabin forward, and that thing is really wet and needs to be completely rebuilt. A previous owner's refit of the decks removed any flotation there may have been originally, but also introduced a lot of unsealed wood which is now wet and heavy. It needs a deck job soon.

The boat was re-powered under my ownership. I'm pretty confident the motor height is correct based on a variety of observations and measurements, so I don't think there's really anything to adjust there.

I wouldn't say I have a complaint with the boat's performance, more like trying to get the engine to run at cruise in a more efficient range of the bsfc/hp map, which may be a tall order at 60hp. To your point, though, if I can shed a couple hundred pounds in the refit that could very well do it.
by goodJobWalrus | 2026-02-22 00:12:10+00:00
I looked it up, according to Google:

This phrase is a direct quote from the 1955 play (and 1960 film) Inherit the Wind, spoken by the character Henry Drummond (based on Clarence Darrow) regarding the teaching of evolution. It frames scientific education and intellectual freedom as the ultimate, pure progress of human civilization, contrasting with dogmatic resistance.

Context: The line refers to the 1925 Scopes "Monkey" Trial, which debated the legality of teaching evolution in Tennessee schools.

Significance: It serves as a dramatic defense of modernism, science, and freedom of thought against traditionalist views.

Cultural Impact: While based on historical events, the play uses this line to argue that intellectual inquiry is the cornerstone of advancement.
by LAC-Tech | 2026-02-22 00:12:34+00:00
Really? I read German (not at a very high level anymore admittedly), and I find that while Old English is closer to German than modern English is, I would still say a deep knowledge of Modern English helps me more, and that most things have be learned frlm scratch.

Like does Dutch have anything like "cƿæð"? Or "Hlaford"? Or "soð"? "þeah þe"?

I know Dutch should be a little closer to Old English than German, but if you truly can pick up words like that leaning on Dutch, maybe I should learn to read it. (I can read the 1000 Old English sentence pretty well).
by thaumasiotes | 2026-02-22 00:12:55+00:00
Yes, I found https://quod.lib.umich.edu/m/middle-english-dictionary/dicti... , which glosses "swie" as "silence".

Here the text says "I swied", so it has to be a verb, but the meaning "be silent" makes sense in the passage.

Something to think about in this exercise is that the shortness of the passages adds difficulty.

Consider section 1200, where a verb with the root ner is used. It's given so much focus and contextual elaboration that you can easily tell what it means, even though the word is unfamiliar.

If you read longer passages of Middle English, this same phenomenon will occur with more words.
by raw_anon_1111 | 2026-02-22 00:13:02+00:00
No the economy doesn’t tumble. All of the major public tech companies have real businesses that were profitable before AI and will be profitable after AI. All except Amazon are spending money out of their own revenues.

Businesses aren’t going to stop growing because of AI, the only public company really dependent on AI are NVidia and Oracle. Oracle because it is borrowing money to support build out for OpenAI.
by abdullahkhalids | 2026-02-22 00:15:24+00:00
An A320 can store 24k liters of fuel. Jet fuel stores 35 MJ/L. So, the plane carries 8.4E11 J of energy. If that was stored in a battery that had to be charged in an hour 0.23GW of electric power would be required.

So indeed, an airport serving dozens or hundreds of electric aircrafts a day will need obscene amounts of electric energy.
by szmarczak | 2026-02-22 00:15:42+00:00
iPads and MacBooks are architecturally different devices with different purposes (but soon the difference may vanish). People tend to upgrade their phones/tablets more often than their PCs/laptops. Macs aren't locked down because they are designed NOT to be locked down. You can write drivers for macOS (otherwise it couldn't compete with Windows or Linux) but not for iPadOS.
by Braxton1980 | 2026-02-22 00:17:08+00:00
"The picture is complex. Recovery here, fresh losses there.

While the recovery we reported last year was welcome news, there are challenges ahead. The spectre of global annual coral bleaching will soon become a reality."

This article also mentions that a recent large recovery was due to el nino conditions

"Great Barrier Reef was reeling from successive disturbances, ranging from marine heatwaves and coral bleaching to crown-of-thorns starfish outbreaks and cyclone damage, with widespread death of many corals especially during the heatwaves of 2016 and 2017.

Since then, the Reef has rebounded. Generally cooler La Niña conditions mean hard corals have recovered significant ground, regrowing from very low levels after a decade of cumulative disturbances to record high levels in 2022 across two-thirds of the reef."

Not sure if you were trying to imply some long term recovery or that global warming didn't hurt it because the article says heatwaves were part of a many other conditions that caused massive damage
by 0xTJ | 2026-02-22 00:17:27+00:00
I was chatting with an old classmate at a homecoming a few months ago, and he mentioned that, during the polygraph top get Canadian Top Secret clearance for a co-op job, he had to say how many drinks he had each week. Being a university student, it got brushed aside, but the answer was considered to be alcoholism-level.
by rybosworld | 2026-02-22 00:18:33+00:00
Alright let's say I'm wrong about the details/nuances. That's still really not the point.

The point is this:

> we as end-users cannot with any certainty know if the model used python, or didn't

These tools can and do operate in ways opposite to their specific instructions all the time. I've had models make edits to files when I wasn't in agent mode (just chat mode). Chat mode is supposedly a sandboxed environment. So how does that happen? And I am sure we've all seen models plainly disregard an instruction for one reason or another.

The models, like any other software tool, have undocumented features.

You as an end-user cannot falsify the use of a python tool regardless of what the API docs say.

TLDR:
Is this enough to falsify: NO
by ajross | 2026-02-22 00:18:45+00:00
> a UI that doesn't jank and max out the CPU

While there are legitimate/measurable performance and resource issues to discuss regarding Electron, this kind of hyperbole just doesn't help.

I mean, look: the most complicated, stateful and involved UIs most of the people commenting in this thread are going to use (are going to ever use, likey) are web stack apps. I'll name some obvious ones, though there are other candidates. In order of increasing complexity:

1. Gmail

2. VSCode

3. www.amazon.com (this one is just shockingly big if you think about it)

If your client machine can handle those (and obviously all client machines can handle those), it's not going to sweat over a comparatively simple Electron app for talking to an LLM.

Basically: the war is over, folks. HTML won. And with the advent of AI and the sunsetting of complicated single-user apps, it's time to pack up the equipment and move on to the next fight.
by gmurphy | 2026-02-22 00:19:02+00:00
cloudpebble was the best part about Pebble - it made development so easy I did so much more of it

The developer experience for modern devices is so awful - the teams driving it are so immersed in big team development that they leak build systems, config, package management, certificates, permissions, and store integration concerns all over the place - then some of them have minor errors and you're stuck

Sometimes you just want to write a single file of code and have it run. Cloudpebble will probably be the thing that brings me back to pebble.
by LAC-Tech | 2026-02-22 00:19:09+00:00
co-sign this. Oswald the Bear is an amazing book and taught me how to read Old English remarkably quickly.

The first chapter is like a book for toddlers in Old English (with questions and loads of repeated vocab), and each chapter gets a bit harder. Half way in its like a Young Adults Novel level of difficulty. But each step up is relatively small.

The actual story is great too. Æthelstān Mūs is my spirit animal.
by JamesLeonis | 2026-02-22 00:21:03+00:00
Not the parent, but a heavy user of Keepass. When you unlock your database, you can re-key it with several options for encryption algorithm, key derivation, and the transform rounds. I also have it set up with my Yubikeys as a kinda-sorta two factor for an added layer of security.

To keep the encryption modern regular updates are made to the program, and any migration would happen when re-encrypting the database. Checking my earliest entry, I've used it for 15 years without a hiccup.
by Robdel12 | 2026-02-22 00:21:12+00:00
Heh, I felt the same. I'm a web dev but I do not want a electron app. We can do better, I used to write electron apps because I wasn't able to build a proper native app. Now I can!

I've been building a native macOS/iOS app that lets me manage my agents. Both the ability to actually control/chat fully from the app and to just monitor your existing CLI sessions (and/or take 'em over in the app).

Terrible little demo as I work on it right now w/claude: https://i.imgur.com/ght1g3t.mp4

iOS app w/codex: https://i.imgur.com/YNhlu4q.mp4

Also has a rust server that backs it so I can throw it anywhere (container, pi, etc) and the connect to it. If anyone wants to see it, but I have seen like 4 other people at least doing something similar: https://github.com/Robdel12/OrbitDock
by kadoban | 2026-02-22 00:22:00+00:00
> While there are legitimate/measurable performance and resource issues to discuss regarding Electron, this kind of hyperbole just doesn't help.

From the person you're responding to:

> I would guess a moderate amount of performance engineering effort could solve the problem without switching stacks or a major rewrite.

Pretty clearly they're not saying that this is a necessary property of Electron.
by Zmey56 | 2026-02-22 00:22:34+00:00
raditional trading bots often think too linearly: they see a spread > 1% and immediately jump into a trade. It doesn't matter to them that the pool might only have $100 in liquidity. The usual result? Immediate losses due to slippage.

I decided to add a bit of "common sense" to this process using an LLM (Claude / Gemini), but in a way that strictly prevents the AI from having direct access to the database or breaking the execution flow.

I wrote a short write-up on how to build this kind of AI analyst for arbitrage.

What's under the hood:

Rust — for predictable performance (no GC pauses) and strict control over business logic.

ClickHouse — for instant market data aggregation and backtesting queries.

MCP (Model Context Protocol) — acting as a strict gateway. The AI communicates with the database only through strongly typed tools that we explicitly implement.

In the article, I break down the architecture, the data schema, and a real-world case: how an AI agent decides to cancel a high-spread trade after analyzing context and liquidity risks.

There is no crypto hype or "guaranteed profit" promises here — just clean engineering, clear layer boundaries, and controlled data flows. The entire codebase is open source.

I’d appreciate your feedback on the architecture. Also, has anyone else here tried integrating MCP into production workflows or trading setups?
by svnt | 2026-02-22 00:22:42+00:00
Maybe I am misunderstanding something but:

1) This is basically the intention of several recent MoE models: keep particular generally useful experts hot in VRAM.

2) Unless you can swap layers in faster than you consume them there is no point to predicting layers (what does this even really mean? did you mean predicting experts?).

It seems at the moment the best you can do is keep experts and layers more likely to be used for a given query in VRAM and offload the rest, but this is work-dependent.
by noobermin | 2026-02-22 00:24:01+00:00
That is NOT the line for doxxing at all, I don't know why you hang your argument on that aspect. Even institutions that care about secrecy like governments state that documents that aggregate ostensibly public information can raise the classification level of a document above being non-classified. The reasons for this are obvious, essentially aggregated information can lead one to draw conclusions that otherwise are not obvious. That is akin to what the original article by Gyrovague does.
by magicalhippo | 2026-02-22 00:24:27+00:00
> The batteries lost like 30% of their capacity in the cold

Here in Norway Toyota was invited to include the bZ4X in this years winter range test[1], but they declined. Suzuki entered with their eVitara model, which is a "technological twin" of the Toyota Urban Cruiser.

The Urban Cruiser really disappointed in a regular test performed in cold weather[2]. So perhaps unsurprisingly, the Suzuki eVitara was by far the worst in the winter range test, with the least range overall and more than 40% reduction compared to its WLTP range, among the worst in the test.

[1]: https://www.tek.no/nyheter/nyhet/i/d4mMkA/verdens-stoerste-r...

[2]: https://www.tek.no/test/i/OkQAwE/toyota-urban-cruiser
by eel | 2026-02-22 00:24:56+00:00
It's a start. I agree HN is a bubble and doesn't reflect real life as a whole. But I do think HN has a significant bearing on US tech. I've been reading HN for nearly 19 years and in that time almost every new major tech, unicorn, or big culture shift is discussed here before it is mainstream.

There has also been a backlash against verification in other communities like Reddit (also a bubble), mainly stemming from Discord's recent announcement.

The discourse is good, and while I wish every user and potential user understood all the pros, cons, and ramifications, I'm also happy we are finally talking about it in our bubbles.
by buckle8017 | 2026-02-22 00:24:58+00:00
Bigger cable is a laugh.

Bigger cable, upgraded delivery infrastructure to support that cable (think more or stronger poles), transformer upgrades, and finally the charging stations which unlike the home ones aren't just a complicated switch because DC fast charging.

H2 is a stupid fuel, but the idea that high power vehicle charging stations are a cheap or simple upgrade to a gas station is ridiculous.
by seltzered_ | 2026-02-22 00:25:02+00:00
Theres something clickbaity and missing from this article, I encourage watching youtubers like 'mirai club' for better info. What i recall from his videos is:

- The Mirai made financial sense AS A LEASE for folks in Southern California back in 2022 (possibly 2023) because:

- Car prices in general (including EVs) were fairly highly priced at the time due to demand, the chip shortage, etc.

- There were clean vehicle incentives to get a Toyota Mirai, including things like a hydrogen fuel fill up card to cover expenses.

- At the time there was some assumptions that hydrogen fuel costs would go down over time, but they actually went up.

Again, I suspect most folks LEASED the Mirai due to it being a very niche car with limited usage outside of california due to the lack of hydrogen fuel stations. Youre now seeing some viral videos on the ultra low cost used Mirai's showing up in states that dont have hydrogen infrastructure due to some odd car dealer auction buys (Transport Evolved has a youtube video on this.)

The article does talk about the lack of investment in hydrogen infrastructure, this is true and theres been a huge split between announced infrastructure investments and what has actually happened (see https://bsky.app/profile/janrosenow.bsky.social/post/3labfzi... for a chart going through 2021-2024). The current US political situation and its impact on clean energy probably doesn't help either.