Remote

Luj

@luj@chaos.social

mastodon 4.5.15

Julien aka Luj.

PhD Student in Software Supply Chain Security.

NixOS enthusiast and contributor. Emacs nerd. NixOS Steering Committee member.

Other interests include functional programming languages, software security, formal verification.

Available for freelance projects.

He/Him

May occasionally toot in french.

0 Followers

0 Following

26 Posts

Joined January 10, 2025

homepage:

https://luj.fr

Posts

Luj @luj@chaos.social · May 14, 2026

This is the era of my researcher life where I learn how to deal with rejection... I received three rejection notifications in the last 10 days.

Luj @luj@chaos.social · May 01, 2026

One full nixpkgs bootstrap a day, keeps the doctor away

Luj @luj@chaos.social · Apr 14, 2026

Very happy and proud to announce that @raboof@merveilles.town and myself received the MSR'26 FOSS Impact Award for our paper "Lila: Decentralized Build Reproducibility Monitoring for the Functional Package Management Model". My goal as a researcher has always been to make contributions that are useful to the broader Open Source community, so this award means a lot to me!

Go check our paper here: https://arxiv.org/abs/2601.20662

And the Lila project here: https://github.com/nix-community/lila

merveilles.town

raboof (@raboof@merveilles.town) - Merveilles

Luj @luj@chaos.social · Mar 25, 2026

On Sunday I had some fun wandering in Stockholm and visiting some of the places I had not seen yet! I then went home at 8pm and instantly received a « good probability of observing auroras » notification! I had never seen them in my life so I rushed into the KTH forest in the dark with absolutely no clue or where to go but trying generally to go north and away from city lights. I finally was lucky enough to reach a nice lake and… TADAAAA!

Luj @luj@chaos.social · Mar 19, 2026

We finally have wayland alternatives to EXWM that so great!!! I've tried ewm [1], which gets the work done, but ultimately adopted Reka [2], which single handedly solves all the problems I ever had with EXWM (including the fact that emacs is not in the critical path of your WM).

[1]: https://codeberg.org/ezemtsov/ewm
[2]: https://codeberg.org/tazjin/reka

Codeberg.org

ewm

EWM - Emacs Wayland Manager

Luj @luj@chaos.social · Mar 03, 2026

Just landed in Los Angeles, where I’ll attend Planet Nix! Happy to meet fellow Nixers there!

Luj @luj@chaos.social · Mar 02, 2026

Took a few pics in Stockholm last night!

Luj @luj@chaos.social · Feb 24, 2026

Today I tried sending an email and it crashed my whole operating system…

Luj @luj@chaos.social · Feb 18, 2026

This is the era of weirdly specific software

Luj @luj@chaos.social · Feb 11, 2026

Do not look at the compilation log so that it doesn't crash

Luj @luj@chaos.social · Feb 05, 2026

My month of January: submitted 3 paper + made a camera ready version.

I was warned about last year of PhD...

Luj @luj@chaos.social · Feb 01, 2026

Yesterday at #FOSDEM @raboof@merveilles.town and I presented Lila, our tool allowing to distribute the workload of verifying reproducibility of Nix packages among several verifiers (see https://reproducibility.nixos.social).

If you want to see a recording of our talk, it is available here: https://fosdem.org/2026/schedule/event/HGC788-lila_decentralized_reproducible-builds_verification_for_the_nixos_ecosystem/

We have also written an academic paper about it!
-> https://arxiv.org/abs/2601.20662

chaos.social