> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

📚🎨🎭🍨🚲🍫
★ ICH bin NICHT schuld, wenn's Wetter schlecht ist.
★
Impfsüchtige Tröttelstrippe.
Nix als Rosinen im Kopf. Albernheit wird unterbewertet.
Ich halte die Existenz von „satt“ für ein Gerücht!
#ADHS seit 1/2 Jahrhundert.

🚲 Trekking-, Falt- und Lastenradbesitzerin (Utopia, Birdy, Nihola) :na

sie/ihr she/her, weiß (aber nicht käsig)

@ Hamburg
❤︎ Berlin/NYC

‼️Hätte gern mehr Frauen in meiner TL & mehr Verfolger*INNEN.
 [tootfinder]

Programmer & animal rights activist. Author of Génies du code, an illustrated book to learn web programming. Currently working at petzi.ch & ehro.app.

I toot mostly in EN, sometimes in FR.

#django #elm #nixos #python #animalrights

Recluse open source programmer. Ⓥ. he/him.

#rust #nix #go #pki #tls #lpc #bikes #metal #mushrooms #acab

#photography #quadcopters #hiking #cycling #climbing #bouldering #linux #nixos #rust #nobot

22-year-old #Dev // #Tinkerer // #SysAdmin // from Germany.

Ask me about
#Linux #Fedora #NixOS #Grapheneos #OpenSource #ObsidianMD #Privacy #Security #Selfhosting #Docker #Python #Automation #Meditation

If you want to contact me via anything else than signal, please make use of #PGP.

Passionate about technology, Open source and long time Linux user. Into DevOps, self-hosting, home automation, retro-gaming, NixOS and Rust.

#FOSS #linux #rust #rustlang #bevy #selfhosting #grapheneos #nixos #demoscene

Theoretical physics MSc student @uniheidelberg
interested in general relativity, quantum field theory (gauge theories and quantum gravity in particular), statistical physics, geometric algebra, spinors and spaceflight. Feel free to ask me if you don't understand something I post :)

My non-physics things: #FOSS, #Linux, #NixOS, #Rust, #HardSF, #ScienceFantasy, #Solarpunk, #Rationalism, #Transhumanism

fighting for formalism biodiversity in physics since 2021

Software engineer in the Bay Area. Dad. Nerd. I work at Hasura. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22

Reducing wealth inequality is a big issue to me - IMO it's an issue with one of the highest conceptual simplicity-to-world improvement ratios. So sometimes I step out of the tech zone and post things like #eattherich and #nogoodbillionaires.

Pronouns he/they

5G Inside

Da manche eine Bio toll finden, dann schreib ich mal hin was mir Spontan einfällt, da eigentlich über mich nix tolles zu schreiben gibt^^

Fahre gern E-Scooter (Super um Fix von A nach B zu kommen) Interessiere mich auch für EBikes und Lastenräder.

Finde Autos nicht doof, nur die dummen Autofahrer die da meist am Steuer sind.

Sonst finde ich vieles Interessant, merkt man meist am Kommi drunter :)

Mehr fällt mir gerade nicht ein was hier so stehen könnte

#golang; #rust; #nix; #nixos; #k8s; #docker; #security; #privacy; #foss; amateur socializer; reader; pet parent; occasionally #gaming; #queer

he/him

❄️ NixOS 🤩 (Security, Infra, Python and Release-Manager 22.11/23.05)

Day: Network & Infrastructure.
Night: FOSS, Home Automation

Hello, my name is Henry Hiles, Full Stack Developer. I have extensive experience with React, SolidJS, Node.js, and ASP.NET Razor Pages. I have used my Node.js knowledge to create QuadraticBot 2.0, a giveaway bot for discord. For more projects, check out my GitHub profile. I am into #foss, #linux, #nixos, and #postmarketos.

I occasionally boost posts without alt text (mostly of raccoons or cats, nothing important).

#OpenSource and #OpenData fanboy & contributor (#KDE, #NixOS, #OpenStreetMap)

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

- not a furry trust me bro
#linux #nixos

🙋‍♂️ They/He

JavaScript fanboy and expert in bug creation. I also do Nix things.

Be excellent to each other.

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸

https://linktree.lgug2z.com

computer science undergrad

nixos fan
bladee stan
also-ran

follow for more substandard posts on an infrequent basis

• She/Her • 19 • 🇧🇷, talk 🇧🇷🇬🇧 • Valve & FOSS fangirl • Mermaid 🧜‍♀️ • 🏳️‍🌈 Lesbian ⚢ •





Loves #swimming, #cooking, #mermaids and #gaming. #OpenSource everything. #Linux user.

https://luana.dev.br/

Searchable!