1 points0 commentsgithub.com

Proof SDK: open-source collaborative editor, provenance model, and agent HTTP bridge - EveryInc/proof-sdk

3 points1 commentsarxiv.org

Game modding offers unique and personalized gaming experiences, but the technical complexity of creating mods often limits participation to skilled users. We envision a future where every player can…

2 points0 commentspeps.python.org

We propose adding powerful type-level introspection and construction facilities to Python’s type system. This design is inspired largely by TypeScript’s conditional and mapped types, but is adapted to…

3 points1 commentstwitter.com

We’ve detected that JavaScript is disabled in this browser. Please enable JavaScript or switch to a supported browser to continue using x.com. You can see a list of supported browsers in our Help…

2 points0 commentskellyjonbrazil.github.io

CLI tool and python library that converts the output of popular command-line tools, file-types, and common strings to JSON, YAML, or Dictionaries. This allows piping of output to tools like jq and…