Upcoming: Type Systems You Might Not Know (But Will Love)
+Upcoming: Type Systems You Might Not Know (But Will Love)
WeAreDevelopers World Congress Europe, 2026
A tour through beautiful but lesser-known type systems.
diff --git a/talks.html b/talks.html index 935d2b8..862ccda 100644 --- a/talks.html +++ b/talks.html @@ -39,6 +39,9 @@ margin: 0; background-color: #fafaf7; } + .description { + color: #444; + } .main { max-width: 800px; padding: 2em; @@ -71,9 +74,49 @@ .main em { color: #444; } + .main .rule { + border-top: 1px solid #aaa; + width: calc(100%-6em); + margin-left: 3em; + margin-right: 3em; + height: 0px; + } article { margin-bottom: 2em; - margin-left: 1em; + } + .tab-input { + position: absolute; + opacity: 0; + pointer-events: none; + } + nav.tabs { + display: flex; + gap: 2em; + border-bottom: 1px solid #aaa; + margin: 1.5em 0 1.5em; + } + nav.tabs label { + padding: 0.6em 0; + margin-bottom: -1px; + font-size: 16px; + color: #444; + border-bottom: 2px solid transparent; + cursor: pointer; + } + nav.tabs label:hover { + color: #000; + } + .panel { display: none; } + #tab-bookable:checked ~ #bookable, + #tab-talks:checked ~ #talks, + #tab-publications:checked ~ #publications { + display: block; + } + #tab-bookable:checked ~ nav.tabs label[for="tab-bookable"], + #tab-talks:checked ~ nav.tabs label[for="tab-talks"], + #tab-publications:checked ~ nav.tabs label[for="tab-publications"] { + color: #000; + border-bottom-color: #000; } @media(max-width: 700px) { .main h1 { @@ -85,12 +128,20 @@
I speak and write about systems of all shapes and + sizes.
-Talks & Workshops you can book.
+ -Lightweight, repeatable threat modelling you can actually run in sprint cadence. We cut jargon, pick a fit-for-purpose method, and get to work quickly. Read about it here.
@@ -100,7 +151,7 @@ -Let’s turn “we should do security” into a minimal ISMS and an SSDLC that actually holds up in practice. We map controls to your workflows (code, CI/CD, infra) and prove it with artifacts. Read about it here.
@@ -110,7 +161,7 @@ -What VCs, acquirers, and enterprise buyers actually check, and how to be ready to answer. Architecture narrative, risk posture, and processes that actually give you something in return. Read about it here.
@@ -120,18 +171,15 @@ -Custom workshops are available; tell me your team’s goals and I’ll tell you if I can help you.
-I speak and write about systems of all shapes and sizes. Here are some of the works I’m happy with.
- -WeAreDevelopers World Congress Europe, 2026
A tour through beautiful but lesser-known type systems.