Skip to content
@a-tiny-project

a tiny project

Programming language and systems design for high-performance programmable and verifiable software systems.

a tiny project

This project is an experiment in large-scale engineering with language model (LM) agents. It serves two purposes.

  • The first is as an experiment, testing the hypothesis that agents can be coerced to write high-performance software. Coercion here roughly means with disciplined context management through tools, including programming languages and systems.
  • The second is as a source of high-performance programmable software, for usage more generally (beyond the purview of seeing if agents can write this stuff: we want it to be useful! To laypeople, to scientists, etc)

In any case, it should be abundantly clear ahead of time that agents are being used to write this software. This project does not seek to hide that, it is the entire point of the project.

We dream of a world where users can quickly spin up customized high-performance software for their open access computing devices, without having to reinvent the universe (indeed, this project might serve as such a universe).

If you find our work useful, you might cite the project from the citation key at https://a-tiny-project.github.io/

All work, unless otherwise specified, is licensed under AGPL v3.0 (which, as is abundantly clear, is mostly symbolic these days -- but we hope it warms the hearts of a few)

Note on childlike play

We like to have a bit of fun with our software: we hope you find a bit of playful chaos in some of our releases. In the words of The Little Schemer, bon appetit!

Pinned Loading

  1. problib problib Public

    Formalization library for measure-theoretic probability and probabilistic programming

    Lean 1

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…