MurphyA/hacker-news huggingface dataset:
by neobrain | 2025-09-25 06:14:09+00:00
> People who have worked on the Windows x64 emulator claim that TSO isn't as much of a deal as claimed

This is a misinterpretation of what the author wrote! There is a real and significant performance impact in emulating x86 TSO semantics on non-TSO hardware. What the author argues is that enabling TSO process-wide (like macOS does with Rosetta) resolves this impact but it carries counteracting overhead in non-emulated code (such as the emulator itself or in ARM64EC).

The claimed conclusion is that it's better to optimize TSO emulation itself rather than bruteforce it on the hardware level. The way Microsoft achieved this is by having their compiler generate metadata about code that requires TSO and by using ARM64EC, which forwards any API calls to x86 system libraries to native ARM64 builds of the same libraries. Note how the latter in particular will shift the balance in favor of software-based TSO emulation since a hardware-based feature would slow down the native system libraries.

Without ecosystem control, this isn't feasible to implement in other x86 emulators. We have a library forwarding feature in FEX, but adding libraries is much more involved (and hence currently limited to OpenGL and Vulkan). We're also working on detecting code that needs TSO using heuristics, but even that will only ever get us so far. FEX is mainly used for gaming though, where we have a ton of x86 code that may require TSO (e.g. mono/Unity) but wouldn't be handled by ARM64EC, so the balance may be in favor of hardware TSO either way here.

For reference, this is the paragraph (I think) you were referring to:

> Another common misconception about Rosetta is that it is fast because the hardware enforces Intel memory ordering, something called Total Store Ordering. I will make the argument that TSO is the last thing you want, since I know from experience the emulator has to access its own private memory and none of those memory accesses needs to be ordered. In my opinion, TSO is ar red herring that isn't really improving performance, but it sounds nice on paper.
by 4ndrewl | 2025-09-25 06:14:54+00:00
I wouldn't rule out a mass panic-type event. A similar event which closed London's Gatwick airport (one of Europe's busiest) garnered no evidence and no serious lines of enquiry.

https://www.theguardian.com/uk-news/2020/dec/01/the-mystery-...

See also the recent closure of Heathrow Terminal 4 https://www.bbc.co.uk/news/live/c5ypl5grg24t
by alashow | 2025-09-25 06:15:38+00:00
Androids implementation doesn't even have an extra step of screenshotting like iOS. You can just swipe up to open recents screen and start selecting text by holding down. Although it's not as good as native selection since it does some kind of OCR vs actually selecting the text data, so it cannot properly copy things it doesn't understand like random languages or hashes/urls etc. It does has it's own advantages though since it can select anything like text from paused videos vs only rendered text views if app allowed native selection).
by comp_throw7 | 2025-09-25 06:16:16+00:00
For the benefit of external observers, you can stick the comment into either https://gptzero.me/ or https://copyleaks.com/ai-content-detector - neither are perfectly reliable, but the comment stuck out to me as obviously LLM-generated (I see a lot of LLM-generated content in my day job), and false positives from these services are actually kinda rare (false negatives much more common).

But if you want to get a sense of how I noticed (before I confirmed my suspicion with machine assistance), here are some tells: "Large firms are cautious in regulatory filings because they must disclose risks, not hype." - "[x], not [y]"

"The suggestion that companies only adopt AI out of fear of missing out ignores the concrete examples already in place." - "concrete examples" as a phrase is (unfortunately) heavily over-represented in LLM-generated content.

"Stock prices reflect broader market conditions, not just adoption of a single technology." - "[x], not [y]" - again!

"Failures of workplace pilots usually result from integration challenges, not because the technology lacks value." - a third time.

"The fact that 374 S&P 500 companies are openly discussing it shows the opposite of “no clear upside” — it shows wide strategic interest." - not just the infamous emdash, but the phrasing is extremely typical of LLMs.
by josephg | 2025-09-25 06:16:41+00:00
Sometimes four out of five doesn't cut it. Thats like claiming my car is an electric car because "they both have batteries and motors". Or like saying C is a functional programming language because its a programming language that "has functions".

The defining characteristic of SLR and DSLR cameras is the reflex mechanism, which is a giant mechanism inside the camera that sits in front of the film or sensor. The mechanism uses a mirror to allow the viewfinder to work. And the whole thing needs to physically flip out of the way when you press the shutter button to expose the film. But as a result, SLR / DSLR cameras are usually way bigger physically to make room for the mirror and the reflex mechanism.

Mirrorless cameras like the A6700 don't have this reflex mechanism, so they're not DSLR cameras. They're called mirrorless cameras. Same as the cameras in our phones.
by anfilt | 2025-09-25 06:18:24+00:00
Even with that link I have trouble believing it myself.

Like how was this data/survey gathered/administrated? Sample size ect...

Also I don't understand how sports seem to get so much attention. Like they are just games why?

Another post I was reading a bit ago was how Spain what basically suffering internet outages to stop pirate streams of games on the weekend: https://news.ycombinator.com/item?id=45323856

Like why is a game considered so important that even internet traffic has to suffer. It boggles my mind.
by bruce511 | 2025-09-25 06:19:02+00:00
I'll second this. Unfortunately experience is a two-edged sword. I deal with a lot of old programmers and I continually hit the "fact" that was true in 1999 but is false today.

For example, I started in DOS (as did many older folk). Memory was severely constrained. So we developed habits to use memory (and disk space) very efficiently.

Like using bits in a byte, or a byte as an ID field. Or quibbling over the length of a Name field.

All those habits proved to be bad in the long run. And today memory (and disk space) are abundant. But these old habits are hard to break.

And that's before we talk about "modern" techniques, like version control etc.

Experience is great. I'm a fan. But all too often experience is also "there was a bug I windows 95, so that API call is unreliable ".
by theK | 2025-09-25 06:21:25+00:00
I dont see how the competitiveness argument can still stand. I've been using both browsers for the better part of two decades now and chrome/chromium never was the better product. Sure it had slightly better devtools for a while but nowadays it is very difficult to argue either way. Performance was rubbish on both ends for years in a row, right now both seem to do fine. Firefox has sync, a significantly better product than whatever google comes up with every two years. So yeah, I think Mozilla has a good enough product to challenge chrome. What they don't have is comparable traffic to their site.

Oh and of course focus. Mozilla has lacked focus for almost a decade now with all the random products and initiatives they launch.
by 71bw | 2025-09-25 06:22:04+00:00
>Microsoft does something similar with Windows Defender: you need to buy a developer certificate that can be revoked at any time if you want to distribute your app and have users be able to run it.

Clarifying: you CAN run an unsigned app just fine on Windows. A lot of freeware/"indie" (for lack of a better term for small software) programs run just fine, the only thing that happens is the user recieves a warning they have to press "Yes" on (which 95% of people do, because That's The Windows UX[patent pending]).
by lemontheme | 2025-09-25 06:22:17+00:00
Same except with Helix.

The integration in Zed is limited by what the Claude Code SDK exposes. Since about half of the /commands are missing from the SDK, they don’t show up in Zed.

I think ACP was a good strategic move by Zed, but all I personally really need is Claude Code in a terminal pane with diffs of proposed edits in the absolutely wonderful multibuffer view
by sally_glance | 2025-09-25 06:22:22+00:00
I think it's called serverless or FaaS today?

But why choose, just do all three at the same time! Actually you don't even have to choose, it will naturally happen when transitions are never fully completed... So before you know it you're stuck with a partially integrated legacy monolith which talks to a legion of half-baked microservices and emits events processed by arcane workflow engines orchestrating lambda execution.
by parthsareen | 2025-09-25 06:22:49+00:00
Hey! I'm the author of the post. We haven't optimized sampling yet so it's running linearly on the CPU. A lot of SOTA work either does this while the model is running the forward pass or does the masking on the GPU.

The greedy accept is so that the mask doesn't need to be computed. Planning to make this more efficient from either ends.
Ask HN: Engineer Who Ships – From Idea → Production (Remote Full-Stack Roles)
by Parbhat-Kapila | 2025-09-25 06:23:52+00:00
I'm an Engineer with a track record of turning ideas into production-ready tools. Over the past year, I've architected and launched multiple developer tools from concept to production, focusing on solving real pain points in the development workflow.

Recent projects/products I've built:

- Vector Mail: An enterprise-grade, privacy-first email system engineered for speed, scalability, and security.

- Repo Docs: A developer-first platform that transforms codebases into living, auto-updating documentation.

- Visura: A high-performance data visualization suite delivering instant, actionable insights.

Tech stack:

- Frontend: React, Next.js, TypeScript, Tailwind CSS

- Backend: Node.js, Python, PostgreSQL, MongoDB, Redis

- DevOps: Docker, AWS/Vercel, GitHub Actions, CI/CD

- Currently exploring: PyTorch, LangChain, and building RAG applications

What I bring:

- Self-directed learner who can own features end-to-end

- Experience across the entire product lifecycle from ideation to deployment

- Strong focus on developer experience and clean, maintainable code

- Remote-first mindset with excellent async communication skills

Seeking a remote full-stack role where I can contribute to products that developers love. Excited about startups where I can wear multiple hats and grow with the team.

Email: parbhatkapila4@gmail.com

Portfolio: www.parbhat.dev
by js8 | 2025-09-25 06:24:20+00:00
Hi, thanks! I can't access it but I have read some papers from Jonathan Seldin on Curry's illative approach, which seems to be the key here, e.g. https://people.uleth.ca/~jonathan.seldin/CCL.pdf However, I think he explains this approach has failed and type theory is kind of simpler approach to functionality.

My idea is different than introducing a new special combinator operator. Instead I want to formalize what a "question" is. In type theory, we can formalize any(?) mathematical question as a question of finding a term of a certain type. I want to replace that with a combinator equation Ax=B, where A and B are given lambda terms and x is an unknown. However, with x being any normalizable lambda term this wouldn't work, so I add additional condition that x must be what I call a "primitive term" (I haven't seen it defined anywhere sorry), expressible as a lambda term where only a given number of lambda abstractions occur in the front of the term and no other abstractions in its body, only applications. These are terms expressible in normal form as applications of only arguments, so many of the commonly used combinators are primitive (they don't compose though, for example, Y combinators are not primitive).

By choice of A, we can control the "combinator base" that x accepts inside the equation, so we can restrict the "type" of x that are solutions to the equation. So we can represent the question of y being of type T as a question of there being a primitive term x for an equation Ax=B (i.e. Ax and B both normalize to identical expression), where A and B is chosen based on T and y corresponds to x taking a chosen combinator base (the logic we work with) as arguments.

I was interested in formalizing what a question is, because I think that formalizing mathematics using type theory requires quite large meta-logical apparatus. However, using only untyped lambda calculus (and notion of beta-normalized equation with a primitive unknown) as a replacement for type theory is easy to embed into untyped lambda calculus itself using self-interpretation. The correspondence between the embedded language and the untyped lambda calculus (i.e. description how untyped lambda calculus manifests within the self-interpreter, and how questions are translated) could then be the only metalogical axiom required.
by hnlmorg | 2025-09-25 06:25:04+00:00
Gecko is too big to die. Even with Firefox’s market share being a shadow of its former self, it’s still used by millions.

The real problems with Gecko is just that it’s harder to fork and has less compatibility with the web (that last part is largely just due to Chromium being the de facto standard so fewer people test their sites against Firefox).
by vertti | 2025-09-25 06:26:22+00:00
If you work with AWS ECS, you might be interested in this. I built a little interactive CLI called lazy-ecs.

When running services in ECS, I constantly needed to check: - What exactly is running where? - Is my service healthy? - What parameters or environment variables got applied? - What do the latest logs show - did the container start as expected?

The AWS ECS web console is confusing to navigate, with multiple clicks through different screens just to get basic information. The AWS CLI is powerful but verbose and requires memorizing complex commands.

lazy-ecs solves this with a simple, interactive CLI that lets you quickly drill down from clusters → services → tasks → containers with just arrow keys. It destroys the AWS CLI in usability for ECS exploration and debugging.
by DecoPerson | 2025-09-25 06:26:33+00:00
They seem to classify users in a way that puts technically-proficient users in a separate class to regular users.

One class receives a more traditional experience.

The other receives whatever they're currently pushing. For example, my Dad's Gmail has a much higher "ad email" : "real email" ratio than mine. Also, the styling of an "ad email" line is far more subtle than what I receive.

I checked with my technical friends. They all receive similar experiences to what I do. But my parents and other people I help with their personal tech receive the ad-heavy version.

My conspiracy theory is that they're trying to detect journalists, lawmakers, regulators, and more, in an attempt to avoid being forced to push ads less aggressively.
by godelski | 2025-09-25 06:27:42+00:00
Allow me to rephrase my earlier choice

Chromium: Entirely dependent on Google, a $3T company who's entire business model relies upon invading your privacy and currently has a >70% global share of browsers WebKit: A closed source browser with ~18% of browser share and run by a nearly $4T company who forces all browsers on their mobile devices to be reskinned versions of their browser and probably wants to do the same on their other devices Gecko: An open source browser with ~4% of the browser share, run by a non-profit with a mission of to preserve privacy but is struggling to find funding.

All three choices suck. I don't think anyone is disagreeing with that. But there's only one option on here that isn't trying to royally fuck everyone over and actually cares about the very service we're arguing over.

So what... we're going to let the internet get screwed because a bunch of dudes making hundreds of thousands of dollars a year can't toss some beer money over to the little guy?

You paint this as a hopeless picture, but seriously, have you considered donating? Every time I see these types of threads I see comments like

> I would happily pay a small monthly subscription fee for a browser if it has strong legally protected privacy guarantees.[0]

Seriously, are we all that greedy and myopic? They're a non-profit. You know tons of companies, such as Google and every other big tech company, have some donation matching system. Google pays the Mozilla Foundation about half a billion a year to make Google the default search engine. How is the fact that they are throwing such massive amounts of money not a concerning thing? Yet FF has enough users that we could give them an extra 40% revenue if we tossed them $5 PER YEAR. That's it.

Do you really think your browser provides to you less value than your Netflix (160%/360%/500% more expensive) or Spotify (240% more expensive) account? Seriously? If literally 30% of FF users gave to Mozilla what they are willing to give to Spotify, then the problem is solved. Or 15% of users did it through their company's matching program. If instead of discouraging people, you got more people to convert then the percentage of necessary contributors decreases!

It's even tax fucking deductible so it isn't even that <$5/yr...

[0] https://news.ycombinator.com/item?id=45369141
by comp_throw7 | 2025-09-25 06:28:12+00:00
Posting (unmarked) LLM-generated content on public discussion forums is polluting the commons. If I want an LLM's opinion on a topic, I can go get one (or five) for free, instantly. The reason I read the writing of other people is the chance that there's something interesting there, some non-obvious perspective or personal experience that I can't just press a button to access. Acting as a pipeline between LLMs and the public sphere destroys that signal.
by mavamaarten | 2025-09-25 06:29:00+00:00
I'm sad I went for a WiFi based solution many years back (Tado). They say cloud costs are getting too high and are suddenly super aggressive in limiting API usage. Give me a fully working local API then, you twats.

I haven't found a good local-only or ZigBee based system that allows precise room control that controls the central heater efficiently based on demand. I could get a bunch of ZigBee radiator knobs, but then I'd have to do a lot of programming/automation to get a good system as a whole. I have to say that Tado does that brilliantly (that's why I chose them in the first place)
by DoctorOetker | 2025-09-25 06:29:01+00:00
Oh come on, if you're going to speculate then at least add proper juice to the story:

investments and collaboration deals with realdoll, hiring gynaecologists and sex workers, a takeover attempt of top-k fleshlight manufacturers (and rebrands it as "OpenLegs"), partnership deals with pornhub, for the timestamps when people stopped streaming (because they came a little before, in order to mine anything thats hot or a kink).

The sex industry in the US is estimated at approximately 30B, this would only increase with lower prices (as automation could undercut an "untapped" fraction of phalluses at each price treshold).

Deals with fancy brands: your doll has a slightly lower chance of cooperating and spreading "her" legs if you didn't buy her the latest Prada, Gucci whatever.

The dolls would have to be just a tiny little less demanding than the average mate in flesh the customer has had intercourse with. They will seek the path of least resistance.
by NetOpWibby | 2025-09-25 06:30:23+00:00
Yeesh, tough crowd in these comments. And yet everyone's excited for new Gmail skins. Anyway.

I hope more people take ungoogled-chromium and create new interfaces. It's a shame that Servo's in an unusable state, I'd love to see more tooling around that.

I just want someone to give me Opera 12...I suppose that's Vivaldi though.
by nasretdinov | 2025-09-25 06:31:05+00:00
In regards to number crunching Go indeed made little effort to optimise this use case (especially since many good alternatives already existed at the time). Having said, I'm really hopeful that the SIMD proposals do eventually make it into the language, e.g. this one: https://github.com/golang/go/issues/73787#issuecomment-32081...
by Dylan16807 | 2025-09-25 06:31:05+00:00
This is one of those times a downvote confuses me. I corrected some numbers. Was I accidentally rude? If I made a mistake on the numbers please give the right numbers.

If my first line was unclear: We might say the denser bits give us a 65% density improvement. And quick math shows that a 80-100x improvement is actually nine 65% improvements in a row. So the denser bits per cell aren't doing much, it's pretty much all process improvement.
by rkomorn | 2025-09-25 06:33:05+00:00
As someone who almost compulsively changes browsers every so often with the mistaken belief that "there's gotta be something better" and has swung by Firefox on multiple occasions, it has never offered me any compelling reason to stick with it beyond not being Chrome.

Zen came close, but also didn't stick.

Containers seemed nice at first but my personal usage of them devolved into an over abundance of containers to isolate everything from one another (my fault, though).

On the other hand, I've had various small nits here and there that always eventually push me back towards a chromium browser.

But hey, I'm a believer in not holding on to my decisions so long that they become assumptions, so off I go to install Firefox and give it a 4th whirl since 2010.
by aorloff | 2025-09-25 06:34:46+00:00
I would create a bespoke training set from the very best operator you can find, after significant interviewing, and then only use that to train your model (eg. partner with a local firm that rents at Herc or United Rentals a lot and has a skilled operator and train on their jobs while you rent them free equipment).

The range of skillset on these things is large, there are 2 dominant (fairly swappable - meaning most machines do both) different operating modes (excavator / backhoe) and I see that operators have a specific one they are best with.

Honestly, when I see a real pro using one of these machines I think this is one area AI is not going to win at soon - in the real world there's a whole support crew working with the excavator operator
by trhway | 2025-09-25 06:35:40+00:00
Summit in Shanghai there Xi gave ok to probe and harass NATO, immediately 20 intelligence drones 100+ miles deep into Poland, 3 fighter jets 10 minutes into Estonia airspace. (Those actions already triggered kneejerk in NATO to give first priority to beefing up NATO countries' air defenses instead of supplying air-defense systems to Ukraine).

Add to that cyberattack on the airports 3 days ago and now massive drones in European airports (when Russia has been for several months having its own airports periodically shut down by Ukranian drones and thus clearly understood such an action and how it can be used in a hybrid war and also how it can hint at capability to perform a "Pautina"(SpiderWeb) style operation against Europe) - what are the chances for the drones to not be Russian. And not forgetting cyberattack on the airports 3 days ago.
by thaumasiotes | 2025-09-25 06:35:51+00:00
Your argument is gibberish. As I read your comments, you say that:

1. It isn't possible to trademark the name "Jesus Christ";

because

2. This might imply that your company is endorsed by Jesus Christ.

But that is clearly false. Those grounds are illegitimate; the government cannot take a position on whether you are or aren't endorsed by Jesus Christ.

There are no "false endorsement" concerns raised by the hypothetical trademark.