Brian McKenna
where else to find them
website:http://brianmckenna.org/
github:puffnfresh
mastodon:@puffnfresh@mastodon.social
linkedin:puffnfresh
speakerdeck:puffnfresh
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
never shared a talk
who talks about the same things
- Edwin Brady14 talks
- James Earl Douglas6 talks
- Adam McCullough6 talks
- Michael Sperber15 talks
- Mark Seemann18 talks
- Oren Rozen3 talks
| title | conference | date |
|---|---|---|
| Functional programming and Nix for reproducible, immutable infrastructure | Rootconf 2019 | 2019-06-21 |
Atlassian Marketplace uses Nix end-to-end: Nix expressions compile to content‑addressed .drv files, builds are bit-for-bit reproducible and cached, and Docker… | ||
| Write Some Idris | LambdaConf 2015 | 2015-05-22 |
Hands‑on workshop that teaches Idris by writing code not just theory: live use of Idris REPL, explicit proofs of equality (reflexive, transitive, congruence… | ||
| Idris: Practical Dependent Types with Practical Examples | Strange Loop 2014 | 2014-09-17 |
Idris compiles executable dependent‑type code and shows concrete outcomes: proved associativity of bitwise or using tactics and proof search, implemented typed… | ||
| Verruca Vulgaris Treatments for Scala | Northeast Scala Symposium 2014 | 2014-03-01 |
WartRemover is a linter that runs as a compiler plugin, macro, or command line tool to find and error on specific Scala “warts.” It disables features by… | ||
| nothing matches | ||