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/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
