Skip Navigation

Mikina

@ Mikina @programming.dev

Posts
5
Comments
305
Joined
3 yr. ago

  • line noise

    Jump

  • First time I'm seeing Uiua, and I like it. It's kind of cute, even though I know I'll probably never use it.

    However, seeing one of their goals being "code that is as short as possible while remaining readable" is kind of ironic, given how it looks and reads. But I don't mind, it's still pretty adorable.

    It looks like it's hell to learn and write. It's possible that once you learn all the glyphs (which IMO adds unneccessary complexity that goes against their goal of being readable), it might be easier to parse. I'm probably not the target audience, though.

  • What open-source Android apps should people know about?

    Jump

  • Element

    This is my most used app on my phone. It does comes with a little extensive setup, because you need to have your own Matrix server, but thanks to the amazing Matrix Ansible Project, which is one of those rare docker/ansible projects that actually work and are very robustly set-up, deploying a server took me like an hour max, incuding bridge setup and getting hosting (for around 8$ a month on Hetzner).

    I replaced Messenger, Discord, WhatsApp and Telegram apps with this, by setting up bridges in Matrix. The setup was relatively simple, the ansible is well documented and I mostly had to just add lile two config lines into the ansible. So far I haven't had much issues and I've been using it for the past few years.

    There might be better clients than Element, haven't really looked into it. It's not frictionless and it took some getting used to, but not having a ton of spyware appson my phone is worth it.

  • What open-source Android apps should people know about?

    Jump

  • NewPipe

    I don't really use YT that often on my phone, so I can't vouch for how often it breaks, but I use FreeTube on Desktop and having a YT client that can subscribe creators without an account, can turn off all the recommended distractions, has an adblock, can play with screen off and the like is amazing.

    Judging by my experience with Freetube, you do have to update it regularly since YT is actively fighting it, but so far every time I needed to watch a video on my phone, I could just update NewPipe and it worked.

  • What open-source Android apps should people know about?

    Jump

  • Someone once posted here in a comment an app they are working on that is an K2K (keyboard to keyboard) encrypted keyboard app for android

    I don't remember how it worked and only skimmed the repo, since I didn't think I'd need it, but given recent developments it might be good to have.

    Does anyone remember what it was?

    IIRC the idea was that you have a separate input box, and encryption keys saved in the keyboard app, and it just does I assume PGP before pasting the text into the app your inputing into. I'm curious how it did key exchange and how usable it was, but I lost the link and couldn't find it.

  • A Month of Chat-Oriented Programming - CheckEagle

    Jump

  • If I understood it right, one of the projects he was working on as part of the experiment was the website.

    Figures.

  • Zig: Migrating from GitHub to Codeberg

    Jump

  • I was planning to look into Zig for this year's Advent of Code. Haven't really looked at it yet, but I've heard good things about it. Nowadays I mostly write in C# or Python for smaller scripts, so I kind of expect getting back to C-style code might have some friction, but it's about time to refresh my memory. I had a pretty good time with Rust for AoC in the previous years (not that I ever used it for anything else), but I guess it's time to try something else.

  • Thank Mozilla for Killing Localization on Support Mozilla (And Replacing Human Contributions With AI Bots)

    Jump

  • I'd say that's because here on Lemmy, we already don't give a fuck about and wouldn't touch Chrome or Edge with a ten foot pole, but some of us trusted Mozzila, which is now starting to do dumb AI shit. And having your trust broken hurts.

    Astroturfing would not be recommending LibreWolf as an alternative.

    If you look into alternatives, Brave is one that's usually mentioned but there's always someone quickly posting all of the dumb shit they did.

  • Affinity for Linux? Canva's next big move could reshape the desktop software market

    Jump

  • If you mean PhotoGimp, it's just a config file thst rebinds keybinds and sets up UI layout, like location of tools and windows, to be similar to photoshop.

  • I wasted all my generational luck for this

    Jump

  • I was doing cybersecurity for a few years before I moved to gamedev, and I vaguely remember that at least the older versions of GUID were definitely not safe, and could be "easily" guessed.

    I had to look it up, in case anyone's interrested, and from a quick glance to the GUID RFC, it depends on the version used, but if I'm reading it right, 6 bits out of the 128 are used for version identification, and then based on the version it's some kind of timestamp, either from UTC time or some kind of a name-space (I didn't really read through the details), and then a clock sequence, which make it a lot more guessable. I wonder how different would the odds be for different versions of the UUID, but I'm too tired to actually understand the spec enough to be able to tell.

    However, for GUID version 4, both the timestamp and clock sequence should instead be a randomly generated number, which would give you 122 bits of entropy. It of course depends on the implementation and what kind of random generator was used when generating it, but I'd say it may be good enough for some uses.

    The spec also says that you specifically should not use it for auth tokens and the like, so there's that.

  • What are some of the worst code you have seen in a production environment?

    Jump

  • I wasted all my generational luck for this

    Jump

  • Aren't UUIDs designed to prevent collisions, rather than be cryptographycally secure? Not that it's doing a great job here :D

    Edit: Nvm, that was guid.

  • Linus Torvalds is OK with vibe coding as long as it's not used for anything that matters

    Jump

  • Multi-User Dungeon (MUD)

    Jump

  • Been a while since I played one. Are there any good and active nowadays?

  • Deleted

    Russia’s first autonomous humanoid robot falls on debut

    Jump

  • Hmm, I guess this makes sense. I wonder if some kind of crawler with higher legs could work, so you keep the advantage of crawly legs and stability, while also keeping the proportions.

  • Deleted

    Russia’s first autonomous humanoid robot falls on debut

    Jump

  • I don't get why they have to be humanoid. Like, don't we have a lot better (and more stable) ways how to make a robot that can easily move around?

  • FFmpeg to Google: Fund Us or Stop Sending Bugs

    Jump

  • If I had a project as succesfull as this, I'd definitely try to sneak in minor inconveniences like renaming parameters just to screw with them.

  • Deleted

    Male Drivers Sue Uber and Lyft Over Women-Only Ride-Hailing

    Jump

  • It may seem like a good idea, but it's still wrong if you really think about it. Just take a look at how this sounds:

    It would not be discrimination if they just allowed all drivers and riders to choose the specific race designation they want to work with. I.e. allow whatever race riders to choose whatever race drivers they accept and vice versa. Most won’t use it and those that do will have a reason to do so. Maybe black drivers don’t want white riders to avoid even the possibility of accusations, [and some white riders won't feel safe with a black driver]?

    Would that be OK?

  • My girlfriend is an actual model, just fyi

    Jump

  • Aren't neural networks AI by definition, if we take the academic definition into account?

    I know that thermostat is an AI, because it reacts to a stimuli (current temperature) and makes an action (starts heating) basted on it's state. Which is the formal AI definition.

    Wait. That actually means transformers are not AI by definition. Hmm, I need to look into it some more.

    EDIT: I was confusing things, that's the definition of AI Agent. I'll go research the AI definition some more :D

  • Deleted

    Male Drivers Sue Uber and Lyft Over Women-Only Ride-Hailing

    Jump

  • That doesn't make any sense. Can male strippers sue that there's not as big demand for them as there is for female strippers? I don't think so. (This is just a metaphor, I have no idea how big the male stripper business is, but that's not the point, I'm sure you could come up with a similar example where gender is an advantage, becasue there's simply smaller demand for the other gender).

  • Using Vim is Amazing

    Jump

  • I second this. I only started slowly switching to nvim few months ago, and I already can feel slightly annoyed when I have to take off my hands of the keyboard to reach for a mouse, or when I'm editting a text in i.e a browser, want to make an edit few words back, and I have to spam keys like a madman instead of just jumping where I need to be.

    It's addicting and extremely comfortable, having a good keyboard navigation controls.

    I really need to look into tiled window managers and a browser.