Skip Navigation

Mikina

@ Mikina @programming.dev

Posts
5
Comments
306
Joined
3 yr. ago

  • theFutureOfCommunication

    Jump

  • 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 are some good resources to learn to write very reliable/formally verifiable software?

    Jump

  • 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?

  • An OpenAI whistleblower was found dead in his apartment. Now his mother wants answers

    Jump

  • 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.

  • Microsoft hates freedom

    Jump

  • 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.

  • What is a service you host you never knew you needed?

    Jump

  • 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.

  • Artifical ballot generation script by DOGE Engineer Ethan Shaotran

    Jump

  • 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.

  • Microsoft hates freedom

    Jump

  • 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.

  • Microsoft Probing If DeepSeek-Linked Group Improperly Obtained OpenAI Data

    Jump

  • 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?

  • How to become a competent coder? - I was advised to cross post here.

    Jump

  • 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.

  • Microsoft Probing If DeepSeek-Linked Group Improperly Obtained OpenAI Data

    Jump

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

  • Microsoft Probing If DeepSeek-Linked Group Improperly Obtained OpenAI Data

    Jump

  • 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

  • What is a service you host you never knew you needed?

    Jump

  • 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.

  • What is a service you host you never knew you needed?

    Jump

  • 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.

  • What is a service you host you never knew you needed?

    Jump

  • 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.

  • What is a service you host you never knew you needed?

    Jump

  • 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.

  • What is a service you host you never knew you needed?

    Jump

  • 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.

  • What is a service you host you never knew you needed?

    Jump

  • 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.

  • What is a service you host you never knew you needed?

    Jump

  • What is a service you host you never knew you needed?

    Jump

  • 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.