> 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

Husband 💍 Father 👨‍👩‍👧 Open source advocate ❤️‍🔥 Linux enthusiast 🐧 Podcaster 🎙 Streamer 📡 YouTuber 📺 Making Nix easier at Determinate Systems ❄ Leads Ubuntu MATE 🧉

Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).

Gaeilge, NixOS, Bogearraí saora, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad

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

Tech by the people, for the people.

Washing up ⌨️ #RISCV #RiscvAssembly washing up #Raspberrypi #raspi sorting socks #projects #SBC 🗜️ #make ⚙️ #maker #tibber taxi service #HomeLab #macOS #ubuntu shopping
⚛️ #physics cooking 🧮 #mathematics #maths homework 🧘🏻‍♂️ #iyoga #choir #iyengaryoga
Pro nouns: but verbs are good too if used right. #meshtastic :meshtastic: 🦀 #nixos

I build unconventional tools for lazy devs 🙃
#Nixos #Rust #Typescript #DeFi

Pipelight - Selfhosted automation pipelines that support toml, yaml, hcl and typescript.
https://github.com/pipelight/pipelight

Hey there, welcome to my humble abode of social media presence. I may not post much, but this is my main social media prescence.

What I am:
- unfortunate victim to #nix & #nixos
- most normie user of #lix
- #projectsekai player
- Emu stan
- CVT lover
- photographer wannabe
- procrastinator
- sleep enjoyer

Banner by @[email protected] at https://www.tumblr.com/sunkupng/748682580470202368

https://justmytoots.com/@marmar22@techhub.social

FOSS Enthusiast, Hacker, Part of the NixOS cult (which, of course, doesn't exist at all! There is no such thing as a NixOS cult). Studiying Computer Science

I'm a straight white cis dude, not marginalized in any way, but I try my best to be an ally.

Just a guy who loves Jesus, family, and open source. In that order.

I am currently a #youthpastor / #youth #minister at an organization called Teens For Christ Connection.

Tell me about your adventures in:
#Linux #Emacs #selfhosting #selfhosted #NixOS #keyboards #Jesus #church #teaching #IOT #Docker #Containers #KDE #Plasma #tilingwm #awesomewm #bash #shell #commandline

I'm kinda a nerd I guess...

Mastodon lebt, Twitter ist tot. 🦄

Synapsenkitzler Audios/Videos gibts auf https://www.youtube.com/synapsenkitzler (Stand 12/2023: schon lange nix neues mehr hochgeladen.) (synapsenkitzler.de / frazy.tv offline wegen #fail)

Hier poste ich unregelmäßig zu allem und nix. Tendenziell mit Bezug zu IT, Humor, Gesellschaft. Ich arbeite im ÖRR mit dem Schwerpunkt Software-Beschaffung, mit großer Sympathie für #opensource.

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

23 |
Linux sysadmin for myself
💵 Windows sysadmin for money
🔐 Infosec nerd
🎼 Music theory is cool
🖥 I like 🦀 rust and nixos
🎮 Hobby gamedev using godot
🌸 Am weeb
🌈 Very gay

https://justmytoots.com/@olsonexi@mstdn.social

🙋‍♂️ They/He

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

Be excellent to each other.

Open Source enthusiast. Lover of functional programming. An all-around nerd who likes to wear bow ties.

Author of Effective Ruby.

#Emacs #Nix #NixOS

Security software engineer @ Edgeless Systems | committer, Go team @ #nixpkgs
#infosec #golang #Nix #NixOS #ReproducibleBuilds #ConfidentialComputing

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

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

Velotafeur, mais geek avant tout, hacker, Devops, auteur & contributeur du libre. Python, Docker, NixOS/Archlinux addict #JeSuisUnDesDeux #velotaf #LiberezLaData

Montpellier · bruno.adele.im

Currently overengineering my #go blog. I also write #rust for fun, and #php at work.

When I'm not coding, I write. Fiction. Non-Fiction. I read a lot of #scifi and watch a lot of movies and #anime. I consider myself a cinephile.

Man City fan since Benjani 🇿🇼 put on the shirt

我的中文不太好

Opinions my own 😎