Vyxal

lyxal

00:24

@Steffan @emanresuA would it be possible for y'all to take a quick look at the v3 site improvements? It's had some changes since y'all last looked

emanresu A

01:01

Sure

Hmm, would it be possible to port the lexer to scalajs for vylight?

Actually never mind, vylight needs an incremental parser

lyxal

@emanresuA yes - it'd just be a function call to the lexer in an exported function

@emanresuA incremental parser?

user

It needs to update as you type

lyxal

Then just call the function in update count

user

We could do that, as long as the lexer is fast enough (it probably is)

Highlighting may have to be disabled for ginormous programs, though

Seggan

~~like we have ginormous programs~~

lyxal

01:16

Website is queued to merge

Steffan

what should we write the new one in? react? vue? svelte?

lyxal

Merged

Huh, the script to deploy failed

@user

2023-02-11T01:18:04.6840987Z ##[group]Run mkdir pages
2023-02-11T01:18:04.6896063Z ##[endgroup]
2023-02-11T01:18:04.6981013Z mkdir: cannot create directory ‘pages’: File exists

Steffan

just add rm -rf pages

before you mkdir

github.com/Vyxal/Vyxal/pull/1601

lyxal

Queued

And merged

Steffan

it's deployed

lyxal

01:26

Excellent

Steffan

... there be no index.html

we forgot to make the actions commit

oh that's stupid, it's because we dleeted it

github.com/Vyxal/Vyxal/pull/1602

lyxal

@user ^

user

lmao

@Seggan Well yeah, but there was at least one cops and robbers where you and emanresu made humongous programs

lyxal

01:48

Hey why isn't the site making requests properly?

Everything just times out on the v3 site

emanresu A

@lyxal I'm not sure if codemirror allows that.

user

02:04

> Loading Worker from “vyxal.github.io/worker.js” was blocked because of a disallowed MIME type (“text/html”)

Guess we need to change our headers or something

emanresu A

That 404s

user

Oh

emanresu A

So ofc it's an HTML file

user

github.com/Vyxal/Vyxal/pull/1604

lyxal

Man I miss the bot

user

02:08

Thank frick it's not some webworker-related issue

lyxal

ikr

Ginger

@lyxal working on it!

currently I'm rewriting a large part of sechat so it's less jank

user

No hurry

lyxal

^

I'm allowed to have feelings without other people acting on them :p

user

@Ginger Less jank is always a good idea

Ginger

02:12

I swear we will not have two godafwul jankbots in a row

user

If you need any help let us know

Ginger

got it

user

I also have a TI-83

Ginger

:/

lol that emoticon looks way funnier on my Pi

lyxal

I wonder how you go about having a github pages at the top level of an organisation

Ginger

02:14

I think you just make a repo called <orgname>.github.io or whatever

user

@lyxal Make a repo called org.github.io iirc

lyxal

Ninja'd

user

Oh bruh

We could have vyxal.github.io just redirect to vyxal.github.io/Vyxal

lyxal

That's what I was thinking

user

Why do we have 26 repos

github.com/Vyxal/tag-deez-nuts

Why

hyper-neutrino

02:18

cuz people do stuff like github.com/Vyxal/tag-deez-nuts

oh I see you found that as well

user

Can we just delete all the abandoned repos please?

This should be either deleted or archived

lyxal

Archived

emanresu A

Symvy can also be deleted

It has nothing in it

user

The Philosophy repo can be part of the main Vyxal repo so that people will actually see it

emanresu A

Keep cookie for the memes

user

02:21

Yes, cookie must stay forever

This can be a gist or something (can orgs have gists?)

emanresu A

vylight-monaco is empty and should just be a branch on the main vylight repo if steffan wants to work on it

lyxal

@user just delete it

That event is over lol

user

:(

Still good puzzles for newcomers to solve

emanresu A

github.com/Vyxal/Vynger can be archived

lyxal

@user fair enough

user

02:22

This can be deleted, it's empty and the Scala tips can go into the documentation folder or wiki

hyper-neutrino

yeah, IMO we should delete vynger (empty), tag-deez-nuts (dumb), other things we've made (not really useful?), vylight-monaco (totally empty), symvy, philosophy can be in main, and vyxal-events since the one event there never happened

user

@lyxal Maybe the wiki?

hyper-neutrino

I like the idea of having a collection of puzzles for newcomers but if we can build that into the website as a sort of interactive tutorial I think that'd be a lot better

user

This can be part of some other page

@hyper-neutrino Vyxapedia!

lyxal

@user no

That one stays a repo

emanresu A

02:23

github.com/Vyxal/Helpful-Scala-Tips should either be deleted or a gist

user

An entire repo for a single page?

lyxal

@user Unarchived, undeleted

emanresu A

@user Gist

user

@emanresuA Ninja'd :P

lyxal

@user yes

hyper-neutrino

02:24

@user yeah, planned once v3 alpha is a bit more stable cuz I'm not gonna work on any more features on the current version

lyxal

Because it can show up in the pins for the organisation

hyper-neutrino

we are planning on stopping development on v2 right? or have we already

user

This would have to be a discussion ig

@hyper-neutrino I think it's still going

lyxal

@user that's for hosting the images

user

@hyper-neutrino Fair enough

hyper-neutrino

02:25

alright

emanresu A

v2 is probably going to be long-term support

user

@lyxal That makes sense ig

lyxal

@hyper-neutrino it'll just be maintenance

hyper-neutrino

makes sense

emanresu A

VyxalBot2 should be a branch on the main se-bot repo

user

02:25

Probably supported forever

^^ makes sense

hyper-neutrino

do you mean ginger's or my second bot

for either I don't think that makes sense if anything it should just be archived

user

Ginger

hyper-neutrino

I do not think it makes any sense to host drastically different code bases in one repo under branches, that's literally not what they're made for

user

That would work tooo

@hyper-neutrino I thought they were both Python, just with slightly different libraries

Unless sechat's API is really different from whatever was being used before

lyxal

I think it is

user

02:28

@Ginger Are you rewriting the bot from the ground up?

lyxal

the only file being kept from the og bot is the responses file iirc

Ginger

@user most likely, yes

user

Oh

+1 to archival of old bot then

Ginger

I'm keeping the responses file like Lyxal said, but everything else is new

@user oh, it is

user

More sass please

emanresu A

02:29

So what's the deal with vyxalS, and should we migrate its readme to the v3 branch?

user

Archive

lyxal

^

user

It was more of an experiment

lyxal

that's right

user

Yeah the readme might be useful to keep

Ginger

02:29

I used the old janky library to figure out how the SE auth system worked, but that's where the similarities end

emanresu A

Okay, I'll add a deprecation notice to the readme for vyxalS

user

:thumbs-up:

I think most of what's in the readme has already been added to the v3 docs

Ginger

g2g

lyxal

I've deleted the repos we marked for deletion

including the philosophy repo

and before you say "you didn't migrate the contents", that's on purpose

I don't like what I wrote in that repo anymore

especially because some of it is GPT-3 generated

emanresu A

What about github.com/Vyxal/Community-Ad-2022-2023?

That's kinda... unnecessary

lyxal

02:33

that stays for now

for the image hosting

emanresu A

I'll archive it then

lyxal

it can go after the community ads are posted :p

emanresu A

Ohh wait this is the one that never got created

lyxal

on second thought, it probably can go. I have the template in a powerpoint file in my onedrive

@emanresuA yeah

it's for the next cycle

shit no it can't go

it has discussions

which is why it's a repo

@user what does the common cli pr do

emanresu A

Privatise it at least, it's internal

user

02:46

@lyxal before the cli was copied to both native and jvm

Now it’s in shared

No more duplication

lyxal

aha

merge when you're ready :P

and once that's merged, I think the first beta release can be made

Steffan

03:08

@emanresuA deleted

i kinda forgot about it, i'll just do it for v3

emanresu A

How do monaco lexers work again?

lyxal

06:39

@Ginger I added 8 possible candidates for a vyxal bot logo to the repo

I also have a larger selection if none are suitable

I uh may have spent a while on this :p

and yes, they are all holding cookies

lyxal

11:06

you know what's fun?

the JVM realising a package exists, but not JS

lyxal

11:37

[error] 157 |      opt[File]('f', "file")
[error]     |                            ^
[error]     |No given instance of type scopt.Read[java.io.File] was found for an implicit parameter of method opt in class OParserBuilder
[error] one error found
[error] (vyxalJS / Compile / compileIncremental) Compilation failed

ah

that's a problem

trying to use a java class in the js

lyxal

11:59

fixed in #1606

@user scalafix is doing that thing where it constantly corrects the generated documentation again

lyxal

12:18

it will no longer do that

because I told it not to

frick you scalafmt removing my commas

it's adding them?

the hell

(before I mean)

(rewrite.trailingCommas.style = keep is what I have)

previous commits show that it adds commas (I think(

idk

¯\_(ツ)_/¯

mathcat

@lyxal looks good, the margin looks a bit off though

lyxal

that was one of the first iterations

14 hours ago, by lyxal

those are the current margins

mathcat

@hyper-neutrino 1+

@lyxal much better

more syntax highlighting maybe?

lyxal

obviously if the right snippet is chosen :p

also

@user what the

the hell is this

vyxal.github.io now redirects to the online interpreter

it now also keeps the original hash part of urls

mathcat

13:05

Okay, I spent an hour drafting this answer.

I just want to have a single vyxal answer in which androvt can't golf me.

AndrovT

👀

mathcat

~~hehe good luck~~

lyxal

I have 42 bytes.

mathcat

ಠ_ಠ

lyxal

@mathcat I'm the one who outgolfs!

mathcat

13:12

... how.

lyxal

Try it Online!

remove usage of the register

mathcat

beautiful

did try that (with head extract) but smh didn't work

lyxal

40 bytes

I think

yep

40

Try it Online!

mathcat

Thank you, I no longer have any self-esteem.

lyxal

1ṁ...i is just ℅

mathcat

13:15

oh TIL.

I can update my answer, right?

lyxal

you can

these byte shaves are all your answer with a few tricks applied lol

mathcat

lol ty

lyxal

Ṫ flag for 39 btw

Try it Online!

@mathcat you wont like this, but Try it Online! for 38

mathcat

oh that's the first flag I've seen that shaves off two bytes

I'll add that as a bonus tho :p

lyxal

it only shaves off one

it's 39 flagless

Try it Online!

it switches the order of the lower/upper halves to make it so that .* is a substring

mathcat

13:26

that's clever

lyxal

because .* is in the short dictionary

and so it turns into just €

hence, a byte shave

3

A: Tips for Golfing in Vyxal

Utilise the Short Dictionary Note: This is a 2.6.x+ feature only Newer versions of Vyxal have a neat little feature where 1 character SCCs are indexed into a special "short" dictionary of overlyspecialised "words". Here's a list of all the current entries: \d+ λ -?\d+ ƛ \d+\.\d+ ¬ -?\d+(\.\d*)? ∧...

that's the short dictionary

mathcat

huh

lyxal

when you have a single non-ascii character in a string surrounded by ascii, it indexes into a special dictionary instead of the normal one

mathcat

It has been a while since I read the tips page.

AndrovT

there's something wrong with the last version

it generated ⟨ $ | $ | $ ⟩ for me

mathcat

14:03

good point

that doesn't look right

the 42 byte version doesn't seem to do that

yikes nope

ah, easy fix, but +1 byte

AndrovT

Try it Online! for 36 bytes

lmao

Is there a reason why ƈ (randomly choose n items) doesn't have an overload for lists?

mathcat

14:19

1 hour ago, by mathcat

Thank you, I no longer have any self-esteem.

@AndrovT jokes aside, wonderful solution

I don't think lyxal's short dictionary is shorter here, you'd need to swap eyes and mouth.

@AndrovT I didn't quite understand how you managed to get the probability of having the same eyes above 50%

AndrovT

14:37

For the upper level eyes it works like this:
- choose a pair of eyes
- 1/5 it will be choose the same two eyes
- 4/5 it will choose two different eyes
- choose a pair from the previous pair
- if they are already the same it will always choose the same two eyes
- if they are different it will choose the same two eyes 1/2

@mathcat Together the probability of the same two eyes being chosen is 1/5 + 4/5 * 1/2 = 3/5

Ginger

@lyxal :D

AndrovT

the same thing but with 7 happens for the lower level eyes resulting in probability 4/7

mathcat

awesome

Ginger

@lyxal where are the logos???

oh, in a new branch lol

PyGamer0

@lyxal approved

cookie was the best thing that happened

🍪

mathcat

14:52

cookie still doesn't work on v3 :/

Ginger

lmao I forgor 💀 I made it do that

mathcat

15:08

y'know what'd be extra cool

~~if github actions automatically assigned the issue to you~~

Ginger

15:29

lol

user

16:33

@lyxal I have no idea why that's happening, it's supposed to replace with the name of whichever OS it's executing on

I don't know why the native workflow is so messsed up

That env.V3_MAIN thing worked fine in the jvm workflow

Seggan

16:49

oops

wrong room :P

→ 1 message moved to Programming Language Design and Implementation

The Thonnu

17:27

@lyxal is there a way to compress [24, 60] in Vyxal

(For this answer)

The best I could do was 2460₁τ

But there might be a better way

mathcat

@TheThonnu good luck with that, I think I got around 40-50 bytes and then gave up

user

@TheThonnu To save a byte, you can make two characters, then use ord

Wait no nvm

mathcat

cause utf-8?

user

17:43

Yeah, and you also have to put them in a list (or make a 2-char string) before passing to C

So worse than useless

AndrovT

18:03

@TheThonnu ‛0xC½ is 5 bytes

mathcat

ooh nice

The Thonnu

@AndrovT nice! Updated.

I think that means I'm winning now

(I beat 05AB1E by 1 byte)

mathcat

18:55

lmao happened to me twice (iirc)

Ginger

type checking is haaaaard

mathcat

In python? yes, definetely.

otherwise I'd disagree

Ginger

in python :p

mathcat

yeah, python's typechecking syntax is the equivalent of a high school bully

Ginger

but it makes things so much better when it works

mathcat

19:00

yeah

The integration with code editors is the main thing (imo) that makes it actually useful for big projects.

Steffan

20:42

What if on the new vyxal 3 interpreter, we could have a new like "tabs" layout where you can move the inputs and output and stuff wherever you want and make a nice layout

it's annoiyng sometimes when you got a lot of inputs or a lot of code

mathcat

wdym by that exactly?

Steffan

Kinda like the tabs layout on code.golf

Everything is all in tabs which you can adjust the size, remove, add, rearrange, etc

Handy

mathcat

neat

user

20:57

^

Would we have to start using a framework to do fancy stuff like that?

mathcat

ooh yes

user

:(

Frameworks aren't bad, but it's a little more complicatedness

otoh, a framework might help us clean up our code and not require expandBoxes() and stuff

mathcat

exactly

Refactor

►

lyxal

21:48

@Steffan we can do that

I've got no clue how to do it, but we can definitely look into it

hyper-neutrino

frameworks introduce complexity and for something like the current interpreter would probably be unnecessary but if you want to do complex stuff like that it definitely makes it a lot easier

TBH a framework wasn't even really necessary for vyxapedia I just really like sveltekit

mathcat

C'mon guys, frameworks are fun!

I'm having loads of fun rn debugging opencv4nodejs while installing xcode-select for linux and unlinking tesseract

hyper-neutrino

hey, I never said I have anything against frameworks lol. I love svelte but I acknowledge it adds baseline complexity, so if your project is very simple it's unnecessary but if your project is complex it definitely simplifies stuff

particularly interactivity; doing manual DOM editing dynamically is really annoying (yes I have done it before)

lyxal

Can't be any worse than it already is :p

hyper-neutrino

22:03

:P

lyxal

We already have to call the execute function with a JavaScript function that posts a web worker message

Which makes the scala look just that little bit more cursed

mathcat

What good scala frameworks are there?

svelte is a nodejs thing, right?

user

I'm afraid there aren't any real Scala frameworks for frontend stuff

There are bridges to React and a few other JS libraries/frameworks but not much else

Steffan

22:18

@user why odn't we use React or something

Maybe even try something like svelte

user

Svelte requires compilation

I think we do use a React component for the keyboard tooltips?

@mathcat Actually, there's this

Thread discussing Scala.js frameworks

tbh, it's probably best to stick with vanilla JS for the frontend stuff

@mathcat The web libraries section here has some libs

Steffan

22:39

this is what code.golf used github.com/golden-layout/golden-layout

@user so what? react does too, pretty much

user

Oh right

ngl, I really want to try out Svelte

Steffan

I don't think we should have the interpreter in the same repository though, it would get cluttered

user

tbh the v3 rewrite should also go into a separate repo

I guess lyxal mainly kept it in the same repo for the stars and stuff

Steffan

I know angular, react, vue, and svelte. Vue is nice too

user

Kinda similar to svelte, right? (in terms of organization)

Still has a virtual DOM though

Steffan

22:42

Vue is personally my favorite although I haven't used it in a while

Nah, vue is a framework, svelte is a compiler

user

I guess we care more about bundle size than performance, since the site isn't doing much

lyxal

@user that's right - 2 years of stats is a lot to replace :p

Steffan

Svelte will make the smallest builds though because of that

user

@Steffan I meant like having the JS, HTML, and CSS for a component in a single file

Steffan

I haven't used any of those in a while

user

22:44

I guess styled-components exists but it feels a bit weird

Steffan

But yes I think

You can split up the files if you really want to but you usually don't

Except maybe the css

React isn't my personal favorite, styled components is weird too

It's not bad tohugh

user

I do like that JSX lets you make the HTML part of the component right inside the JS (and how you can make multiple components in a single file)

setState and friends are a bit annoying, though

emanresu A

23:07

Btw we don't necessarily need codemirror / equivalents

Tybo's got a thing that uses an overlay for highlighting (cubestack.surge.sh for example)

lyxal

@user maybe just rerun the highlighter on the last 100 or so characters each time

instead of the entire program

emanresu A

23:31

Do we have a custom parser or an ANTLR style one?

lyxal

lexer is Parser Combinators, parser is custom

emanresu A

Parser combinators should be translatable to a codemirror mode using lezer or something

We don't really need a parser, just a lexer

Transcript for