

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 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 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.
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?
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.
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
If there’s anyone here who works at Meta, I’ve heard they have an internal system to report and escalate such cases of unreasonable bans.
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.
https://github.com/spantaleev/matrix-docker-ansible-deploy
Its pretty well documented and easy to follow, it took me only like an hour to setup.
I’m hodsting my own Matrix server with WhatsApp, Telegram, Discord (you don’t need a bot for that, you can just share your login with the bridge) and Messenger bridge. I have all my IMs in one app, don’t have to install spyware on my phone, and I can make bots that troll annoying people that message me on any platform.
Hosting it was super simple, thanks to the Ansible project that’s extremely robust and well done, I literally just got a hosting, domain amd changed like 5 config values to enable the bridges I wanted, gave it an IP and ssh key, and ran it. And if I need to update, I literally “just update” (it’s all wrapped up into “just” tool), and it eve handles cases where I didn’t update for a while, failing graciously and telling me what I need to do maually, usually just rename some config values.
I wholly recommend it. You probably wont convince your friends to switch from <insert app here>, and this is the best compromise.
I’m using a small instance on Hetzner, for 6$ a month. You could in theory get a free oracle cloud instance for it, but I didn’t manage to get one.
And you can easily share it with anyone interrested, make them an account, so they can also consolidate their DMs. I’m sharing it with a few friends and colleagues.
I’ve seen this warning in a lot of apps, like Teams, Messenger or some authenticators, and some of the time I could simply ignore it and continue using the app. I think some of apps simply use it for push notifications that I can get by without.
Not all, though. Sometimes it simply doesn’t work.
I usually just look into the docs, for most of the more basic things, search engine will find you the related function, and the docs usually have usage examples.
Also, learning to work with and read a documentation will be one of the best skills you can acquire as a programmer. I was so glad I was used to docs, because when I started to work with libraries that are under NDA (porting games on consoles, most prominently PS5), where the only resource you have are docs and internal forums without any kind of tutorials, being able to figure out what you need from docs is really nice skill to have.
I have tried using AI for non NDA programming questions, and usually I’ve ran into an issue that it simply just halucinates even on basic questions. For example, I was trying to figure out how to prevent Quest from sleeping, so we can run long-running automated tests, and all of the solutions were adb parameters that do not exist. Unless it’s something super basic, AI will probably just send to you the wrong direction.
I tried it like a year ago, maybe more, and it wasn’t ready for that. The battery life was awfull (which was a SW issue of the OS not being able to stand-by properly), and accepting calls wasn’t really reliable. It’s more of a gimmick and great as a side-phone, but I wouldn’t use it as a daily driver.
But the situation might’ve changed.
I can do that and more on my Pinephone running Kali Nethunter. While it’s mostly a gimmick with awfull battery life, I’ve already used it a few times mostly in regards to wifi pentesting for my cyber-sec job, i.e when going to lunch onsite and you notice a new wifi AP you didn’t see when inside the office you’re working on.
And since it has an USB-C, I can simply plug in a dock with two USB-As, Ethernet, PD and HDMI, to turn it into a full-fledged Kali desktop.
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
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?