functor.systems >> Home
A homotopy-coherent collective of free software hackers. We are a proper subset of the MIT OpenCompute Laboratory.
functor.systems maintains vital digital infrastructure for its community of hackers.
We operate the following.
Service | URL | Status |
|---|---|---|
Matrix homeserver | Operational | |
Git forge | Operational | |
The Commutative Webring | ring.functor.systems | Coming soon |
Attic, a Nix binary cache | cache.functor.systems | Tentatively coming |
Hydra, Nix continuous integration | hydra.functor.systems | Tentatively coming |
Grafana, resource monitoring | status.functor.systems | Coming soon |
We also provide *.functor.systems subdomains to our members. If you'd like a functor.systems subdomain, please see the contact information below.
Most of our infra is hosted on various homelabs operated by members, running functorOS 26.05 (Zardini), our custom distro based on NixOS 26.05 (Yarara). See status.functor.systems for status and vitals (coming soon).
functor.systems is a project incubator for its members.
Following Theorem 1, we provide digital infrastructure for members' projects as well as technical and community support. Additionally, the organization is suitable for hosting communal projects that make more sense managed and maintained collectively than in a personal account.
Projects
The following are maintained under the auspices of functor.systems.
Name | URL | Description |
|---|---|---|
eeXiv | A research repository for FIRST Robotics Competition related documents, inspired by the arXiv. | |
functorOS | A highly experimental NixOS based Linux distribution. |
Members
User | Affiliation | Role |
|---|---|---|
Berkeley Math + CS '28. MIT OCλ. | BDFL, Webmaster, chief NixOps engineer | |
SJSU '30. MIT OCλ. | EE hacker, delinquent, inventor | |
MIT Math w/ CS '28. MIT OCλ. | Intrepid Haskellian, undergrad category theorist, associate NixOps engineer | |
Anthony D. | Building. MIT EECS (on leave). MIT OCλ. | plays age of empires |
Anthony W. | MIT Math + CS '26, MEng '27. | plays age of empires |
Colin | MIT EE + Physics '26. MIT OCλ. | javascript framework connoisseur, forklift certified |
Berkeley EECS '29. MIT OCλ. | osu gamer, yuri enjoyer | |
MVHS/DVC '27. MIT OCλ. | Interested in non-linear dynamics, language shift, & transformational music theory. Rustacean. |
There are no membership dues—rather, members are encouraged to donate infrastructure and time as available.
Contact and join
It is sufficient but not necessary to be a member of functor.systems to use our infrastructure. That is, all functor.systems members can freely use or request infrastructure, and in addition friends and other non-members may be given access upon request.
If you'd like to request access to any infrastructure—or a membership—please contact the webmaster: [email protected]
In general, any friends of existing members or anyone with a reasonable interest in our projects will be granted membership and/or infra access upon request.
Miscellany
This website was written in Lean using the Verso static site generator.
Suggest an edit to this page on code.functor.systems. Note that a login is required—please request an account through the contact information above if you don't have one. Alternatively, clone the repository and send patches via email to the webmaster.