Hacker Newsnew | past | comments | ask | show | jobs | submit | more 0rzech's commentslogin

Supports without auto updating them and along with other annoyances: https://news.ycombinator.com/item?id=43793016 . VSCodium [1] has much better UX than Theia IDE, IMHO.

[1] https://vscodium.com/


Yeah I've just tried Theia. Vscodium is still the way to go. I just wish they had answers for issues like running extensions that depend on cpptools. I managed to work around it by installing an old version of cpptools from before the nag prompt that checks you're running it in vscode was added.

Zed is almost a good solution but like most they are missing most of vscodes markdown editing features*. Also, right now there's no way to hide the sign in and ai buttons from the UI.

* https://code.visualstudio.com/Docs/languages/markdown


Each time I try to use Theia IDE I have such a bad experience:

* On each start, Ada & SPARK extension pops up a dialog that I have to close by clicking 12 times (I counted it) on its "Cancel" button.

* I can't permanently remove items from the left sidebar. It looks like Theia is unable to persist some things between runs.

* The IDE notifies me about bad tasks.json config and proposes to open it to fix, but the "Open" button doesn't do anything.

* Open VSX extensions do not update automatically. [1] I have to manually switch their versions to the newer ones.

* Just now I've manually updated Ada & SPARK extension. Not only was I presented with several options with exactly the same version (perhaps each was meant for different CPU arch or operating system?), but after choosing the first one and reloading editor as the IDE asked me to, the extension disappeared completely.

None of these happen with VSCodium, or with VS Code of course.

[1] https://github.com/eclipse-theia/theia/issues/9295


One of the dangers of completely relying on AI is that someone else gets to decide what we can generate with their models.


Just ask Microsoft about Tay. On the one hand, I understand why you want some censoring in your model, on the other, I think it also cripples your models in unexpected ways, I wonder if anyone's done such research, compare two models by the same source training data, one with censoring of offensive things, the other without. Which one provides more accurate answers?


It's disappointing that neither Monika Ścisłowska with Rafał Niedzielski of apnews.com, nor Aleksandra Bogucka of culture.pl - all of them Polish people - bothered at least once to mention how this national dance is called in its mother tongue. So, here it is: polonez.


`polonez` is a deformation from the actual name `polonaise` (cf https://www.reddit.com/r/BoneAppleTea/), it makes sense that they don't mention it since it's obviously not Polish of origin (why would Polish people call it Polish dance ?)

They do mention the original Polish dance chodzony, extensively


Currently it's mostly referred to as "polonez", with that exact spelling. It's one of those loan words that got it's spelling changed in Polish.


And yet, this is exactly how it's been called in Poland for years. [1] Unsurprisingly, you can find "polonez" on gov.pl too. [2]

"a deformation from the actual name" in this context is called a loanword.

Regardless of etymology, an article talking about a national treasure being put on UNESCO list absolutely should mention that, IMO. Can be next to "chodzony". No problem with that. Even better, TBH.

AP didn't write even "chodzony", btw. Only "the «walking dance»".

  [1] https://sjp.pwn.pl/sjp/polonez;2572042.html
  [2] https://www.gov.pl/web/kultura/wpis-poloneza--tradycyjnego-tanca-polskiego-na-liste-reprezentatywna-niematerialnego-dziedzictwa-kulturowego-ludzkosci


Oh wow, like 3 letters difference, pronounced identically in English, glad you cleared that up.


That's not the point, but whatever.


> refinement types / liquid types (don't ask me about the nomenclature)

There's a nice FOSDEM presentation "Understanding liquid types, contracts and formal verification with Ada/SPARK" by Fernando Oleo Blanco (Irvise): https://fosdem.org/2025/schedule/event/fosdem-2025-4879-unde.... One of the slides says:

  Liquid types!
  Logically Qualified Types, aka, Types with Logic! Aka dependent types, etc...


> At successful tech companies, engineering work is valued in proportion to how much money it makes the company (directly or indirectly).

I really wish it were like that, but IMHO it's more of an exception to the rule than the rule. At least this is my experience of being an engineer and a manager.


It's ironic that probably the biggest victims were youtubers and other "influencers" who mindlessly promoted this extension to their viewers, for money of course.


It's actually a trrickle-down system. Smaller youtubers who have never heard of the extension (let alone were approached to advertise) may be hurt the most, because a larger youtuber who took the deal advertised it. e.g. a tech youtuber could be hit a lot if Linus Tech Tips advertise Honey, because they have a strong overlap in subscribers.

It was something a youtuber I was subscribed to was talking about in how he was still seeing his affiliate numbers drop overthe last year or so, and it was actually putting his existing deals in danger. Then as a test after the expose, he asked a few family members who did use his links if they also installed Honey. He definitely never advertised Honey himself.


Hm, you actually may be right. Those, who promoted it, at least got some money back for that promotion. Others lost money without getting anything back from Honey. Damn, that's even worse.


Genuine question I was wondering when this went down - wasn’t this completely unknown at the time? If that’s the case, I feel like I can’t blame those who promoted it. I don’t have all the info though.


LTT found out about the affiliate code changes and dropped Honey as a sponsor. The problem is, when they drop a sponsor it's usually only announced on their forum page. Linus considered making a video for a wider audience but was worried he'd get shit on for bringing up an issue that technically only impacted him.

Remember: before MegaLeg's video the only thing that was known was the affiliate code ripping, and it was only known by a handful of YouTubers warning each other in private.

My personal opinion is that they should have sounded the alarm, even though the only people getting scammed were creators, because it was a broader attack on the whole YouTube ecosystem and not just LTT. Hell, there's even precedent for LTT making self-interested YouTube videos; remember when their Amazon affiliate account got shut down and they had to beg Dread Pirate Bezos to be reinstated? YouTube creators that are pushing people to products and services should be willing and able to completely trash those services if they turn out to be shit - or, at the very least, are being shit to them.


Let's be real, LTT didn't want to bite the hand that feeds him. What future sponsor would sign up if they knew LTT might make an expose about them in future for clicks.

Even something basic like exposing how much these sponsors pay out in commission instead of towards the quality of their products would be hugely negative publicity.


> What future sponsor would sign up if they knew LTT might make an expose about them in future for clicks.

ideally, ones that don't want to secretly sap at his revenue stream.


It’s actually quite amusing as LTT used to have viewers bookmark their Amazon affiliate link in place of Amazon.com. Live by the sword…


> wasn’t this completely unknown at the time

I would have thought was obvious from the beginning that Honey was making some of its money from affiliate programs; affiliate programs are the standard thing that "shopping" extensions use to make money, leaving aside the much shadier things that even more malicious extensions do (see the various articles on the offers extension authors receive).

I'd always assumed the people promoting it made more money from the sponsorship than they lost from lost affiliate links. The recent discussions suggest that's not the case.


If they didn't know how it works, then how could they promote it as an awesome tool and something good? I expect people to have some integrity, not "god money above all" mentality.

You can and IMHO actually should blame them for promoting crap. No sympathies on my part towards promoters of Honey, to be honest. Especially the so called "tech" channels. But this time they've tasted their own medicine.

BTW., here's a very interesting comment about the issue with regards to LTT: https://old.reddit.com/r/LinusTechTips/comments/1hkbtlr/peop... .


The problem is Honey was dishonest about how it works.

Their marketing claimed that Honey automatically applied coupon codes for various online retailers during the checkout phase. Nobody really had a problem with this.

What got found out and landed Honey in hot water, is the affiliate link hijacking behavior which they did not disclose. Basically, any time you follow an affiliate link with Honey installed, it replaces the original affiliate code with their own. Leading to this flow:

1. YouTuber takes Honey Sponsorship and their followers install Honey.

2. YouTuber posts new content, with affiliate links for equipment or parts.

3. YouTuber sees their affiliate links aren't getting near the amount of traffic they used to despite their videos performing just as well as before.


Shops could also pay Honey to use a lower % off code instead of them finding ones and giving that, so maybe there's a 10% code out there but Honey only gives users a 2% one because they got paid by the shop, and tells the user they tried their best. It's a scam in all directions.


I thi k that's the issue though. The YouTubers promoting Honey weren't really telling us what they personally felt about honey, they were telling us what Honey wanted them to say.


I believe there were some rumors that it was happenning, but not too public.

I think I remember seeing a blogpost about Honey extension being a very bad idea from security perspective way before the public outcry and it might had mentioned the attribution(right term?) too.


There is a post on here from a few years ago talking about it. When the scandal broke out people linked it but I can't find it now. We might understand how it works, being tech people, but the vast majority of people most likely have no idea.


It was no secret, but perhaps not well known. I was a bit surprised when I saw all the recent discussion about it blowing up as I was already aware that's how it worked, but maybe it didn't get enough attention until the right people talked about it.


> It makes more sense to develop a "Polish bomb" with several other countries cooperating, and share it with the most threatened countries from Finland down to Romania.

I really hope this will finally happen.


Truly an r/europe moment.


Which means what?


Which means mandatory and misinformed playing down a success of an post-Eastern-Bloc CEE country, especially when being better at something than any of the post-Western-Bloc countries.

In economic subjects, it's most often expressed by comments such as yours here.


Right, you do realize this wasn't the point?

The concern I got with poland isn't oh no untermenschen izt über mein, but instead if Poland becomes a net contributer, will Poland be able to retain it's success or will it still be plagued with systemic undermining of its own democratic order to the point of enabling corruption.

Since I want all European countries to be great, and especially Eastern eu if western eu keeps shooting themselves in the foot.


Yikes! If anything, this one looks even worse.


I know, but we will have to wait and see.


Well, I meant that your comment was even worse than the previous one, in terms of being an r/europe moment. Apparently I was too vague. Sorry for that.


They are the same comment and I fail to see how you can be concerned for a country without being a "moment".



They are going to mess you up, but at least, that was memory safe.

Much better.


Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: