Vyxal

lyxαl

00:03

also, found a bug with divides?

Vyxal 3, 18 bytes: 15 [3, 5] divides?

seems to error

instead of returning [1, 1] as would be expected

ah

$c_jl_Throwable vyxal.github.io/Vyxal/vyxal.js:27318
    $c_jl_Exception vyxal.github.io/Vyxal/vyxal.js:50921
    $c_jl_RuntimeException vyxal.github.io/Vyxal/vyxal.js:57965
    $c_Lvyxal_UnimplementedOverloadException vyxal.github.io/Vyxal/vyxal.js:90418
    fill__T__F1__F2 vyxal.github.io/Vyxal/vyxal.js:32964
    apply__O__O vyxal.github.io/Vyxal/vyxal.js:55302
    toDirectFn__F2__F0 vyxal.github.io/Vyxal/vyxal.js:32951
    apply__O__O vyxal.github.io/Vyxal/vyxal.js:55302

It's not implemented

for list, num

that would explain it :p

that'll need to be fixed before the pre-release

plus the bot'll need to be back to announce the release

user

00:19

@lyxαl Yeah

I can do it tomorrow, could you open an issue tho? To boost the GitHub stats :P

lyxαl

github.com/Vyxal/Vyxal/issues/1887

" [v3] unrecognised elements cause the literate mode sbcsifier to yeet itself"

The Thonnu

07:50

@user the grade up function doesn't work

[info] - Inputs: #[5,3,1,2,4#] *** FAILED ***
[info]   Expected VList(2, 3, 1, 4, 0), but got 1 (in Checkpoint) at YamlTests.scala:90 (YamlTests.scala:116)
[info] - Inputs: #["t","h","o","n","n","u"#] *** FAILED ***
[info]   Expected VList(1, 3, 4, 2, 0, 5), but got 1 (in Checkpoint) at YamlTests.scala:90 (YamlTests.scala:116)
[info] - Inputs: #[#] *** FAILED ***
[info]   Expected VList(), but got 0 (in Checkpoint) at YamlTests.scala:90 (YamlTests.scala:116)
[info] - Inputs: #[1,1,1#] *** FAILED ***

YAML File:

  - {in: [[5, 3, 1, 2, 4]], out: [2, 3, 1, 4, 0]}
  - {in: [["t", "h", "o", "n", "n", "u"]], out: [1, 3, 4, 2, 0, 5]}
  - {in: [[]], out: []}
  - {in: [[1, 1, 1]], out: [0, 1, 2]}

the num/str overloads don't work either

they all return 0 or 1

@lyxαl @user should I just push it so you can see?

lyxαl

Yes

That would be good

The Thonnu

done

I miss Vyxal Bot :(

lyxαl

That's um particularly goofy if it doesn't pass tests

And I wouldn't know why the goofy is happening

The Thonnu

It looks like it's using another element instead of Ḍ

But I have definitely put Ḍ in the YAML file and in the Elements file

where did the tests check go?

there used to be 7 checks on each commit

lyxαl

I don't know where it went

The Thonnu

08:00

now there's 4

what if I use Ḥ instead of Ḍ?

wtf

that passes

lyxαl

Interesting

Ohhhhhhhhhh

Okay so uh @TheThonnu where'd you see that D downdot is grade up?

The Thonnu

?

I made it grade up

lyxαl

You goofy

The Thonnu

2 days ago, by The Thonnu

ẠḄḌḤỊḶṂṆỌṚṢṬ haven't been implemented yet, right?

lyxαl

You get what things do from info.txt

> Ḍ = Decision problem structure

The Thonnu

08:09

Can't say I didn't ask you

lyxαl

B downdot isn't even in the code page

And A downdot should have been assign list item

The Thonnu

ohh

oops

lyxαl

I need to update codepage.txt

The Thonnu

yeah I looked at github.com/Vyxal/Vyxal/blob/version-3/codepage.txt

btw what does "decision problem structure" actually mean?

lyxαl

Is there a thing in a list that matches a predicate

The Thonnu

08:12

oh ok

lyxαl

Feb 15 at 13:11, by lyxal

Feb 20, 2022 at 7:19, by lyxal

Ḍ<predicate>|<container>;

The Thonnu

uhh so we roll back all the PRs?

lyxαl

Shift things around so they match the things they should be

The Thonnu

should I do that?

lyxαl

Yeah

The Thonnu

08:14

cool, I'll start later

lyxαl

You might need to make things that are temporarily not fully implemented but that'll be fine

One of the things I want for version 3 is flexibility and the ability for things to be changed without worrying about previous versions. So this is a good test of that

The Thonnu

:+1:

anyway o/ for now

lyxαl

o/

I might even get around to it myself if you haven't by the time I get around to it

lyxαl

08:31

(i realise that I let it slip too - we all missed it lol)

A little cleaning up is needed. Maybe that should be a separate PR. Make the D downdot PR into the cleaning pr I think

The Thonnu

Yeah that was what I was thinking

lyxαl

09:02

I edited the PR

Don't rename the branch because that closes the PR apparently

Might as well leave it in the one place

The Thonnu

09:39

@lyxαl how do I check if a is a string or list

Can I do String | VList?

Also can I use Any?

actually nvm I don't need that

The Thonnu

10:04

hey @lyxαl @user can you implement :: in VList?

I'll just push what I have

actually nvm I fixed it myself

sry for the pings

So I've implemented Grade Up and Character Multiply/Surround

(This time in the right places lol)

hmm

the generate docs action failed twice

now 3 times

Error: Invalid status code: 1
    at ChildProcess.<anonymous> (/home/runner/work/_actions/stefanzweifel/git-auto-commit-action/v4/index.js:17:19)
    at ChildProcess.emit (node:events:513:28)
    at maybeClose (node:internal/child_process:1100:16)
    at Process.ChildProcess._handle.onexit (node:internal/child_process:304:5) {
  code: 1
}
Error: Invalid status code: 1
    at ChildProcess.<anonymous> (/home/runner/work/_actions/stefanzweifel/git-auto-commit-action/v4/index.js:17:19)
    at ChildProcess.emit (node:events:513:28)

lyxαl

10:26

@TheThonnu yes

@TheThonnu (cc @user)

@TheThonnu no need to apologise for pinging us :p

Asking questions is good

It gives everyone a chance to learn :p

The Thonnu

Should I do tests as well?

@lyxαl :+1:

lyxαl

@TheThonnu if you want to

The Thonnu

I implemented everything I need to

@lyxαl cool

lyxαl

@TheThonnu 👍

I'll do the code page once I've thought about it for a bit

Because I first need to find what I changed between implementation and original plan

The Thonnu

also the num, num overload of surround wasn't in info.txt

lyxαl

10:34

Intentional

If an overload is missing that means it hasn't been decided yet

Flexibility :p

The Thonnu

github.com/Vyxal/Vyxal/blob/v3-add-d-downdot/shared/src/vyxal/…

Leave it like that for now?

lyxαl

If you want. It just means it won't error if you try num num

Maybe it shouldn't be there so as to remember it hasn't been thought through

Not everything has to have all overloads decided at launch

The Thonnu

what's an error? In Thunno 2 we only have warnings and that's optional (w flag) :P

lyxαl

An error is when scala yells at you for being goofy and not having a corresponding pattern match at runtime :p

The Thonnu

Not-Thonnu.github.io/…

lol

lyxαl

10:37

@TheThonnu that's a warning? Cringe :p

Try it Online!

The Thonnu

Yeah but there are actual Python errors in Vyxal

I should know, I've found like 10 of them

:p

github.com/Vyxal/Vyxal/releases/tag/v2.21.0

lyxαl

Those are features to assist with error quines :p

The Thonnu

lol

good excuse

all tests passed

lyxαl

Still don't know where the test workflow went

The Thonnu

lol

@lyxαl the codepage in Lexer.scala is correct, right?

lyxαl

10:51

Yes

But I might make a few changes to it

So I'll be doing that when I get the chance to

The Thonnu

cool

lyxαl

USER!!!111!1

@user you goofy

You managed to disable the tests on normal commits

Too many ignored paths you bingus

user

11:21

Oh whoops

I was trying to help out github by not making their servers do unnecessary work

lyxαl

Lol

user

But screw it let's just make the tests run every commit

As i see you're already done

*v

lyxαl

They owe us anyway

user

For copilot?

lyxαl

That's right :p

We gave them valuable data, so it's only fair they give us server time :p

user

11:23

@TheThonnu you can but I'd rather you didn't

It creates confusion with the List :: (which isn't a big deal) and more importantly you can just do VList.from(a+:b)

@lyxαl mmm yes how dare they take all our perfectly idiomatic and perfectly working code with elegant algorithms

But /srs yeah kind of a jerk move

lyxαl

doesn't have to be perfectly working, just has to be representative of how people write code :p

user

@TheThonnu you can

@lyxαl and not working is a great representation of how people write code :p

lyxαl

:p

user

Honestly does there exist any big tool out there that actually works perfectl?

@TheThonnu ooh we should add warnings

lyxαl

@user no

user

11:28

I guess we already have scribe but that shows up in the console

lyxαl

all systems have something wrong once they become big :p

that's like the one thing I learned from that one systems course I did last semester :p

also about warnings I mean maybe depends on what would be warnable

user

A useful thing to learn

@lyxαl like when im v2 you run an element that doesn't exist and it just pushes 0 to the stack. It could have an accompanying warning. But v3 just errors and i don't know if you were planning on changing that

lyxαl

I would have assumed that was just laziness

it just doesn't compile to anything :p

user

Oh lol

lyxαl

You call it "clever error handling", I call it "eh just strip invalid characters lol"

well not strip, but just ignore

user

11:34

Lmao

Resilient and robust

The Thonnu

11:51

When I was making Thunno 2 I was thinking about making invalid characters push that character as a string

But then I decided not to bother as the number of times we have characters from outside the codepage is so few

lyxαl

huh so turns out info.txt is missing 2 characters

no clue which ones

The Thonnu

B downdot

lyxαl

something else too

The Thonnu

yeah I'm finding it

The Empty String Photographer

What if Vyxal was compiled to C instead?

lyxαl

12:01

it was backslash

The Thonnu

Π

backslash is there

\ = scanl / Reject by Element

It's Ḅ and Π

lyxαl

fixed

The Thonnu

do you think we should make Ḅ unique prime factors?

lyxαl

sure

The Thonnu

And case of for the string overload?

(since we've already implemented the helper functions)

lyxαl

12:07

I don't got any ideas for that

leave it empty for now

The Thonnu

you can change it later

I've already done it

Ginger

12:32

server's back up

restarting bot...

ruh roh, sechat's erroring

The Empty String Photographer

@Ginger Restart programme.

Ginger

oh dear

it's an issue with the login flow

Vyxal Bot

Well, here we are again.

Ginger

ayyyyy

clearing cookies fixed it

Vyxal Bot

Ah'll be bahk.

Well, here we are again.

Ginger

12:44

@lyxαl bot is back

Vyxal Bot

GingerIndustries pushed a commit to VyxalBot2/main in Vyxal/VyxalBot2: Poetry updates

Ginger

which also happened to close two security issues

Vyxal Bot

Ah'll be bahk.

Well, here we are again.

lyxαl

@Ginger very nice

!!/prod

Vyxal Bot

@lyxαl Failed to create issue: Webhook validation failed: Validation Failed: 'No commits between production and main'

lyxαl

12:49

Good

Ginger

!!/status

Vyxal Bot

@Ginger I am lighting the server on fire.

Ginger

toasty

lyxαl

!!/status boring

Vyxal Bot

Bot status: Online
Uptime: 0:02:22.224586
Running since: 2023-08-22T12:48:30.438311
Errors since startup: 0

lyxαl

12:51

It's good to have the bot back

My phone really needs to stop trying to correct bot to boy in the autosuggest

Ginger

the b o y

feature-request: make the bot randomly replace "bot" with "boy" in its messages

Vyxal Bot

Lyxal pushed a commit to Vyxal/v3-add-d-downdot in Vyxal/Vyxal: @user

Ginger

@lyxαl remind me, did we ever decide if the bot should report failed workflow runs?

also, would it be a good idea to have it report security vulns?

The Thonnu

@VyxalBot yay

!!/status

Vyxal Bot

@TheThonnu I am solving a rubix cube. This one's taking forever.

lyxαl

12:57

@Ginger that's an interesting question. I would possibly lean towards no because it'll always be fixed before a PR is merged

@Ginger not publicly :p

Ginger

right

Vyxal Bot

Lyxal approved #1886 (Version 3 clean up) in Vyxal/Vyxal

The Thonnu

@VyxalBot @lyxαl you could take the length if it's a string/list

lyxαl

the point was more how do you cast something that isn't a vnum at all to a vnum? :p

The Thonnu

yeah, and I'm saying don't do that - just take the length

lyxαl

13:05

ofc

Vyxal Bot

nayakrujul pushed a commit to Vyxal/v3-add-d-downdot in Vyxal/Vyxal: Update Elements.scala

Ginger

today I'm going to try to create a hosting system for the bot

(and my other bots)

(and potentially other software)

The Thonnu

!!/status tingly

Vyxal Bot

Bot status: O-o-onwinye
Uptime: 0:19:48.707112
Wunnying OwO ***looks at you*** since: 2023-08-22T12:48:30.438311
Ewwows since (U ᵕ U❁) stawtup: ***screeches*** 0-0-0

Ginger

it'd basically be a small wrapper around the bot that can automatically handle things like pulling from GitHub or updating Poetry libs

lyxαl

13:09

@Ginger could be interesting. Do you know what kind(s) of vuln's could be reported?

and is the repo even configured for reporting? :p

The Thonnu

!!/hello

Vyxal Bot

@TheThonnu greetings

The Thonnu

@Ginger can we add GOOD MORNING, MOTHERF**KERS to !!/hello?

Ginger

@lyxαl I know Vyxal Bot is configured for it

@TheThonnu no

The Thonnu

(with a small, let's say 1%, probability)

:(

why not?

lyxαl

13:11

people might flag it

and get the bot kicked/suspended

Ginger

^

and every option has equal probability

The Thonnu

we've already got that as an option when it restarts

Ginger

so it wouldn't be an easter egg anymore

The Thonnu

@Ginger doesn't have to be like that

lyxαl

@Ginger not that it seems to break the bot :p

The Thonnu

13:12

That's easily changed

Ginger

there's no point in changing it

it's supposed to be an easter egg, adding it to !!/hello defeats the point

The Thonnu

fine

Vyxal Bot

Lyxal pushed a commit to Vyxal/v3-add-d-downdot in Vyxal/Vyxal: Two different attributes

The Thonnu

what about adding something to when it leaves?

Instead of Ah'll be back?

Ginger

such as?

The Thonnu

13:13

idk

SEE YA LATER, B*TCHES

lyxαl

adios, nerds

Ginger

hmm

lyxαl

maybe ight imma head out

ooh it could even post a link to a gif and have it onebox

Ginger

I can do that

The Thonnu

@lyxαl what's the difference between .length and .size

lyxαl

13:17

one only works on strings, the other only on lists

The Thonnu

nope

.length works on strings

.size works on lists as well

lyxαl

ah

The Thonnu

They look identical

lyxαl

it seems to be because (String | VList) is a union type

which doesn't have any specialised methods

The Thonnu

84

A: Scala - What is the difference between size and length of a Seq?

Nothing. In the Seq doc, at the size method it is clearly stated: "The size of this sequence, equivalent to length.".

So apparently they're the same on Seq

Vyxal Bot

13:20

Lyxal pushed a commit to Vyxal/v3-add-d-downdot in Vyxal/Vyxal: Update Elements.scala

The Thonnu

that's better

Vyxal Bot

13:53

ysthakur approved #1886 (Version 3 clean up) in Vyxal/Vyxal

ysthakur merged pull request #1886 (Version 3 clean up) in Vyxal/Vyxal

ysthakur pushed a commit to Vyxal/version-3 in Vyxal/Vyxal: Version 3 clean up (#1886)

ysthakur deleted branch v3-add-d-downdot in Vyxal/Vyxal

The Thonnu

@lyxαl are you going to make pre-release #3 now?

lyxαl

No because it's almost bed time

The Thonnu

fair enough

Vyxal Bot

GingerIndustries pushed a commit to VyxalBot2/move-autotag-into-config in Vyxal/VyxalBot2: Move chat settings into config subdict

GingerIndustries pushed a commit to VyxalBot2/move-autotag-into-config in Vyxal/VyxalBot2: Move autotag data into config file

GingerIndustries created branch move-autotag-into-config in Vyxal/VyxalBot2

GingerIndustries opened pull request #102 (Move autotag into config) in Vyxal/VyxalBot2

Lyxal requested changes on #102 (Move autotag into config) in Vyxal/VyxalBot2: "What if people who can't access the config file need to change the tag map? "

lyxαl

o/ for the nfibt

*ngiht

*nivht

*night

Vyxal Bot

14:09

GingerIndustries pushed a commit to VyxalBot2/don't-ping-hyperping-initiator in Vyxal/VyxalBot2: Make bot not ping hyperping initiator

GingerIndustries created branch don't-ping-hyperping-initiator in Vyxal/VyxalBot2

GingerIndustries opened pull request #103 (Make bot not ping hyperping initiator) in Vyxal/VyxalBot2

nayakrujul approved #103 (Make bot not ping hyperping initiator) in Vyxal/VyxalBot2

nayakrujul merged pull request #103 (Make bot not ping hyperping initiator) in Vyxal/VyxalBot2

nayakrujul pushed a commit to VyxalBot2/main in Vyxal/VyxalBot2: Merge pull request #103 from Vyxal/don't-ping-hyperping-initiator

nayakrujul closed issue #57 (Bot pings hyperping author) in Vyxal/VyxalBot2

The Empty String Photographer

@lyxαl \o/ \o o/ \o/

Vyxal Bot

nayakrujul deleted branch don't-ping-hyperping-initiator in Vyxal/VyxalBot2

The Thonnu

lyxal being goofy

4 mins ago, 10 seconds total – 4 messages, 1 user, 0 stars

Bookmarked 38 secs ago by The Thonnu

Vyxal Bot

GingerIndustries pushed a commit to VyxalBot2/move-autotag-into-config in Vyxal/VyxalBot2: Split private and public config files

GingerIndustries pushed a commit to VyxalBot2/move-autotag-into-config in Vyxal/VyxalBot2: Make autotag repo-specific

Ginger

14:25

fun fact: I very nearly pushed private.json instead of config.json there

which would have been suboptimal

Vyxal Bot

Ah'll be bahk.

Well, here we are again.

Ah'll be bahk.

Well, here we are again.

Ginger

there we go

just doing a little messing around with my deployment system

Vyxal Bot

16:04

Ah'll be bahk.

Well, here we are again.

The Thonnu

16:17

@lyxαl it looks like you've put head extract in twice in info.txt

github.com/Vyxal/Vyxal/blob/version-3/info.txt#L158 and github.com/Vyxal/Vyxal/blob/version-3/info.txt#L176

Don't know if you meant to have two, but with different orders

But you only have one for tail extract

Vyxal Bot

16:36

Not-Thonnu pushed a commit to Vyxal/v3-add-reverse in Vyxal/Vyxal: Add reverse

Not-Thonnu created branch v3-add-reverse in Vyxal/Vyxal

nayakrujul opened pull request #1889 (Add reverse) in Vyxal/Vyxal

github-actions[bot] pushed a commit to Vyxal/v3-add-reverse in Vyxal/Vyxal: Scalafix changes

ysthakur approved #1889 (Add reverse) in Vyxal/Vyxal

Vyxal Bot

22:24

ysthakur created branch 1887-v3-unrecognised-elements-cause-the-literate-mode-sbcsifier-to-yeet-itself in Vyxal/Vyxal

user

Oh hey the bot's back

!!/status boring

Vyxal Bot

Bot status: Online
Uptime: 6:21:10.218948
Running since: 2023-08-22T16:06:49.985326
Errors since startup: 0

ysthakur pushed a commit to Vyxal/1887-v3-unrecognised-elements-cause-the-literate-mode-sbcsifier-to-yeet-itself in Vyxal/Vyxal: Don't throw error on unknown keywords in sbcsifySingle

ysthakur opened pull request #1890 ([v3] Don't error unrecognized literate keywords when sbcsifying) in Vyxal/Vyxal

ysthakur assigned ysthakur to pull request #1890 ([v3] Don't error unrecognized literate keywords when sbcsifying) in Vyxal/Vyxal

Lyxal approved #1890 ([v3] Don't error on unrecognized literate keywords when sbcsifying) in Vyxal/Vyxal

Lyxal approved #1889 (Add reverse) in Vyxal/Vyxal

Lyxal merged pull request #1889 (Add reverse) in Vyxal/Vyxal

Lyxal pushed a commit to Vyxal/version-3 in Vyxal/Vyxal: Add reverse

Lyxal pushed a commit to Vyxal/version-3 in Vyxal/Vyxal: Scalafix changes

Lyxal pushed a commit to Vyxal/version-3 in Vyxal/Vyxal: Merge pull request #1889 from Vyxal/v3-add-reverse

Lyxal deleted branch v3-add-reverse in Vyxal/Vyxal

lyxαl

23:13

@TheThonnu intentional

From experience, I've sometimes wanted the rest of the list, the start of the list

But not the other way around for tail extract

lyxal being goofy

Transcript for