« first day (1426 days earlier)      last day (1068 days later) » 

12:31 PM
Hi, lets talk about something. Not that the room will be frozen for inactivity 😉
12:49 PM
@math You should really switch your interest of Pi to Phi. ;)
@AviFS You can just switch off the headers manually.
Well, I usually write my whole interpreter in the code section, and then run the interpreter in the footer.
@Third-party'Chef' I thought I will name it Py-cod( Very bad name ;-). the last e is removed. It is not a spelling mistake)
@Third-party'Chef' I totally love pi after I saw this youtube.com/watch?v=0r3cEKZiLmg&list=PL4870492ACBDC2E7C
@It seems that you can't ping anyone by a preceding at...
You know Pyth? It's a really awesome language.
@math I'd love to see some example programs, or at least an overview of how the language is going to work.
@Third-party'Chef' Yes, I tried to learn Pyth, but I didn't understand the docs when the topic was for loops and input.
@math Well, where exactly do you not understand there?
@Third-party'Chef' Its almost like pyth, but easier. printing is same, and also have some default variables, Eg. The pre-defined variable Z prints Hello, World!!
@Third-party'Chef' I did not understand how to take input from user. It was something with the variable z.
1:05 PM
@math In a for loop, you mean?
You need to take input from the variable Q.
@Third-party'Chef' No I did not understand the 2 topics input and for loop.
@Third-party'Chef' Can you give me the code?
@math E.g. -Q2 subtracts the input by 2
You just use the Q instruction like any other accessable variable.
@Third-party'Chef' Thank you very much. Can you give also text as input?
@math Sure. E.g. +Q". Concatenates . after the text input.
You need to enclose the input with quotes, i.e. "text" or 'text'.
Thanks. I think first in my to-do-list is to learn pyth from the beginning ;-)
1:11 PM
@math How exactly do you not understand for loops, then?
It's probably the easiest instruction in Pyth.
@Third-party'Chef' I didn't understand the syntax
So I guess I need to re-teach the syntax here.
How to read: FZSQZ: When you see an F instruction, read it as for.
The next byte, Z, is the variable initialized for every input in the next constant:
SQ is a 1-range of Q.
So you read FZSQ as for Z in 1_range(Q):
The remaining bytes is basically the body of the for loop. You consider it as a sub-program of the for loop.
@math Am I clear enough? Or do you understand the syntax now?
@Third-party'Chef' Thanks I now understood the syntax. But what does Z do?
Does it prints the input?
@math You know, Z is a variable pre-initialized to 0.
Although it really doesn't matter about which variable you choose, it's assigned in the for loop anyway.
@Third-party'Chef' Thanks, now I understood it fully
1:24 PM
@math Hmm, how would Pytho look different from Pyth then?
Because now it's just basically a "messed up" dialect of Pyth.
Maybe I will make the loops shorter?
Interested at how that will work. Care to share?
Yes maybe I will leave the range function out. It will automatically check if the range argument is an integer or a list.
@math Pyth does that for you, actually!
My previous example could just be FZQZ
Really? Ok then I will think of something else.
I will meet you later.
1:32 PM
Hope you enjoy your stay!
I'm now there. Why does FI10I dont work?
@math I isn't a variable
It is the if statement.
@math A really useful utility that you can use to reference all Pyth instructions.
 
5 hours later…
6:28 PM
@Third-party'Chef' I think, I will cancel the project with pytho. Pyth is really great. I will maybe work on my other LaTex project.
 
5 hours later…
11:47 PM
Hi folks. There's a new version of Idris in development, Idris 2, which I wanted to test something out in today. The rewrite is not on TIO.run, understandably, although there is a working compiler available. Does TIO try to only publish finished versions of languages to avoid having to change them later on, or might Idris 2 currently be a good candidate for TIO.run?
(Idris is like Haskell, except it has dependent types, which let you write mathematical proofs about your programs within the language. Idris 2 is self-hosting, improves the compilation speed over Idris 1, and adds linear types.

« first day (1426 days earlier)      last day (1068 days later) »