iiinova — where your digital self keeps evolving

TheCodedProf

@thecoded.prof

61 followers 48 following 48 posts

Hiya! I'm Samuel, rust enjoyer and OSS contributor

Posts Replies Media

Reposted by TheCodedProf

Kagi HQ @kagi.com · 05/05/2026

A new beta build of Orion for Linux is available, here's an update on the progress thus far: www.omgubuntu.co.uk/2026/05/orio...

omgubuntu.co.uk

Orion for Linux adds a content blocker and download manager

A new beta build of Orion for Linux is available, with the v0.3 update ready for 'broader, real-world use and feedback', according to Kagi, the company

15011

TheCodedProf @thecoded.prof · 03/05/2026

@atls.city !set US-DE-Wilmington

100

Reposted by TheCodedProf

Jake Hamilton @jakehamilton.dev · 05/11/2025

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

GitHub - jakehamilton/idc: Import Nix projects regardless of how they are exposed.

Import Nix projects regardless of how they are exposed. - jakehamilton/idc

0133

Reposted by TheCodedProf

Tangled @tangled.org · 21/10/2025

blog.tangled.org

6 months of Tangled

a quick recap, and notes on the future

113323

Reposted by TheCodedProf

Tangled @tangled.org · 19/10/2025

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

λ jj git push --bookmark three-easy-steps --allow-new
Changes to push to origin:
Add bookmark three-easy-steps to 71d46921a889
remote:
remote: Create a PR pointing to master
remote: https://tangled.org/tangled.org/core/compare/master...three-easy-steps

1543

Reposted by TheCodedProf

akshay oppiliappan @oppi.li · 14/10/2025

this was all @thecoded.prof !!!

152

Reposted by TheCodedProf

nooki @handle.invalid · 09/10/2025

(1/4) I'm soft launching nooki.me to get some early traction and feedback on what to improve. Excited to see how this platform grows!

68787145

TheCodedProf @thecoded.prof · 06/10/2025

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.

000

TheCodedProf @thecoded.prof · 28/09/2025

I finally designed a banner!

New bluesky banner, uses truchet tiling to achieve a pseudo-random pattern out of a single arc.

050

TheCodedProf @thecoded.prof · 20/09/2025

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

paypal.com

PayPal

000

TheCodedProf @thecoded.prof · 07/09/2025

@isabelroses.com another name regex appears ^(the(?=(.+prof)))?coded(((?<=thecoded)\.)?prof)?|tcp|[Ss]am(uel)?$

120

TheCodedProf @thecoded.prof · 01/09/2025

Taking recommendations for banner designs, I've lost every creative bone in my body apparently, can't think of any designs

010