programme :: Day -> [Session]
Programme
programme.txt - Day 01--day=1 · ps aux
$ ./attend --day=1
--track--type
/ searchj/k moveenter expandw watchesc clear
pidstatcommandtypeactions
8:30am## Registration & Morning Coffee30m idle
1607
S
Opening Remarks
Rachel Feinberg
keynote
2014
S
Laziness in Production: A Decade of GHC at Scale
Owen Fitzgerald
keynote
10:05am## Short Break10m idle
2828
S
Effect Handlers Without the Ceremony: A Practical Guide to OCaml 5 Effects
Ines Callahanocaml
talk
2865
S
Refinement Types That Survive a Refactor
Dr. Femi Adeyemitypes & proofs
talk
2902
S
Migrating 400k Lines of Python to Haskell Without Stopping the World
Rosa Bettencourtpractice
talk
3235
S
Strictness Analysis in the Wild: What GHC Still Gets Wrong
Tobias Lindqvistcompilers & runtimes
talk
3272
S
Mechanizing Progress and Preservation for a Real Language, Not a Toy One
Dr. Wren Ostrowskitypes & proofs
talk
3309
S
On-Call for a Pure Functional Backend: What Actually Pages Us
Marcus Delacroixpractice
talk
3642
S
ocaml
lightning
3679
S
types & proofs
lightning
3716
S
practice
lightning
12:00pm## Lunch75m idle
4456
S
Compilers Are Just Programs: What Ten Years of Flambda Taught Us
Prof. Ingrid Halvorsen
keynote
4863
S
Streaming Without Leaks: A Field Guide to conduit and pipes
Malik Thornburyhaskell
talk
4900
S
Dependent Types for Working Programmers: Where Agda Earns Its Keep
Dr. Naledi Mokoenatypes & proofs
talk
4937
S
Functional Cores, Imperative Shells: A Decade Later
Grant Sorensenpractice
talk
5270
S
Arrows, Applicatives, and the Parser Combinator You Actually Need
Camille Duartehaskell
talk
5307
S
Verifying a Real Scheduler in Rocq: Six Months, One Property
Dr. Haruto Ishikawatypes & proofs
talk
5344
S
Hiring Functional Programmers When Nobody Applies
Odalys Reyespractice
talk
3:10pm## Afternoon Break25m idle
6084
S
panel
6491
S
Day One Close & Community Announcements
Rachel Feinberg
keynote
5:00pm## Evening Reception - Foyer & Rooftop Terrace90m idle
no sessions match this filter
0 processes matched · 0 watched · systemctl: activelive