Shared by

@hongminhee@hollo.social

With high-performance #Python type checkers like #Pyright, #Pyrefly, and #ty now available, what's the value proposition of #Mypy? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

3 shares

Dr. Juande Santander-Vela
@juandesant@mathstodon.xyz
PhD in radio astronomy and VO; Joint ALMA Observatory Development Systems Engineer. Half astronomer, half Systems engineer, half developer (those halves overlap!). Previously at #ESO #IAA-CSIC #SKAO #DataObsCL. He/him.
Only boost images with useful/meaningful alt-text. Might unboost after review.
This is a searchable profile.
Avatar: person looking to the camera, pretending to surf on a fake plastic wave.
Banner: Pen and paper sketch of ALMA by Olivia H. Wilkins.
David Zaslavsky
@diazona@techhub.social
Software engineer, former particle physicist, occasional blogger. I support the principle of cake.
Posting habits: ~60% #Monsterdon, ~20% #Python/#tech, ~20% funny/uplifting/entertaining content. Rare politics-related posts, always using popular hashtags so they can be filtered out. I typically don't boost posts with images unless they have #AltText.
#books #bookstodon #reading #scifi #fantasy #programming #C #CPlusPlus #Linux #Git #KDE #bash #fedi22
洪民憙 (Hong Minhee)
@hongminhee@hackers.pub
Hi, I'm who's behind Fedify, Hollo, BotKit, and this website, Hackers' Pub! My main account is at @hongminhee.

Fedify, Hollo, BotKit, 그리고 보고 계신 이 사이트 Hackers' Pub을 만들고 있습니다. 제 메인 계정은: @hongminhee.

Fedify、Hollo、BotKit、そしてこのサイト、Hackers' Pubを作っています。私のメインアカウントは「@hongminhee」に。