« first day (170 days earlier)      last day (1766 days later) » 

petStorm
petStorm
02:26
My account is flagged so I'll fork my repository to Random People.
petStorm
petStorm
02:39
It's quite a nuisance - you need to commit and then re-fork the repo to make it public.
But, that's a workaround for being flagged anyway.
You can't commit directly to the repository because your account is flagged.
Lyxal
Lyxal
03:21
@petStorm wait why was it flagged?
petStorm
petStorm
04:10
@Lyxal Don't you know that I've followed 11.8k users?
Lyxal
Lyxal
@petStorm i didn't know you were that busy... I thought maybe a few thousand people
petStorm
petStorm
@Lyxal You mean, busy to follow users?
(Also, are you interested in learning NST, or not yet?)
Lyxal
Lyxal
04:46
@petStorm Yes. I didn't expect such a great magnitude of people
@petStorm Yes. I am interested in learning NST
@petStorm Yes. I do like writing sentences like this
petStorm
petStorm
@Lyxal Yes. I am expecting you to ask some questions about NST.
(Yes. I am horrible at making tutorials.)
Lyxal
Lyxal
@petStorm Yes. I did think you would copy my sentence structure
@petStorm Yes. I don't think that matters
petStorm
petStorm
(I'd stop doing this kind of sentence structure for now.)
So, can we start with the program structure?
Lyxal
Lyxal
(Eh sure)
(Sure)
petStorm
petStorm
NST is a prefix language, that means the operators go before the operands.
Lyxal
Lyxal
04:50
E.g. + 3 4 -> 7?
petStorm
petStorm
Right.
Now the operator system is the part that differs:
∈ x y checks whether the item x is in the set y.
(Now take note that in the set theory all items are technically sets, but let's ignore that for a while.)
Lyxal
Lyxal
@petStorm As much as I understand that this is prefix, infix looks much more natural, like normal maths
But I'm willing to roll with it
petStorm
petStorm
(Because I don't know how to implement infix...)
Lyxal
Lyxal
(Ah)
(I see)
petStorm
petStorm
Okay. Ø represents the empty set, with nothing in that set.
Question: What value does ∈ 1 Ø return: True or False?
Lyxal
Lyxal
04:53
False
petStorm
petStorm
What value does ∈Ø Ø return? (opening up interpreter)
Lyxal
Lyxal
True
petStorm
petStorm
It should be true, I've found a bug in the interpreter. But weirdly it says false...
Lyxal
Lyxal
Y'know, why didn't you use ⊂ instead?
Because that's what we used in high school probability when we looked at sets.
A ∩ <not> A = ∅
;P
petStorm
petStorm
I haven't got to that yet.
Lyxal
Lyxal
04:57
I know, I'm just taking a look at everything I ever learnt on sets
petStorm
petStorm
You already know the full set of the set theory?
(So it would be really easy for you to pick up NST.)
Lyxal
Lyxal
@petStorm standard mathematical set theory
Yes 
A∩B = {elements that are in A and in B}
A∪B = {elements that are in A or in B}
ℤℝ are integers and real numbers respectively
But when it comes to y'all's extension, I haven't a clue what it's about
*Alright, maybe a little bit of a clue
petStorm
petStorm
Nothing much.
The only difference is that ⍺ takes an input set from the input, that's it.
Lyxal
Lyxal
@petStorm really? That's...that's it?
petStorm
petStorm
@Lyxal Exactly. I'm just writing an interpreter for the set theory, you know.
Lyxal
Lyxal
05:01
@petStorm then what's all that stuff in TNB about? Fizzbuzz with sets, etc.
I thought that's what this was about.
(☉ ͟ʖ☉)
(ಠ ͟ʖಠ)
(⩺ ͟ʖ⩹)
🤔
petStorm
petStorm
I'm pretty much using an interpretable set theory to do that, without extending it too much.
petStorm
petStorm
05:12
Once I try to extend the language though, hopefully it'll be a lot more fun to learn.
Check back soon.

« first day (170 days earlier)      last day (1766 days later) »