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位. | Larper-in-chief, Webmaster, chief NixOps engineer | |
Hacker at a startup. Dropped out of SJSU (rank #67 public university). MIT OC位. | EE hacker, delinquent, inventor | |
MIT Math w/ CS '28. MIT OC位. | Intrepid Haskellian, undergrad category theorist, associate NixOps engineer | |
Anthony D. | Founder mode. 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.
