~/talks

Kamal Marhubi

what they talk about

all 4 in the filters

where they keep going back

  • !!Con2 editions2016–2018

on a stage with

never shared a talk

who talks about the same things

titleconferencedate
If you could solve this word tile puzzle, you could solve the halting problem! (Too bad you can’t!)!!Con 20182018-05-12
Claims the Post Correspondence Problem is undecidable by giving an explicit reduction from the halting problem: a routine turns any Turing machine into a set…
Talk on
A Staging Environment Per Pull Request: Building Our Own Controller!CloudNativeCon + KubeCon Europe 20172017-03-29
A Kubernetes-based controller takes GitHub webhooks, creates a custom review deployment third‑party resource, launches a build pod that docker builds and…
Talk on
Unix systems programming in RustRust Belt Rust 20162016-10-27
Claim: Rust makes Unix systems programming easier, safer, and more productive. Concrete proofs: a small container tool containy thing that uses unshare and…
Talk on
Storing your data in kernel space: an excellent bad idea!!!Con 20162016-05-30
Claim: put application data into kernel buffers by creating lots of pipes and managing offsets instead of using user memory. Tools: ordinary pipes (default ~4…
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.