{"guid":"96146e73-9f8c-5b23-9a33-e22dedae57ea","title":"Regiux: prototyping a fast Nix interpreter","subtitle":null,"slug":"lixcon-2026-4-regiux-prototyping-a-fast-nix-interpreter","link":"https://pretalx.dgnum.eu/lixcon-2026/talk/F83VYV/","description":"The Nix expression language is challenging to evaluate due to non-strict semantics, dynamic scoping, a diverse collection of builtin operators, and tight integration with the Nix store. We give a progress report on Regiux, an interpreter for Nix which is narrowly focused on efficient evaluation of expressions.\n\nRegiux is yet another attempt at a fast Nix evaluator. Come learn about the ingredients that go into modern compilers and interpreters, particularly:\n\n* Lexing and parsing\n* Desugaring and expanding\n* Intermediate languages for lambda calculus\n* Using the RPython JIT toolkit\n* Bytecode for lazy graph evaluation\n\nLicensed to the public under http://creativecommons.org/licenses/by/4.0","original_language":"eng","persons":["Corbin"],"tags":["4","2026","lixcon2026","Amphitheater Dussane","lixcon2026-eng","Day 1"],"view_count":18,"promoted":false,"date":"2026-04-17T11:45:00.000+02:00","release_date":"2026-04-19T00:00:00.000+02:00","updated_at":"2026-04-20T00:00:04.872+02:00","length":1851,"duration":1851,"thumb_url":"https://static.media.ccc.de/media/events/lixcon/2026/4-96146e73-9f8c-5b23-9a33-e22dedae57ea.jpg","poster_url":"https://static.media.ccc.de/media/events/lixcon/2026/4-96146e73-9f8c-5b23-9a33-e22dedae57ea_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/lixcon/2026/4-96146e73-9f8c-5b23-9a33-e22dedae57ea.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/lixcon/2026/4-96146e73-9f8c-5b23-9a33-e22dedae57ea.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/lixcon-2026-4-regiux-prototyping-a-fast-nix-interpreter","url":"https://api.media.ccc.de/public/events/96146e73-9f8c-5b23-9a33-e22dedae57ea","conference_title":"LixCon 2026","conference_url":"https://api.media.ccc.de/public/conferences/lixcon2026","related":[],"recordings":[{"size":290,"length":1851,"mime_type":"video/webm","language":"eng","filename":"lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-04-19T16:10:08.082+02:00","recording_url":"https://cdn.media.ccc.de/events/lixcon/2026/webm-hd/lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/98969","event_url":"https://api.media.ccc.de/public/events/96146e73-9f8c-5b23-9a33-e22dedae57ea","conference_url":"https://api.media.ccc.de/public/conferences/lixcon2026"},{"size":20,"length":1851,"mime_type":"audio/opus","language":"eng","filename":"lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2026-04-19T15:52:02.550+02:00","recording_url":"https://cdn.media.ccc.de/events/lixcon/2026/opus/lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_opus.opus","url":"https://api.media.ccc.de/public/recordings/98958","event_url":"https://api.media.ccc.de/public/events/96146e73-9f8c-5b23-9a33-e22dedae57ea","conference_url":"https://api.media.ccc.de/public/conferences/lixcon2026"},{"size":94,"length":1851,"mime_type":"video/webm","language":"eng","filename":"lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-04-19T15:51:08.986+02:00","recording_url":"https://cdn.media.ccc.de/events/lixcon/2026/webm-sd/lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/98957","event_url":"https://api.media.ccc.de/public/events/96146e73-9f8c-5b23-9a33-e22dedae57ea","conference_url":"https://api.media.ccc.de/public/conferences/lixcon2026"},{"size":88,"length":1851,"mime_type":"video/mp4","language":"eng","filename":"lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-04-19T15:34:45.022+02:00","recording_url":"https://cdn.media.ccc.de/events/lixcon/2026/h264-sd/lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_sd.mp4","url":"https://api.media.ccc.de/public/recordings/98952","event_url":"https://api.media.ccc.de/public/events/96146e73-9f8c-5b23-9a33-e22dedae57ea","conference_url":"https://api.media.ccc.de/public/conferences/lixcon2026"},{"size":28,"length":1851,"mime_type":"audio/mpeg","language":"eng","filename":"lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2026-04-19T15:34:40.037+02:00","recording_url":"https://cdn.media.ccc.de/events/lixcon/2026/mp3/lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/98951","event_url":"https://api.media.ccc.de/public/events/96146e73-9f8c-5b23-9a33-e22dedae57ea","conference_url":"https://api.media.ccc.de/public/conferences/lixcon2026"},{"size":368,"length":1851,"mime_type":"video/mp4","language":"eng","filename":"lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-04-19T15:26:50.580+02:00","recording_url":"https://cdn.media.ccc.de/events/lixcon/2026/h264-hd/lixcon2026-4-eng-Regiux_prototyping_a_fast_Nix_interpreter_hd.mp4","url":"https://api.media.ccc.de/public/recordings/98944","event_url":"https://api.media.ccc.de/public/events/96146e73-9f8c-5b23-9a33-e22dedae57ea","conference_url":"https://api.media.ccc.de/public/conferences/lixcon2026"}]}