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?
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 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.
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.
Hold conferences when there is more critical work to be done.
Insist on doing everything through ‘channels.’ Never permit short-cuts to be taken in order to expedite decisions.
“Make ‘speeches.’ Talk as frequently as possible and at great length. Illustrate your ‘points’ by long anecdotes and accounts of personal experiences. Never hesitate to make a few appropriate ‘patriotic’ comments.”
That reminds me of something. Standup, Kaban, Retrospective! It's Agile!
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.
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 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.