Wistahe 📚👨🏽‍🔬🍧 @wistahe@koyu.space

Choose your fighter:
:bunmelt: 🍞

mood:

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.

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!

#introductions

When your ship dabs out of the film
https://www.youtube.com/watch?v=GbimKclQbIw

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

🔥 📼 🔥
https://www.youtube.com/watch?v=k8PU7_sfsCY

https://www.youtube.com/watch?v=tisHBqI2tVk&feature=youtu.be

My favorite character in Super Smash Bros Ultimate is

Steven Undertale

Yo
https://www.youtube.com/watch?v=vJTtrn7vhNE

#linux
Using this trending hashtag to be the first to say the obligatory:
btw I use 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?

What is a world anyway?

Remember this when you are in hard times:
https://i.redd.it/702a75m5ifo31.png