Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)TO
Posts
5
Comments
1,342
Joined
5 yr. ago

  • Underrated language for this space: ATS from the ML family, which has a feeling of what if C met SML/OCaml then graduated.

    You get more flexibility for memory safety with linear types over affine types like Rust for preventing double free or use after free-like errors (while be general for any use-X-times problems). Refinement types can enforce bounds. Dependent types + viewtypes can build complex, but zero-cost abstraction for your own code or as wrappers over C libraries to make them safe & pushing checks to the compile phase rather than runtme. On top of that, there are proof-level types/values you can interleave in your code instead of using an auxiliary language like Coq or Agda. Compiling/mapping to C you use a lot of the same tooling of C as well as performance charactistic of C (can opt in/out of GC, unboxed types, can layout the memory, as well as TCO); you also get the stable C ABI over Rust’s general difficult to be used in non-Rust projects.

    All this to say you have a language that can operate at the system level, type abstractions that go beyond posterchild Haskell, & a proof language to turn those white papers into proof code right in the project. If it didn’t have a special learning curve, it should be a lot more popular in this space.

  • You can’t just “open an issue” if you don’t have a Microsoft GitHub account or live in a region under US sanctions or censorship where you can’t get access to it. These are pillars of sand to build your community on that not only lack freedom for users, but access too & control for your own content + moderation.

    Gateways don’t need to be the only answer too—even just mentioning an unofficial space lets those that don’t want their data harvest can hang out together under the same topic but away from those service (even if most of the chat log is public, unencrypted anyhow).

    Developers of all folks should know better & know the issues caused by proprietary services. They should not plan for where users are now but where they want things no be in the future but there’s a myopic view of this is where the users are. They don’t even give folks a place to air grievances like you are suggesting.

  • Contact how? When you cut yourself off from the FOSS com options to build FOSS projects, you are unwelcoming to those actually using the tools whose philosophy match your project—just not your communications for some reason. There isn’t a listed email address or a gateway or bridged room.

    The few teeny, tiny projects I have, I welcome emails & XMPP chat for anyone that wishes to collaborate which doesn’t require anyone to create an account on any particular service.

    Choosing proprietary tools and services for your free software project ultimately sends a message to downstream developers and users of your project that freedom of all users—developers included—is not a priority.

    —Matt Lee, https://www.linuxjournal.com/content/opinion-github-vs-gitlab

    For those still not getting it, it is as wild as saying you need to have a Facebook account to communicate to a project as these services are all on the same level of propriety & lacking in privacy.

  • Elinks for can do basic CSS & JS. I wish there were better support for like 256 or 16 color modes for CSS to better support TUIs. The reading UX is generally pretty good, but stuff like syntax highlighting really helps. …That is if website makers did their job correctly & treated JavaScript as an enhancement. The bigger issue is even in the case of limited JS support like Netsurf, most developers aren’t going to be writing ES3 or ES5-compatible code which is about all most of these systems can support which means the JS will be broken anyhow without keeping their engines up to date.

  • If we are getting in the weeds here, the might be a more appropriate article since the most valuable is often no longer indefinite. In an AAVE context & using article ‘a/an’, I would assume “you a MVP” omitting the copula, not conjugating it like “you are a MVP”. The current expression feels uncanny.

  • If the day comes where I don’t have a choice, I will start carrying a second device with nothing but banking & similar nonsense that prevents my freedom to do what I want with the device I own. OP knows the website experience matter since it not only gets ported to platforms outside the mobile monopoly but sandboxes the banks for spying on your device & asking questions that aren’t their business like if I run an unGoogled ROM. Good thing there was a mass of pushback against Google trying to add attestestion to Chromium ore we’d enjoy the same nonsense on the web too where I’m sure Linux would be block by these goobers.

  • Website here is awful. Paste is disabled, it’s not optimized for mobile, it’s a PitA to use, & there is literally code to check if the user is running Netscape Navigator 4. The site has a weird encoding that doesn’t allow English punctuation, & to change your email or phone number requires physical documents, ID, & a wait period. The app is poorly coded & doesn’t work if you have root, are running a custom ROM, (& likely if you don’t have Google services)—so I do just use the site. …But if we are being real, I actually always keep cash on me & cash is preferred so while the problem is still relevant, needing the app/site isn’t dire.

    What is really missing for my country on the site is QR code scanning for bank-to-bank transfers that a lot of vendors use & to do some bill payment. For instance, while I could set up the electric bill to auto-debit, my internet bill only has QR scan without a physical bank number I could transfer to (& the short list of utilities doesn’t include my net)—so I take a 25-minute bike ride in the heat once a month to pay that bill but I reward myself by getting to swing by the nearby-ish Hong Kong pie bakery to get a treat & a latte to make out-of-the-way trip feel worth it.

    When I do have to use the site & since there is no QR code scanning, the workflow is:

    • Login (I have a script to block their paste-blocker to use my password manager)
    • Create a new recipient which requires a unique name, the account number + their banking service provider, phone or email, and 12-digit SMS 2FA code (no TOTP or FIDO2 option); this process is done on a desktop-only site which is hard to work with
    • Confirm that with email
    • Go to transfers, select my from account (despite me only having one account & no default preference option), find that user I created, fill in an amount, do another 12-digit 2FA
    • Then they want to take a picture of my phone after the transfer for whatever reason reason

    This process due to bad UX can take up to 10 minutes if they are not ready. So the tl;dr is to carry cash or hope an ATM is nearby.

    I had discussed it with a local & he said there has been more push towards cashless brought on by businesses/government wanting to track everything & tourists demanding their privacy-invasive ‘comforts’ like $BIG_TECH_PAY & $CREDIT_CARD options despite most folks being fine with cash. Cryptocurrency is basically never accepted either.