カプリ — 캅리 — 卡普里
```<pl>
Σ (A : 𝒰 α) (B : 𝒰 β) : 𝒰 (α ⊔ β) ≜
_,_ (a : A) (b : B)
g = (a: A) → f::<B>(a.g(b));
(ÿ (a) (f :b (g a) b))
```
pronounciation | /'kapli/ |
homepage | https://cpli.dev |
matrix | @cpli:fairydust.space |
pronouns | they/them |
カプリ — 캅리 — 卡普里
```<pl>
Σ (A : 𝒰 α) (B : 𝒰 β) : 𝒰 (α ⊔ β) ≜
_,_ (a : A) (b : B)
g = (a: A) → f::<B>(a.g(b));
(ÿ (a) (f :b (g a) b))
```
pronounciation | /'kapli/ |
homepage | https://cpli.dev |
matrix | @cpli:fairydust.space |
pronouns | they/them |
well, living's not so easy
when you're dying to forget
turns out that dying's not so easy
when you're living with regret
Hi, we're Infinity, a zealous Software Engineer on the hunt for their next job.
2+ years of professional Rust experience, an additional year of Python, TS, PHP on top.
Learning Go on the side, NixOS user since 2 years.
Comfortable with Backend or Fullstack, also open to work in e.g. embedded or DevOps.
Remote work preferred, hybrid in wide extended Karlsruhe area.
If you'd like a copy of our CV or know a company that you can recommend feel free to drop us a message!
#getfedihired #pleaseboost