Brussels / 4 & 5 February 2023

schedule

Declarative and Minimalistic Computing devroom

Rooms: K.3.201, D.minimalistic (online)
Calendar: iCal, xCal


Room 09 10 11 12 13 14 15 16 17 18
Saturday K.3.201 GNU Guix and Open science, a crush? How Replicant, a 100% free software Android distribution, uses (or doesn't use) Guix Exploring WebAssembly with Forth (and vice versa)
Artisanal, minimal, just-in-time compilation for the web and beyond		 Whippet: A new production embeddable garbage collector
Replacing Guile's engine while the car is running		 Zig and Guile for fast code and a REPL Algebraic Effects and Types as First-Class Features in the Fuzion Language
Giving a pure functional solution for non-functional aspects.		 IDP-Z3, a reasoning engine for FO(.)
A truly declarative approach to programming.		 I have an idea: build a language that can run backwards
(please tell me if it's stupid)		 LuaRocks and the challenges of minimalism
D.minimalistic (online) Inside the FIM (Fbi IMproved) Scriptable Image Viewer
About a Small Command Language Powering an Image Viewer		 LIPS Scheme
Powerful introspection and extensibility		 Introduction to Pre-Scheme Bringing RISC-V to Guix's bootstrap
What's done and what we need to do		 Using GNU Guix Containers with FHS (Filesystem Hierarchy Standard) Support Creating minimal Guix System images
Declaring just what is necessary		 Self-conscious Reflexive Interpreters
Sunday D.minimalistic (online) Reviving Reverse Polish Lisp
Building an open-source HP48-like calculator		 An Introduction to Guix Home
Declarative $HOME configuration with Scheme!		 Literate Storytelling: Interpreting Syntaxes for Explorers
Demonstration of the use of syntaxes to facilitate the search of information		 tissue—the minimalist git+plain text issue tracker

Read the Call for Papers at https://lists.fosdem.org/pipermail/fosdem/2022q4/003446.html.

Event Speakers Room Start End

Saturday
  Inside the FIM (Fbi IMproved) Scriptable Image Viewer
About a Small Command Language Powering an Image Viewer		 Michele Martone D.minimalistic (online) 10:30 11:00
  LIPS Scheme
Powerful introspection and extensibility		 Jakub T. Jankiewicz D.minimalistic (online) 11:00 11:30
  Introduction to Pre-Scheme Andrew Whatson D.minimalistic (online) 11:30 12:00
  Bringing RISC-V to Guix's bootstrap
What's done and what we need to do		 Ekaitz Zarraga D.minimalistic (online) 12:00 12:30
  Using GNU Guix Containers with FHS (Filesystem Hierarchy Standard) Support John Kehayias D.minimalistic (online) 12:30 13:00
  Creating minimal Guix System images
Declaring just what is necessary		 Efraim Flashner D.minimalistic (online) 13:00 13:30
  Self-conscious Reflexive Interpreters William Byrd D.minimalistic (online) 13:30 14:30
  GNU Guix and Open science, a crush? Simon Tournier K.3.201 15:00 15:25
  How Replicant, a 100% free software Android distribution, uses (or doesn't use) Guix Denis Carikli (GNUtoo) K.3.201 15:25 15:55
  Exploring WebAssembly with Forth (and vice versa)
Artisanal, minimal, just-in-time compilation for the web and beyond		 Remko Tronçon K.3.201 15:55 16:20
  Whippet: A new production embeddable garbage collector
Replacing Guile's engine while the car is running		 Andy Wingo K.3.201 16:20 16:55
  Zig and Guile for fast code and a REPL Pjotr Prins K.3.201 16:55 17:20
  Algebraic Effects and Types as First-Class Features in the Fuzion Language
Giving a pure functional solution for non-functional aspects.		 Fridtjof Siebert K.3.201 17:20 17:45
  IDP-Z3, a reasoning engine for FO(.)
A truly declarative approach to programming.		 Pierre Carbonnelle K.3.201 17:45 18:10
  I have an idea: build a language that can run backwards
(please tell me if it's stupid)		 Steven Goodwin K.3.201 18:10 18:30
  LuaRocks and the challenges of minimalism Hisham Muhammad K.3.201 18:30 19:00

Sunday
  Reviving Reverse Polish Lisp
Building an open-source HP48-like calculator		 Christophe de Dinechin D.minimalistic (online) 09:00 09:30
  An Introduction to Guix Home
Declarative $HOME configuration with Scheme!		 David Wilson D.minimalistic (online) 09:30 10:00
  Literate Storytelling: Interpreting Syntaxes for Explorers
Demonstration of the use of syntaxes to facilitate the search of information		 Jonathan McHugh D.minimalistic (online) 10:00 10:30
  tissue—the minimalist git+plain text issue tracker Arun Isaac D.minimalistic (online) 10:30 11:00