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 think I know who killed him.

By 11, he was programming on his own—a skill he used to playfully torment his friends. One remembers Balaji’s idea of a middle-school prank: writing code that deleted a friend’s Skyrim save file.

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.

Some context from the repo readme, since it is a pretty click-baity title that’s taken out of context.

BallotProof takes in input images of the front and back sides of your ballot and uses [client-side] image analysis to specifically determine which errors can prevent your critical vote from being counted.

ALL BALLOT IMAGES ARE AUTOGENERATED BY A COMPUTER FROM A SINGULAR SAMPLE BALLOT. THESE BALLOTS DO NOT EXIST PHYSICALLY AND ARE NOT INTENDED TO BE SUBMITTED AT A POLLING LOCATION OR BE SENT IN THE MAIL.

The generation script (generate.py) enables the generation of semi-randomized ballots that fit certain satisfiability criteria. We use these sample ballots as tests for model functionality.

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.

It shouldn’t be hard to modify. I haven’t looked into it, but I assume that it looks for ID/class of HTML elements, so if you replace .post-listing with a class you find by using RightClick - Inspect on the feed/post listing in your UI, it should work.

Here is what you are looking for, I found it by Right Clicking the post listing, and clicking on Inspect.

So, for example, if I wanted to filter comments, the rule would be (the . is there because it’s a class, I assume?) programming.dev##.comment-content:has-text(Musk)

I haven’t tested it, but from my vague CSS knowledge, it could work like that.

Thank you, I’ve found the post in YSK, and eventually used this filter instead:

programming.dev##article.row:has-text(/Trump|Elon|Musk/i)

With the post-listing, if I opened an article by a link, it would also hide the post text - which has funnily enough happened when I opened the YSK post, and by that point I’m kind of interested in what it has to say. By using the rule above, it only seems to hide it from the feed. I haven’t tested how robust it is, just posting it here in case someone else is interested.

Mind sharing how you do it? I’d love to do this in regards to US politics, and especially AI, since most of the AI post frustrate me with how much bullshit it is.

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.

What would be a good alternative? I refuse to support this. Thankfully, I have my own domain, so anything where I can use it would be great, and moving shouldn’t be that hard. Bonus points if I can use wildcards, or at least have a few emails, like spam@mydomain and other.

Oh, and it has to support “+” emails, such as [email protected]

Isn’t the OpenAI one they offer the same one as the one provided at https://chatgpt.com/ without login? So probably something not as impactful.

Or do they share their unlimited subscription?

Ooh, that’s actually a good idea, just installing it on a separate removable drive, copying it over and seeing what works. Thanks!