164 lines
5.5 KiB
HTML
164 lines
5.5 KiB
HTML
<!DOCTYPE html>
|
||
<html lang="en">
|
||
<head>
|
||
<meta charset="UTF-8" />
|
||
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
||
|
||
<title>functor.systems >> Home</title>
|
||
<meta name="description" content="a homotopy-coherent free software collective.">
|
||
<meta name="author" content="Youwen Wu <youwen@functor.systems>">
|
||
|
||
<meta property="og:title" content="functor.systems >> Home">
|
||
<meta property="og:type" content="website">
|
||
<meta property="og:url" content="https://functor.systems">
|
||
<meta property="og:description" content="a homotopy-coherent free software collective.">
|
||
|
||
<!-- <link rel="icon" href="/favicon.ico"> -->
|
||
<!-- <link rel="icon" href="/favicon.svg" type="image/svg+xml"> -->
|
||
<!-- <link rel="apple-touch-icon" href="/apple-touch-icon.png"> -->
|
||
|
||
<link rel="stylesheet" href="https://latex.vercel.app/style.css">
|
||
<style>
|
||
@media (min-width: 800px) {
|
||
html {
|
||
font-size: 1.2rem;
|
||
};
|
||
}
|
||
</style>
|
||
</head>
|
||
|
||
<body class="latex-dark-auto text-justify">
|
||
<h1>functor.systems</h1>
|
||
<div class="definition">A <a href="https://ncatlab.org/nlab/show/homotopy+coherent+diagram" target="_blank">homotopy-coherent</a> collective of free software hackers.</div>
|
||
<div class="theorem">
|
||
functor.systems maintains vital digital infrastructure for its community of hackers.
|
||
</div>
|
||
<div class="proof">
|
||
We operate the following.
|
||
<table style="margin-top: 20px; margin-bottom: 20px;">
|
||
<tr>
|
||
<th>Service</th>
|
||
<th>URL</th>
|
||
<th>Status</th>
|
||
</tr>
|
||
<tr>
|
||
<td>Matrix homeserver</td>
|
||
<td><a href="/matrix">matrix.functor.systems</a></td>
|
||
<td>Operational</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Git forge</td>
|
||
<td><a href="/code">code.functor.systems</a></td>
|
||
<td>Operational</td>
|
||
</tr>
|
||
<tr>
|
||
<td>The Commutative Webring</td>
|
||
<td><a>ring.functor.systems</a></td>
|
||
<td>Coming soon</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Attic, a Nix binary cache</td>
|
||
<td><a>cache.functor.systems</a></td>
|
||
<td>Tentatively coming</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Hydra, Nix continuous integration</td>
|
||
<td><a>hydra.functor.systems</a></td>
|
||
<td>Tentatively coming</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Grafana, resource monitoring</td>
|
||
<td><a>status.functor.systems</a></td>
|
||
<td>Coming soon</td>
|
||
</tr>
|
||
</table>
|
||
We also provide <code>*.functor.systems</code> subdomains to our members. If you’d
|
||
like a <code>functor.systems</code> subdomain, please see the <a
|
||
href="#contact">contact information</a> below.
|
||
</div>
|
||
Most of our infra is hosted on various homelabs operated by members, running
|
||
NixOS 25.05 (Warbler). See <a>status.functor.systems</a> for status and vitals (coming soon).
|
||
<div class="theorem">
|
||
functor.systems is a project incubator for its members.
|
||
</div>
|
||
<div class="proof">
|
||
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.
|
||
</div>
|
||
<h2>Projects</h2>
|
||
The following are maintained under the auspices of functor.systems.
|
||
<table style="margin-top: 10px;">
|
||
<tr>
|
||
<th>Name</th>
|
||
<th>URL</th>
|
||
<th>Description</th>
|
||
</tr>
|
||
<tr>
|
||
<td>eeXiv</td>
|
||
<td><a href="https://eexiv.functor.systems" target="_blank">eexiv.functor.systems</a></td>
|
||
<td>A research repository for FIRST Robotics Competition related documents, inspired by the arXiv.</td>
|
||
</tr>
|
||
</table>
|
||
<h2>Members</h2>
|
||
<table>
|
||
<tr>
|
||
<th>User</th>
|
||
<th>Website</th>
|
||
<th>Role</th>
|
||
</tr>
|
||
<tr>
|
||
<td>Youwen</td>
|
||
<td><a target="_blank" href="https://web.youwen.dev">web.youwen.dev</a></td>
|
||
<td>Webmaster, Benevolent Dictator</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Warren “Kaitotlex”</td>
|
||
<td><a target="_blank" href="https://kaitotlex.systems">kaitotlex.systems</a></td>
|
||
<td>EE hacker, delinquent, founding member</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Ananth</td>
|
||
<td><a target="_blank" href="https://mit.edu/~ananthv/www">mit.edu/~ananthv/www</a></td>
|
||
<td>Intrepid Haskellian, undergrad category theorist, founding member</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Nicholas “nluo”</td>
|
||
<td><a target="_blank" href="https://github.com/Nluo923">github.com/Nluo923</a></td>
|
||
<td>osu gamer, yuri enjoyer, founding member</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Arvind “Quantalabs”</td>
|
||
<td><a target="_blank" href="https://rvind.dev">rvind.dev</a></td>
|
||
<td>Avid mathematician, D1 FRC robotics programmer, founding member</td>
|
||
</tr>
|
||
</table>
|
||
There are no membership dues—rather, members are encouraged to donate
|
||
infrastructure and time as available.
|
||
<h2 id="contact">
|
||
Contact and join
|
||
</h2>
|
||
<p>
|
||
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 <b>may</b> be
|
||
given access upon request.
|
||
</p>
|
||
<p>
|
||
If you’d like to request access to any infrastructure—or a membership—please contact the webmaster: <code><<a
|
||
href="mailto:youwen@functor.systems">youwen@functor.systems</a>></code>.
|
||
</p>
|
||
<p>
|
||
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.
|
||
</p>
|
||
<h2>
|
||
Miscellaneous
|
||
</h2>
|
||
<p>
|
||
Suggest an edit to this page on <a href="https://github.com/youwen5/functor.systems/edit/main/public/index.html" target="_blank">GitHub</a>.
|
||
</p>
|
||
</body>
|
||
</html>
|