Language Development

totallyhuman

03:02

hah first message

MD XF

Hello

MD XF

03:17

Hello @LeakyNun

Leaky Nun

@MDXF hi

what is the file triangular for?

MD XF

Oops it's the executable

Leaky Nun

for what

MD XF

Deleted now

Well when you make it generates the interpreter executable

Leaky Nun

I see

MD XF

03:19

I pushed without deleting / adding triangular to the .gitignore

Leaky Nun

I'll be making a PR in a few minutes

MD XF

Okay, thanks

→ 7 messages moved to The C Programming Language

@LeakyNun Ping me when you PR

Leaky Nun

done

MD XF

Oh :P

Thanks :-)

Leaky Nun

I'll be making another

but have you tested it before merging?

I may have a syntax error somewhere...

MD XF

03:29

Yep I tested it, nothing messed up

Leaky Nun

good

can you tell me what buf will be, if the code is abc?

MD XF

Darn I had some code in there that would print buf based on a command-line argument

but I removed it for some reason

Leaky Nun

I can't run C anyway

I just mean theoretically

MD XF

buf[0] = "a" and buf[1] = "bc"

Leaky Nun

        if (x < 0)
            x = 0;
        if (y < 0)
            y = 0;

then why isn't there a similar wrapper for x > y?

MD XF

03:31

Hm I never saw it being a problem since if buf[y][x] is 0 it will automatically terminate IIRC

And if x > y then buf[y][x] will be 0

Leaky Nun

but then why doesn't it terminate if you go west?

MD XF

It does

If you go too far west

    if (buf[y][x] == 0)
        exit(EXIT_SUCCESS);

yeah I was right, I did put that catch in there

Leaky Nun

but if you go too far southwest, you won't terminate

MD XF

1 min ago, by MD XF

    if (buf[y][x] == 0)
        exit(EXIT_SUCCESS);

buf is initialized to be filled with zeroes

Leaky Nun

        if (x < 0)
            x = 0;
        if (y < 0)
            y = 0;

if you go too far southwest, you'll be at [0][0], which would not be 0

if ((direction == 4 && x < 0) || (direction == 2 && y < 0) || (direction == 1 && (y < 0 || x < 0)))
    exit(EXIT_SUCCESS);

directions 4,2,1 are checked

MD XF

03:35

I need an enum for directions...

Leaky Nun

but southwest is direction 6

MD XF

Wait no

Leaky Nun

nah you just need constants

I can make them for you

in my next PR

MD XF

Southwest is direction 6, direction 6 increments y

increments y

So travelling southwest will never get to [0][0]

Leaky Nun

oh you're right

MD XF

03:37

Also I've got 50 test programs on my offline PC and I'll test all those late tonight with the new code so if there are any bugs in the code they won't go unnoticed for more than 12 hours

Leaky Nun

ok

right, I just found a bug.

caused by me.

MD XF

Oh?

Leaky Nun

I thought the directions were arranged in a circular order

MD XF

They are...

wait that's not circular

duh

Leaky Nun

if (x < 0)
    x = 0;
if (y < 0)
    y = 0;

what's this code for?

MD XF

03:41

Error catching

'cause if either of those are less than zero it'll segfault

Leaky Nun

but they can't be

you already detected them beforehand

MD XF

Yeah I think that's either a safety thing or a fallthrough from an old version

Don't remove it, I'll remove it tonight when I'm checking everything

Leaky Nun

  case '|': direction = SOUTH; break;

but in your docs it should be v

MD XF

Where do I have that??

Is that really in there? *smacks head*

Leaky Nun

I changed the 7 to SOUTH

MD XF

03:44

Ha well looks like I don't have one test case

No I know SOUTH = 7 but I was talking about the case '|'

I guess I never bothered to test v

Ping when PR

Also if you don't use a computer on which you can test C, I'd recommend using cloud9, it's what I use to pull/test C repos

Leaky Nun

@MDXF PR

MD XF

<insert a bunch of const ints here> -> enum { UNDEF, NORTHWEST, NORTH, NORTHEAST, WEST, EAST, SOUTHWEST, SOUTH, SOUTHEAST};

Why introduce so much confusion with dx and dy?

    switch (direction) {
      case NORTHWEST:   dx = -1; dy = -1; break;
      case NORTH:       dx = -1; dy =  2; break;
      case NORTHEAST:   dx =  0; dy = -1; break;
      case WEST:        dx = -1; dy =  0; break;
      case EAST:        dx =  1; dy =  0; break;
      case SOUTHWEST:   dx =  0; dy =  1; break;
      case SOUTH:       dx =  1; dy =  2; break;
      case SOUTHEAST:   dx =  1; dy =  1; break;
    }

    x += dx * (skip + 1);
    y += dy * (skip + 1);

That's a bit less manageable than it used to be...

Leaky Nun

04:03

because I don't like how the skip works

like, seriously? You skip it one by one?

MD XF

Well for one thing, the IP still needs to move if skip is nonzero

skip is not always true/false so x += dx * (skip + 1); is gonna really bork stuff up

Leaky Nun

@MDXF I know, which is why I put +1

@MDXF can you show me how?

MD XF

skip may be any value

Leaky Nun

go on

MD XF

Oh you broke that part :P

github.com/aaronryank/triangular/blob/master/triangular.c#L99

skip = (size && stack[size-1]);

skip needs to be stack[size-1], not stack[size-1] == true

Leaky Nun

04:07

wait a sec, fixing

what... how come 1&&0 is 0, 1&&1 is 1, and 1&&2 is 1?

MD XF

@LeakyNun Because 2 evaluates to true

&& != ==

&& just checks if both values are nonzero

Leaky Nun

I thought && is like and in Python lol

MD XF

Nope haha

Leaky Nun

    skip = skip < 0 ? 0 : skip;

Are you ok with this line?

@MDXF

MD XF

When will skip ever be ... good point, that's a bug. Yeah that looks okay, where're you putting it?

Leaky Nun

04:15

just before

    x += dx * (skip + 1);
    y += dy * (skip + 1);

MD XF

...I thought we were removing those lines

Leaky Nun

@MDXF PR fixed

@MDXF I intend those lines are not borked

and are equivalent with what you originally have

and are faster when skip = 10000

MD XF

Yes but say dx = 1 and skip = 3. Won't x += dx * (skip + 1); evaluate to x += 1 * 4?

And we don't want x incremented by 4

Hmm... putchar(size ? stack[size-1] : 0); is not good, we don't want to print null bytes...

Leaky Nun

@MDXF what would x be incremented by instead?

@MDXF so just don't print anything?

MD XF

Wait a sec

Oh it's all making sense now

Does x += dx * (skip + 1); automatically increment x to however many it should be if skip is not 0 or 1?

Like if skip = 4 then it'll skip the correct number of commands. Ohhh

And skip = 0; Yup yup looks great, sorry about that

Leaky Nun

04:22

@MDXF yes

MD XF

My bad, I'm tired :P

Leaky Nun

@MDXF so what do we do here?

MD XF

I'm still looking over the PR @LeakyNun

@LeakyNun I don't think these safety nets are necessary; if size < 1 then the compiler will just default stack[size-1] to 0

Leaky Nun

I thought stack[-1] is segfault

MD XF

@LeakyNun I'm pretty sure it's not but I'll test it

@LeakyNun Nope, defaults to 0

Leaky Nun

04:30

@MDXF then what is this?

MD XF

@LeakyNun Hm, I think it was my best guess as to why I put that useless code in there. Actually, I'm pretty sure that code was to prevent x or y going under 0, and then the error-check that exits if the code is empty later ... yeah never mind

Leaky Nun

and I still don't like stack[-1] being called...

MD XF

It was useless

@LeakyNun Well neither do I...

but this

skip = (size ? stack[size-1] : 0) < 1;

If size isn't 0 then it just compares 0 < 1

Which is just a waste of the compiler's time

Maybe skip = size ? (stack[size-1] : 0 < 1) : 0

Actually I can just do that @LeakyNun do you have any more changes to make?

I'm going to merge your PR

Leaky Nun

@MDXF it's actually UB

MD XF

@LeakyNun GCC/TCC/Clang (the only compilers you should use) really handle UB well

Leaky Nun

04:36

my conjecture is that if you do x[-1000] eventually you access non-zero addresses

MD XF

@LeakyNun Okay yeah that seg-faults

But it will never get that low

Leaky Nun

@MDXF there's an obvious syntax error in your code

MD XF

@LeakyNun Where?

Not in my code... I already tested it

Leaky Nun

follow my reply arrow

MD XF

This? skip = size ? (stack[size-1] : 0 < 1) : 0

Leaky Nun

04:39

yes

MD XF

Oh duh

skip = size ? (stack[size-1] < 1) : 0

Thanks

Anyway I'll implement a few things; can I merge your PR now?

@LeakyNun

Leaky Nun

ok

MD XF

@LeakyNun But still it will never get that low

        if (buf[y][x] == 0)
            exit(EXIT_SUCCESS);

So y and x will never get below -1

This too

if ((direction == WEST && x < 0) || (direction == NORTH && y < 0) || (direction == NORTHWEST && (y < 0 || x < 0)))
    exit(EXIT_SUCCESS);

Leaky Nun

@MDXF this is redundant, it wont get that low because it wont even be executed

and for other cases, it's your language, so you use UB at your discretion

MD XF

Either way I'm removing the UB

Well, you removed the UB

Also for some reason your eight consts in the switch didn't work

but I fixed that with an enum

Leaky Nun

04:48

cool

MD XF

I have no idea why those didn't work

triangular.c:73:13: error: case label does not reduce to an integer constant

Leaky Nun

maybe not global?

MD XF

I think they were global

Ah well, I'll look into that some other time

I gtg in 6 minutes @LeakyNun so if there's anything else you'd like to bring up...?

Leaky Nun

@MDXF I'll just create 1000 PR's

you can discuss those with me when you come back

MD XF

Nice :P I may make changes over"night" (depending on your timezone) but they won't be pushed 'till "tomorrow" morning, and they'll just be bugfixes

Leaky Nun

04:54

how many hours later?

MD XF

Oh crap, I'm out of town tomorrow, just remembered

Leaky Nun

alright

MD XF

I may not have time to do anything on GitHub until ... say in 20 hours, sorry

Leaky Nun

no problem

MD XF

In that case I won't do anything overnight aside from tests. Thanks for the help

Leaky Nun

05:49

@MDXF you write ] move the instruction pointer back to the most recent ( if the ToS is > 0, but you only check stack[size-1]: what is the ToS is negative?

Leaky Nun

07:39

@MDXF UB much

MD XF

14:09

@LeakyNun Then it shouldn't do anything; in Triangular, negative numbers act as falsy values

Leaky Nun

@MDXF yes, but in your code it doesn't.

your code checked for truthiness.

MD XF

Oh crud

I'll check on that

Leaky Nun

I thought you are not available until 11 hours later

MD XF

Neither did I but my flight got cancelled

Leaky Nun

oh...

my condolences

MD XF

14:11

¯\_(ツ)_/¯

Fixed ]

Leaky Nun

did you check my code before merging it?

MD XF

Yep

Leaky Nun

alright

MD XF

There was one bug but I noticed it overnight and fixed it a few minutes ago

If the direction was North, dy was getting set to 2 instead of -2

MD XF

20:22

@LeakyNun I figured out why having a const int in a switch case didn't work, see this

Wheat Wizard

21:15

@MDXF I think triangular may not be TC

MD XF

@WheatWizard how so?

Wheat Wizard

There isn't any arbitrary stack acess

MD XF

What do you mean, like printing the non-top stack value?

Wheat Wizard

You can't perform an action on the second value without destroying the top value

MD XF

You can perform =

Wheat Wizard

21:16

this doesn't necessarily mean its not TC, but its usually a sign

Thats not what I mean

A program that adds the 2nd item to the 3rd is impossible

MD XF

Ohh yeah I meant to implement something like I did in Decimal

Gimme ten minutes

@DJMcMayhem Could you move these recent messages from me and WheatWizard to this room?

Wheat Wizard

If it is TC its going to have to have a really strange memory representation

MD XF

@WheatWizard what do you mean?

Wheat Wizard

I might be able to make a quine anyway though

For example there is a subset of Brain-Flak called Microflak

Micro flak is technically turing complete,

MD XF

Link?

Wheat Wizard

21:20

there is no link

Its all on paper at the moment

MD XF

Oh, you're writing it. ok

Wheat Wizard

But the point is that Microflak is TC, but all data has to bre represented in binary because it can't distinguish between non zero numbers

MD XF

That seems like a very complex language; I'm excited to see it

Wheat Wizard

So if you want to say add two numbers, you have to pass the numbers in a really esoterric format, in order for the language to compute any thing

MD XF

Yeah. Well, Triangular won't be that way, I'm adding "memory" like in Decimal

Decimal has one memory value and a stack

Wheat Wizard

21:23

Its Brainflak without [...],<...>, (), or[]

MD XF

How is that even possible?

Wheat Wizard

Really esoterric input formats

MD XF

What's a good name for a command that takes a value from a stack and puts it somewhere else without popping it?

stash?

Wheat Wizard

sounds good

Like leave it on the board?

DJMcMayhem

@MDXF I'll have to switch to my computer, just a sec

MD XF

21:25

Yeah

Wheat Wizard

how do you pick it back up?

MD XF

For example, say we have two stacks: I need a name for a command to transfer the top of one stack to the other

@DJMcMayhem Okay, thanks

DJMcMayhem

Where do you want me to start?

MD XF

Without popping it

Wheat Wizard

Ah like Klein's (...) ?

MD XF

21:26

I guess so; never used Klein

Wheat Wizard

ah ok

pull?

MD XF

Yes that works

Maybe here? but if they don't need to be moved then don't bother

DJMcMayhem

← 18 messages moved from The Nineteenth Byte

MD XF

Okay, three commands to interface with the second stack (which is currently not even a stack but just a single memory value): Pop, pUll and Stash

Wheat Wizard

How does one compile triangular?

MD XF

21:30

make

Should that be in the README? Probably

Wheat Wizard

Ah i didn't see the makefile

Does triangular strip whitespace like hexagony?

MD XF

Yep

"Source code is read in the shape of the smallest triangle that the length of the code can fit into. Whitespace is ignored."

(emphasis mine) (text also mine lol)

Wheat Wizard

       ,
      1 ,
     2 . .
    3 . . .
   4 . . . .
  5 . . . . .
 > . ( .%! / )
. > ( . . . . ]

What should that do?

MD XF

No way, that's a quine??

Oh wait nvm haha

Wheat Wizard

No its not

:p

MD XF

21:33

It will push the values 1 2 3 4 5 to the stack, direct the IP east, uh... I think that's a bit messed up

> . ( .%! / )?

Wheat Wizard

ah I see

thanks

MD XF

Remove the . directly to the right of the (

Yeah

Changes pushed, it should be more TC now

P to pop ToS and store the popped value in memory, S to stash the ToS in memory without popping it, U to pull the memory onto stack

Should make stuff easier

Wheat Wizard

           .
          \ .
         1 . .
        2 . . .
       3 . . . .
      4 . . . . .
     5 . . . . . .
    . . . . . . . .
   . . . . . . . . .
  / . . . . . . . . <
 . . p ~ * * 9 2 5 < .
. . . . . . . . . . . .

What should that do?

shouldn't it print Z ?

MD XF

What is the 1 2 3 4 5 doing? it's never reached

Wheat Wizard

Wait why not?

MD XF

21:41

Wait nvm

whoops, sorry

I forgot the default IP moves by default lol

Just a second...

Wheat Wizard

It seems to get stuck in an infinite loop, with no output

MD XF

That's... strange

Wheat Wizard

Looks like a bug

MD XF

Try using the command-line options --verbose --display-code in that order

verbose will prettyprint the triangle, display-code will display the code as it reads it

Wheat Wizard

            .
           \ .
          1 . .
         2 . . .
        3 . . . .
       4 . . . . .
      5 . . . . . .
     . . . . . . . .
    . . . . . . . . .
   / . . . . . . . . <
  . p ~ i * * 9 2 5 < .
 . . . . . . . . . . . .

.........<......../..54321\........<529**i~

MD XF

21:45

so it does this: .........<......../..54321\........<529**~

Wheat Wizard

hm....

very strange

MD XF

It doesn't infinite-loop for me...

it reads a character and then exits

Wheat Wizard

Oh

I didn't see that

same for me

MD XF

~ reads a character

Oh you thought that was an infinite loop

Wheat Wizard

yeah

MD XF

21:46

Makes sense; that's more/less why I added --display-code

Wheat Wizard

I'm dumb :p

MD XF

Common mistake, np :P

Wheat Wizard

if I change ~ to an @ I don't get any output sitll

MD XF

Hm just a min

It prints a Z for me

Wheat Wizard

hm

MD XF

21:48

try turning off --display-code :P

Wheat Wizard

Its not on

MD XF

And you don't see anything?

What character set is your terminal in?

Wheat Wizard

character set?

MD XF

ASCII, EBCDIC, etc

Wheat Wizard

ASCII

MD XF

21:49

This is my --display-code: .........<......../..54321\........<529**@Zp..

the Z being the output

Huh then it should work

hm maybe I magically fixed a bug while not trying to fix a bug; pull maybe?

Wheat Wizard

my display code is empty?

MD XF

@WheatWizard It is??

Wheat Wizard

I'm up to date

MD XF

Hm

Is your display-code really empty?

Wheat Wizard

Oh wait I forgot --verbose

MD XF

21:51

Yeah sorry that's something I really need to fix

Wheat Wizard

My display is the same

.........<......../..54321\........<529**@Zp..

MD XF

Then it's working right

Wheat Wizard

is it?

I'm not getting output

MD XF

The Z is the output

Wheat Wizard

but only when I put --display-code on?

MD XF

21:53

I should use ANSI colors to make it possible to differentiate the output from the code

That's... quite strange

I get the same output without display-code, and display-code doesn't change anything in the interpreter

Wheat Wizard

Ok well I'm going to try and ignore it

MD XF

What system are you using?

Wheat Wizard

OSX

My C compiler is super old if it makes any difference

MD XF

Well for one thing OSX is trash... and what compiler?

Wheat Wizard

gcc

MD XF

21:55

Hm... version 4 or higher?

Wheat Wizard

yes

Its not that old

Oh hey

it works in terminal

MD XF

Yeah no difference when using gcc-4.8 for me

Wheat Wizard

just not iTerm

MD XF

Oh, what were you doing it in?

Oh

Wheat Wizard

thats weird

MD XF

21:57

Yeah. Freaking Apple...

Wheat Wizard

actually it works in iTerm

just not fish

MD XF

Never used fish

Wheat Wizard

very nice

much better than bash imo

MD XF

I prefer cmder for Windows and Zsh for Linux

Wheat Wizard

I prefer fish for both OSX and Linux

MD XF

21:59

Speaking of fish, is ><> 2-dimensional?

Wheat Wizard

have you tested in ZSH?

If it doesn't work in fish it is likely to not work in Zsh

Transcript for