Show newer

consider for a moment that this would be pronounced more like bloohai bloost

Show thread

food 

Wait I have potatoes. Should it be a stew with potatoes (yes)

Show thread
jonoodle :dragnloaf: boosted

food 

I think I'll make a stew with my beans tonight
At least I think I have a can of beans? I could always use my dried lentils I guess but it'll take longer
Anyway I really need to use up my zucchini lol
And I have pasta sauce left over which is like. close enough to a marinara right lol

It costs years of your lifetime to moderate it

Show thread

It only costs 4$ a month to run a single-user masto instance

ok I'll be back in the evening to attempt to run elasticsearch on my teeny tiny server using the same settings types has

I think over the winter break I actually do want to try to disable the infinite size in Agda's source code and then play around with sized types that don't use it
There's a bunch of good examples to try out but they're scattered all throughout the various github issues on sized typese

jonoodle :dragnloaf: boosted

I am always needing sized types I wish they were real

now for the hard part: switching to the upgrade branch

Show thread
jonoodle :dragnloaf: boosted
Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.