0rzech

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.

That's not the point, but whatever.

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

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.

> 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.

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.

Yikes! If anything, this one looks even worse.

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.

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.

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... .

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 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.

See https://github.com/rust-lang/cargo/issues/13897#issue-228884... and https://github.com/rust-lang/cargo/issues/13897#issuecomment... .

> some town in Germany

The Polish city of Gdańsk, of the then Polish-Lithuanian Commonwealth. He was also born there at the time. [1]

> He defined 0 degrees as the coldest measurement, 100 the hottest measurement.

Nope. It was neither about the temperatures in Gdańsk, nor about the temperature of his wife, btw. ;) [2]

  [1] https://en.wikipedia.org/wiki/Daniel_Gabriel_Fahrenheit
  [2] https://en.wikipedia.org/wiki/Fahrenheit

  * Dual Mode: GAIA comes in two flavors:
    * Hybrid Mode: Optimized for Ryzen AI PCs, combining AMD Neural Processing Unit (NPU) and Integrated Graphics Processing Unit (iGPU) for maximum performance
    * Generic Mode: Compatible with any Windows PC, using Ollama as the backend

https://github.com/amd/gaia/blob/a8b8b6e10b585f58ed1aafcef0d...

> github action dependency with the hash of the specific tag and a human readable tag that dependabot will keep/update in the future [1]

Allowing bots to do that is going to make you vulnerable to such attacks anyway.

[1] https://github.com/brokenpip3/pre-commit-hooks/blob/f01df657...

From security standpoint, automating GitHub action hash updates defeats the purpose of pinning them in the first place.

IMHO, workplace politics can happen and be caused at any level of a company. I think it's a natural thing for some people to do.

Especially at big companies, which kinda resemble small countries. You get "who likes whom", supervisors' pets, weird alliances, power struggles, backstabbing and other toxic stuff.

What management (at any level) is at fault of is failing to actively weed out these behaviours or indeed straight up doing the same thing.

Also, companies often fail to reward silent, but effective and solid people, and instead opt into creating a loud, noisy rockstar culture even if the overall quality suffers. This in turn motivates people to seek other means of being recognized, including workplace politics.

I've seen all of it while being a manager. I hated it with a passion, and fell a victim of it quite a few times myself.

And I agree that people playing workplace politics should either change their behaviour or be let go.

This. Using tags is acceptable only for official GitHub actions, anything else should be pinned.

Some people do actually pin versions, like me. For instance:

  - uses: Swatinem/rust-cache@f0deed1e0edfc6a9be95417288c0e1099b1eeec3 # v2.7.7

or

  - uses: subosito/flutter-action@f2c4f6686ca8e8d6e6d0f28410eeef506ed66aff # v2.18.0

It's a bit more manual work, but lepiej dmuchać na zimne (lit. it is better to blow on something cold), as the Polish proverb says.

> Let's not go there.

I genuinely don't know where's "there".

It is a fact, that NATO Article 5 doesn't guarantee anything regardless of other countries' response to USA triggering it, just as it is a fact, that the Budapest Memorandum was mischaracterized in this thread and that both the Europe and USA did help Ukraine. Should we not go where the facts are?

If you're about that the USA should continue helping Ukraine, then I did not question this point of view at all. Pointing out factual errors is not equal to taking a stance.

That's right. And let's not forget that Europe and USA have been helping directly for a few years now anyway.

It's really disappointing how much misinformation gets reiterated on the Internet with regards to this memorandum, given how short the document is and how easy it is to verify its contents oneself.

PS. NATO's Article 5 is also worth a read. It does not guarantee what is commonly claimed.

Pretty surprised not to see SNAFU [1] on that list. Very comfortable to use, kind of a mix of thiserror [2] and anyhow [3] I think.

[1] https://github.com/shepmaster/snafu

[2] https://github.com/dtolnay/thiserror

[3] https://github.com/dtolnay/anyhow

In the Budapest Memorandum USA promised not to attack Ukraine if it gives back Russian nukes to Russia. They kept the promise.

In the same memorandum Russia promised the same thing. They broke the promise. Repeatedly.

Nonetheless, I agree that more countries should develop their own nukes. Especially the ones like Poland, Baltics and Nordics. Not because it's a good thing to do, but because the world is what it is.

Just for the record, the proper spelling is "gówno". ;)

This is the reason it is recommended in Poland to call it Królewiec, apart from it being under Polish rule for some time too.

I had the same problem, but it turned out to be a missing dependency: my webkit2gtk was 4.0 instead of 4.1. Another one, to my surprise, was xdotool.

Why does a Linux webview app built with Dioxus require it? I'm asking, because software inserting simulated HID inputs to arbitrary windows is not exactly my cup of tea. ;) And xdotool doesn't work on Wayland anyway, by design. Apparently there are similar programs for Wayland, but AFAIK they require the user to belong to the input group, which in turn gives any app run by such user access to /dev/uinput - a security risk.

In general, though, Dioxus looks interesting and I wish you all the best in your endeavour!