Skip Navigation

User banner

demesisx

@ demesisx @infosec.pub

Posts
5
Comments
403
Joined
3 yr. ago

Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, "move fast and break things" approaches

AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

  • Deleted

    Permanently Deleted

    Jump

  • These are fucking hilarious. Keep em coming!

  • Deleted

    Permanently Deleted

    Jump

  • Let us know when it is. I won’t help test it nor tell anyone about it until it is.

  • Deleted

    Permanently Deleted

    Jump

  • Is it free and open source?

  • Removed

    The Rise of Digital Currencies: What It Means for Traditional Banking

    Jump

  • No problem. Thanks for being intellectually honest! I’ll file down the claws in my previous reply. :)

  • Removed

    The Rise of Digital Currencies: What It Means for Traditional Banking

    Jump

  • Thats actually 100% false.

    DJED seems to have escaped your notice. It has been humming along without incident for a full year now.

    DJED is the first formally verified stablecoin protocol. The use of formal methods in the programming process has greatly contributed to the design and stability properties of Djed. Using formal techniques, the properties are proven by mathematical theorems: *Peg upper and lower bound maintenance: the price will not go above or beyond the set price. In the normal reserve ratio range, purchases and sales are not restricted, and users have no incentive to trade stablecoins outside the peg range in a secondary market. *Peg robustness during market crashes: up to a set limit that depends on the reserve ratio, the peg is maintained even when the price of the base coin falls sharply. *No insolvency: no bank is involved, so there is no bank contract to go bankrupt. *No bank runs: all users are treated fairly and paid accordingly, so there is provably no incentive for users to race to redeem their stablecoins. *Monotonically increasing equity per reserve coin: under some conditions, the reserve surplus per reserve coin is guaranteed to increase as users interact with the contract. Under these conditions, reserve coin holders are guaranteed to profit. *No reserve draining: under some conditions, it is impossible for a malicious user to execute a sequence of actions that would steal reserves from the bank. *Bounded dilution: there is a limit to how many reserve coin holders and their profit can be diluted due to the issuance of more reserve coins.

  • Removed

    The Rise of Digital Currencies: What It Means for Traditional Banking

    Jump

  • Algorithmic stablecoins that are actually unhackable (all possible endpoints have been formally verified) exist too. They offer the best of both worlds. I’d like to see something like that on Monero’s successor (whatever that is).

    edit: I was thinking that successor would be Midnight...but Midnight is closed source, which is a dealbreaker for me...especially with cryptocurrencies. Perhaps ZCash?

  • What is something that people think is scary, but isn't?

    Jump

  • I should mention that only South Korea and Canada have TRUE Single Payer (which is, IMO, what the US should be working toward).

    Any other type of “universal healthcare” has the effect of creating a premium lane alongside the regular one. However, if all of society has to use the same healthcare system, they will have no choice but to collectively fight tooth and nail to improve healthcare for everyone. This is the only way, IMO.

    In a truly just society, the homeless man sleeping on the bench would have the same healthcare as Jeffrey motherfucking Bezos.

  • So this whole vigilante murder thing...

    Jump

  • How Does LibreOffice Compare to OpenOffice?

    Jump

  • Electron: 🤮

  • Locked

    People who always respond to texts quickly usually display these 8 behaviors, says psychology

    Jump

  • What a stupid article.

  • Deleted

    How mouse-less can you make Linux?

    Jump

  • I’d go Hyprland if you’re looking for something similar to Xmonad for Wayland. It isn’t formally verified like Xmonad is, though.

  • Deleted

    How mouse-less can you make Linux?

    Jump

  • They’re working on Waymonad as we speak.

    If OP didn’t notice, the config I linked also has a Hyprland option. Personally, I’m sticking to Xmonad until Waymonad is ready. Nothing comes close.

    ps. I decided to start a sister community to my XMonad one for Waymonad. I will try to post updates there whenever possible.

  • Deleted

    How mouse-less can you make Linux?

    Jump

  • XMonad would make that exceptionally easy. If you want to try it, I’d recommend doing it on NixOS and just forking a working config that uses a tiling window manager. This is a great config that I used as the foundation for my own: https://github.com/gvolpe/nix-config

  • What is something that people think is scary, but isn't?

    Jump

  • Math, Haskell, and software engineering in general.

  • Backdoor slips into popular code library, drains ~$155k from digital wallets

    Jump

  • Solana! 😂😂

  • Deploying Containers on NixOS

    Jump

  • I'd definitely use it (and I do) for deploying remote software and for the use cases you mentioned. Still, we can all agree that, in the context of Nixos, native derivations are superior and almost always preferred. I am currently using a flatpak of zen-browser until the derivations can get added to nixpkgs. But that's just a temporary patch that I will remove soon. I have also seen containers outperform Nix in software that strictly enforces the FHS style and doesn't play nicely in the immutable world.

  • How valid is the claim that people coming or going to blue sky/mastodon/X/Truth Social will cause echo chambers to increase? is it bad?

    Jump

  • You can barely detect your own biases! Have a great day. Continue with the fascist bullshit pretending you are ordained from some higher power.

    Fascism is a far-right, authoritarian, and ultranationalist political ideology and movement, characterized by a dictatorial leader, centralized autocracy, militarism, forcible suppression of opposition, belief in a natural social hierarchy, subordination of individual interests for the perceived good of the nation or race, and strong regimentation of society and the economy.

  • Deploying Containers on NixOS

    Jump

  • See, now THIS is even more useful.

  • Deploying Containers on NixOS

    Jump

  • I know. I pasted this from Reddit. We have like 0 articles here. In fact, if you're doing it this way, you are doing it wrong.