Hendrik van Antwerpen
LightNews LightNews
hendrik.van-antwerpen.net
Hendrik van Antwerpen
@hendrik.van-antwerpen.net
15 followers 46 following 4 posts
Posts Replies Media Videos
Reposted by Hendrik van Antwerpen
dcreager.net
Oh hey so yeah we shipped a beta today! #ty #python astral.sh/blog/ty
ty: An extremely fast Python type checker and language server
ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to mypy, Pyright, and Pylance.
astral.sh
December 16, 2025 at 9:15 PM
Reposted by Hendrik van Antwerpen
shriram.bsky.social
OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...
SPLASH 2026 - OOPSLA - SPLASH 2026
Welcome 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...
2026.splashcon.org
October 2, 2025 at 1:16 PM
Reposted by Hendrik van Antwerpen
ltratt.bsky.social
One 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/
January 14, 2025 at 11:03 AM
hendrik.van-antwerpen.net
On 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...
January 8, 2025 at 4:10 PM