Skip to content

Instantly share code, notes, and snippets.

🎆

Saul Shanabrook saulshanabrook

🎆
Block or report user

Report or block saulshanabrook

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View data.csv
browser n type time
firefox 0 many-outputs 44
firefox 0 long-output 37
firefox 0 many-outputs 9
firefox 0 long-output 22
firefox 0 many-outputs 65
firefox 0 long-output 26
firefox 0 many-outputs 10
firefox 0 long-output 36
firefox 0 many-outputs 10
View notes.txt
Q: What problem does foundations solve? How will you know if you have
solved it?
A: No foundation will ever be complete. What we need is some base
to help us now AND a process for growing and expandign this
to what helps us.
-> No "IR" "DSL" etc will ever be perfect. What we need is an easy
way to iterate together to build what we need as our needs
evolve, not a static base to constrain us.
View Runtime Access to Generic Type Applications (Parameters).md

I would like to propose allowing runtime access to arguments of type application (parameters) on classes inside of classmethods and the __init__ function.

I originally brought this up on the thread for implementing PEP 585, because it might entail changes to the runtime data structure being created there, but was advised that this would have to be brought up separately and would likely result in it's own PEP if there is expressed desire for it and a reasonable way to implement it (https://mail.python.org/archives/list/typing-sig@python.org/message/TQQRXNXY5KU2BG3Y7LPVN4QOSTRZZ2L6/).

Motivation

This would allow a common syntax to create strongly typed collections to be analyzed by tools like MyPy and also used at runtime. Many built in collections do not need this feature, because at runtime they can be heterogeneous.

View Untitled3.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View Untitled2.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View Untitled1.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View Untitled.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@saulshanabrook
saulshanabrook / README.md
Created Nov 20, 2019
Jupyter output renderers
View README.md

Jupyter output renderers

Add new MIME type: application/vnd.jupyter.renderer+json;package={package_name} where {package_name} is the name (and possible version) of an NPM package, like standalone-dx or standalone-dx@^1.0.0.

You should be able to import a renderMime function from that package with this signature:

type RenderMIME = (options: {
View opentensors.dot
digraph{
node[shape=plaintext,color=none]
// splines=polyline
// concentrate=true
nodesep=0.3
// layout=dagre
edge[penwidth=1,arrowsize=0.6]
You can’t perform that action at this time.