Skip to content

Commit

Permalink
regenerate after: Add Beta's bio
Browse files Browse the repository at this point in the history
  • Loading branch information
lkuper committed Jan 3, 2024
1 parent c1ae198 commit 551b0ab
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 1 deletion.
2 changes: 2 additions & 0 deletions index.xml
Original file line number Diff line number Diff line change
Expand Up @@ -117,6 +117,8 @@

<p>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.</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’s venomous scorpions.</p>

<h1 id="jan-19">Jan. 19</h1>

<p><strong>Speaker:</strong> Katherine Philip</p>
Expand Down
2 changes: 2 additions & 0 deletions lsd-seminar/2024wi/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -298,6 +298,8 @@ <h1 id="jan-12">Jan. 12</h1>

<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>
Expand Down
1 change: 0 additions & 1 deletion themes/academic
Submodule academic deleted from 8d596f

0 comments on commit 551b0ab

Please sign in to comment.