From 551b0ab1d15a4b4d773f80ac30c15608eeef74ad Mon Sep 17 00:00:00 2001 From: lkuper Date: Wed, 3 Jan 2024 18:39:25 +0000 Subject: [PATCH] regenerate after: Add Beta's bio --- index.xml | 2 ++ lsd-seminar/2024wi/index.html | 2 ++ themes/academic | 1 - 3 files changed, 4 insertions(+), 1 deletion(-) delete mode 160000 themes/academic diff --git a/index.xml b/index.xml index 15c125b..d12e0ec 100644 --- a/index.xml +++ b/index.xml @@ -117,6 +117,8 @@ <p>Crystal is a rarity in the Static Languages section that has Duck Typing and Monkey Patching. Given the strong &ndash; yet barely visible &ndash; fences of types, it manages to properly contain these beasts. In this talk I will present Crystal and provide a glimpse at how it manages to feel so dynamic while being safe and efficient.</p> +<p><strong>Bio:</strong> Beta leads the development of the Crystal Programming Language and teaches about programming languages at Universidad Nacional de Córdoba in Argentina. With a recent past as a researcher in programming languages, he developed tools and theories for two very different languages: Coq and Lua. He has no ducks nor monkeys, despite them being effective weapons against Córdoba&rsquo;s venomous scorpions.</p> + <h1 id="jan-19">Jan. 19</h1> <p><strong>Speaker:</strong> Katherine Philip</p> diff --git a/lsd-seminar/2024wi/index.html b/lsd-seminar/2024wi/index.html index e547e15..ada5cb5 100644 --- a/lsd-seminar/2024wi/index.html +++ b/lsd-seminar/2024wi/index.html @@ -298,6 +298,8 @@

Jan. 12

Crystal is a rarity in the Static Languages section that has Duck Typing and Monkey Patching. Given the strong – yet barely visible – fences of types, it manages to properly contain these beasts. In this talk I will present Crystal and provide a glimpse at how it manages to feel so dynamic while being safe and efficient.

+

Bio: Beta leads the development of the Crystal Programming Language and teaches about programming languages at Universidad Nacional de Córdoba in Argentina. With a recent past as a researcher in programming languages, he developed tools and theories for two very different languages: Coq and Lua. He has no ducks nor monkeys, despite them being effective weapons against Córdoba’s venomous scorpions.

+

Jan. 19

Speaker: Katherine Philip

diff --git a/themes/academic b/themes/academic deleted file mode 160000 index 8d596ff..0000000 --- a/themes/academic +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8d596ffed2d080010c561679cf4e9b4da1554781