« first day (4325 days earlier)      last day (510 days later) » 
00:00 - 21:0021:00 - 23:00

9:00 PM
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
 
????????????
stdout is a black hole; information goes in but doesn't come out
 
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
 
so what does O∈O do then?
brb
 
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?
 
I'm back
@RadvylfPrograms iteration implies order
sure, that's not what happens here
 
9:03 PM
Well then ya don't have iteration I guess
You do have the upside down A thing
 
but even if the language runs "instantly", the interpreter has to do things in a set order
 
Yeah, but that should be unobservable
 
my point is more "how do I count up forever if the whole program runs at once"
 
Count up forever in or out of the program
 
because if that's how it works then the program will just sit while the interpreter counts up endlessly
 
9:06 PM
Then you don't implement infinite set stuff like that
 
the whole idea of this language is that the side effects of the program being enforced by the interpreter are its output
 
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
 
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
 
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
 
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
 
9:13 PM
The ordered version of the set would probably look something like {1 {2 {3 {4 {...}}}}}
Just like how strings look
 
ah yes, {"H" {"e" {"l" {"l" {"o" {"," {" " {"W" {"o" {"r" {"l" {"d" {"!" {}}}}}}}}}}}}}}
 
@Ginger imo it should be the other way around
{{{{"H"} "e"...
 
we'll have to add a flag to the interpreter to make it automatically flatten sets like that d:
 
If you're using plain sets, it'd be just as accurate to print w, d!oerHl
 
9:16 PM
Y'all talking about some cursed lang?
 
yes, we are
 
@Seggan Wouldn't that mean that lazy lists would be evaluated from the end first?
 
@RadvylfPrograms mapping is a nice alternative
 
@RadvylfPrograms That makes the set of natural numbers basically impossible to represent
 
@Steffan set theory, programmified
 
9:17 PM
kinda
 
@RadvylfPrograms i mean for strings
 
Why tho
 
@Steffan the convo started here if you want to catch up
 
It makes sense to make strings and lazy lists identical
Well, unless you want some weird duck-typing sort of thing
Or wait no
 
@RadvylfPrograms so they could be ordered...?
 
9:19 PM
@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
 
nvm i mixed my brains
 
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
 
that is because I am in superposition until observed so my PFP may or may not exist
6
 
I mean you are a hyper neutrino so
 
Local Canadian rescued from small box rigged with with poison gas
 
9:22 PM
@Ginger ok so im thinking of representing stdout like this but backwards
 
(Nonlocal Canadians are also a valid solution to General Relativity, assuming they can have complex mass)
3
 
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
 
@Ginger (hence the joke)
 
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."
 
0
Q: Find the box by its corners

JordanGiven 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...

 
9:36 PM
@Ginger lol i just got it
 
00:00 - 21:0021:00 - 23:00

« first day (4325 days earlier)      last day (510 days later) »