MurphyA/hacker-news huggingface dataset:
by morsch | 2026-02-19 07:23:09+00:00
Helped an aqaintance set up a new computer with pre installed Windows 11 a while ago. As in Windows was already on there. How hard could it be?

Just getting past the mandatory online account ID took us half an hour, and only worked because she was diligent in writing down her password for Skype 10 years ago which somehow (I realize why but it's insane) now is her Microsoft account and involved in logging in to Windows. Then we stared at a non-interactive initial update screen for another half an hour before it offered the option to postpone updates. I assume if you ship your new computer somewhere without Internet, you simply cannot use it?! And of course all the dumb dark patterns, as if designed by a scumbag pick-up artist.

Then I had to deal with Windows file sharing to copy stuff from the old PC which was exactly as intuitive as it was in LAN parties around 2000 (used mostly the same UI, as well); but at least unlike the new quick share features worked eventually.

Don't get me started on how we got her old printer to work. It's still a miracle to me and involved multiple reinstalls of multiple drivers and finally digging through to a Windows 2000 era dialog listing various printer interfaces and manually selecting the right one that at some point popped up. I was all but convinced she'd need to buy a new one.
by trevyn | 2026-02-19 07:23:26+00:00
>So even when it compiles, you’ve got the burden of verifying everything is above board which is a pretty huge task.

Is this true?

e.g. the Riemann hypothesis is in mathlib:

def RiemannHypothesis : Prop :=
∀ (s : ℂ) (_ : riemannZeta s = 0) (_ : ¬∃ n : ℕ, s = -2 * (n + 1)) (_ : s ≠ 1), s.re = 1 / 2

If I construct a term of this type without going via one of the (fairly obvious) soundness holes or a compiler bug, it's very likely proved, no? No matter how inscrutable the proof is from a mathematical perspective. (Translating it into something mathematicians understand is a separate question, but that's not really what I'm asking.)
by pests | 2026-02-19 07:23:43+00:00
Google, Cloudflare, Let's Encrypt, DigiCert, GlobalSign and others run logs. Here is the list Chrome checks: https://www.gstatic.com/ct/log_list/v3/log_list.json

While they do not have direct SLAs, they still have to comply with rules enforced by browser vendors, as they will remove you from CT checks and you'll be marked retired/untrusted (you can find some in the above list).

This means a 99% uptime on a 90 day rolling average, a 1 minute update frequency for new entries (24 hours on an older RFC). No split views, strict append-only, sharding by year, etc.

I think OP's original idea would work.
by slopinthebag | 2026-02-19 07:24:26+00:00
Mistral Vibe is cheap for what you get - I haven't run into limits yet, and you can use the same API key for the CLI for their API to run Codestral, Mistral large, etc. Le Chat is great as well, especially research mode. Afaik their models are running on Cerebras so you are never waiting for a response.

Obviously Opus and Codex are better for coding, but I dont really use it much to generate actual code so I don't think I'm missing much.
by elric | 2026-02-19 07:25:36+00:00
To elaborate on the other comment about the Foreign Function & Memory API: JNI is effectively dead/deprecated, and has been replaced by the aforementioned API. It is orders of magnitude more developer friendly to use. It handles memory much more cleanly. It's way easier to create bindings to talk to foreign functions (e.g. Vulkan).

Probably the most underappreciated great feature in recent Java releases.
by Ekaros | 2026-02-19 07:25:56+00:00
It is just very hard problem when you are very popular work. Trying to find and track and take down all copies of certain work online is constant fight. Sometimes things just slip especially if they are not that popular.

Something like Harry Potter might be shared every day. And I mean as pirate work distributed as new copy. Staying on top of that will be very hard work.
by vivzkestrel | 2026-02-19 07:26:13+00:00
- I have a loud laugh every time I see Universal Basic income being mentioned anywhere

- YoU dOnT hAvE tO wOrK aNyMoRe! ThE gOvErNmEnT wIlL gIvE yOuR fAmIlY mOnThLy PaYcHeCkS

- I am sorry but where exactly is this money going to come from? The corporations will do everything they can to cut taxes down to 0. If you tax too much, they ll just go and incorporate their company in a different country with 0 to lower taxes. Some countries would take geopolitical advantage of this situation by allowing foreign companies to register for super duper low taxes as a way to erode talent and wealth from their adversaries
by galkk | 2026-02-19 07:26:47+00:00
I briefly went thought the list - a lot of hosted systems (probably kubernetes underneath etc). This is not unique or anything.

The list is quite sus ;) did you know that cockroachdb is a German company? :) it’s in the list. And this is like 3rd company in the category that I was checking

https://eutechmap.com/company/cockroachdb

——

On more sad note.

Europe still loves their old money, (hidden) class system and deeply entrenched bureaucracy way too much to allow some plebs to get rich that quickly.

European way of doing things to me feels like fundamentally incompatible with high pace way of doing things in software area.

Personally, I don’t believe that anything significant can come up from places other than US or China. About 10 years ago Russians were doing a lot of “own” stuff (clickhouse comes to mind first), but I suspect that isolation and brain drain will eventually capture them.
by pta2002 | 2026-02-19 07:27:21+00:00
It doesn’t really. Server side mods don’t touch sky rendering code at all, and most client side mods also don’t come anywhere near it. I last did Minecraft mod development some 7 years ago but even then you would basically never reach into the raw drawing calls unless you were implementing shaders or something.

Considering the vast majority of mods are just adding some items or creatures, they don’t need to worry. This won’t be more than the regular API changes in between versions that they’re already used to, unless it’s a more graphics heavy thing like a shader mod.

Also, even with shaders, it’s fairly straight forward to port a shader from OpenGL to Vulkan (for the most part Vulkan just gives more flexibility in that regard). The stuff around it is the hard part.
by AM1010101 | 2026-02-19 07:27:33+00:00
It would be great to be able to kick of a chatbot convo to go deeper on something each time you have answered. Chat for a bit to deepen understanding and read around, then pop back out and continue to the next question when your satisfied you've understood the concept.

Agree on colours. The Electronics topic was white on yellow, completely unreadable.
by edflsafoiewq | 2026-02-19 07:28:34+00:00
My immediate thought was combining characters eg

934 = CISTERCIAN STAFF +
COMBINING CISTERCIAN 900 +
COMBINING CISTERCIAN 30 +
COMBINING CISTERCIAN 4

Would require allocating (1 staff) + (9 digits) * (4 places) = 37 code points.

Were you thinking

934 = CISTERCIAN 900 +
ZWJ +
CISTERCIAN 30 +
ZWJ +
CISTERCIAN 4

?
by JumpCrisscross | 2026-02-19 07:29:05+00:00
> They'll all do this eventually

And if the frontier continues favouring centralised solutions, they'll get it. If, on the other hand, scaling asymptotes, the competition will be running locally. Just looking at how much Claude complains about me not paying for SSO-tier subscriptions to data tools when they work perfectly fine in a browser is starting to make running a slower, less-capable model locally competitive with it in some research contexts.
by kkapelon | 2026-02-19 07:30:45+00:00
It is answered in the FAQ at the bottom of the page

"The SDK is fail-open by design. If our service is unreachable, it falls back to the last known breaker state.

If no state has ever been cached (e.g., a cold start with no connectivity), it defaults to closed, meaning your protected calls keep executing normally. Your app is never blocked by Openfuse unavailability."
by illiac786 | 2026-02-19 07:30:54+00:00
I think windows has historical monopoly.

They bundled it with PC hw and the vast majority of apps only ever got published for windows, and this over decades (one would argue it’s still true).

The starting point for LLMs is very different. Who would publish today a software that only integrates with chatGPT? Only a small minority.

Thus I agree, I struggle to see how a monopoly can exist here. A GPU monopoly or duopoly though, perhaps.
by trymas | 2026-02-19 07:31:35+00:00
I use GLM lite subscription for personal use. It is advertised as 3x claude code pro (the 20$ one).

5h allowance is somewhere between 50M-100M tokens from what I can tell.

On 200$ claude code plan you should be burning hundreds of millions of token per day to make anthropic hurt.

IMHO subscription plans are totally banking on many users underusing them. Also LLM providers dont like to say exact numbers (how much you get , etc)
by xserhio | 2026-02-19 07:31:52+00:00
Thanks for sharing varlock, it looks really solid! The .env.schema approach is a great way to guarantee strict type safety and a single source of truth.

I think the main philosophical difference here is where the validation happens. If I understand correctly, varlock integrates directly into the application's config loading process. That’s incredibly powerful for runtime safety.

My goal with env-rx was to build something completely detached from the application runtime. I wanted a drop-in CLI utility that requires absolutely zero code changes or new dependencies in the actual app. You just throw it into a GitHub Action or a pre-commit hook, and it screams at you if a variable is missing before the code even builds.

But I really like your approach to having a unified schema instead of just comparing against an .example file. Definitely taking some notes from how varlock handles this!
by yorwba | 2026-02-19 07:31:55+00:00
From the Script Ad Hoc Group: https://www.unicode.org/L2/L2021/21016-script-adhoc-rept.pdf

"A project to digitize Cistercian manuscripts at Western Michigan University is not requesting
the characters be in Unicode, so this is just an informational document. [...] We recommend the UTC make the following disposition: Notes this document (L2/20-290) but takes no further action."

For something to be added to Unicode, someone actually has to request it and shepherd it through the process.
by marcus_holmes | 2026-02-19 07:32:58+00:00
I knew him for about 3 months, hung out with him regularly, before I figured out that he couldn't read. He was very good at manipulating the conversation to make me read things for him without me guessing it.

He paid off his mortgage by his mid-30's.

He taught himself to read and write alongside his eldest daughter when she learned. Keeping up with a kid while learning an entirely new skill is no minor thing.

He built his own house in the corner of a field without planning permission so that no-one knew he was there, and lived in it for long enough that he then didn't need planning permission.

He effectively retired in his 40's, and keeps bees for fun.

They call it "street smarts". He has it in spades. Also just genuinely a fun person to be around.
by shakna | 2026-02-19 07:33:14+00:00
> Rollout hasn't even begun yet which you can

If rollout at Deloitte has not yet begun... How on earth did this clusterfuck [0] happen?

> Deloitte’s member firm in Australia will pay the government a partial refund for a $290,000 report that contained alleged AI-generated errors, including references to non-existent academic research papers and a fabricated quote from a federal court judgment.

[0] https://fortune.com/2025/10/07/deloitte-ai-australia-governm...
by roenxi | 2026-02-19 07:33:20+00:00
> Respond how?

By destandardising sizes. It isn't that hard to standardise if an industry thinks it'll help them; the article suggests there is already a relevant standards body. These companies are probably doing it for a reason. My guess would be maybe someone doesn't want to be an XXL 18 at J Crew so they can go to Reformation where they are more of a Regular 14.

> Signal what?

Age, health and status for women. Group membership too although that is generally to a lesser extent.
by kkapelon | 2026-02-19 07:33:24+00:00
> Your circuit breakers don't talk to each other.

Doesn't this suffer from the opposite problem though? There is a very brief hiccup for Stripe and instance 7 triggers the circuitbreaker. Then all other services stop trying to contact Stripe even though Stripe has recovered in the mean time. Or am I missing something about how your platform works?
by thesz | 2026-02-19 07:34:08+00:00
> Assume FP64 units are ~2-4x bigger.

This is wrong assumption. FP64 usually uses the same circuitry as two FP32, adding not that much ((de)normalization, mostly).

From the top of my head, overhead is around 10% or so.

> Why would gamers want to pay for any features they don't use?

https://www.youtube.com/watch?v=lEBQveBCtKY

Apparently FP80, which is even wider than FP64, is beneficial for pathfinding algorithms in games.

Pathfinding for hundredths of units is a task worth putting on GPU.
Show HN: Kore – local AI memory layer with Ebbinghaus forgetting curve
by juanauriti | 2026-02-19 07:34:31+00:00
I built Kore because every AI memory tool I found either required cloud APIs, was too heavy, or stored everything forever with no pruning.

Kore is different:
- Memory decay based on the Ebbinghaus forgetting curve — memories fade unless retrieved, with half-life based on importance (7 days for casual notes, 1 year for critical info)
- Auto-importance scoring locally — no LLM call needed
- Semantic search in 50+ languages — local sentence-transformers, zero API calls
- Memory compression — auto-merges similar memories
- Agent namespace isolation — multi-agent safe
- Runs fully offline — SQLite + FTS5, FastAPI, no external services

pip install kore-memory[semantic] then kore to start.

Would love feedback on the decay formula and whether the Ebbinghaus approach makes sense for long-running agents.
by amatecha | 2026-02-19 07:35:07+00:00
Okay.. no... did they add that liquid glass shit to the desktop OS as well?! I haven't used latest "macOS" in a year or two, and the newest Mac I have is from 2013 (and I have 20-30+ Apple machines from before then, to put this into context). Super disappointing to see the gradual but perpetual decline :\
by jongjong | 2026-02-19 07:35:25+00:00
I have no issues with this. Anthropic did a great job with Claude Code.

It's a little bit sleazy as a business model to try to wedge one's self between Claude and its users.

OpenAI acquiring OpenClaw gives me bad vibes. How did OpenClaw gain so much traction so quickly? It doesn't seem organic.

I definitely feel much more aligned with Anthropic as a company. What they do feels more spontaneous, meritocratic and organic.

OpenAI essentially appropriated all their current IP from the people... They basically gutted the non-profit and stole its IP. Then sold a huge chunk to Microsoft... Yes, they literally sold the IP they stole to Microsoft, in broad daylight. Then they used media spin to make it sound like they appropriated it from Elon because Elon donated a few millions... But Elon got his tax deduction! The public footed the bill for those deductions... The IP belonged to the non-profit; to the public, not Elon, nor any of the donors. I mean let's not even mention Suchir, the OpenAI researcher who "committed suicide" after trying to warn everyone about the stolen IP.

I can see right through OpenAI's conniving tactics trying to slander Anthropic, trying to present themselves as the good guys after their OpenClaw acquisition. Trying to leverage their influence over HN. Not pretty.
by dannersy | 2026-02-19 07:35:28+00:00
No offense, but this is the most predicable outcome ever. The software industry at large does this over and over again and somehow we're surprised. Provide thing for free or for cheap, and then slowly draw back availability once you have dominant market share or find yourself needing money (ahem).

The providers want to control what AI does to make money or dominate an industry so they don't have to make their money back right away. This was inevitable, I do not understand why we trust these companies, ever.
by plagiarist | 2026-02-19 07:35:58+00:00
I tried the API on a coding task and it did worse than I would've hoped. Also $5. They still have a ways to go, I think.

I also use their chat pretty frequently, it seems to "misunderstand" me more often than other models. But that's free and it isn't as irritating to rephrase a question as it is backing out code changes.

I like that they have local models available, I plan to try those sometime.
by marcus_holmes | 2026-02-19 07:36:33+00:00
No, fair point. I'm the same, I can't enjoy the music if I know the artist is not a good person. Though I do think this gets taken too far; I can enjoy Pink Floyd even though I have huge disagreements with Roger Waters' politics.

I'm not sure I could tell the difference between AI and human music already. In a few years I'm pretty sure I couldn't. This is the bit where I'm not sure it matters. I mostly listen to music for the nostalgic emotions now anyway.
by foxglacier | 2026-02-19 07:37:03+00:00
While it's perfectly noble and fine to behave that way yourself, this idea very often extends to abusing people who don't follow it. That's when it becomes toxic and wrong. It's a personal choice and there's nothing wrong with anybody who uses some country's culture for whatever they like. I've been a victim of this kind of abuse myself and it does hurt. People need to treat humans well, not abstract concepts like culture.
by amatecha | 2026-02-19 07:37:20+00:00
Yup, I use Logic 9 on my 2013 MBP running Mavericks or Yosemite or something (I forget which offhand). It's astonishing just how bad the newer OS versions are. "Don't fix what isn't broken", in this case means never updating that machine so I can not only continue to use the software I paid for, but also so it doesn't get completely ruined by the massive degradation of quality of the newer "upgrades".
by TheAlexLichter | 2026-02-19 07:38:39+00:00
1) This is not what I said, no

2) With AI, languages and syntax matters even less nowadays.

3) There have been a good amount of contributors (e.g. for Oxc) that came out the JS world, so it isn't impossible

4) Realistically, the avg. web dev does not contribute to tooling internals, maximum custom rules or similar. The concepts are a bigger "hurdle" than the lang.
by mmiscool | 2026-02-19 07:39:15+00:00
Hey HN,

I’ve been building BREP.io, a parametric CAD system that runs entirely in the browser.

https://BREP.io

https://github.com/mmiscool/BREP.io

The core idea is applying a B-Rep-style topology layer on top of a 3D mesh representation.

Instead of treating the mesh as the model itself, the mesh is just the geometric carrier. On top of that, there’s an explicit topology layer that tracks:
- Faces as structured surface regions
- Edges as shared boundaries
- Vertex connectivity and adjacency
- Ownership relationships between elements

The mesh handles rendering and geometric evaluation.
The topology layer handles structure.

This separation makes it possible to:
- Perform parametric edits against stable topological entities
- Run boolean operations while preserving structural relationships
- Maintain a consistent model even as geometry changes

It’s been an interesting exercise in bridging two worlds: the performance and simplicity of mesh engines, and the structured consistency of boundary representation modeling.

If you’re into CAD kernels, computational geometry, or browser-based engineering tools, I’d love feedback especially on architectural tradeoffs when layering topology over meshes.

Happy to answer questions about how it works.

- mmiscool
by illiac786 | 2026-02-19 07:39:50+00:00
I agree that the TPUs are one of the things that are underestimated (based on my personal reading of HN).

Google already has a huge competitive advantage because they have more data than anyone else, bundle Gemini in each android to siphon even more data, and the android platform. The TPUs truly make me believe there actually could be a sort of monopoly on LLMs in the end, even though there are so many good models with open weights, so little (technical) reasons to create software that only integrates with Gemini, etc.

Google will have a lion‘s share of inferring I believe. OpenAI and Claude will have a very hard time fighting this.
by bambax | 2026-02-19 07:40:15+00:00
I too am old. Google search is free, hard to replicate, and while there used to be lots of search engines, Google was (and arguably still is) miles ahead of all the others in terms of quality and performance.

A model is hard to train but it doesn't need to be hyper up to date / have a new version come out every day. Inference is cheap (it seems?) and quality is comparable. So it's unclear how expensive offerings could win over free alternatives.

I could be wrong of course. I don't have a crystal ball. I just don't think this is the same as Google.

Of course I could be entirely mistaken and there could emerge a single winner
by dakolli | 2026-02-19 07:40:51+00:00
I'm not going to say what platform but it's an agentic coding tool, I know for a fact the platform loses in the mid $200.00s on a $20.00 plan. 10:1 loss leader for customer acquisition is crazy, and they'll have to make that up in the future somehow, they're all fumbling on how to vendor lock their customers, and its not necessarily clear they're going to be able to.

I expect some big falls from 10 figure businesses in the next year or two as they realize this is impossible. They've built an industry on the backs of gambling addicts and dopamine feins (I'm generalizing but this is a thing with LLM users (just read vibe coders posts on twitter, they're slot machine users). Ask sports betting operators from back in 2019-2022 how it worked out for them when they tried to give out 1-2k a year to attract new customers, and then realized their customers will switch platforms in an instant they see a new shiny offer. Look up the Fanduel Founders "exit" for an insight into this.

They have to eventually stop catering to the slot machine users, which are generally paying for these hugely lossy flat rate subscriptions, and somehow get them used to a different type of payment model, or cater strictly to enterprise... Which also aren't going to tolerate paying 20k a month in tokens per developer, is my guess.... Lots of delicate pricing problems to figure out for all these companies.
by altairprime | 2026-02-19 07:40:55+00:00
Show me a sewing machine that can cut, sew, hem, iron, and qacheck a stretch-fabric garment, and I’ll show you a trillion dollar domestic manufacturing opportunity! Until then, look up the object called “sewing pattern”; it’s just a clothes blueprint that assumes you only have a 2D printer (scissors or a pizza cutter) and need a physical guide for the 2D fabric cutter (which will be you), an instruction sheet for sewing (also you), and the assumption that you understand that you should have ironed the fabric beforehand (throw it out and start over). Sewing is an extremely old human craft and may perhaps be the most difficult challenge faced by industrial robotics. Threading a loom for woven fabrics is equally as difficult and is still done by hand, too. Note that most clothing doesn’t fit in a normal desktop cutter because fabrics are typically 40” wide so you end up having to escort the entire process using tool-assisted human labor. They have, at least, figured out how to make robotic top-sewing machines for quilts, so as long as your stitches are in 2D and the fabric is already sewn together, you can have it sew the linear mile of stitches to finish the quilt (but only after weeks to month of piecework and assembly).