~/talk

LT: Verified Pub/Sub

Talkat ElixirConf US 2026 · 2026-09-10..09-11· [distributed-systems]
links:none on file
slides:none on file

A proof-of-concept verified Pub/Sub for Elixir/Phoenix that encodes topics and message shapes in a manifest module and generates pub/sub helpers with Spark macros. Broadcasting, subscribing and a handle_message macro mirror Phoenix PubSub but add compile-time verification: wrong message names or unhandled messages produce compile errors. Implemented as five hours of vibe coding, not yet in production or on Hex, repo linked, API still evolving and intended to prevent mismatched payloads across modules.

AI-written summary · about

~/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.