Liked 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.

4 likes

cle
@cleder@hachyderm.io
I cringe when LLMs are referred to as "thinking" or "reasoning".
They merely simulate these concepts through advanced pattern matching. Admittedly, the models are quite successful and convincing doing that, but it is still a long way away from intelligence.
> "All models are wrong, but some are useful" George E. P. Box
Christof S. 🇪🇺
@christof@fedihum.org
#DigitalHumanities #FrenchLiterature #OpenScience #XML #Python #Zotero #Ubuntu #HongKong #Iran #Ukraine #ClimateCrisis
Personal account. Opinions are my own. Reposts or favorites are not endorsements.
AHIRAISSHY
@ahira.blacksky.app@bsky.brid.gy
🇩🇴 angel 🌸💖

🌉 bridged from 🦋 ahira.blacksky.app, follow @bsky.brid.gy to interact
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.