BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.devconf.info//devconf-cz-2026//talk//EVSRGU
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-devconf-cz-2026-EVSRGU@pretalx.devconf.info
DTSTART;TZID=CET:20260619T125500
DTEND;TZID=CET:20260619T131000
DESCRIPTION:I would like to talk about my personal project that is a compil
 er from WebAssembly to lambda calculus. I started it for fun\, and have le
 arned quite a lot about WebAssembly along the way. I will discuss how I im
 plemented key data structures and algorithms that are needed to run WebAss
 embly in lambda calculus. Those include numbers\, random-access memory\, m
 utual function recursion\, and control flow instructions\, all with reason
 able space/time complexity considerations.\n\nThe compiler supports almost
  the entire WebAssembly 1.0 standard (except floats) and can easily compil
 e Rust/C/C++ programs\, which can then be interpreted.\n\nI also plan to b
 riefly mention other projects related to esoteric programming\, like the C
  to BrainF*ck compiler or the EsoLangVM Compiler Infrastructure.\n\nSource
  code: https://github.com/MarkLagodych/walc
DTSTAMP:20260430T125136Z
LOCATION:A113 (capacity 64)
SUMMARY:I compiled WebAssembly to lambda calculus! A journey into esoteric 
 programming - Mark Lagodych
URL:https://pretalx.devconf.info/devconf-cz-2026/talk/EVSRGU/
END:VEVENT
END:VCALENDAR