mccosmos

10 ms·

1.
Show HN: Vibe Logic Programming Language(cosmos-language-lab-0819.asd-user56.chatgpt.site)
1 points by mccosmos 5d ago|0 comments
2.
Cosmos Released for Open-Source+eBook(cosmoslang.wordpress.com)
1 points by mccosmos 2y ago|0 comments
3.
Show HN: Logic-Functional Object-Oriented Prototypal Temporal Tic-Tac-Toe(github.com)
2 points by mccosmos 3y ago|0 comments
4.
by mccosmos 7y ago
No offense but they're not getting inhumane shock treament either if you're going to pull "our stress is holier than thou" and say it's magnitudes higher, I'll be waiting scientific backing on this or else it&#
5.
Wizard proposes turning map of the universe inside-out(web.archive.org)
15 points by mccosmos 8y ago|2 comments
6.
by mccosmos 8y ago
It is 0/0 that is undefined. For 1/0 the standard is either infinity (easily checkable in a language like JavaScript or C) or you get the usual talk that you can't mix infinity with numbers and the operation would be meaningl
7.
by mccosmos 8y ago
Not quite a movie but having Lojban as the setting fantasy language is the idea behind this new production: https://www.youtube.com/watch?v=4kJATTd6vF8
8.
by mccosmos 9y ago
Such is the wild life of a game programmer...
9.
Support Development of Cosmos-Lang by Getting Fantasy Book about Great Logicians(cosmiclanguage344786391.wordpress.com)
2 points by mccosmos 9y ago|0 comments
10.
by mccosmos 10y ago
I designed a logic-functional language called Cosmos ( https://github.com/mcsoto/cosmos ) based on what I thought would be a good/minimalist/innovative/easy-to-use language design that I'd like to pro
11.
by mccosmos 12y ago
One property of Cosmos is that there is no boolean type and relations are themselves booleans ( q() would be false in this case). Hence, the code would be rather like this: rel q() true false ... rel main() if(q()) .
12.
by mccosmos 12y ago
That would get translated into (s="a" and x=2) or true There is an implicit else.
13.
by mccosmos 12y ago
Thanks for the replies. A few comments: 1. I might have gotten a bit carried away when writing some parts of the article. 2. "Functors" are the same as functors from Prolog. Note that Prolog lists are functors too. They also may e
14.
An Opinionated Treatise on Cosmos, a New Programming Language(medium.com)
137 points by mccosmos 12y ago|64 comments