Vyxal

lyxal

00:17

in The Nineteenth Byte, 6 hours ago, by mousetail

Oh one more feature request: Ability to run the same code on a whole list of test cases, to be more easily able to test full programs without needing a seperate link for each

Those fools don't realise we've been doing that for 5 months!

Vyxal Bot

07:29

Lyxal merged pull request #1860 (Update production) in Vyxal/Vyxal

Lyxal pushed a commit to Vyxal/production: Merge pull request #1860 from Vyxal/main

The Thonnu

10:49

Is there a way to shorten this

lyxal

Yes

Definitely yes

That's goofy golf hours needing 12 bytes when you can do it 6 flagless assuming singleton output

The Thonnu

how?

lyxal

Try it Online! when you're ready

If you don't want to experiment firsr

*first

The Thonnu

ooh nice

doesn't quite work actually

That should be an empty string

Does Vyxal have Thunno 2's "corresponding filter"?

basically keep the elements in b where there is a truthy element in the same place in a

Also, why does taking the head of an empty string return 0 not an empty string?

lyxal

11:04

Good question

No clue

@TheThonnu vyxal.pythonanywhere.com/… for 9

The Thonnu

11:40

@lyxal thanks

@TheThonnu I realised that was actually because doing head remove on an empty string gives an empty list, and doing head on an empty list gives 0

But still, head remove on an empty string should give an empty string

Vyxal Bot

Lyxal pushed a commit to Vyxal/v2-actually-make-negative-number-literals-work: Update test_transpiler.py

lyxal

@TheThonnu the tests imply it already does?!?

???!

How is it passing those when it clearly behaves differently?

Vyxal Bot

Lyxal pushed a commit to Vyxal/v2-make-head-remove-on-string-give-empty-string: Make Ḣ return an empty string when given an empty string

Lyxal created branch v2-make-head-remove-on-string-give-empty-string in Vyxal/Vyxal

Lyxal opened pull request #1861 (Make Ḣ return an empty string when given an empty string) in Vyxal/Vyxal

@Ginger An error occured while processing event 3ad6b160-3a99-11ee-8588-c834d8b029d3!

Vyxal Bot

12:03

Lyxal pushed a commit to Vyxal/v3-momentum-branch-2: Implement prime ḟactors

github-actions[bot] pushed a commit to Vyxal/v3-momentum-branch-2: Refresh element and/or trigraph docs from recent commit

Vyxal Bot

12:19

nayakrujul approved #1861 (Make Ḣ return an empty string when given an empty string): "LGTM :+1:"

nayakrujul enqueued pull request #1861 (Make Ḣ return an empty string when given an empty string) in Vyxal/Vyxal

github-merge-queue[bot] pushed a commit to Vyxal/main: Merge pull request #1861 from Vyxal/v2-make-head-remove-on-string-give-empty-string

nayakrujul merged pull request #1861 (Make Ḣ return an empty string when given an empty string) in Vyxal/Vyxal

github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1861-82f3e188798d75217cb5d33aef92f8bc849f1068 in Vyxal/Vyxal

github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1861-82f3e188798d75217cb5d33aef92f8bc849f1068 in Vyxal/Vyxal

nayakrujul deleted branch v2-make-head-remove-on-string-give-empty-string in Vyxal/Vyxal

Lyxal pushed a commit to Vyxal/main: Use sympy.s instead of sympify

Lyxal opened pull request #1862 (Update Production (14 August 2023)) in Vyxal/Vyxal

@Ginger An error occured while processing event 0e12e5a0-3a9d-11ee-86d5-931d051a0945!

Lyxal merged pull request #1862 (Update Production (14 August 2023)) in Vyxal/Vyxal

Lyxal pushed a commit to Vyxal/production: Merge pull request #1862 from Vyxal/main

lyxal

@VyxalBot yes I dev'd on main

because it was a bug fix for something that should have been a bug fix

making v2.21.9 useless

sorry, a change in 2.21.8

I deleted the 2.21.9 release because I want the compressed numbers bugfix + number negation to be included in the release too

Vyxal Bot

12:58

Lyxal pushed a commit to Vyxal/v3-momentum-branch-2: Implement join on ṅewlines

Lyxal pushed a commit to Vyxal/v3-momentum-branch-2: Update info.txt

github-actions[bot] pushed a commit to Vyxal/v3-momentum-branch-2: Refresh element and/or trigraph docs from recent commit

Vyxal Bot

13:15

Lyxal pushed a commit to Vyxal/v3-momentum-branch-2: Fix tests for ṅ | Implement ṡ for lists

Lyxal pushed a commit to Vyxal/v3-momentum-branch-2: Update tests.yaml

github-actions[bot] pushed a commit to Vyxal/v3-momentum-branch-2: Refresh element and/or trigraph docs from recent commit

Lyxal pushed a commit to Vyxal/v3-momentum-branch-2: TESTS!! 😂🤣😂🤣😂🤣😂🤣😭😁🙂😂🤣 🦽🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️💥

The Empty String Photographer

13:32

@lyxal but i think i fixed that

I booted up a virtual environment and pip installed directly from the repo.

i then tested it and it worked.

oh right you also want the number negation

lyxal

It was also saying sympify wasn't defined

Vyxal Bot

13:43

PlaceReporter99 pushed a commit to Vyxal/improve-readme-slightly: You don't need poetry to test stuff

PlaceReporter99 created branch improve-readme-slightly in Vyxal/Vyxal

PlaceReporter99 opened pull request #1863 (Add another way to test the code) in Vyxal/Vyxal

@Ginger An error occured while processing event caf625f0-3aa8-11ee-9157-34239af7a42b!

Vyxal Bot

13:59

PlaceReporter99 pushed a commit to Vyxal/improve-readme-slightly: Add additional info

PlaceReporter99 pushed a commit to Sandbox/master: Create SECURITY.md

PlaceReporter99 closed issue #69 (Nice) in Vyxal/Sandbox

PlaceReporter99 pushed a commit to Sandbox/master: Create codeql.yml

Ginger

15:00

me when the 🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️🛎️

!!/status goofy

Vyxal Bot

Bot status: Online🤓
Uptime: 52 days, 15:59:18.389507🤓🤓
Running since: 2023-06-22T23:01:47.465663🤓🤓
Errors since startup: 28🤓

Ginger

waow

that's like 2 months

Vyxal Bot

ysthakur approved #1850 (Make _ actually negate a number): "LGTM"

ysthakur force-pushed a commit to Vyxal/v2-actually-make-negative-number-literals-work: Make _ actually negate a number

ysthakur force-pushed a commit to Vyxal/v2-actually-make-negative-number-literals-work: Update test_lexer.py

ysthakur force-pushed a commit to Vyxal/v2-actually-make-negative-number-literals-work: Update test_transpiler.py

ysthakur enqueued pull request #1850 (Make _ actually negate a number) in Vyxal/Vyxal

github-merge-queue[bot] pushed a commit to Vyxal/main: Merge pull request #1850 from Vyxal/v2-actually-make-negative-number-literals-work

github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1850-447e6a14c39d162e7767584c59430cd6e5879682 in Vyxal/Vyxal

ysthakur merged pull request #1850 (Make _ actually negate a number) in Vyxal/Vyxal

github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1850-447e6a14c39d162e7767584c59430cd6e5879682 in Vyxal/Vyxal

ysthakur deleted branch v2-actually-make-negative-number-literals-work in Vyxal/Vyxal

GingerIndustries closed pull request #100 (Replace corporate-uncompliant content with more corporate-compliant content.) in Vyxal/VyxalBot2

GingerIndustries deleted branch no-fbi-anger in Vyxal/VyxalBot2

Vyxal Bot

15:27

PlaceReporter99 pushed a commit to VyxalBot2/no-fbi-anger: Replace corporate-uncompliant content with more corporate-compliant content

PlaceReporter99 created branch no-fbi-anger in Vyxal/VyxalBot2

PlaceReporter99 reopened pull request #100 (Replace corporate-uncompliant content with more corporate-compliant content.) in Vyxal/VyxalBot2

GingerIndustries closed pull request #100 (Replace corporate-uncompliant content with more corporate-compliant content.) in Vyxal/VyxalBot2

GingerIndustries deleted branch no-fbi-anger in Vyxal/VyxalBot2

PlaceReporter99 pushed a commit to Vyxal/improve-readme-slightly: Merge branch 'main' into improve-readme-slightly

The Thonnu

16:23

@VyxalBot that was me lol

Vyxal Bot

17:54

ysthakur pushed a commit to Vyxal/v3-momentum-branch-2: Make mergeInfLists helper

lyxal

22:18

@Ginger haw! 💥

Ginger

🛎️🛎️🛎️🛎️🛎️

lyxal

🤯

user

23:01

So I'm trying to do infinite partitions, and I've got something that looks like it works in Scastie (it doesn't hang, at least)

But when I put the exact same code into ListHelpers and try to test that, it hangs (not even when accessing elements of the returned list, when computing the list itself, even though it should be lazy)

lyxal

@user I don't think that can ever enumerate all partitions

user

The body of mergeInfLists is exactly the same in both places, and partitionsLazy is also almost the exact same

I'm not even using VLists anymore

@lyxal Why not?

lyxal

I think there'll always be something it'll miss

user

Why's that?

lyxal

Same reason you can't fit an infinite number of people with names consisting of infinite strings of a's and b's into hilberts hotel

The infinity of partitions is just bigger than that of the natural numbers

user

23:03

Wait it's uncountably infinite?

lyxal

If you figured out how to list them all, I could tell you a way you missed

in The Nineteenth Byte, yesterday, by Dannyu NDos

@lyxal That's impossible because there are uncountably many partitions.

user

This says that the cardinality of all partitions of the natural numbers is c

I'd assume that applies to lists too (list partitions are even easier than set partitions)

@lyxal Okay let me describe it, maybe that'll help figure out what's wrong with it

Sorry I nave to go eat rn but basically I'm doing cantor diagnozliation

For every index i in the list, I split at i and make partitions from the right side, then merge those together diagonally

mergeiNfLists is the diagonal merging thing

I'm also using it in cartProd

lyxal

23:25

@user won't that miss cases like where each individual item is wrapped in a singleton?

Because it'll never be able to be split at index i = infinity

And then also cases where each run of n items is grouped?

And sure you could special case those but I feel like there'd always be some variation that gets missed

Transcript for