~/talk

Wrapping Up – Project Presentations & Closing Ceremony

Talkat ZuriHac 2025 · 2025-06-07..06-09· [haskell]
links:none on file
links:none on file
slides:none on file

Over 15 five-minute demos show concrete outcomes: 12 PRs merged to Haskell Language Server support for .cabal edits and structured diagnostics, Inline‑Verilog added to inline‑c with a working 16‑bit adder, Flora streams runtime events to InfluxDB/Grafana for real‑time profiling, a disk I/O library hits SSD parallel throughput within splitting distance of fio, Glean indexes Stackage for cross‑package go‑to‑definition, merge‑giraffe adds Tree‑Sitter Haskell, Haskell Katas publishes ~2,000 kata, Swarm adds save/replay, and a yoke prototype uses linear types to detect outdated data version errors for smart contracts; session ends with closing ceremony and ZuriHac 2026 save‑the‑date.

AI-written summary · about

  1. 0:00Project Presentations
  2. 53:42Closing Ceremony (with many tears)
  3. 58:02Save the Date ZuriHac 2026
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.