~/talks

Farhad D. Mehta

what they talk about

all 6 in the filters

where they keep going back

all 4 in the filters

on a stage with

all 4 in the filters

who talks about the same things

titleconferencedate
Welcome and Opening SessionZuriHac 20262026-06-06
Opens the conference with concrete logistics and community facts: 400 attendees, organizing teams and volunteer roles, campus map and building numbers…
Organiser on
Wrapping Up – Project Presentations & Closing CeremonyZuriHac 20252025-06-07
Over 15 five-minute demos show concrete outcomes: 12 PRs merged to Haskell Language Server support for .cabal edits and structured diagnostics, Inline‑Verilog…
Talk on
Towards Type-Directed API Search for Mainstream LanguagesTyDe 20242024-09-06
Claims a proof-search-based engine that treats types as specifications, supports first-class subtyping and parametric polymorphism, and translates library…
Talk on
Using Functional Reactive Programming for Robotic ArtFARM 20242024-09-02
Claims a Haskell FRP implementation separates hardware control from behavior, using Haskell FRP to emit continuous position signals rather than motor commands…
Talk on
ClosingZuriHac 20232023-06-10
Organizers thank volunteers by name and report 400 attendees at a free community conference, with the venue room seats 500 so there is spare capacity for…
Talk on
Practical Info - Day 22023 GHC Contributors' Workshop2023-06-07
Room locks during lunch and again around 5:00–5:15 so leave the space and don’t store laptops there; mensa has separate queues for hit, daily menu, free plate…
Talk on
Opening PresentationZuriHac 20222022-06-15
Schedule shifts bring project pitches now followed by beginner sessions and a noon keynote, with organisers asking for volunteers to move tables and man four…
Talk on
~/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.