skybison
cinder
skybison | cinder | |
---|---|---|
9 | 43 | |
286 | 3,379 | |
- | 0.5% | |
0.0 | 9.4 | |
over 1 year ago | about 19 hours ago | |
C++ | Python | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
skybison
-
What happens in a garbage collection system where only a local variable in the host language has a pointer to an object?
Check out our handle implementation here.
-
Would it be good to add inconsistency to add a small string variant in the value payload?
This is what we did in Skybison and it worked just fine.
-
The Toit language is now open source
The codebases have very similar naming patterns and structures that mean that once you've read one, the others are much easier to understand. Check out, for example, Dart's VM. Or https://github.com/facebookexperimental/skybison
-
Faster Python with Guido van Rossum
Guido appears to have meant to refer to Skybison (https://github.com/facebookexperimental/skybison), which is not 100% compatible.
- GitHub - facebookexperimental/skybison: Instagram's experimental performance oriented greenfield implementation of Python.
- Facebook's experimental performance oriented greenfield implementation of Python
-
Skybison, Instagram's experimental performance oriented greenfield implementation of Python
In particular, what was the performance impact of your moving GC? (The documentation for the GC, https://github.com/facebookexperimental/skybison/blob/trunk/doc/garbage-collection.md, appears to be a dead link, is it present somewhere?)
- Show HN: Skybison, an optimized greenfield Python runtime
cinder
-
Meta Used Monolithic Architecture to Ship Threads in Only Five Months
Meta is actually contributing directly to upstream cpython. If you really wanted to, the internal fork is also open source: https://github.com/facebookincubator/cinder
- Meta pledges Three-Year sponsorship for Python if GIL removal is accepted
- Back end of Meta Threads is built with Python 3.10 with some interesting tweaks
-
Lessons from Mojo for PHP 10+ ?
Just one example: last year Meta open-sourced Cinder, which powers Instagram and provides sizeable speedups compared to CPython.
- Python true static typing
-
Best book on writing an optimizing compiler (inlining, types, abstract interpretation)?
I used to work on the Cinder JIT and can help document any passes you find interesting or confusing.
-
Python-based compiler achieves orders-of-magnitude speedups
You might enjoy Cinder then. It's based on CPython so it is nearly 100% compatible.
https://github.com/facebookincubator/cinder/
Disclaimer: I used to work on it.
-
beartype: It has documentation now. It only took two years, my last hair follicle, precious sanity points (SPs), and working with Sphinx. Don't be like @leycec. Go hard on documentation early.
I think Cinder's Static Python, which also performs runtime type checking, is more ambitious. Though it's not production ready yet.
-
If there’s gonna be a Python 4.0 one day, what’s a breaking change you’d like to see? Let’s explore the ideas you have that can make Python even better!
Here's a fork that implements that https://github.com/facebookincubator/cinder - it might be nice to one day get that up streamed but obviously it'll be controversial and it certainly needs more time to bake. Hopefully at some point we can make it a pip installable extension though.
-
Is it time for Python to have a statically-typed, compiled, fast superset?
The other thing that was interesting to me, was the potential of type annotations to help make for a faster, safer experience on the compiler end of things. One example is seen in Meta’s Cinder project, on the docs it explains how typing can be used to reduce the number of steps for the compiler ([cinder/static_python.rst at cinder/3.8 · facebookincubator/cinder · GitHub](https://github.com/facebookincubator/cinder/blob/cinder/3.8/CinderDoc/static_python.rst)), making it more effective.
What are some alternatives?
status-desktop - Status Desktop client made in Nim & QML
faster-cpython - How to make CPython faster.
nimporter - Compile Nim Extensions for Python On Import!
Pyjion - Pyjion - A JIT for Python based upon CoreCLR
beartype - Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
Pyjion
toit-color-tft
graalpython - A Python 3 implementation built on GraalVM
toit-lsm303dlhc - Driver for the LSM303DLHC
MonkeyType - A Python library that generates static type annotations by collecting runtime types
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
hpy - HPy: a better API for Python