diff --git a/public/code.html b/public/code.html new file mode 100644 index 0000000..78e0579 --- /dev/null +++ b/public/code.html @@ -0,0 +1,201 @@ + + + + + + + functor.systems >> Matrix + + + + + + + + + + + + + + + + + + + +
+ +
+
+
+
+ + + + + + + + + + + + +
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+

code.functor.systems

+

+ A Git forge operated by functor.systems. +

+

+ Git is a version control system for source code. A Git forge is a central place that holds Git repositories and facilitates collaboration. The most famous is GitHub, and + code.functor.systems is our very + own forge, running the entirely free software Forgejo forge software. Beyond coding. We forge. +

+

+ Registration is currently loosely restricted to friends of the + functor.systems community. In particular, if you’re currently working on a + project hosted on code.functor.systems, you will almost certainly be + approved for + an account. Contact forgejo-admin@functor.systems + after you create an account to have it activated. +

+ [browse repos] + [register for an account] + [functor.systems] + +
+ + + diff --git a/public/fonts/redaction-20-italic.woff2 b/public/fonts/redaction-20-italic.woff2 new file mode 100644 index 0000000..878d76c Binary files /dev/null and b/public/fonts/redaction-20-italic.woff2 differ diff --git a/public/fonts/redaction-italic.woff2 b/public/fonts/redaction-italic.woff2 new file mode 100644 index 0000000..e5e2643 Binary files /dev/null and b/public/fonts/redaction-italic.woff2 differ diff --git a/public/fonts/redaction.woff2 b/public/fonts/redaction.woff2 new file mode 100644 index 0000000..cb23251 Binary files /dev/null and b/public/fonts/redaction.woff2 differ diff --git a/public/index.html b/public/index.html index 5e1d381..83906b1 100644 --- a/public/index.html +++ b/public/index.html @@ -38,13 +38,13 @@ - + - - + + @@ -87,6 +87,20 @@ 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. +
ServiceDomainURL Status
Matrix homeservermatrix.functor.systemsComing soonmatrix.functor.systemsOperational
Git forge
+ + + + + + + + + + +
NameURLDescription
eeXiveexiv.functor.systemsA research repository for FIRST Robotics Competition related documents, inspired by the arXiv.

Members

@@ -105,9 +119,9 @@ - + - + @@ -116,8 +130,8 @@ - - + +
EE hacker, delinquent, founding member
Ananth “quantum9innovation”Ananth mit.edu/~ananthv/wwwIntrepid Haskeller, undergrad category theorist, founding memberIntrepid Haskellian, undergrad category theorist, founding member
Nicholas “nluo”
Arvind “Quantalabs”github.com/QuantalabsAvid mathamatician, D1 FRC robotics programmer, founding memberrvind.devAvid mathematician, D1 FRC robotics programmer, founding member
There are no membership dues—rather, members are encouraged to donate @@ -128,8 +142,8 @@

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. + 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: < + + + + + + functor.systems >> Matrix + + + + + + + + + + + + + + + + + + + +

+ +
+
+
+
+ + + + + + + + + + + + +
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+

matrix.functor.systems

+

+ A matrix homeserver operated by functor.systems. +

+

+ Matrix is an open, federated, and end-to-end encrypted messaging protocol. + matrix.functor.systems is our very + own homeserver, running the tuwunel Matrix + server implementation. +

+

+ Registration is currently restricted to friends of the functor.systems + community. However, you can make an account on any other Matrix homeserver, + and interact with any account on matrix.functor.systems without any + downside. This is what is meant when we say Matrix is federated. + The official matrix.org free public homeserver is + a good place to make your first account. +

+ [register for an account] + [functor.systems] + +
+ + + diff --git a/public/sunlit.css b/public/sunlit.css new file mode 100644 index 0000000..cfb71e8 --- /dev/null +++ b/public/sunlit.css @@ -0,0 +1,269 @@ +article { + margin: 0 auto; + max-width: 800px; + padding: 8rem 12px; + + color: var(--dark); + isolation: isolate; +} + +article a { + color: var(--dark); +} + + +body { + --day: #fffdfa; + --evening: #fccc83; + --dusk: #db7a2a; + --night: #0f131c; + --dawn: #16132b; + --morning: #9fb3bf; + + + --light: var(--day); + --dark: var(--night); + --shadow: #1a1917; + --bounce-light: #f5d7a6; + --timing-fn: cubic-bezier(0.455, 0.190, 0.000, 0.985); + + margin: 0; + padding: 0; + height: 100%; + width: 100%; + background-color: var(--light); + + animation-duration: 0s; + animation-fill-mode: forwards; + animation-timing-function: linear; +} + +body.animation-ready { + animation-play-state: running; + animation-duration: 1s; + animation-name: sunrise; +} + +body.animation-ready.dark { + animation-duration: 1.7s; + animation-name: sunset; +} + +body.dark { + --light: var(--night); + --dark: var(--day); + --shadow: #030307; + --bounce-light: #1b293f; +} + +@keyframes sunrise { + 0% { + background-color: var(--night); + } + + 10% { + background-color: var(--dawn); + } + + 35% { + background-color: var(--morning); + } + + 100% { + background-color: var(--day); + } +} + +@keyframes sunset { + 0% { + background-color: var(--day); + } + + 30% { + background-color: var(--evening); + } + + 60% { + background-color: var(--dusk); + } + + 90% { + background-color: var(--dawn); + } + + 100% { + background-color: var(--night); + } +} + +#dappled-light { + pointer-events: none; + position: fixed; + height: 100vh; + width: 100vw; +} + +#progressive-blur { + position: absolute; + height: 100%; + width: 100%; +} + +#progressive-blur>div { + position: absolute; + height: 100%; + width: 100%; + inset: 0; + backdrop-filter: blur(var(--blur-amount)); + mask-image: linear-gradient(252deg, transparent, transparent var(--stop1), black var(--stop2), black); +} + +#progressive-blur>div:nth-child(1) { + --blur-amount: 6px; + --stop1: 0%; + --stop2: 0%; +} + +#progressive-blur>div:nth-child(2) { + --blur-amount: 12px; + --stop1: 40%; + --stop2: 80%; +} + +#progressive-blur>div:nth-child(3) { + --blur-amount: 48px; + --stop1: 40%; + --stop2: 70%; +} + +#progressive-blur>div:nth-child(4) { + --blur-amount: 96px; + --stop1: 70%; + --stop2: 80%; +} + +#glow { + position: absolute; + background: linear-gradient(309deg, var(--bounce-light), var(--bounce-light) 20%, transparent); + transition: background 1.0s var(--timing-fn); + height: 100%; + width: 100%; + opacity: 0.5; +} + +#glow-bounce { + content: ""; + position: absolute; + background: linear-gradient(355deg, var(--bounce-light) 0%, transparent 30%, transparent 100%); + transition: background 1.0s var(--timing-fn); + opacity: 0.5; + height: 100%; + width: 100%; + bottom: 0; +} + +.perspective { + position: absolute; + transition: transform 1.7s var(--timing-fn), opacity 4s ease; + top: -30vh; + right: 0; + width: 80vw; + height: 130vh; + opacity: 0.07; + background-blend-mode: darken; + transform-origin: top right; + transform-style: preserve-3d; + transform: matrix3d(0.7500, -0.0625, 0.0000, 0.0008, + 0.0000, 1.0000, 0.0000, 0.0000, + 0.0000, 0.0000, 1.0000, 0.0000, + 0.0000, 0.0000, 0.0000, 1.0000); +} + +.dark .perspective { + opacity: 0.3; + transform: matrix3d(0.8333, 0.0833, 0.0000, 0.0003, + 0.0000, 1.0000, 0.0000, 0.0000, + 0.0000, 0.0000, 1.0000, 0.0000, + 0.0000, 0.0000, 0.0000, 1.0000); +} + +#leaves { + position: absolute; + background-size: cover; + background-repeat: no-repeat; + bottom: -20px; + right: -700px; + width: 1600px; + height: 1400px; + background-image: url("./leaves.png"); + filter: url(#wind); + animation: billow 8s ease-in-out infinite; +} + +#blinds { + position: relative; + width: 100%; +} + +#blinds .shutter, +#blinds .bar { + background-color: var(--shadow); +} + +#blinds>.shutters { + display: flex; + flex-direction: column; + align-items: end; + gap: 60px; + transition: gap 1.0s var(--timing-fn); +} + +.dark #blinds>.shutters { + gap: 20px; +} + +#blinds>.vertical { + top: 0; + position: absolute; + height: 100%; + width: 100%; + display: flex; + justify-content: space-around; +} + +.vertical>.bar { + width: 5; + height: 100%; +} + +.shutter { + width: 100%; + height: 40px; + transition: height 1.0s var(--timing-fn); +} + +.dark .shutter { + height: 80px; +} + +@keyframes billow { + 0% { + transform: perspective(400px) rotateX(0deg) rotateY(0deg) scale(1); + } + + 25% { + transform: perspective(400px) rotateX(1deg) rotateY(2deg) scale(1.02); + } + + 50% { + transform: perspective(400px) rotateX(-4deg) rotateY(-2deg) scale(0.97); + } + + 75% { + transform: perspective(400px) rotateX(1deg) rotateY(-1deg) scale(1.04); + } + + 100% { + transform: perspective(400px) rotateX(0deg) rotateY(0deg) scale(1); + } +}