Vyxal

Vyxal Bot

07:09

lyxal approved #2022 (Fix apply to head) in Vyxal/Vyxal

lyxal merged pull request #2022 (Fix apply to head) in Vyxal/Vyxal

lyxal pushed 8 commits (s e) to Vyxal/version-3 in Vyxal/Vyxal: Merge pull request #2022 from Vyxal/fix-apply-to-head

lyxal deleted branch fix-apply-to-head in Vyxal/Vyxal

lyxal closed issue #2017 (Fuzzed Issues) as completed in Vyxal/Vyxal

lyxal pushed a commit to Vyxal/version-3 in Vyxal/Vyxal: Update v3.3.0.md

Vyxal Bot

12:31

lyxal pushed a commit to Vyxal/v3-redefine-expierment in Vyxal/Vyxal: hm

lyxal

okay so the redefine thing is going to have to be a structure

making it a "modifier" itself still leads to cart before the horse behaviour, even when it's postfix

tomorrow

Ginger

!!/status

Vyxal Bot

@Ginger I am convincing the snowmen to wear scarves. Some are skeptical, thinking it's a snow-snake invasion.

Ginger

wonderful!

guess that "retry until it goes through" strat worked out

lyxal

bad news: I spent most of tonight playing undertale yellow (I'm still yet to finish even the neutral route this game keeps going)

good news: I can look at the enbf now tho

what seems to be missing/incomplete?

Ginger

12:37

literate mode, for one

lyxal

you mean the ebnf for it?

Ginger

yes

lyxal

github.com/Vyxal/Vyxal/blob/version-3/documentation/…

you bingus

Ginger

I'm basing my entire highlighter design off of those files, so whatever they say is how the highlighter behaves

lyxal

literate is always going to be less ebnf-heavy than sbcs

Ginger

12:39

example: the SBCS one defines λ as both a lambda and a structure, so it wasn't highlighted correctly until a little while ago

lyxal

well a lambda is a structure

I defined the lambda rule because the parameters bit is unique to lambdas

Ginger

:thonk:

lyxal

lambda_args ::= "!" | {number_part | variable_name | "*"}

Ginger

okay, if you say it's complete then I suppose I'll take you at your word :p

I had something else I was going to mention but i forgor 💀

lyxal

I mean, literate mode's ebnf needs to account for token moving and n't suffixes

but those are relatively minor

Ginger

12:41

whar token moving

lyxal

nothing the highlighter needs to worry about

Ginger

ah, good

lyxal

for all intents and purposes, it's just a ' at the start of keywords

for your intents and purposes that is

Vyxal Bot

lyxal pushed a commit to Vyxal/version-3 in Vyxal/Vyxal: Update Literate Syntax.txt

Ginger

currently trying to figure out if I can load the modifier list from the data file instead of hardcoding it

lyxal

12:43

there, accounted for

keyword ::= {'} (keywordChar - "0-9") {keywordChar} ["n't"]

simple stuff

Ginger

cool

lyxal

ah that should be {"n't"}

Ginger

ugh, what was that other thing...

Vyxal Bot

lyxal pushed a commit to Vyxal/version-3 in Vyxal/Vyxal: Update Literate Syntax.txt

lyxal

@Bridget ~~undertale/UT yellow reference?!?!~~

Ginger

12:45

well, one of the things I had on my todo list was fixing the header buttons on mobile

lyxal

(def gonna do all 3 routes of UT yellow btw, neutral [currently doing]/TruePas [should be next if I've done things right]/genocide)

Ginger

currently the Run button wraps around to a new line, which looks ugly

@lyxal I like your funny words, magic man

lyxal

shame it's called theseus and not thesus

@Ginger you should give Undertale Yellow a go

Ginger

@lyxal I owe myself $10

knew you'd bring that up eventually

@lyxal I've never played Undertale tho

lyxal

that's fine

it's intended as a prequel

before UT

Ginger

12:47

riiiiiiight

well I'm currently quite busy with Portal Reloaded

lyxal

when you're ready for it ofc

it's quite good

Ginger

I will add it to my TODO list

lyxal

so far, no real need to have played UT as a pre-requsite

helps though to fill in some context things, but it's suitable to play before

it's not canon ofc

Ginger

@Ginger considering collapsing the header buttons into a dropdown so the Run button can fit

lyxal

npx webpack run --process, right?

lyxal

13:01

ginger you did a silly

unclosed strings break highlighting

oh

the uh table

it's big

horizontally big

to the point where it overflows on mover

*mober

Bridget

@lyxal [Ginger] --progress

@lyxal [Ginger] what table

lyxal

That table

Tested on a real mober

Bridget

[Ginger] uh oh

[Ginger] that doesn't happen on my mober, which is interesting

lyxal

oh and why can I scroll all the way to the right?

Bridget

[Ginger] I suspect it's the search bar forcing the offcanvas to be wide

[Ginger] which is on my "fix this" list

lyxal

13:05

that scrollbar is nowhere near the end

Bridget

[Ginger] xterm likes to misbehave when things overflow

lyxal

is link copying implemented yet?

rather, the link generation thing

Bridget

[Ginger] yes, the share button

lyxal

is it 100% working?

or is it still WIP?

I think it's still WIP

that's from clicking the "copy button"

Bridget

[Ginger] NO HYPERTEXT TRANSFER PROTOCOL (SECURE)?

[Ginger] clipboard only works if you're on HTTPS

[Ginger] sorry, in a "sEcUrE cOnTeXt"

lyxal

13:12

Well, that's good to know when I'm running it on local host :p

Also, imagine needing a secure context

Made by old site can do it without one

Bridget

[Ginger] old site uses deprecated APIs

lyxal

deprecated is just another warning

And everyone ignores warnings :p

Bridget

[Ginger] :notlikethis:

lyxal

Bridget

[Ginger] :vyxal_bot:

Ginger

13:50

today I will try to get literate highlighting working

Ginger

14:25

@lyxal what are the group things in literate mode

like what functionality do they have

I want to know how I should highlight them

math scat

@Ginger they group the next n elements to a mondic/dyadic lambda

not sure about the highlighting part

Ginger

how would you want them to be highlighted

oh, lambda?

math scat

yup

Ginger

I'll just highlight them like I do lambdas then

we will literate highlighter

math scat

can strings be highlighted btw? or are you working on it

ooh love the double click tooltip feature

Ginger

14:45

@mathscat the what

@mathscat wdym?

how do structures work in literate

math scat

@mathscat hover *

very useful

Ginger

👍

it's still missing modifiers and a few other things I want to add tho

literate structures are the main thing I don't get rn

math scat

@Ginger this

Ginger

uh, strings are highlighted

make sure you have the latest version, I fixed some bugs with them yesterday

math scat

hmm, I did do git pull

well they're highlighted blue but I thought blue is the default colour

Ginger

14:49

probably service worker acting up

shut it off in your devtools or do a hard refresh

math scat

eh dunno might be a me issue then

@Ginger what structures don't you understand?

Ginger

@mathscat the syntax

it's not in the EBNF

math scat

is this the EBNF?

Ginger

yes

math scat

that's because they're keywords iirc

Ginger

14:55

so I can just handle them like keywords?

math scat

yup

Ginger

cool

apparently strings don't exist in literate mode

@mathscat does literate use the same string/number literal syntax as sbcs

since strings aren't anywhere in the EBNF

analysis of the examples seems to indicate that is the case

Ginger

15:51

me when lyxal forgot to define element

going to assume that means a literate keyword

math scat

16:22

not a keyword, a placeholder I believe

@Ginger pretty sure, yes

Ginger

16:40

@mathscat I think element refers to any valid syntax element

like, can you put numbers in a literate group thingy

math scat

wait you can

oh right that makes sense

Ginger

time to change how I parse those then ;-;

since that means you can nest them too and ick

Ginger

17:09

@lyxal problem: updating the bytecount in literate mode causes immense lag because of the delay from sbcsification

I'm honestly unsure how to fix this

maybe a worker

currently throwing another worker at the problem

Ginger

17:53

going to try and bump react to the Canary channel, since there's a feature there that would be neat to use

actually no that's a bad idea

Ginger

18:16

workers fixed it :D

Fmbalbuena

18:43

Can someone help me golfing my answer to this challenge

math scat

19:10

@Fmbalbuena once you add the explanation, sure :p

Ginger

unfortunately, the element offcanvas is super laggy

I have a way to fix this, but it requires a feature that isn't available in react stable yet

to wit:

Feeds

Ginger has stopped a feed from being posted into this room

Ginger has made a change to the feeds posted into this room

Ginger

we will now be notified when React makes a release

math scat

ono facebook made react??

Ginger

yup

~~the one good thing they've done~~

my bot request-spam patch appears to have fixed things, which is nice

also, literate mode highlighting is now functional!

Vyxal Bot

19:20

GingerIndustries pushed a commit to vyxal.github.io/theseus in Vyxal/vyxal.github.io: Add literate mode highlighting

Ginger

🎉

Bridget

19:32

[that mac] lul

Ginger

oopsies

→ 5 messages moved to Trash

Fmbalbuena

19:51

@mathscat added explanation

Bridget

20:09

[Ginger] todo: handle feed embeds

Bridget

21:41

@Ginger [lyxal ♦️] (., (:, (:. and (:: should be highlighted as modifiers

[lyxal ♦️] Same with comma equivalents

[lyxal ♦️] Groups without those though need no highlighting

@Ginger [lyxal ♦️] Make live literate byte count a setting then

[lyxal ♦️] Disabling it updates the byte count upon clicking run

@Ginger [lyxal ♦️] It refers to anything that would be converted to an sbcs element

[lyxal ♦️] Which makes sense given literate is just a wrapped over sbcs

@Bridget [lyxal ♦️] idea: the byte count is sent via the print worker message thing during execution

[lyxal ♦️] The interpreter has to delit anyway

[lyxal ♦️] Might as well piggyback off that

@Bridget [lyxal ♦️] The brackets should be coloured that is

Ginger

holy pings

@Bridget I just stuffed it in a worker and that solved it

there's a bit of latency, but it's not too bad

@Bridget take a look at the current scheme, tell me if that works

configuring highlighting classes is more art than science, since CM was not designed with a golflang in mind :p

Vyxal Bot

21:58

GingerIndustries pushed a commit to vyxal.github.io/theseus in Vyxal/vyxal.github.io: Properly highlight non-modifier groups

GingerIndustries pushed a commit to vyxal.github.io/theseus in Vyxal/vyxal.github.io: totally didn't forget to escape that period

Ginger

ah, I rembered what I was going to ask you about earlier!

specifically: permalinks and versioning

when I generate a permalink, what interpreter version should it link to

lyxal

Whatever version is defined as the current version

Ginger

so latest should always link to latest? won't that cause issues

lyxal

There's a get version method in the exported js

Generate a link to that

And redirect if a version permalink is incompatible with latest

Ginger

but like 3.3.0 doesn't have a version page

Vyxal Bot

22:10

GingerIndustries pushed a commit to vyxal.github.io/theseus in Vyxal/vyxal.github.io: Minor change to lambda highlighting

lyxal

@Ginger doesn't need one

Ginger

it'll 404 then, right?

lyxal

It'll redirect to latest

When loading a link, it should first try going to latest.

Ginger

I am confused

how do you do that with Pages

lyxal

If it's found the embedded version is incompatible with latest it redirects

@Ginger if (hyperlink.getEmbeddedVersion in incompatibleVersionList) {redirect to version page}

Ginger

22:13

ah

(spamtog referenec?!)

currently I'm not embedding versions in hyperlinks, I should probably do that

lyxal

@Ginger you should

Because it's how the whole backwards compatibility system works

Without it, I'd have to be careful with breaking changes :p

Ginger

fhgbhjfdkjgfd getting the version requires loading the entire 10 megabyte JS file >:(

lyxal

@Ginger current links are being generated with 3.3.0 as their version so that when it's released, and 3.3.0 eventually becomes incompatible, they redirect to 3.3.0 not 3.2.0

@Ginger what?

Just use the exported js method

Ginger

yes but I need to import the JS to do that

and the JS is 10-ish MB total

I've already been doing some trickery™ to load it without blocking everything

lyxal

So you load the execute part but not the other parts?

Ginger

22:18

whar

lyxal

You somehow manage to load executeVyxal from vyxal.js but not the other helper functions?

Ginger

the entire file has to be downloaded at some point, but since it's the single largest chunk of data the program loads I use various tricks to load it in the background along with the UI and deps

and every extra place I need to use it adds more complexity to keep that working

lyxal

It doesn't get cached?

Ginger

not in latest, since latest can change whenever

it will be cached in archives tho

what would be nice would be having the version accessible as a separate file, since then I would only need to load it in the workers

which will probably decrease load times by a few hundred milliseconds

currently the only place it's loaded in non-worker code is to print the greeting message in the terminal

lyxal

maybe it can go in helpText.js

Ginger

22:21

quite possibly

actually no it couldn't

lyxal

that reminds me...how are you handling the h flag?

Ginger

the big contributors to load time are the internal-<hash>.js files, which are like 7 megs each and contain the Scala runtime

@lyxal that's the best part, I'm not :b

it's TODO

lyxal

ah well you'll need to handle it separately to execution

Ginger

what I want to do is have the terminal be a REPL when no code is running, and then I can have a /help command in that

lyxal

because it can't be handled in the worker

Ginger

22:22

anything which requires Scala.JS creates a bottleneck

ideally the only time any Scala.JS code would be loaded at all is when you click Run and the worker downloads it

lyxal

help text do require scala.js

Ginger

whar for

lyxal

generating the text :p

Ginger

:thonk:

lyxal

object HelpText:
  @JSExport
  def getHelpText(): String = CLI.helpText

Ginger

22:24

and there's zero way at all we could generate it at build-time?

because that would be Super Cool

lyxal

@Ginger not without hard coding

Ginger

oh wait no util.ts also loads the Vyxal file to get the codepage

but that'd be easy to move into the data json

lyxal

@Ginger it's auto generated by the Oparser library

def helpText = OParser.usage(parser)

Ginger

@lyxal what if we rig things (hypothetically) so that during build the output of vyxal -h is written to a text file that then gets saved somewhere

also fwiw the flags are already hardcoded

(since flags dialog)

so adding help text wouldn't be too much of a stretch

lyxal

bleugh

artifact duplication :skull:

that goes against my Software Engineering nature :p

Ginger

22:27

but consider the tradeoff

lyxal

considered, and no

also, you know how you didn't want to scrap the website because it's 2 weeks of work?

getting that auto-gen help text to work with js is like that

Ginger

we're sacrificing a bit of development convenience for improved load times for the user

@lyxal ah, I see

fair's fair, I suppose

lyxal

it was pain

the worker had to be turned into a module worker, an import map had to be included, a second module had to be exported, and sbt can't be used for creating js because of it

it's suffering and it took us a while to figure out

also, it's half the reason vue was ditched

if it didn't need a module, i could have gotten away with using importScripts in the worker and used dynamic importing in the js

Ginger

why do we need the help text again???

lyxal

so you can see the flag list

Ginger

22:30

there must be a good reason if you did all that

@lyxal don't we now have a dialog box with every flag right there in it? d:

lyxal

not every flag :p

Ginger

mfw

which ones did I miss

lyxal

  -2, --arity-2            Make the default arity of lambdas 2
  -3, --arity-3            Make the default arity of lambdas 3
  -…, --limit-output       Limit list output to the first 100 items of that list
  -¬, --logical-not        Logically negate the top of the stack on end of execution

they were added a few days ago

Ginger

easy enough to add them to the GUI

lyxal

which brings up the reason why I'm against hardcoding the flag dialogue box

Ginger

22:32

and in the meantime I can make an "extra flags" dialog box that dynamically loads the help text file

lyxal

it may be easy to update the GUI, but it's remembering to update the GUI that's the problem

Ginger

@lyxal I don't intend to die any time soon, and it's only a major issue when a release is imminent since we're the main ones who're using the bleeding-edge one

lyxal

all those still don't imply not forgetting to update it

if I can accidentally forget to bump a version attribute in a single file when making a pypi release, I can very easily forget to update the website

Ginger

however, typing h into the interpreter and pressing run is awful UX

so I'd like to find a compromise

lyxal

it's how it's always been done

Ginger

22:35

both of us know that's not a good reason d:

lyxal

it's consistency with TIO/ATO

which is what everyone is used to

Ginger

they run tens of languages

and thus have a reason for doing it like that: it's language-agnostic

lyxal

> consistency

Ginger

squishy

like jello

(now I want jello)

lyxal

auto-generated is better in the long run because it means there's less chance of discrepancy

if you can figure out how to extract it at build time, then go for it

Ginger

22:37

I think I might just do that

lyxal

I'm off to go play some more UT yellow

Ginger

later™, tho

lyxal

skibidi-ping me if you need something explained :p

Ginger

as a compromise, I'm going to add a "manually add flags" UI

which will also happen later™

priority 1 is literate mode

after that, adding those new flags

and then... well idk what then

that can be up to yall q:

also, quick reminder that you too can contribute to Theseus!

@lyxal hey uh how does one skibidi-ping

lyxal

@lyxal skibidi skibidi: <message>

Ginger

22:42

👍

lyxal

23:58

@lyxal but then the problem with this is that it gets nasty in terms of actually parsing it as a structure

and on top of that, there's now the issue of setting the arity of the implementation

as a modifier, the arity of the implementation could be delegated to whatever the implementation was

you wanted it to operate on the stack? no problem, just make the implementation a ! lambda

but as a structure, that becomes less possible

multiple branches could be a solution, but I don't know if I'm happy with that

Transcript for