YouTube video by Code Sync
David Turner Memorial Session - J. Hughes, S. Thompson, L. Augustsson, J. Gibbons | Lambda Days 2024
Remembering David Turner at LambdaDays last year, with John Highes, Lennart Augustsson and Jeremy Gibbons youtu.be/ZeEj1icGfVg
21.02.2025 22:47 — 👍 1 🔁 1 💬 0 📌 0
Legal name: Paul Danger Kile
Name at birth: William Paul Caligiuri
Anagram: Guardlike Panel
Japanese Name: ポール・デンジャー・キレ
Callsign: K0PDK
Godless, Programming, Images, Opinion, Electric Bass
dangerismymiddlename.com
Crypto Day Trader
Technical Analyst
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
https://haroldcarr.bandcamp.com/
Thanks to impermanence all things are possible
Working on a book on topos theory
Prof CS University of Oslo
https://ebjohnsen.org
Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
The History of Ideas Podcast. Every Wednesday and Sunday with David Runciman. Wherever you get your podcasts.
Find us at 🔗 www.ppfideas.com
socialist. federalist. supports democratic socialism, universal healthcare & universal basic income. he/him. pro-choice. pro-democracy. anti-war. anti-racist. anti-authoritarian. LGBTQ+ ally. PNW(WA), tech junkie, casual gamer, policy nerd, twitter refugee
Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
