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.

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?

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!

If you want a headstart, I’d recommend looking into other kinds of languages, such as lisp, assembly, smalltalk and prolog. You will probably have classes on those in college (at least I did have mandatory ones), and it can take a while to wrap your head over such different programming styles.

And it also helps wonders to make you into a versatile programmer - since you would be vaguely familar with most of the different styles of languages there are, picking up a any new language will be a lot faster, since it will probably be similar to one of the above mentioned.

I mostly wonder whether I would be able to just copy and paste /home from Nobara to Bazzite, and apps like steam or lutris/wine games would keep working, or if it’s more complex than that.

That’s only for the 200$ one, and if you use it constantly, no?

lol, I love it. I’m thinking about paying for DeepSeek even though I hate AI bullshit, just to spite all the panicking AI tech scammers. This has seriously made my week, the amount of copium they are inhaling is insanely funny :D

I’m planning to do that, I’ve been running Nobara for the past year, but I don’t have /home on separate partition and Idon’t want to bother with moving data, so I’m postponing it. What are the advantages, are is there something I should watch out for before switching?

I bought a Legion Go last week, and so far I’m really happy with it. The first thing I did was delete Windows and install Bazzite, and from that moment everything was smooth. The larger size is nice, and so far I had no issues running games pretty comfortably.

Yeah, that’s my experience as well. In addition to being lazy with updating, so if some kind of supply chain attack happens, I usually sorts itself out before I get to updating :D

But I did limit my browser extensions, after I a cause with Nano Defender taught me a lesson - it was a mildly popular anit-anti-adblock killer that worked where other adblocks were detected, but the developer sold the extension to a company that turned it into a info-stealer malware and pushed an update through chrome store, which got accepted and propagated, and some of my social network sessions got compromised. So, I just stick to more popular projects where something like this shouldn’t happen, and don’t use random extensions.

Yeah, that part about WhatsApp is annoying. I just have a spearate profile on Graphene that has only WhatsApp installed, and whenever it wants me to refresh a session I just switch to the profile and log in.

There is, but it requires you to log into the app every two weeks to maintain a session. You can setup a emulator to do it for you. I just have a separate profile on my Graphene with Only WhatsApp that I switch to and login whenever I get a warning.

I’ve been using it for almost a year by now, and so far I didn’t have any problems. I’ve not considered that problem though, so it might be happening and I was just lucky.

WhenI was setting it up, it took me only like two hours tops. The ansible project is well documented, has a clear setup guide, and the process is really just getting server with ssh access, changing DNS, changing around 5 values in the ansible config and running it.

As far as I know the Discord bridge has some limitations, the major one being that IIRC it doesn’t atually support calls. But just for chatting across servers it has worked well for me.

There’s also the fact that you have to either trust the project with your password (as in, the the bridfe adds a matrix bot that runs on your server, but needs your pssword), since I think it uses the web version in the background (but then you can also use it for DMs and any server), or set up a bot on the discord server you want to bridge, which obviously cant be done if you’re not an admin. It’s a foss project, but there’s always a small risk of it gping rogue.