GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Raito Bezarius (raito@nixos.paris)

  1. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Sunday, 16-Feb-2025 03:09:22 JST Raito Bezarius Raito Bezarius
    in reply to
    • Haelwenn /элвэн/ :triskell:
    • Dave Anderson
    • Erin 💽✨

    @lanodan @erincandescent @danderson i have plenty of those

    "create an ssh tunnel once online"
    "swap the http proxy settings once connected to VPN X which has a route to Y"

    and currently they use a bunch of wait-for-online stuff that is not really nice and too many busy loops

    In conversation about 3 months ago from gnusocial.jp permalink
  2. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Sunday, 16-Feb-2025 02:50:20 JST Raito Bezarius Raito Bezarius
    • Dave Anderson

    @danderson i'd kinda kill for something like systemd directives that does pass the socket

    "StopWhenUnroutableTo=0.0.0.0/0"
    "StartWhenRoutableTo=0.0.0.0/0"

    etc.

    but unsure where is the right design and what direction should we go

    In conversation about 3 months ago from nixos.paris permalink
  3. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Saturday, 15-Feb-2025 06:22:48 JST Raito Bezarius Raito Bezarius
    in reply to
    • Dave Anderson
    • anna

    @navi @danderson well, in practice, posix compliance is often shoved in the throat as a reaction which prevent other people to depart from posix compliance to explore other APIs?

    it's not meant as a snark that posix is an absolute bad thing but i concur with the end of your message, people do take it as an absolute and this is what is bad

    In conversation about 3 months ago from gnusocial.jp permalink
  4. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Saturday, 15-Feb-2025 06:22:45 JST Raito Bezarius Raito Bezarius
    in reply to
    • Dave Anderson
    • anna

    @navi @danderson i feel like we are talking about something else now

    things like the Android model are such a departure of the posix model that it seems quite unplausible that we will get there while pushing around the posix model to get there

    what realistic and useful value do we have to keep the posix model as a beacon?

    In conversation about 3 months ago from gnusocial.jp permalink
  5. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 22-Jan-2025 03:39:03 JST Raito Bezarius Raito Bezarius
    in reply to
    • Solène :flan_hacker:

    @solene do you have a pointer or some contact?

    In conversation about 4 months ago from gnusocial.jp permalink
  6. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 22-Jan-2025 03:31:30 JST Raito Bezarius Raito Bezarius
    in reply to
    • Solène :flan_hacker:

    @solene on QubesOS matter, would you happen to know if there was already attempts to run QubesOS pieces on a NixOS-based system (not NixOS as a guest VM)?

    In conversation about 4 months ago from gnusocial.jp permalink
  7. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Saturday, 23-Nov-2024 05:09:33 JST Raito Bezarius Raito Bezarius
    • Ludovic Courtès

    @civodul end to end integration tests, e.g. nixos tests plays a major role as well

    In conversation about 6 months ago from nixos.paris permalink
  8. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Sunday, 14-Apr-2024 03:40:06 JST Raito Bezarius Raito Bezarius
    • Thomas Depierre
    • Eleanor Saitta
    • ✧✦Catherine✦✧

    @dymaxion @whitequark @Di4na I mean, I am aware of the ongoing legislation efforts towards making sense out of the computer ecosystem when it comes to liability question.

    But I think it's pretty unrealistic to expect this to be figured out without at least multiple phases.

    If some legal ecosystem decide to punish OSS maintainers, this is just going to affect the performance of that legal ecosystem at this point.

    So I doubt that a stupid law would stay for too long, except in the US?

    In conversation about a year ago from nixos.paris permalink

    Attachments


  9. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Sunday, 31-Mar-2024 04:54:41 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker
    • Alan Coopersmith

    @alanc @dalias I'd imagine it'd be reasonable to modulo those generated files like the version / hash rev or would you believe more sophisticated executable generated file would be present?

    In conversation about a year ago from nixos.paris permalink
  10. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 06-Mar-2024 23:41:29 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker

    @dalias I honestly cannot comprehend, this seems to have nothing to do with the tightly coupling that we are talking about? I don't see how two software avoids talking to each other if they have to. Are you thinking of having the kernel or other primitive intervening here? If you want predictability, it's probably necessary to frame it in terms of static or dynamic description of the system, no?

    In conversation about a year ago from nixos.paris permalink
  11. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 06-Mar-2024 23:41:26 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker

    @dalias I feel like this is a difference in wording, no? Or framing?

    Are you saying that two programs interacting via a pipe is a forbidden construction? Or is it an argument about how everything should enable you to control what you put in-between the pipes?

    In conversation about a year ago from nixos.paris permalink
  12. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 06-Mar-2024 23:41:22 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker

    @dalias Yes, as it is that portals over D-Bus are kind of "A|B" in my opinion and distro shell scripts to make useful things out of non-systemd init looks like the popen coupling sometimes, but that's my opinion.

    Maybe that non coupling design is not coupling, but it can become in integration because of the lack of various things. Conversely, the tightly coupling dbus is just a bus and you could reproduce A|B with APIs, no?

    In conversation about a year ago from nixos.paris permalink
  13. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 06-Mar-2024 23:40:30 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker

    @dalias Still have difficulties to grasp. I can actually disable all dbus activation if I want on my system. Or have mathematical guarantees on such stuff. What is preventing your system integration to do so?

    In conversation about a year ago from nixos.paris permalink
  14. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 06-Mar-2024 23:40:27 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker

    @dalias OK, that's fair. Nonetheless, I must point out that both philosophies have produced different results, whether you find that user hostile seems to depend on your definition of user (for example, you but not me). You talked about "imposition of policy" in another thread, I must say that conversely this sort of final opinion is also for me the consequences of "imposition of policy" unilaterally by like-minded thinkers.

    So in the end, I find these arguments hard to accept as criticism.

    In conversation about a year ago from nixos.paris permalink

    Attachments


  15. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 06-Mar-2024 23:38:16 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker

    @dalias I maintain a distribution that probably exercises more code of systemd than any other distribution out there, it's not beautiful, there's a lot of issues but what I don't really understand after dealing with the alternatives is that other people seemingly *not involved* into working with the object of interest doing weird over-intellectualization of system design to discuss abstract problems related to that ecosystem.

    In conversation about a year ago from nixos.paris permalink
  16. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 06-Mar-2024 23:38:14 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker

    @dalias What I find fascinating is that the discussion always goes like this and I am still unable to find a satisfying understanding of that behavior beyond different tastes and colors and a strange feeling of reading FUD (about user hostile behavior).

    But I would be glad to understand that I am completely wrong and missing the point and actually the problem is **concretely** X, Y, Z.

    In conversation about a year ago from nixos.paris permalink
  17. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 06-Mar-2024 23:38:11 JST Raito Bezarius Raito Bezarius
    in reply to
    • Rich Felker

    @dalias Fair enough, be it related to dbus or tight coupling, I am afraid I am still unable to grasp what point you are articulating *concretely* with that. I see mostly theoretical concern, not grounded in modern and actual blockers you might have encountered because I still cannot derive a concrete instantiation of what you are saying, applicable to objects I am familiar with.

    In conversation about a year ago from nixos.paris permalink
  18. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Monday, 26-Feb-2024 00:15:01 JST Raito Bezarius Raito Bezarius
    in reply to
    • Alex L 🕊 🇵🇸
    • Adam H. Sparks :rstats:

    @alxlg @zimoun @adamhsparks NixOS developer here, I think that OCI ecosystem has unfortunately no chance to give the practical reproducibility constraints that Guix (or Nix but whatever) can offer you.

    I'd look at it from a social PoV, there's no incentive, no interest for the OCI ecosystem to offer this sort of feature because industry does not care about this sort of thing.

    *wears tvix.dev developer hat* ComposerFS is inferior to better store solutions for large dataset too.

    In conversation about a year ago from nixos.paris permalink
  19. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 23-Aug-2023 09:52:21 JST Raito Bezarius Raito Bezarius
    in reply to
    • clacke
    • The Tcl Programming Language

    @tcltk @clacke @nixos @tcl interesting, how realistic Tcl can become a replacement for bash for building derivations and having phases, etc. ? (aka nixpkgs stdenv)

    Did anyone try?

    In conversation Wednesday, 23-Aug-2023 09:52:21 JST from nixos.paris permalink
  20. Embed this notice
    Raito Bezarius (raito@nixos.paris)'s status on Wednesday, 23-Aug-2023 09:52:18 JST Raito Bezarius Raito Bezarius
    in reply to
    • clacke
    • The Tcl Programming Language

    @tcltk @clacke @nixos @tcl but we use bash and we do have folks maintaining perl stuff and bash stuff

    Though the question is really: what is the Tcl ecosystem? Is it still full of people, active development, can upstream work with us, etc. Which are very interesting and desirable properties.

    In conversation Wednesday, 23-Aug-2023 09:52:18 JST from nixos.paris permalink
  • Before

User actions

    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.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          30450
          Member since
          18 Nov 2022
          Notices
          22
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.