Header Image
Jake Hamilton
@jakehamilton

🙋‍♂️ They/He

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

Be excellent to each other.

Last seen Less than a day ago
Posts 4,079
Followers 869
Header Image
HoldMyType- main :: [Response]
@brokenix

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

Last seen Less than a day ago
Posts 9,024
Followers 469
Header Image
Frédéric Menou
@ptitfred

I mostly pouet about software development, do bad puns, and troll acquaintances. Also , , and alikes.

Last seen Less than a day ago
Posts 945
Followers 192
Header Image
hexa-
@hexa

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

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

Last seen Less than a day ago
Posts 1,312
Followers 1,056
Header Image
voidzero
@voidzero

Hi I'm Mark • I build really cool infra.

Business owner • sys/netadmin • Linux & FreeBSD • NixOS • Dutch • English • 日本語

Last seen Less than a day ago
Posts 33
Followers 19
Header Image
Ivan nix_snowflake_logo
@ivan

he/him

I like writing software, , and 
Author/maintainer of

Last seen Less than a day ago
Posts 683
Followers 185
Header Image

Software Engineer. Gaming enthusiast. I'm using NixOS, btw.

Last seen 1 day, 6 hours ago
Posts 18
Followers 3
Header Image
sodiboo
@terrain

lol. femboy.
i make stuff sometimes

I love programming, math, science, linguistics

.NET shill turned Rust shill turned Nix shill

(deprecated username; may relocate in the future. ETA varies based on procrastination)

i speak english, toki pona, swedish, norwegian

longer bio on my webbed site

Last seen 1 day, 6 hours ago
Posts 2,017
Followers 98
Header Image
Bohn Temps Streams+Videos
@BohnTemps

Inoffizieller "Was ist los bei und - 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 ]

Last seen 1 day, 6 hours ago
Posts 2,184
Followers 98
Header Image
Zzy Wysm
@zzywysm

Old fart interested in Nix/NixOS

Last seen 1 day, 6 hours ago
Posts 542
Followers 19