Vyxal

emanresu A

11:06

Random list of stuff I might end up adding to my v2 fork if I ever create it

lyxal

11:17

@emanresuA mind if I work some of those into v3?

(although reading it closer, looks like I've done a good amount of those things anyway)

emanresu A

Go ahead, although a lot of it I'm still figuring out

lyxal

> and/or with reversed argument order

I tried that once

Ended up removing it in v2 :p

emanresu A

As in make that the default, so 5 4 [and] reads like 5 && 4. More useful anyway

Often you want to do x || 5 but very rarely (if at all) do you want 5 || x

lyxal

Ah as the default

Yeah I can see how that'd be useful

@emanresuA I mean I'm doing the same with 3.5 at the moment

emanresu A

Also vectorising dyadic minimum / maximum is actually quite useful (although it'd require some changes to be possible in v3), and I think you've already talked about the "smarter list shape typechecks" thing

lyxal

11:23

yeah, depth switching

@emanresuA [1,2,3,4] max 2 => [2,2,3,4] style or [1,2,3,4] max [3,2,1,3] => [3,2,3,4]?

emanresu A

Ideally both but the former could be implemented fairly seamlessly into v3

lyxal

(it already is for lst, scalar)

can't say the same about scalar, list

emanresu A

Ah okay

Basically what Þ∴ and the other one do right now

lyxal

> fix top-level recursion [?]

this requires the prerequisite "understand how top-level recursion is implemented" :p

(not an easy task :p)

Also, Tİ exists already

ꜝ for lists

↛

does that render as an arrow with a line through it?

lyxal

12:05

@emanresuA how would vectorise base conversion work?

Ginger

back on the theseus grind

I'll test the new grammar in a bit

Ginger

12:42

@lyxal behold:

lyxal

fancy!

Ginger

it's a little broken, but not too bad

it doesn't recognize that # as being part of the structure closer for some reason

which is probably because you didn't include that in the grammar :p

@lyxal (is #] supposed to be a structure closer?)

lyxal

list closer

#[ and #] are list things

Ginger

it's not in the grammar

yeah ik it's a list closer :b

I do pay a little attention to the language I'm supposedly working on

lyxal

fixed

Ginger

12:49

unfortunately, Error: Overlapping tokens StructureOpen and ListStuff used in same context (example: "#[")

lyxal

fixed

Ginger

works!

everything seems okay

now do it again but with literate mode :3c

I'll go ahead and commit what we have now since I suspect you'll be wanting to do literate mode tomorrow

lyxal

13:05

correct :p

Ginger

done

lyxal

13:23

great job copilot

esp. given there's already an entry for , which has the phrase println present

Ginger

13:54

tbh I'm not really a fan of the current editor layout

feels like too much space is being wasted

lyxal

copilot acting like it's 2022

Ginger

are people really vyxaling on mobile?? even theseus is pretty janky on a phone

lyxal

I do

and have done a fair bit

Ginger

what do you think about the mobile layout? it just feels weird to me

lyxal

which one?

Ginger

13:59

theseus

lyxal

is there a link to view it in browser?

Ginger

you can use your devtools, but here's a screenshot:

the accordion sucks up a lot of space, I'd like to stack the three editors on top of each other somehow

lyxal

Would there be some way to make the header and footer optional/removeable from the entire page?

Ginger

and maybe have inputs be its own thing, or use the terminal for that

lyxal

like able to just hide them, with the option to show each box?

also, almost 200?

we're at 266

get your facts right :p

Ginger

14:02

boowomp

I think killing the accordion and stacking the header/code/footer editors on top of each other would be an improvement, let me see if I can do that

lyxal

:+3-2:

Ginger

idk how hiding them would work, but that's a problem for Later Me

~~maybe just don't bother~~

lyxal

Tabs perhaps

like how you can switch between terminal/html

but instead it'd be footer/code/header but reverse the order

Ginger

perhaps yeah

I'm half-tempted to split the site into a desktop and mobile version

CSS trickery can only get us so far

lyxal

and again, copilot suggesting more print functions

that's like 4 print functions we're up to

,OPp

frick it, vyxal 3.5 is gonna be oops all print functions

this will greatly simplify highlighting, website design, build process, and improve program performance time by a lot percent

Ginger

14:10

codemirror's lack of responsiveness displeases me

lyxal

who needs turing completeness when you can just print 255 different ways?

Ginger

real

The Empty String Photographer

It is possible to make a turing complete language in only 2 chars

lyxal

don't care, 256 print functions

The Empty String Photographer

`+` increments the instruction value by 1
`x` executes the instruction with the corresponding instruction value

Ginger

14:17

time for flexboxes

truly the best solution to every problem

lyxal

bexfloxes

lyxal

14:28

nahh they really named a unicode letter after gen alpha slang

Ginger

14:39

whar

lyxal

Σ

copilot back at it with the print functions

Ginger

15:02

the c in css stands for cry about it

woops

lyxal

Perfect

Leave it exactly like that

Ginger

behold, the new mobile layout

you get one (1) line of editor space

lyxal

I mean, if you need more than 1 line, chances are y'aint golfing very good

Ginger

true

lyxal

It's am intentional design decision to reinforce that you should be doing the company proud

And that you're not wasting any precious bytes

Anyhow bed is time for now

o/

Ginger

15:13

tall

gn lyxal

Ginger

16:30

what do yall think

for context, here's the old one:

Ginger

17:44

@lyxal few things:

1: it would be neat if errors included the location of the code that errored, so that could be shown in the editor
2: could the JS API be reworked so inputs can be requested on-demand and I can use the terminal for them?

ideally #2 would let me supply a function that returns a promise resolving to a string

ideally inputs would be allowed via the terminal and there would be a dialog for adding default ones to the permalink

I'll just implement the dialog for now, since that saves me from having to figure out where to put the inputs UI :p

user

18:00

@Ginger +1 for #1

Dunno if #2 can be done

Ginger

Scala.js talks about converting promises to Futures, but that's pretty far beyond me

Ginger

19:07

suboptimal

emanresu A

@lyxal Specifically ⟨ ⟨ 1 ⟩ | ⟨ 2 ⟩ | ⟨ 1 | 0 ⟩ ⟩3β should vectorise the β (just more depth sniffing)

user

19:41

@Ginger Oh that should be trivial

When I said "dunno if #2 can be done" I meant that I have absolutely no idea what that would involve and haven't looked into it yet, not "I have a sense of what this would involve and it is hard"

@Ginger Only 1 warning!

The Empty String Photographer

Yes, Ginger, next time will be a Vyxænsion.

Ginger

@user only the best here at Vyxal Corp

Transcript for