TheCodedProf
@thecoded.prof
Hiya! I'm Samuel, rust enjoyer and OSS contributor
Reposted by TheCodedProf
Introducing `idc`, a #Nix utility library for never having to worry about how to import Nix Flakes, Raw Nix files, Nilla Projects, Sprinkles, Nixpkgs, etc again!
github.com/jakehamilton...
github.com/jakehamilton...
GitHub - jakehamilton/idc: Import Nix projects regardless of how they are exposed.
Import Nix projects regardless of how they are exposed. - jakehamilton/idc
github.com
November 5, 2025 at 8:24 AM
Introducing `idc`, a #Nix utility library for never having to worry about how to import Nix Flakes, Raw Nix files, Nilla Projects, Sprinkles, Nixpkgs, etc again!
github.com/jakehamilton...
github.com/jakehamilton...
Reposted by TheCodedProf
6 months of Tangled
a quick recap, and notes on the future
blog.tangled.org
October 21, 2025 at 12:21 PM
Reposted by TheCodedProf
another quality of life improvement by @thecoded.prof:
1️⃣ push a branch
2️⃣ click on the link returned by the knotserver
3️⃣ open a pull request!
4/5
1️⃣ push a branch
2️⃣ click on the link returned by the knotserver
3️⃣ open a pull request!
4/5
October 19, 2025 at 1:11 PM
another quality of life improvement by @thecoded.prof:
1️⃣ push a branch
2️⃣ click on the link returned by the knotserver
3️⃣ open a pull request!
4/5
1️⃣ push a branch
2️⃣ click on the link returned by the knotserver
3️⃣ open a pull request!
4/5
Reposted by TheCodedProf
Reposted by TheCodedProf
explain your username: Uhhhhh. I code, and while I’m not a professor I don’t mind teaching people things I’m knowledgeable about.
Also it has a nice ring to it.
Also it has a nice ring to it.
explain your username: my name is Skyler, Sky for short. Once upon a time I wore some starry pajamas and quipped that I was A Starry Skyler. Now, one domain purchase later, my username is A Starry Sky (just FYI)
explain your username: :neofox_floof:
October 6, 2025 at 1:45 AM
explain your username: Uhhhhh. I code, and while I’m not a professor I don’t mind teaching people things I’m knowledgeable about.
Also it has a nice ring to it.
Also it has a nice ring to it.
I finally designed a banner!
September 27, 2025 at 11:48 PM
I finally designed a banner!
Trying to get my life back together after AstraZeneca let me go (and didn’t tell me why). I’m joining a Bootcamp run by Carnegie Mellon to get professional recognition and help with job finding after its completion.
Support me here if you want to www.paypal.com/pool/9iuyxHi...
Support me here if you want to www.paypal.com/pool/9iuyxHi...
PayPal
www.paypal.com
September 20, 2025 at 10:02 PM
Trying to get my life back together after AstraZeneca let me go (and didn’t tell me why). I’m joining a Bootcamp run by Carnegie Mellon to get professional recognition and help with job finding after its completion.
Support me here if you want to www.paypal.com/pool/9iuyxHi...
Support me here if you want to www.paypal.com/pool/9iuyxHi...
@isabelroses.com another name regex appears
^(the(?=(.+prof)))?coded(((?<=thecoded)\.)?prof)?|tcp|[Ss]am(uel)?$
^(the(?=(.+prof)))?coded(((?<=thecoded)\.)?prof)?|tcp|[Ss]am(uel)?$
September 7, 2025 at 2:27 AM
@isabelroses.com another name regex appears
^(the(?=(.+prof)))?coded(((?<=thecoded)\.)?prof)?|tcp|[Ss]am(uel)?$
^(the(?=(.+prof)))?coded(((?<=thecoded)\.)?prof)?|tcp|[Ss]am(uel)?$
Taking recommendations for banner designs, I've lost every creative bone in my body apparently, can't think of any designs
September 1, 2025 at 8:46 PM
Taking recommendations for banner designs, I've lost every creative bone in my body apparently, can't think of any designs