Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Jeremy

@jeremysiek@types.pl
mastodon 4.7.0-alpha.2+glitch
  • Open on types.pl

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.

619 Followers
60 Following
12 Posts
Joined November 08, 2022

Posts

Open post
jeremysiek
Jeremy @jeremysiek@types.pl · May 10, 2026
Jeremy
@jeremysiek@types.pl

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.

types.pl
Replying to @sliminality@types.pl
@sliminality@types.pl Where’s the option for: too old to remember? :)
1
0
0
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · May 01, 2026
Jeremy
@jeremysiek@types.pl

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.

types.pl
Replying to @maxsnew@types.pl
@maxsnew Congratulations Max!
1
0
0
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · Mar 12, 2026
Jeremy
@jeremysiek@types.pl

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.

types.pl

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.

1
0
0
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · Mar 05, 2026
Jeremy
@jeremysiek@types.pl

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.

types.pl

@krismicinski did some experiments with codex today, looks like it can generate many grad level PL theory solutions in Lean.

5
8
1
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · Mar 04, 2026
Jeremy
@jeremysiek@types.pl

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.

types.pl

@krismicinski which class?

1
2
0
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · Sep 13, 2025
Jeremy
@jeremysiek@types.pl

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.

types.pl
Replying to @dgregor79@sfba.social
@dgregor79@sfba.social Agreed. Yes, that’s a possibility.
1
0
0
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · Aug 16, 2025
Jeremy
@jeremysiek@types.pl

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.

types.pl
Replying to @jeremysiek@types.pl
Here’s a more in depth article: https://bloomingtonian.com/2025/08/14/iu-professor-disputes-sea-202-sanction-cites-harassment-and-surveillance-concerns/
1
0
0
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · Aug 16, 2025
Jeremy
@jeremysiek@types.pl

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.

types.pl

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/

www.indystar.com

IU sanctions professor over Indiana's intellectual diversity law

1
3
1
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · Jun 20, 2025
Jeremy
@jeremysiek@types.pl

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.

types.pl

Verified Nanopasses for Compiling Conditionals

(https://www.dropbox.com/scl/fi/cac5jemdpo9duj25aq0n6/verified-nanopass.pdf?rlkey=sfmjjf5fpzwmfwgexd2x3swfv&dl=1

4
0
1
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · May 07, 2025
Jeremy
@jeremysiek@types.pl

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.

types.pl

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

5
0
1
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · May 05, 2025
Jeremy
@jeremysiek@types.pl

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.

types.pl

https://indianapublicmedia.org/news/faculty-want-due-process-for-fired-cybersecurity-expert.php

2
0
2
0
Open post
jeremysiek
Jeremy @jeremysiek@types.pl · May 03, 2025
Jeremy
@jeremysiek@types.pl

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.

types.pl

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

5
0
2
0

Remote instance

types.pl
Open on original server
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 22:37:15 UTC