Jeremy
jeremysiek@types.pl
<p>Jeremy Siek is a Professor at Indiana University where he teaches courses about algorithms, compilers, and programming language theory. Jeremy authored the book ``The Boost Graph Library'' and designed constrained templates for C++, aka the "concepts" proposal. Jeremy invented gradual typing: a type system that integrates both dynamic and static typing in the same programming language.</p>
Posts
-
Post #872126
Over 260 faculty, staff urge IU to undo Xiaofeng Wang’s termination https://www.idsnews.com/article/2025/05/faculty-staff-letter-to-provost-xiaofeng-wang-tenure-termination
-
Post #872125
https://indianapublicmedia.org/news/faculty-want-due-process-for-fired-cybersecurity-expert.php
-
Post #872123
The ACLU of Indiana has filed a lawsuit against Governor Mike Braun over the law that changes how members of the Indiana University Board of Trustees are selected. https://www.aclu-in.org/en/press-releases/aclu-indiana-sues-governor-braun-over-sections-hea-1001-target-indiana-university
-
Post #872121
Verified Nanopasses for Compiling Conditionals (https://www.dropbox.com/scl/fi/cac5jemdpo9duj25aq0n6/verified-nanopass.pdf?rlkey=sfmjjf5fpzwmfwgexd2x3swfv&amp;dl=1
-
Post #872117
More unjustified attacks on faculty by IU administrators: https://www.indystar.com/story/news/education/2025/08/14/iu-sanctions-professor-indiana-intellectual-diversity-law-202/85643279007/
-
Post #872114
@krismicinski which class?
-
Post #872112
@krismicinski did some experiments with codex today, looks like it can generate many grad level PL theory solutions in Lean.
-
Post #872111
Codex and GPT 5.3-codex are blowing my mind... accelerating proof development and refactoring in Agda for programming language metatheory. Lots of grunt work is becoming automatic, but regular guidance is still needed.