The Nineteenth Byte

user

00:16

@RydwolfPrograms Depending on the context, that could totally be a magic number in need of a proper name

Like if you're calling C code and the 1 is actually some enum member, you should probably define constants for 0, 1, etc.

noodle person

01:04

#define ZERO 0

lyxal

01:18

Honestly if that's something you're getting in a code review I'd like to know what it is you're doing with those 1s :p

There's some sort of context there where the 1s actually have meaning

Outside of a quick increment or a math formula

Sandbox Posts

02:27

0

A: Sandbox for Proposed Challenges

Plot the ground path of a satellite If you model a satellite orbiting a body as a point, you can pretty easily see it has 6 degrees of freedom: three for the X, Y, and Z position, and three for the X, Y, and Z velocity. However, this doesn't tell you much about what the orbit is going to look lik...

lyxal

02:54

Chopping board accidentally has a picture of a cat attacking some cyclops ahh blob monster thing

Ginger

sorry that was me

it looked weird

lyxal

Fair enough

Just another TNBer in my kitchen :p

Maybe TNB is actually located entirely within my kitchen

I need to go steam some hams to verify this

That would make me a literal Room Owner

lyxal

03:33

room topic changed to Lyxal's Kitchen: General discussion for lyxal's kitchen | Guidelines: no cookingafter 9pm ([food], [plates], [fridge])

Ginger

:3c

Rydwolf Programs

04:51

oh my god
i hate dynamically typed languages

just spent close to an hour debugging something, completely at my wits' end, turns out I completely forgot to pass the whole fucking animation duration

so everything turned into a cascade of NaNs

yknow how the idea is that you say something if an error happens at runtime at least

sure love how floats are kidna just like yeah fuck that too

if you're not an infallible being why are you trying to write code anyway

Now for the embarassing part...let's go through my commit history and see how many of the attempted fixes were on code that already fully worked

Bubbler

rip

Rydwolf Programs

05:15

Dannyu NDos

07:14

0

Q: A paradox about cardinality of ALL and arithmetic hierarchies ― Did I just prove that ZFC is inconsistent?

This problem arose when I tried to find the arithmetic hierarchy that $\mathsf{ALL}$, the class of all formal languages over a finite alphabet, corresponds to (like how $\mathsf{R} = \Delta^0_1$ and $\mathsf{RE} = \Sigma^0_1$). Since the cardinality of $\mathsf{ALL}$ is $\beth_1$, I thought that,...

Help!

RubenVerg

07:50

is there a esolang based on set theory?

interested in making one but maybe there's prior art

Bubbler

NST attempted to be one (it's short for Naive Set Theory)

but apparently the creator deleted their account here and the repo

RubenVerg

looks like it's stack based, not exactly what I was envisioning

there's a couple other results on esolang but none are similar to what I'm thinking

Set Language is probably closest but it has weird syntax

is there a commonly used way to encode a lazy, infinite set?

Bubbler

it's usually simply done with a lazy list I think

RubenVerg

hm, I guess there's no real way to encode uncountably infinite sets though

Bubbler

right

RubenVerg

08:02

so only rationals, I suppose

Bubbler

at that point you need a formal mathematical logic system

RubenVerg

yeah, which is probably too complex for what I'm thinking

lyxal

08:38

@RubenVerg I don't remember it being stack based

Granted that was 4 years ago so I might be wrong

Anyhow if you want the source code I'll make public the fork I made before it was deleted

Ah wait no it's already public

github.com/lyxal/NST-the-one-A__-wrote-

Yeah ok it's stack based says so right there in the readme lol

Now that's a trip down memory lane

Person who made it also made other golflangs and helped shaped the fundamentals for vyxal

We collabed on a fair bit actually

A__ (the maker of NST) is actually the reason I came back to code golf

Without them, I might never have returned after losing interest in late 2018

mousetail

10:03

I have a dumb idea for a chess variant

32 players free for all, each player controls one piece. Can capture both black and white pieces

Each player writes down their move at the same time then they are resolved, lowest value piece first

If your move is invalid your turn is skipped

The player with the most captures at the end wins

Aiden Chow

10:21

@mousetail if the piece u control is captured does that mean u r out of the game and the number of captures u have is final?

mousetail

Yes, half the people will be eliminated the first turn

Aiden Chow

sounds terrible for those controlling pawns ngl

can you capture the king as well?

lyxal

@AidenChow You kidding? They are the only ones that can perform en passant!

mousetail

Pawns have a good ability to run away

Aiden Chow

can the king walk into check?

lyxal

10:24

It's a privilege to control a pawn

mousetail

King is in more trouble than pawn since the queen can guarenteed capture him the first turn

Aiden Chow

@mousetail well if u r controlling a pawn, often times u just have one legal move which is to push forward one square

@mousetail is king considered higher value than queen?

mousetail

Well you can try to capture to the left or right if something happens to be there

@AidenChow In typical rules, yes. Queen can be captured by the rooks first but only if they coordinate with the horse and bishop

Capturing a pawn is about predicting if it will move or not

Aiden Chow

this sounds very chaotic ngl

mousetail

That's the idea, it's not intended to be remotely balanced

Aiden Chow

10:26

wait can u put a clearly invalid move to intentionally skip a turn?

mousetail

Yes

Aiden Chow

interesting

lyxal

Sounds like playing the King is instant loss though. There's no reason for the queen to never take straight away and depending on king value, the king never gets a chance to run away.

mousetail

That's true, we can do 30 players and have the kings played by stockfish

lyxal

What happens if two pieces of equal value move to the same square?

mousetail

10:30

For pawns the outer ones move first then the inner ones. For the others one is arbitrairly chosen to be considered worth more than the other

Maybe just left to right from initial position, alternating black and white

lyxal

That's probably simpler and better

Because what if you have a pawn on c3 and c5 wanting to capture on d4?

Who survives?

Aiden Chow

So the piece that is chosen second to move to the square won’t be able to move cuz it’s an invalid move right

mousetail

It will capture the first piece to move there

Aiden Chow

Cuz the second piece didn’t specify capture (assuming algebraic notation)

@mousetail oh interesting

mousetail

No you don't need to specify if you want to capture (unless you are a pawn)

Aiden Chow

10:33

How is the move inputted?

mousetail

You can just write down where you want to move to

lyxal

Have we confirmed that the simpler movement resolution is being used?

Aiden Chow

Well if it’s algebraic notation an x is used to specify capture, like Nxe4. If there’s a piece already at e4 and u just write Ne4, wouldn’t that be invalid?

lyxal

Is castling allowed?

mousetail

Basically it works like a pre-move in most chess apps. So you can select any square you could in theory be able to make a legal move towards and if it's valid at that time it's resolved

casling is allowed, does not require consent from the rook

Aiden Chow

10:37

@mousetail so instead of writing the move , u click a square u want ur piece to go to?

mousetail

Yes, or write down the coordinates of the square if you play analogue. it doesn't matter for the rules

Aiden Chow

@mousetail sounds rather niche, the rook needs to skip all their turns before castling in order for it to be legal

mousetail

Yea it's unlikely to ever happen because the king usually gets captured the first move

lyxal

@mousetail the myth of consensual castling

Aiden Chow

And also once the rook moves castling is not allowed

mousetail

10:39

Maybe that rule can be relaxed like chess variants often do. Also casling into or through check is ok

lyxal

Is il vaticano in play?

mousetail

No, but you can en passant friendly pawns

lyxal

How does that work? Wouldn't that require moving backwards?

I like the sound of it I don't know the details is all

mousetail

Suppose the E pawn moves up two and the D pawn decides to capture top right, they take the E pawn is captured en passant since the D pawn moves later.

lyxal

Aha I think I get that

mousetail

10:48

For the king: New rule. King moves first. If the king is eliminated the entire team is eliminated (but it doesn't give the capturing piece any points). So every piece needs to predict where the king will move and avoid accidentally capturing him or they lose. The king himself thirsts for blood like every other piece.

Aiden Chow

That sounds crazy lol

lyxal

I like that

Aiden Chow

If the king is captured will the pieces of that team just stay there but unable to be moved (available for capture for the other team) or will all the pieces of that team simultaneously disappear?

mousetail

Lets say they stay. It creates some incentive for the other team to try to take the king

New Posts

12:01

0

Q: Face lattice of permutohedron

Below image is a permutohedron of order 4. My question is how to draw a face lattice of the above image in easiest way?

polyglot

Unrelated String

12:21

it does always make me sad that ṃ uses normal base conversion instead of bijective base conversion ;_;

mousetail

13:55

Is there any common logic gate that has two outputs? I mean high level things like ROM and flip flops

Themoonisacheese

@mousetail mux/demux?

ROMs also may have multiple outputs, if they're multi-bit ones (most are).
note that neither ROMs, flip flops nor mux/demux are actually logic gates. perhaps you mean logic circuits?

mousetail

Multi bit does not count as multiple outputs for my purposes

Demux is a good one

Though I think I can figure out a way to not need it

Themoonisacheese

i'm so curious now

mousetail

I'm making a circuitesque esolang

Themoonisacheese

i should golf in verilog <---clueless

Neil

14:54

@mousetail full adder?

mousetail

I don't think I need it since my adder already support an arbitrary number of bits

Rydwolf Programs