MurphyA/hacker-news huggingface dataset:
by ben_w | 2026-02-26 12:02:25+00:00
> A fight with the rest of NATO would be conventional warfare where the US has a giant advantage.

Given NATO contains three nuclear powers, a full on fight between the US and the rest of NATO would be an "everyone loses" scenario. Even if the US did a first-strike that somehow eliminated all the French and British nuclear submarines, simply losing the EU as customers and suppliers would likely double US unemployment and push inflation to 10% for the next decade (hard to be sure though, see Covid influence on supply chains).

Actually getting hit back by retaliatory strikes by either France or the UK independently would be in the order of multiples of US annual GDP in physical damage. France has enough that even if 80% of their missiles were stopped, they'd still be able to hit every US state capital (though why would anyone care to attack Alaska or Hawaii if they're nuking all the rest?)

As per estimate from 2005, even just a single 100 kT nuke in the right place was equivalent to the US GDP at the time:

The results of our analysis are shown in Figure 4. As anticipated, the economic consequences are highest for the largest nuclear weapon yield and the most conservative cleanup level. New York City nets the highest economic damage across the cleanup spectrum, because of its dense population and high value real estate. Note that the economic consequences for New York City across almost every cleanup level meet or exceed $10 trillion, which is roughly equivalent to the annual Gross Domestic Product (GDP) of the U.S. economy.

- Economic consequences of a rad/nuc attack: cleanup standards significantly affect cost, page 9, https://www.nrc.gov/docs/ML1135/ML11355A226.pdf
by amin2011 | 2026-02-26 12:02:43+00:00
I built Codeown at 15 because I felt that most of my side projects were dying in private repositories without ever being seen. While social media is great for quick updates, it’s noisy and not built for technical documentation.

Codeown is a dedicated space where you can:

Showcase your full tech stack for each project.

Document your progress through dev logs and updates.

Build a proof-of-work portfolio that focuses on the building process, not just the final result.

I’m a solo founder building this in public, and I just moved the infrastructure to Supabase Storage to keep it fast and lightweight. I would love to get your feedback on the concept and the UI.

Link: https://codeown.space
by mytailorisrich | 2026-02-26 12:02:51+00:00
I have seen this complaint a lot but I think it is misplaced because it is frankly common sense to keep an update-to-date passport of the country you are a citizen of... People will have to apply for a passport and be done with it, nothing to see here...

Also, I suppose that the complaint comes only from people who live in countries that have visa-free travel to the UK and/or EU countries and who were just saving a little/money hassle otherwise they would already have an up-to-date British passport.
by jonasn | 2026-02-26 12:03:15+00:00
That is a creative idea, but unfortunately, Epsilon changes the execution profile too much to act as a clean baseline for barrier costs.

One huge issue is spatial locality. Epsilon never reclaims, whereas other GCs reclaim and reuse memory blocks. This means their L2/L3 cache hit rates will be fundamentally different.

If you compare them, the delta wouldn't just be the barrier overhead; it would be the barrier overhead mixed with completely different CPU cache behaviors, memory layout etc. The GC is a complex feedback loop, so results from Epsilon are rarely directly transferable to a "real" system.
by testfrequency | 2026-02-26 12:03:32+00:00
I’m sorry but I can’t respond further, conversation is going nowhere. You clearly have it out for Apple and Google, and you are not being “pressured” into doing anything.

Critical reading and thinking would lead you through the flow to click on the “continue application online” form.

Here’s my workflow:

- Visit the main ETA site: https://www.gov.uk/eta/apply

- You scroll down just a teeny tiny bit until you see “Apply online”

- You select “Start now”

- Submit
by Phemist | 2026-02-26 12:04:28+00:00
W3C are dragging their feet on WebNFC: https://github.com/w3c/web-nfc/issues/355, which prevents the talking "to the NFC in your passport" flow from being fully implementable in a website (hence requiring you to install an App). Not sure what the current state of this issue is, or if this github issue represents the latest developments in it, but AFAIK it is one of the MAJOR blockers for a fully web-based flow.
Show HN: Revent – Enterprise device subscription platform built on Replit
by singh_baldeep | 2026-02-26 12:04:33+00:00
We’re the team behind Revent, a B2B rental subscription platform for pre-owned electronics that supports partners and enterprises across the region - currently serving UAE and Saudi Arabia.

Originally our backend for business customers was a mix of WordPress and scattered plugins, and it quickly became a liability: fragile integrations, technical debt, and no clear scale path. So we rebuilt the system from the ground up on Replit and have been running it live for months.

What we built in ~3 months on Replit:

1. Admin dashboard with user management and customer profiles

2. Real-time subscription lifecycle with Stripe billing

3. Inventory control with serial number tracking

4. Quote generation → approval → checkout automation

5. Dynamic custom storefronts for partner businesses

5. Live deployment with zero downtime from old platform

Our B2B vertical is now the fastest-growing part of the business, and we’re shipping weekly features instead of wrestling with plugin conflicts.

Try it out:
https://replit.com/customers/revent
by jimishol | 2026-02-26 12:04:51+00:00
Apologies for the delay! You don't need to run the code to see the theory in action.

I have included a visualization GIF in the main README. While the demos in the installation section are short, they do contain audio-visual examples.

Direct link to the README:
https://github.com/jimishol/cholidean-harmony-structure/blob...
by dcminter | 2026-02-26 12:05:10+00:00
My native-Swedish friends all complain about the bureaucracy here, but it is so much more efficient than the British stuff.

Some of that, though, is a side-effect of the ubiquitous "Bank ID" identity tool - which suffers from the same dependency on Apple/Google that the article complains about. Given the current political climate I think the EU is going to have to figure something out to address this sort of thing.
Claude Code Bug triggers Rate limits without usage
by busssard | 2026-02-26 12:05:38+00:00
Starting an hour ago, i received the following message "API Error: Rate limit reached" in claude code on a 5x Max subscription.

I had not used the model extensively, but accepted it. I waited 10min and asked again on how to go about a localization task on a website. Nothing code intensive, just a Pointer on what path to take given the infrastructure. However the same error message.
I checked claude status, i checked HN and started the support bot, i reviewed the API ratelimits. But all seemed normal. And nowhere did it seem like i exceeded. I waited another 30min and tried again.
The error message persists, according tot the doc, it should tell me how long to wait. it doesnt.

Anyone else experiencing this?
Based in Switzerland, Europe, on Linux
by xml | 2026-02-26 12:05:48+00:00
> But on a tangent, why do you believe in mixture of experts?

The fact that all big SoTA models use MoE is certainly a strong reason. They are more difficult to train, but the efficiency gains seem to be worth it.

> Every thing I know about them makes me believe they're a dead-end architecturally.

Something better will come around eventually, but I do not think that we need much change in architecture to achieve consumer-grade AI. Someone just has to come up with the right loss function for training, then one of the major research labs has to train a large model with it and we are set.

I just checked Google Scholar for a paper with a title like "Temporally Persistent Mixture of Experts" and could not find it yet, but the idea seems straightforward, so it will probably show up soon.
by red_admiral | 2026-02-26 12:05:49+00:00
I call BS. The title is incorrect, and the contents are deceptive.

If you visit the gov.uk page from a mobile, you get a suggestion for the app.

If you visit on _desktop_, you get https://www.gov.uk/eta/apply ( reached from https://www.gov.uk/eta ) which offers app and online (browser) options just beneath each other.

Also, the author here isn't looking at the ETA main page, they're looking specifically at the _help page for the app_ which, yes, talks about the app (but tells you that you can apply online if it doesn't work).
by kofdai | 2026-02-26 12:06:02+00:00
You're right—I should have engaged with your actual point more carefully. Let me address it directly.

You said the SotA is models generating code at test-time, and you're correct. Systems like o3 synthesize Python programs per-task, execute them, and check outputs. That's a legitimate program synthesis approach.

Here's where Verantyx differs structurally:

*The DSL is fixed before test-time.* When Verantyx encounters a new task, it doesn't generate arbitrary Python. It searches over a closed vocabulary of ~60 typed primitives (`apply_symmetrize_4fold`, `self_tile_uniform`, `midpoint_cross`, etc.) and composes them. The search space is finite and enumerable. An LLM generating code has access to the full expressiveness of Python—mine doesn't.

*Here's the concrete proof that this isn't prompt-engineering:*

While we've been having this discussion, the solver went from 20.1% to *22.2%* (222/1000 tasks). That's +21 tasks in under 48 hours. Each new task required identifying a specific geometric pattern in the failure set, designing a new primitive function, implementing it, verifying it produces zero regressions on all 1,000 tasks, and committing. The commit log tells this story:

- `v55`: `panel_compact` — compress grid panels along separator lines
- `v56`: `invert_recolor` — swap foreground/background with learned color mapping
- `v57`: `midpoint_cross` + `symmetrize_4fold` + `1x1_feature_rule` (+5 tasks)
- `v58`: `binary_shape` lookup + `odd_one_out` extraction (+2)
- `v59`: `self_tile_uniform` + `self_tile_min_color` + `color_count_upscale` (+4)

Each of these is a 30-80 line Python function with explicit geometric semantics. You can read any one of them in `arc/cross_universe_3d.py` and immediately understand what spatial transformation it encodes. An LLM prompt-tuning loop cannot produce this kind of monotonic, regression-free score progression on a combinatorial benchmark—you'd see random fluctuations and regressions, not a clean staircase.

*The uncomfortable reality for "just use an LLM" approaches:*

My remaining ~778 unsolved tasks each require a new primitive that encodes a geometric insight no existing primitive covers. Each one I add solves 1-3 tasks. This is the grind of actual program synthesis research—expanding a formal language one operator at a time. It's closer to compiler design than machine learning.

I'd genuinely welcome a technical critique of the architecture. The code is right there: [cross_universe_3d.py](https://github.com/Ag3497120/verantyx-v6/blob/main/arc/cross...) — 1,200 lines, zero imports from any ML library.
by steveBK123 | 2026-02-26 12:06:42+00:00
I have a lot of UK employees and the tax system is quite strange compared to US. One of them described it to me as a "great place to already be rich".

If you make under say $200-250k, you pay way way higher taxes in the UK. Above that, if you are in a high tax US city/state .. US total fed/state/local taxes start to pull well ahead at the $500k & $1M income levels.

Seems like a defect.
by mbgerring | 2026-02-26 12:07:10+00:00
> They could update their asking price for any new works they produce. They also have the right to ask their works not be used for training, etc.

Someone else already pointed out that many works used to train LLMs were stolen, but also, it’s unclear whether this is true, either. Can you opt out? Because copyright should have been enough to prevent a company from stealing and profiting from your work, but it wasn’t in the case of every existing LLM.
by fcatalan | 2026-02-26 12:07:19+00:00
sure, for example it generated this small demo of the type and contract safeguards. As you can see, it's mostly "Forth but with things":

# bank.ax — The Safe Bank (Milestone 2)
#
# Demonstrates property-based verification of financial operations.
# Each function has PRE/POST contracts. VERIFY auto-generates random
# inputs, filters by PRE, runs the function, and checks POST holds.

# DEPOSIT: add amount to balance
# Stack: [amount, balance] (amount on top)
# PRE: amount > 0 AND balance >= 0
# POST: result >= 0
DEF deposit : int int -> int
PRE { OVER 0 GTE SWAP 0 GT AND }
ADD
POST DUP 0 GTE
END

# WITHDRAW: subtract amount from balance
# Stack: [amount, balance] (amount on top)
# PRE: amount > 0 AND balance >= amount
# POST: result >= 0
DEF withdraw : int int -> int
PRE { OVER OVER GTE SWAP 0 GT AND }
SUB
POST DUP 0 GTE
END

# Verify both functions — 500 random tests each
VERIFY deposit 500
VERIFY withdraw 500

# Prove both functions — mathematically, for ALL inputs
PROVE deposit
PROVE withdraw

# Demo: manual operations
1000 200 deposit SAY
1000 300 withdraw SAY

Running it outputs:

VERIFY deposit: OK — 500 tests passed (1056 skipped by PRE)
VERIFY withdraw: OK — 500 tests passed (1606 skipped by PRE)
PROVE deposit: PROVEN — POST holds for all inputs satisfying PRE
PROVE withdraw: PROVEN — POST holds for all inputs satisfying PRE
1200
700
by em-bee | 2026-02-26 12:08:07+00:00
if you enter a country whose citizenship you have you must always enter with the travel document or proof of citizenship of that country. no exceptions. that is a global convention. using a foreign document is most likely a violation of the law. (there may be exceptions in some countries that don't issue passports abroad).

that waiver document is ridiculous though. what does it cost to get a new passport at a british embassy? as a german i can get a temporary passport within a day at any german embassy for about 30€ or 60€. enough to travel back home.
by danlitt | 2026-02-26 12:08:12+00:00
This is too strong of a statement. There are perfectly sensible reasons to NIMBY certain activities. For instance, burning wood is probably ok in general, but a horrible idea in heavily populated cities.

Obviously, California is not composed exclusively of heavily populated cities. But it does contain a lot of them! So it is not completely insane that the regulation is skewed in favour of this.

Of course, for things that are equally polluting no matter where you do them (like burning fossil fuels), moving production outside of the location but still buying produced materials is simply passing the buck. But it's not totally clear to me that's what's happening here.
by Kim_Bruning | 2026-02-26 12:08:13+00:00
So that might depend on model, how long ago you lasted tested it, etc. I've seen llms solve novel logic problems, generate meaningful text, retain tests just fine, and simple mathematics on newer models is a lot better.

Btw if you read the actual paper that proposes the Turing test, Turing actually rejects the framing of "can machines think"; preferring to go for the more practical "can you tell them apart in practice".
by spwa4 | 2026-02-26 12:09:46+00:00
No worries! The UK government has, just like all EU governments, announced again and again how they're going to become completely independent of US and China. Software. Hardware. Everything. This is just yet another example of that.

(another example of this is that you cannot submit your taxes or do anything even slightly weird in relation to city hall in France or Belgium without Ios or Android) (needed for identification)

This is the combination of 2 effects: You CAN go to city hall or the tax office and identify yourself there without a phone (for now). However, for many not-quite-the-most-normal-thing-ever-stuff like birth certificate, past-years-how-much-tax-you-paid certificate, ... they no longer staff city hall or the tax office for these things. People working there now have only the most minimal knowledge of procedures. Hence you cannot go there for most things, you must do them remotely. Only really common stuff. To identify yourself remotely, you need Apple or Android. So you can go down and get a domicile certificate, but not, say a birth certificate or a "I'm safe to work with kids" certificate, or ... they no longer let you do this. The fucking constitution and god knows how many laws clearly state they MUST allow you to do that there and cannot ask for things like a phone, but they don't let you anyway.

I must say I wonder how this works for people who can't or won't do that ... say unemployed, or people in prison, or ...

I mean this means they must allow mobile phones in prison now, for example, doesn't it? In hospitals, including psychiatric. Or on any secret military facilities where people sleep, like ships or subs. Or, at least, sooner or later some judge will be forced to tell them to allow it.

It just seems so stupid to do this for a great many reasons, not just that this gives Trump a way to shut down the EU economy. But, as usual, saving a quick buck clearly matters more to politicians than little details like people, or security.
by lproven | 2026-02-26 12:10:15+00:00
Thanks for this. It's been most educational.

> Oh, 350 prototypes were built.

OK -- so I was correct when I said it didn't ship, then? Unfinished prototypes leaked, like the Commodore C65, but no final complete product?

I found this page:

https://www.99er.net/998.html

But it's so riddled with typos it's extremely irritating.

«

There were aproxximately 100 etched PC boards. Only 250 of these were actually assembled into working units. Out these 250, only about 150 were the final preproduction versions.

»

Really. 100 boards but 250 of them were assembled?

At a guess: 1000 boards?
by jamiecode | 2026-02-26 12:11:30+00:00
The hard-constraint-first then vector similarity ranking order is the right call, and most demos do it backwards. Embedding everything and ranking by similarity before filtering on capacity or dates is how you end up confidently recommending venues that don't exist or can't fit the group. Applying hard constraints as a pre-filter is basic production hygiene but it's skipped constantly.

The piece I'd probe: what happens when a vendor replies asynchronously after the conversation has moved on? You're correctly framing this as a stateful coordination problem, but vendor responses are inherently slow and async. If the user has already selected venue B while venue A's quote is still in flight, do you have a reconciliation layer for that dangling thread, or does it just get dropped?

The split UI (chat left, structured results right) is a pattern that works well for this kind of agentic workflow - it stops the user treating the agent like a search engine while still giving them the structured view they need to make actual decisions. Good call.
by edtech_dev | 2026-02-26 12:12:33+00:00
Visited the UK recently and had to obviously go through the same thing; had to click "I just want to use the online thing" 3 times. Was very frustrating.

Someone else commented on this already, but I had to fly Ryan Air while I was there and after booking the tickets, I found out that the only way to get a boarding pass is by installing their app.

It's quite bleak.
by rcxdude | 2026-02-26 12:12:39+00:00
But the article seems to take a very roundabout way for it, and still doesn't link the direct version. I just did the same thing, googling 'UK ETA', clicked the top result, then clicked the most salient link on the result page ('Apply'), then clicked the most salient button on the next page which is a big green 'apply now button', though it is after the links to the app (but those links are not big and green). Admittedly I do have a decent amount of experience with the UK government's website which tends to have this pattern of a few pages of explanations about the thing before you get to the form you need to fill in, but it surprises me that it was that hard to find.

(Edit: ah, no, I see: the next steps are quite dark-pattern pushing you towards the app. Yeah, that's quite shitty)
by dcminter | 2026-02-26 12:14:03+00:00
Most years I don't visit the UK. My european passport is far more useful to me.

Note that this is an active change to the status quo. Up to and including today I had no need for my UK passport when entering the UK on my Swedish passport. From tomorrow I cannot do that and there's no reasonable explanation given for why this must change.

Edit: And while obviously this is not a big deal for me financially, there are a bunch of pensioners in the 3 million Brits living abroad and for many of them the £100 fee is a significant and unnecessary outlay.
by ozgung | 2026-02-26 12:14:18+00:00
Is there really a clear separation between tech companies and surveillance/military or is it wishful thinking?

I've recently rewatched Steve Blanks's "Secret History of Silicon Valley" talk [1]. Until 80's most SV startups seem to be financed directly by the military. This changes only after the rise of private VC. But for strategic technologies like internet, search, communication, social media and finally AI, they still have to have control over them. "User Data" everyone talks about is not limited with consumer behavior. The real money is on how we think and act as citizens of this world. The whole world wouldn't give all their data to an app named Uncle Sam or CCP. But we are happy to give the same information to Facebook, Google, ChatGPT or TikTok. They are free and they don't want our money.

[1] https://youtu.be/ZTC_RxWN_xo?si=ZfRNgpqJOP6hVLKC
Show HN: One grammar, 18 YAML parsers – a Futamura projector in Common Lisp
by johnagrillo62 | 2026-02-26 12:14:51+00:00
20 years of code generation led here. The YAML 1.2 spec has 211 grammar productions. I converted them from the Haskell reference implementation to s-expressions, wrote a projector in Common Lisp, and generated spec-compliant parsers in 18 languages. All pass 308/308 YAML Test Suite tests. Adding a new language is a 300-line target spec. The projector does the rest in seconds.
by robtherobber | 2026-02-26 12:14:52+00:00
I will never use dark mode if I can avoid it. The idea that it's somehow better is a bit shady [0][1] (save for mobile devices where arguably it may help save some energy), but I absolutely understand that it can be a personal preference.

Multiple discussions already exist on HN on this topic, for example: https://news.ycombinator.com/item?id=46664079

[0] https://simplyexplained.com/videos/why-dark-mode-makes-you-s...

[1] https://www.lloydatkinson.net/posts/2024/the-dark-mode-lobby...
by Nevermark | 2026-02-26 12:14:59+00:00
I am in complete agreement with you.

Except noting that it is crazy that we accept the framing of "tech firm" for what are really "psychology engineering" firms, simply because they use tech.

Their use of tech is only perceived as more glamorous than companies addressing far greater technical challenges, because they are making crazy profits. While the only problem they alleviate with any tech ambition, is making more money for themselves, through centralizing ad venues (maximum ad revenue extraction, blind eye to scams and other dark marketers) and social damage externalization (maximum psychological manipulation).

The negative downstream impacts of all this value extraction are many, including the vast sums of money being paid to attention-hacking social influencers. This destructive army is directly funded by social media, whose alibi is they don't want to be censors. But they are not neutral, as that framing would imply. They are very actively financing the dreck!