Pinned toot
Pinned toot
Pinned toot

I sometimes get surprised at just how much I don't know. I also get surprised at just how much other people know. Like, people really know things, things I don't know that they figured out through time and effort. That used to scare me, but recently I think it's kind of wonderful.

Pinned toot

Hello, I am Wistahe!

I'm rather new to using social media, so I'd appreciate any tips. I like programming C and have been trying to create AI programming languages for 5 years, but unfortunately nothing works out so I keep trying over and over and over again. I also like art, especially if it tries to do something new or revives forgotten, but cool ideas. If anyone has anything interesting at all to share that isn't too crazy (except in regards to the marvelous), please tell me!

Will Mastodon 3 come with Sans DLC? Will it come with a soundtrack too like "Mastolovania?"

My favorite character in Super Smash Bros Ultimate is

:steven_pun: Steven Undertale


Using this trending hashtag to be the first to say the obligatory:
btw I use arch :arch:

There will be at least two "special" worlds: the system itself and predicate calculus. The system itself will allow results to be moved into and out of an explicit world truth relationship. Predicate calculus would allow the results of worlds to be examined outside their explicit relationship using regular logic.

I've decided to represent possible worlds in the logic of the system itself instead of a built in part of it. Despite that I'm still keeping the idea that results in different worlds can be combined, but in doing so another world is constructed by combining the old ones.

I finally have combining explicit assumptions done! But now I need to figure out how to combine logic worlds. By having all deductions take place in some world it would allow a system to be extendable because if a programmer finds the current implicit assumptions in the logic system unsatisfactory then a new world can be defined in relation to the old one, expect with different implicit assumptions.

If our programs were ways of reasoning about things, like an advanced development in the logic paradigm, instead of just procedures the most interesting advantage I could think of is the ability to fuse programs over time.

What world are you in when you combine results from different worlds? What semantics should I give that?

me: I should probably go sleep
also me: *watching Where's Waldo speedrun*

Show more
koyu.space

A cozy space for everyone (* ^ Ο‰ ^) ✨


This server doesn't have a specific theme or topic and everyone is welcome to join :)




Download on Google Play Download on koyu.space Shop

koyu's personal website

Server Status


Shop on koyu.space Shop

Donate using Liberapay