[HN Gopher] Compiling Typed Python
___________________________________________________________________
Compiling Typed Python
Author : tekknolagi
Score : 49 points
Date : 2023-06-20 18:19 UTC (4 hours ago)
(HTM) web link (bernsteinbear.com)
(TXT) w3m dump (bernsteinbear.com)
| inasio wrote:
| I immediately did a whois search on the domain, unfortunately
| couldn't prove it came from the Berenstein bears universe
| miohtama wrote:
| If you look the example code you will also immediately understand
| why Python is "slow". Also for some easy performance gains Python
| should forfeit some of this dynamism and optionality and just
| give types like int (no subclassing).
| voz_ wrote:
| Interesting that you mention TorchScript, but not
| TorchDynamo+TorchInductor from PT2.
| tekknolagi wrote:
| Not intentional. I'm not familiar with the latter two. I'll
| take a look- thanks
| voz_ wrote:
| Yeah, no malice or any such thing assumed :P
|
| Let me know if you have questions!
| tekknolagi wrote:
| Well your bio indicates I shouldn't ask ;) but how would
| you differentiate them? I'm very unfamiliar with the ML
| tooling space
| voz_ wrote:
| Emailed
| jokoon wrote:
| I like to say that it would be nice if python had as much money
| invested as javascript.
| artemisart wrote:
| I'm 1000% with you, I never understood why GAFAM never invested
| much in python despite using it quite heavily. Maybe more NIH
| and politics than engineering issues I guess?
| no_wizard wrote:
| what is GAFAM? Is that suppose to be the new FAANG acronym?
|
| In which case, they actually have, on multiple occasions,
| including currently Microsoft being one of the biggest
| contributors to Python core.
|
| At one point Google employed Guido and he worked on Python
| there, and I believe they also have made alot of
| contributions to core.
|
| Can't speak as much to Meta or Netflix though, simply don't
| have the knowledge
|
| Its an architectural problem, more so than a money one
| latenightcoding wrote:
| OP you mentioned mojo, have you tried it yet? Jeremy from fast ai
| (one of their advisors) overhyped it so much I'm taking their
| claims with a grain of salt for now.
| tekknolagi wrote:
| It's hard to take it seriously right now in the sandbox. I
| think what they're proposing is entirely possible --from a
| gradual typing standpoint -- and can't comment on any of the ML
| infra stuff. But I want to play with it and be able to read the
| source at the same time.
| eyegor wrote:
| People should really avoid the hype in most cases, mojo is
| basically its own language right now despite its "python
| superset" marketing bs. It's vaguely like python except for: no
| classes, no list/dict comprehensions, no lamba functions,
| tuples are messed up, no global variables, variable capturing
| scopes are not what you'd expect, no yield/generators, no async
| for/async with, etc. There's a long list of common python
| features it doesn't support. In addition, it's closed source
| and "sign up for access". This thing is the next V in my
| opinion.
|
| https://docs.modular.com/mojo/roadmap.html
| gabrielsroka wrote:
| That was all covered in this podcast. I think they're working
| on it for the next year or so.
|
| https://youtu.be/pdJQ8iVTwj8
___________________________________________________________________
(page generated 2023-06-20 23:01 UTC)