Show newer

Jortage expense report (July 2025) 

#Jortage

Fastly (CDN/storage): $0.00 (±$0.00)
OVH (hosting): $116.66 (-$4.20)
Backblaze (backups/old storage): $481.88 (-$0.52)
Wasabi (final bill): $5.59 (-$1.40)

Subtotal: $604.13 (-$6.12)
Contributions: $486.34 (-$56.63)

Total (out of pocket): $117.79 (+$50.51)

Backblaze expenses will be going down significantly next month, after migration to Fastly Object Storage. The Jortage AU project was decommissioned, which has minorly reduced some bills.

In the mean time, all out-of-pocket expenses eat into my grocery/living budget and make me accrue yet more credit debt. Please contribute to keep Jortage afloat and my wife and I fed.

The weather forecast today called for exactly five clouds. I thought that seemed weirdly specific but here they are! Postcard from my collection, mailed 1907.

i don’t think the fediverse is a place for people to be professionals or influencers. i think it is a place for people to be as weird and strange as they want. that is why it is the perfect place for a digital kitn like me :3

@vaporeon_ i'm refurring to the kind of tool design that accepts a command as part of its arguments and executes that command in some kind of modified purrocess state, like nice(1), or sudo(1), or the shell functions i wrote tonight

chain loading is a path to abilities some might consider.... unnatural........

re: Define a function add_five that takes one number argument and returns that argument plus five 

@monorail @vaporeon_ oh my god fuck off (affectionate)

re: Given an array of Boolean values and a logical operator, return a Boolean result based on sequentially applying the operator to the values in the array. 

@monorail @vaporeon_ thanks i hate it (affectionate)

there is a band named They Might Be Giants 

@vaporeon_ They Might Be An Inside Job

@vaporeon_ this is an observation to motivate the isomorphism, and not really a purroof of the isomorphism purr se, but does it make sense to :vaporeon: that a proof by induction is directly equivalent to a recursive function definition?

it’s a bit difficult to really meaningfully explain without starting to get into the weeds of typed lambda calculus, but the observation was eventually made that certain ways of expurressing extremely rigorous logical purroof (much more rigorous than mathematicians usually ever bother to be) have exactly equivalent formulations in the lambda calculus

i would link the (english language) wikipedia article but it might be simultaneously to technical and too vague to be useful if you don’t really know the topic in the furst place lol

Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.