@natecull thanks! this looks pretty cool. I've only mostly dealt with the theoritical aspects of computational logic. I feel like this is going to be fun!

@natecull I see. I am reading up on prolog right now. Thanks for getting me started! cheers!!

@druonysus How about giving lisp a try? 😉

@natecull Oops! I meant to say that I haven't used prolog. I think different parts of the world have different "preferred languages". I am from Nepal, and over on this side of the world, lisp is quite popular(I believe lisp is from the 1950s). In any case, I think knowledge representation is quite a difficult problem for programming languages.

@natecull I hadn't heard about prolog before, but according to wikipedia, "Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules" This doesn't sound too high level for me. Perhaps the prolog syntax is confusing?

@noxy don't take it personally. Yes, they are shitheads, but they are bigger shitheads than you thought. It doesn't really matter what you are talking about as long as they can troll you. My advice would be to simply ignore them. Cheers! and best of luck with your blog!

@natecull I am not a logician, but I am a CS student and I have been studying logic for a few years now. They use mathematical constructs such as propositions and predicates, theorems and other verified proof

Only 22% of #Nepal has access to the #internet we need to work hard to make computers an integral part of #society! https://is.gd/kBtopZ https://mastodon.network/media/kzKcQMyPHfOKIIVJNMo

@joshgaudreau Yup! seems to work for me too. I selected a few langauges and now federated has a lot less posts 😄

@joshgaudreau My feed is mostly Japanese as well. I wonder if someone could do a survey of sorts to categorize instances based on dominant language of that instance..just a passing thought 😄

the federated timeline is wayyy too crowded. i need a way to make friends.

@Gargron WOW! I had the same dream 2 nights ago!!!

@Samsai you've got my attention. What amazing/weird thing are you working on?