Damus
Raito Bezarius profile picture
Raito Bezarius
@Raito Bezarius

#Lix developer, #NixOS developer, #Lean theorem prover user.

My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politics.

Alternatively, I enjoy Japanese animation and culture.

My DMs are open for anything and everything.

Relays (1)
  • wss://relay.ditto.pub – read & write

Recent Notes

hexa- · 17w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq0smdhqjvt80rt7g3mgqvwhvxs4qh8few5pyfgs6wcxap7w4vrl3stq6msw I have not yet found an alternative to just doing it. nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq9amud7rggjx0u77wqqa84x537x7g5nws9pqdgu5qadgypfreyv2s77dmr0
note1ksfnc...
Raito Bezarius profile picture
@nprofile1q... perhaps a hot take would be to acknowledge why this attestation thing is attractive and understand why it is useful and invite stakeholders to encourage the emergence of an European ecosystem for this, I don't think it's realistic to expect the average consumer not to need this; instead, we should rebuild attestation as a public benefit service tied to our legal systems for easy recourses
Matt Palmer · 25w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq0smdhqjvt80rt7g3mgqvwhvxs4qh8few5pyfgs6wcxap7w4vrl3stq6msw I see no value in maintaining solidarity with corporations, nor with those who willing...
Raito Bezarius profile picture
@nprofile1q... Sure. That is why your behavior is impossible to understand here. Do you understand that the people you think are working for a nefarious corporation are volunteer — sometimes over-worked — contributor to open source projects that many people use?

You do not have to believe my words for it. If long term Debian maintainers are saying the same thing (https://blog.bofh.it/debian/id_473), are you saying they are also representing the nefarious corporation sides?
Cassandrich · 25w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqqm3r30r7hfrfd7q7d9aj62vutk522hkhvzvfh0npr242kyqlw8eq9un8vl nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgg4mrjnl0hc3mewc3rdracj7t707ph2...
Raito Bezarius profile picture
@nprofile1q... @nprofile1q... @nprofile1q... @nprofile1q... Who is helped by creating "us vs. them" when the people you are shitting on are fellow FLOSS contributors? Is it possible to consider offering more sympathy and empathy to other contributors even if you disagree with them on many things as they offer you a similar courtesy by trying to engage with musl and support it? Should we return to a world where we fail basic solidarity?
1
Matt Palmer · 25w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq0smdhqjvt80rt7g3mgqvwhvxs4qh8few5pyfgs6wcxap7w4vrl3stq6msw I see no value in maintaining solidarity with corporations, nor with those who willingly do their bidding.
Alba 🌸 :v_pat: · 26w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq0smdhqjvt80rt7g3mgqvwhvxs4qh8few5pyfgs6wcxap7w4vrl3stq6msw yeah it's a genuine question, maybe the answer is zero