The Nineteenth Byte

« first day (4325 days earlier) ← previous day next day → last day (816 days later) »

Radvylf Programs

21:00

Just treat them like normal sets, and constrain the input set such that it's equal to the input given by the user

@Ginger Same way as iterating over any other non-input set

Ginger

????????????

stdout is a black hole; information goes in but doesn't come out

Radvylf Programs

That's not necessary here

Everything happens at once

STDOUT can just be a set like any other, once everything is evaluated you just look at what's in that set

Ginger

so what does O∈O do then?

brb

Radvylf Programs

What does XeX do

Whatever it does, OeO does that

Also, I think you're thinking about iterating a bit too imperatively

Iteration is just applying a whole bunch of constraints at once, it doesn't occur in any particular order, right?

Ginger

I'm back

@RadvylfPrograms iteration implies order

sure, that's not what happens here

Radvylf Programs

21:03

Well then ya don't have iteration I guess

You do have the upside down A thing

Ginger

but even if the language runs "instantly", the interpreter has to do things in a set order

Radvylf Programs

Yeah, but that should be unobservable

Ginger

my point is more "how do I count up forever if the whole program runs at once"

Radvylf Programs

Count up forever in or out of the program

Ginger

because if that's how it works then the program will just sit while the interpreter counts up endlessly

Radvylf Programs

21:06

Then you don't implement infinite set stuff like that

Ginger

the whole idea of this language is that the side effects of the program being enforced by the interpreter are its output

Radvylf Programs

Side effects?

I thought it was like, the language describes some rules, like "x is a subset of O", then it returns the output set that matches those rules

Ginger

the count up forever program simply says "make every natural number be a member of this set"; the set just happens to represent output which causes an effect of the numbers being printed

Radvylf Programs

Yeah

So the output of the program is the set of natural numbers

If you want it to be ordered in some way, have a built-in for that, or use some clever set theory trickery to get something like that

Ginger

and then the interpreter, as part of displaying the results to the user, prints the set of natural numbers in order

that actually makes sense

Radvylf Programs

21:13

The ordered version of the set would probably look something like {1 {2 {3 {4 {...}}}}}

Just like how strings look

Ginger

ah yes, {"H" {"e" {"l" {"l" {"o" {"," {" " {"W" {"o" {"r" {"l" {"d" {"!" {}}}}}}}}}}}}}}

Radvylf Programs

Yep

Seggan

@Ginger imo it should be the other way around

{{{{"H"} "e"...

Ginger

we'll have to add a flag to the interpreter to make it automatically flatten sets like that d:

Radvylf Programs

If you're using plain sets, it'd be just as accurate to print w, d!oerHl

Steffan

21:16

Y'all talking about some cursed lang?

Ginger

yes, we are

Radvylf Programs

@Seggan Wouldn't that mean that lazy lists would be evaluated from the end first?

Seggan

@RadvylfPrograms mapping is a nice alternative

Radvylf Programs

@RadvylfPrograms That makes the set of natural numbers basically impossible to represent

Seggan

@Steffan set theory, programmified

Ginger

21:17

kinda

Seggan

@RadvylfPrograms i mean for strings

Radvylf Programs

Why tho

Ginger

@Steffan the convo started here if you want to catch up

Radvylf Programs

It makes sense to make strings and lazy lists identical

Well, unless you want some weird duck-typing sort of thing

Or wait no

Seggan

@RadvylfPrograms so they could be ordered...?

Radvylf Programs

21:19

@RadvylfPrograms Sets are unordered so it would be indistinguishable from the reverse of the string as a lazy list

@Seggan not sure what you mean

Seggan

nvm i mixed my brains

Ginger

for some reason @hyper-neutrino and @Neil's PFPs never seem to consistently load, I always have to right-click and select "Load image"

weird

hyper-neutrino

that is because I am in superposition until observed so my PFP may or may not exist

Ginger

I mean you are a hyper neutrino so

Radvylf Programs

Local Canadian rescued from small box rigged with with poison gas

Seggan

21:22

@Ginger ok so im thinking of representing stdout like this but backwards

Radvylf Programs

(Nonlocal Canadians are also a valid solution to General Relativity, assuming they can have complex mass)

Ginger

ffs I have a really funny comic for this but it's in a physics book and I can't find it online

time to do a bit of scanning

hyper-neutrino

@Ginger (hence the joke)

Ginger

to say it was a pain in the ass to get that photo would be quite an understatement

Transcript:

> GENERAL RELATIVITY
> "The Universe is highly classified."

New Posts

Q: Find the box by its corners

Given a matrix of integers \$M\$ and a list of four integers \$L\$, find the sub-matrix \$N\$ whose corners are given by \$L\$ and return the sum of its elements. Suppose you're given the list \$L = [-8, -3, 2, 9]\$ and the following matrix. The numbers in the list are highlighted in blue to ill...