David Turner
where else to find them
website:https://davecturner.github.io/
github:DaveCTurner
bluesky:profdavidturner.bsky.social
mastodon:@davecturner@mastodon.online
what they talk about
all 6 in the filters
where they keep going back
- Authenticate2 editions2022–2024
- !!Con2 editions2017–2018
all 5 in the filters
on a stage with
- Christina Hulkaonce
- John Poirieronce
- Paul Heimonce
who talks about the same things
- Joe Armstrong15 talks
- Andrei Alexandrescu27 talks
- Vaibhav Sagar6 talks
- Bodil Stokke10 talks
- Aditya Siram6 talks
- Tomas Petricek22 talks
| title | conference | date |
|---|---|---|
| FIDO Automotive applications | Authenticate 2024 | 2024-10-14 |
FIDO brings a zero touch onboarding protocol (FDO) that auto-provisions devices from microcontrollers to servers, supports any transport, and uses late binding… | ||
| Passkeys 101: Technical Principles of FIDO | Authenticate 2024 | 2024-10-14 |
Explains how FIDO uses an authenticator to create device-bound key pairs so the private key never leaves the user agent and relying party domain checks block… | ||
| FIDO 101 | Authenticate 2022 | 2022-10-17 |
FIDO replaces server‑stored passwords with public key cryptography, moving crypto into browsers (WebAuthn) and CTAP for USB/BLE/NFC keys; this blocks phishing… | ||
| The Forgotten | Authenticate 2022 | 2022-10-17 |
Contact centers become the common fallback for broken web authentication and often remain unsecured; CV S Health standardizes calls with a Universal Call… | ||
| Open Sourcing Miranda | Code Mesh LDN 2020 | 2020-11-05 |
Project open sources Miranda under a BSD license and modernizes the 30‑year‑old C codebase by first porting to C90/C11 and then enabling native 64‑bit builds… | ||
| Compressing the Library of Babel! | !!Con 2018 | 2018-05-12 |
Explains why a compressor cannot shrink the Library of Babel: using pigeonhole principle to show some books must expand, and using a tiny… | ||
| Talks about Code Mesh | Code Mesh 2017 | 2017-11-08 |
Casual conversation claims Code Mesh purposely mixes academics and industry so talks produce cross‑pollination rather than narrow tool riffs, emphasizes a… | ||
| Some History of Functional Programming Languages | Code Mesh 2017 | 2017-11-08 |
A concise history that claims lazy evaluation and type design drive modern functional languages, with concrete artifacts and results: 1936 lambda calculus… | ||
| Om! Nom! Nash! | !!Con 2017 | 2017-05-06 |
An AI solver for Om Nom Nom claims optimal play by combining Nash equilibrium reasoning with tree search implemented in Python; the raw branching is 36 then 25… | ||
| Some History of Functional Programming Languages | Lambda Days 2017 | 2017-02-09 |
A clear chain of claims and artifacts: the Lambda calculus yields normal order = lazy evaluation and that becomes practical via graph reduction / combinator… | ||
| nothing matches | ||