Reposted by Hendrik van AntwerpenDouglas Creager @dcreager.net · 16/12/2025Oh hey so yeah we shipped a beta today! #ty #python astral.sh/blog/tyastral.shty: An extremely fast Python type checker and language serverty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to mypy, Pyright, and Pylance. 092
Reposted by Hendrik van AntwerpenShriram Krishnamurthi @shriram.bsky.social · 02/10/2025OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks! 2026.splashcon.org/track/oopsla...2026.splashcon.orgSPLASH 2026 - OOPSLA - SPLASH 2026Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th... 11823
Reposted by Hendrik van AntwerpenLaurence Tratt @ltratt.bsky.social · 14/01/2025One week today is the deadline for expressing your interest to attend Programming Language Implementation Summer School (PLISS) -- we have a great program, if I do say so myself! pliss.org/2025/ 22416
Hendrik van Antwerpen @hendrik.van-antwerpen.net · 08/01/2025The dissertation is accompanied by a number of propositions that reflect on the research more generally or comment on societal issues. Follow this link to download the dissertation and propositions: doi.org/10.4233/uuid.... 010
Hendrik van Antwerpen @hendrik.van-antwerpen.net · 08/01/2025The topic of the dissertation is the design of a meta-language, Statix, to support high-level type specifications of programming languages with expressive name binding features, and automatically generate type checkers from those specifications. 110
Hendrik van Antwerpen @hendrik.van-antwerpen.net · 08/01/2025A Dutch PhD defence is a very formal public ceremony. After a short presentation to introduce the topic to the audience, there is an hour of questioning by the committee, until the bedel announces hora est (it is time). If the degree is awarded, the diploma ceremony immediately follows the defence. 100
Hendrik van Antwerpen @hendrik.van-antwerpen.net · 08/01/2025On Wednesday 15 January 2025 I’ll be defending my dissertation titled “Declarative Name Binding for Type System Specifications”. The defense starts at 17:00 CET and can be followed online (livestream: nmclive.tudelft.nl/mediasite/pl...). More details in thread... 121
