> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

★ Es gibt nix Gutes, ausser 😷 toot es
★ Boosted means boss move
★ Weckt mich wenn Revolution ist
★ Alpaca 🦙 Ozelot 🐆 Axolotl 🦎
★ Allen alles
★ Auf allen Spektren

Community care for mental health, mutual aid for all.

Life is difficult in these times, feel free to ask me for help.

write: D/E/F/ read: Sp/It/Port

#Muskodus #Twexit #LongCovid #UrbanLoveWarrior #TootFinder #FamilyAbolitionist

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





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

https://luana.dev.br/

Searchable!

Technical IT consultant
Bicycle enthusiast
interested in Linux and FOSS (not exclusively)

he/him

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

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

Hack on operating systems and programming languages. He/Him.

Improve tooling for Guile and GNU Guix.

Author of Guix Home, RDE, Arei/Ares Guile IDE.

74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.

#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs

📚🎨🎭🍨🚲🍫
★ 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]

Inoffizieller "Was ist los bei #RocketBeans und #GameTwo - Bot"

🚀🫘

Folgt ihm also, wenn Ihr keine Sendung verpassen wollt.

Nix, aber auch echt gar nix verbindet den Bot mit den Rocket Beans (außer vielleicht der Tatsache, dass der auch aus Hamburg stammt 😉)

[Programmiert von @guacamole ]

NGI Zero is a grant making programme for R&D within free and open source technology, coordinated by @nlnet in collab with @fsfe, @APC, @ps, @techcultivation, @ros, @fsi, @nixos_org, Tolerant Networks, HAN University, Brno University, APELL, @ISOCSwitzerland, OW2, OFE & more | delivers technology for the #NextGenerationInternet

Image: Christofer Jeschke via Unsplash.

Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions: https://doi.org/10.1127/metz/2022/1125 ☁️

#Linux #NixOS #FOSS #SailfishOS

#PinePhone #Arduino #RaspberryPi #ESP8266

#vim #git #gitAnnex #TeXLaTeX #OpenSCAD #SolveSpace

#Python
#hledger #plainTextAccounting

(tfr)

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

Thing i love :
- Birds of all kind they are all so cute
- furry art
- monsters, horror, eldritch entities
- music (electro, hip hop, jazz, funk, trip-hop, post rock, dark ambience, dance, etc...)
- cooking, especially making cakes and biscuits
- books
- starting project (and never finishing them)

I work as a dotnet dev doing some dev ops too.

hatch year is 1995

Please have a bios or some post before following, if not you will be considered as a suspicious account and might be blocked.

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

J'aime les #Maths, l'#Informatique, les #JeuxVidéo #JeuxDeSociété, les #JeuxDeRôle, la #SF et la #Fantasy
Je suis en M1 d'informatique à l'École normale supérieure (ENS Ulm)
Je code en #Rust #RustLang, en #OCaml et en #Python
J'utilise #NixOS, ou Windows avec #WSL

🧙‍♂️ Software Eng & 📸 Photographer

#nix #rust #python #javascript & #typescript

#homelab #photography

🚧 posts and opinions are my own

Three anxious sysadmins in a trenchcoat. DevOpsSec mercenary.
#nix #rust #python #ruby #linux

SysAdmin, Qt C++ dev, python automation tinkerer. Motorcycle rider.

Science fanboy.

Software developer, previously software tester. #PHP, #bash, #python. Some #PowerShell, #Java, #C and #Z80Assembly (Ti-83)

Otherwise interested in #Rust, #Elm, #NixOS, #Erlang, #Elixir, TLA+, and #ReasonML / #ReScript.

Ran a #seascouts troup for a while.

Speaks Dutch, English, German, some French, and a tiny bit of Mandarin and Spanish.

Software developer, free software enthusiast, community organizer, "philosopher" and much much more!!!

#python #nixos #linux #devops

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).