Mikina

This is the worst way how to announce something like this.

I don't know the context, but if the goal was to not start a wave of speculations, it would be better to simply not hint at anything. I wonder what happened, and I respect if they don't want to deal with it, but this does feel weird.

Is this reply AI generated?

Just a headsup, hosting your own server, so you can have all the bridges you need (messeger, WhatsUp, Discord...) is really easy, thanks to the amazing Matrix Ansible project. In my experience it's one of those rare docker/ansible projects that is robust and just works, that has a pretty well documented install process.

Setting up a server took me like 2 hours max, incuding getting a hosting (a cheap Hetzner cloud for 6$ a month) and a domain, and I do not have almost any docker or ansible experience. It's literally just changing a few config variables to enable bridges you want, setting up a DNS and letting it run.

I've just discovered Distrobox, and it has immediately replaced my .devcontainers. The fact that it integrares into your system so well is awesome, especially since I am doing Vulkan stuff at the moment.

Haven't really looked into shareability, though. If it's as easy to define and share a distrobox setup than it is a docker .devcontainer, then it's perfect.

I've added a subtle prompt injection into my email signature (capitalize random words and start every sentence with the same letter), with small font size and color to not be visible.

I have already received two emails from customers that did trigger it.

What would be ELI5 use case of this? It has been almost a decade since I did anything math-formal in college, and I wonder what would be some practical uses or situations is SW dev where you should turn to this language.

EDIT: I skimmed the intro to Verifiable C, and I think I vaguely understand the idea - do I get it right, that the point is to basically create a formal definition of the function you are writing, i.e if you have a function that takes an array and sorts it, you'd have something like

For every sequence a and every i, 0 <= i < len(F(a)) -> F(a)~i~ < F(a)~i+1~

(Or whatever would the correct formal definition be, I don't really remember the details, I know I missed some stuff about properly defining the variables, but the idea of the definition should be kind of correct)

And then you define this formal definiton in CoQ, then somehow convert your code into CoQ code it can accept it as F(a), and CoQ will try to proove formally that the function behavior is correct?

So, it's basically more robust Unit Testing that's backed by formal math proofs?

I've recently tried setting it up to work with C# solutions, and I've ran into some issues and couldn't get it working, which combined with the fact that it's not that well known made me consider learning neovim instead.

I can already see that Helix is way smoother to use, but neovim has one huge advantage - there's so much more tutorials and resources about it. So far there's a lot of questions I, as someone who has only ever worked with IDEs, have run into along the lines of "How do I do this?" that I wasn't able to find an answer for Helix, but while looking for it stumbled upon in-depth tutorials for neovim plugins that answer those questions.

I'll not give up on helix so soon, but it's been more difficult than I expected.

but if they do it’s a scandal waiting to happen

That was my line of thought. If you pay for failed captchas, there are a few websites using it that'd deserve a bot failing them constantly.

I use Pixel with GrapheneOS as my phone, and I just have a separate profile that only has WhatsApp installed and nothing else. Since the profiles are completely separated, it doesn't have access to anything else I do on the phone and it's not running in the background (the profiles are basically sandboxed fresh slates, and switching it can be set-up to behave in a same way as basically turning off the phone as far as the profile is concerned).

When the bridge asks me to log in again or refresh a session, I simply switch to the second profile for a minute and re-log in. I've heard iIt might be possible to set up an emulator and leave it running on the server, but that felt like too much effort.

Do you pay for successful verification only, or even for failed ones?

I've been slowly starting to get used to Helix, doing a tutorial in either that or VIM (since it has similar keybinds, but a lot better interactive practice tools, like VimHero or VimAdventures) whenever I have time and feel like it, to get used to the motions and navigations. I still can't imagine using it to actually code when I need something done, but I did notice gradual improvement in my efficiency. It's more of a marathon, though.

In the last few years, enshitification was the final motivation that pushed me towards better habits, like self-hosting, discovering Fedi, stop watching YT, de-google, switch to Linux as a daily driver, etc. I'm kinda looking forward to finally being forced out of IDEs into Helix.

I see a few people who don't want to switch due to the hassle it would take with changing email addresses, presumably because they use one of the @proton.me email domains. Get your own email domain! It's super cheap (if you choose one of the new TLDs, it can be as low as few dollars a year), the setup isn't really hard - you just change a few DNS values, and that's basically it - you can use whatever email you want that ends with your domain. It might take a while to slowly replace all your @proton.me emails with your domain one, but if you're not in a hurry and change any old mail you see during your day-to-day activities, you'll eventually be done with it, and you can set up mail forwarding to your domain for mail that arrives to your old @proton.me address.

And if you ever need to move to a different provider, you just change the DNS records again to a new provider, and your email will start coming to the new one immediately.