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 Luj (luj@chaos.social)

  1. Embed this notice
    Luj (luj@chaos.social)'s status on Saturday, 15-Feb-2025 00:23:42 JST Luj Luj
    in reply to
    • Janneke
    • Yvan Sraka

    @janneke @yvan :pppp Yeah sure :D But I'd be happy to have all the project I work on that use Nix shells still working :p

    In conversation about 3 months ago from chaos.social permalink
  2. Embed this notice
    Luj (luj@chaos.social)'s status on Saturday, 15-Feb-2025 00:12:06 JST Luj Luj

    I have to say that with my newfound emacs passion, trying to run a system on Guix is very appealing

    In conversation about 3 months ago from chaos.social permalink
  3. Embed this notice
    Luj (luj@chaos.social)'s status on Saturday, 15-Feb-2025 00:12:05 JST Luj Luj
    in reply to

    On the other hand if I fall in this rabbit hole will I ever be able to get out of it :p

    In conversation about 3 months ago from chaos.social permalink
  4. Embed this notice
    Luj (luj@chaos.social)'s status on Saturday, 15-Feb-2025 00:11:59 JST Luj Luj
    in reply to
    • Yvan Sraka

    @yvan Do you also have Nix installed on your GuixSD system ? Like for example to continue using direnv and such ?

    In conversation about 3 months ago from chaos.social permalink
  5. Embed this notice
    Luj (luj@chaos.social)'s status on Tuesday, 04-Feb-2025 02:21:34 JST Luj Luj
    in reply to
    • Morten Linderud
    • Dr. Théo Zimmermann ?️‍?
    • Stefano Zacchiroli

    @Foxboron @zacchiro @Zimm_i48 On the question of the different ecosystems ingested by nixpkgs, we discuss in our RQ2 the disparities in reproducibility rates in function of ecosystem of provenance: we indeed remark that some large ecosystems (like Python for example) have excellent reproducibility rate and contribute positively in the overall nixpkgs reproducibility rate. On the other hand Haskell for example is also one of the largest ecosystem in nixpkgs and has 1/2

    In conversation about 4 months ago from gnusocial.jp permalink
  6. Embed this notice
    Luj (luj@chaos.social)'s status on Tuesday, 04-Feb-2025 02:21:33 JST Luj Luj
    in reply to
    • Morten Linderud
    • Dr. Théo Zimmermann ?️‍?
    • Stefano Zacchiroli

    @Foxboron @zacchiro @Zimm_i48 very poor reproducibility rate (around 60%). Haskell even accounts for about 41% of all non-reproducible packages that we identified ! (About 47k non reproducible Haskell packages)

    In conversation about 4 months ago from chaos.social permalink
  7. Embed this notice
    Luj (luj@chaos.social)'s status on Monday, 27-Jan-2025 23:03:32 JST Luj Luj
    • Dr. Théo Zimmermann ?️‍?
    • Stefano Zacchiroli

    📢 I am very proud to announce the publication of my #research #paper "Does Functional Package Management Enable Reproducible Builds at Scale? Yes." at MSR'25, written with @zacchiro and @Zimm_i48 !

    -> If you're interested in bitwise reproducibility and NixOS, I wrote a #blog post summarizing the key takeaways for the article: https://luj.fr/blog/is-nixos-truly-reproducible.html

    -> I strongly advise curious readers to read our preprint: https://hal.science/hal-04913007

    🔁 Boosts would be much appreciated!

    In conversation about 4 months ago from chaos.social permalink

    Attachments


    1. No result found on File_thumbnail lookup.
      https://hal.science/hal-04913007/document
  8. Embed this notice
    Luj (luj@chaos.social)'s status on Monday, 27-Jan-2025 23:01:44 JST Luj Luj

    New instance, new #introduction!

    First of all, I am a 27 years old software engineering and security researcher at Institut Polytechnique de Paris. My academical interests are diverse and include logic, computer security, networking, functional programming and type theory, and much more.

    In conversation about 4 months ago from chaos.social permalink

User actions

    Luj

    Luj

    Julien aka Luj.PhD Student in Software Supply Chain Security.NixOS enthusiast and contributor.Other interests include functional programming languages, software security, formal verification.Available for freelance projects.He/HimMay occasionally toot in french.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          323182
          Member since
          27 Jan 2025
          Notices
          8
          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.