Skip Navigation
Should I choose Ada, SPARK, or Rust over C/C++?
  • While it's great to have the ability to write proofs, I feel like the article makes it sound like it's some magic bullet that solves all the problems you have with mistakes and bugs in other languages. But really, there's nothing forcing you to even write said proofs, or define them properly, or turn spark mode on... so you can still make very large mistakes IMO that won't be caught by the compiler.

  • Any e2ee app for group chat with a web interface?
  • you don't have to load the code every time, you can save it and run locally, this is exactly what the Element desktop app does, it's just an electron loader for a local copy of the website, and you can choose to update it whenever you want

  • First hand experience with TSA biometric collection in airport
  • Japan has been requiring fingerprints AND photographs for all incoming visitors for the better part of two decades now.

    If a foreign national who is required to be fingerprinted and photographed refuses to comply with this requirement, he/she will be denied entry to Japan.

    https://www.mm.emb-japan.go.jp/profile/PDF file/newime.pdf

  • Tor and Tails Merge to Fight Global Surveillance and Censorship
  • Open Technology Fund

    Which is funded by US Congress, and they also funded Signal.

    For those do not wish to use privacy-related projects funded by a world government, what is a good (in your opinion) alternative? Both with and without Tor involvement (since US govt funded that too).

    Yes I realize encryption, computers and the internet are all also govt-funded, but everyone is free to pick their battles.

  • Creator Of PS1 Emulator DuckStation Threatens To "Shut The Whole Thing Down" Following License Change
  • for some reason a lot of emudevs are very hostile to the whole idea of forking. mame also famously hates retroarch for it, as well as inolen from redream and skmp from reicast/nullcast, probably more.

    this isn't even the first project that an emudev has directly relicensed or even shut down their entire emulator for over a retroarch fork, which is usually done in the first place due to maintenance problems with the original emudev.

    as others have said, the whole scene just seems to attract the kind of genius that too often steps over that fine line. out of the probably couple dozen emudevs I know, the vast majority have explicitly stated themselves that they suffer from severe mental health issues.

  • ICPP – Running C++ in anywhere like a script
    github.com GitHub - vpand/icpp: Running C++ in anywhere like a script.

    Running C++ in anywhere like a script. Contribute to vpand/icpp development by creating an account on GitHub.

    GitHub - vpand/icpp: Running C++ in anywhere like a script.

    Interpreting C++, executing the source and executable like a script.

    • Writing powerful script using C++ just as easy as Python;
    • Writing hot-loading C++ script code in running process;
    • Based on Unicorn Engine qemu virtual cpu and Clang/LLVM C++ compiler;
    • Integrated internally with Standard C++23 and Boost libraries;
    • To reuse the existing C/C++ library as an icpp module extension is extremely simple.

    There is also a Qt helper module: https://github.com/vpand/icpp-qt

    3
    403 on API endpoints

    Tried to use several different API endpoints as described in the link, but they all return 403 with a cloudflare "Just a moment..." html reply. Even tried copying an existing jwt token from a working logged-in browser but the same thing still happens.

    Any idea what I could be doing wrong?

    curl -v --request POST \ --url https://programming.dev/api/v3/user/login \ --header 'accept: application/json' \ --header 'content-type: application/json' \ --data '{"username_or_email": "redacted", "password": "redacted"}' ... < HTTP/2 403 ...

    <!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title> ...

    6
    Some comments not appearing?

    I am noticing that some comments, which are coming from users on other verified (via /instances) federated instances, do not show up on a post. For example: https://programming.dev/post/13648105

    Does not show this comment on it: https://lemmy.ml/comment/10803786

    Any ideas why? I checked the modlog and the comment wasn't removed, and their post history to me does not look like someone that is likely to be banned from the instance, so I'm not sure what else it could be.

    7
    Lemmy Support @lemmy.ml refalo @programming.dev
    Is there a way to view the frontpage of another server, or get an RSS feed of another server's single community?

    My lemmy account is on the programming.dev instance but I use newsboat for RSS reading of some lemmy.ml communities, along with browsing the local homepage of lemmy.ml and some other instances in a regular browser. Is there a way to do either of these things from the programming.dev instance so that I can easily comment on posts without having to manually locate the same post by browsing to /c/foo@lemmy.ml on my own instance?

    12
    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/)RE
    refalo @programming.dev
    Posts 4
    Comments 1.5K