00:23:10 <zzo38> Even if it says "you lose the game" and also split second, still you can win, anyways.
00:30:48 <b_jonas> zzo38: sure, the opponent could be stupid and react by damaging themselves with the mana ability of an Underground River
00:31:06 <b_jonas> that will make them lose before your split second card can resolve
00:34:43 <b_jonas> or they could lose from a trigger
00:36:12 -!- eli_oat has joined.
01:08:27 -!- eli_oat has quit (Quit: eli_oat).
01:10:24 <oerjan> ooh langton's ant in backflip
01:15:37 -!- Sgeo_ has quit (Read error: Connection reset by peer).
01:16:16 -!- Sgeo_ has joined.
01:16:48 <esolangs> [[Talk:BackFlip]] https://esolangs.org/w/index.php?diff=92732&oldid=92723 * Oerjan * (+91) /* Similarity to ants/turmites */ Cool!
01:17:32 -!- HackEso has quit (Ping timeout: 268 seconds).
01:17:49 -!- Hooloovoo has quit (Remote host closed the connection).
01:18:39 -!- Hooloovoo has joined.
01:20:30 -!- HackEso has joined.
01:22:24 <oerjan> <tromp> int-e: remember i claimed that a CL basis of regular combinators needs one with 3 variables? <-- are you about to retract that claim? :)
01:24:00 <oerjan> . o O ( you know you're doing real science when being wrong is as exciting as being right )
01:24:56 -!- ickk has joined.
01:25:10 -!- eli_oat has joined.
01:26:49 <oerjan> hm i wonder if anyone famous has said something similar
01:29:29 <oerjan> The most exciting phrase to hear in science, the one that heralds new discoveries, is not “Eureka” but “That's funny...” —Isaac Asimov
01:33:30 <oerjan> last the whiteboard seems a bit anticlimactic
02:12:38 -!- V has quit (Remote host closed the connection).
02:15:07 -!- eli_oat has quit (Ping timeout: 256 seconds).
02:29:29 -!- Sgeo__ has joined.
02:30:17 -!- Corbin has quit (Ping timeout: 240 seconds).
02:32:42 <esolangs> [[Plurple]] https://esolangs.org/w/index.php?diff=92733&oldid=92731 * Laclale * (+663) /* Commands */
02:32:54 -!- Sgeo_ has quit (Ping timeout: 256 seconds).
03:00:03 -!- V has joined.
03:13:15 -!- Corbin has joined.
03:32:11 <esolangs> [[Special:Log/move]] move * Oerjan * moved [[User:Inferno/foresolang]] to [[Foresolang]]: In the language list, no special reason otherwise, so it should be in the main namespace
03:38:48 <oerjan> User:Language obviously has a special reason and i don't know what to do about that Melab thing.
03:52:56 <esolangs> [[Special:Log/move]] move * Oerjan * moved [[Y (programming language)]] to [[Y (Conor O'Brien)]]: More useful disambiguation
03:52:56 <esolangs> [[Special:Log/move]] move * Oerjan * moved [[Talk:Y (programming language)]] to [[Talk:Y (Conor O'Brien)]]: More useful disambiguation
03:54:09 <esolangs> [[Y]] https://esolangs.org/w/index.php?diff=92740&oldid=60801 * Oerjan * (-7) Snap redirect
03:57:19 -!- sdw has joined.
03:58:36 <esolangs> [[Plurple]] https://esolangs.org/w/index.php?diff=92741&oldid=92733 * Laclale * (+188) /* Commands */
04:02:29 <esolangs> [[Talk:Y (Conor O'Brien)]] https://esolangs.org/w/index.php?diff=92742&oldid=92738 * Oerjan * (+378) Half done
04:08:18 <esolangs> [[Plurple]] https://esolangs.org/w/index.php?diff=92743&oldid=92741 * Laclale * (+37) /* Commands */
04:11:00 -!- ickk has quit (Ping timeout: 260 seconds).
04:13:32 <esolangs> [[Plurple]] https://esolangs.org/w/index.php?diff=92744&oldid=92743 * Laclale * (+40) /* Commands */
04:25:49 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=92745&oldid=92700 * Oerjan * (+67) Ginorst & some cleanup
04:40:25 -!- sdw has quit (Ping timeout: 268 seconds).
05:50:26 -!- ickk has joined.
08:11:48 -!- Sgeo__ has quit (Read error: Connection reset by peer).
08:43:09 <esolangs> [[Plurple]] https://esolangs.org/w/index.php?diff=92746&oldid=92744 * Laclale * (+153) /* Commands */
09:12:19 <int-e> tromp: I do remember, same question as oerjan...
09:13:19 <int-e> meh, I missed an announcement that there's no running water today.
09:16:05 <int-e> though I did avoid worst case scenarios like... being in the showerwhile they switch the water off
09:20:52 <int-e> (And it'll be back mid afternoon. They did the same thing last Thursday, but that time I was prepared.)
09:25:22 <int-e> "файл" always cracks me up when I see it. (duckduckgo seems to think I'm russian)
09:26:55 <int-e> (it's a phonetic transliteration of "file")
09:53:36 <riv> https://www.youtube.com/watch?v=Btv68SAk-oM <- I think the first half of this video was great
09:53:41 <riv> I closed it for the second half
10:10:37 -!- Argorok has quit (Ping timeout: 240 seconds).
10:10:55 -!- op_4 has joined.
10:11:37 -!- maximum_yellow has quit (Ping timeout: 240 seconds).
10:11:51 -!- Argorok has joined.
10:11:57 -!- ecs has quit (Ping timeout: 240 seconds).
10:12:10 -!- ecs has joined.
10:15:39 -!- oerjan has quit (Ping timeout: 256 seconds).
10:15:48 -!- oerjan has joined.
10:19:50 -!- __monty__ has joined.
10:45:46 -!- user3456_ has joined.
10:45:55 -!- j4cbo_ has joined.
10:46:01 -!- dnm_ has joined.
10:46:03 -!- j4cbo has quit (Ping timeout: 250 seconds).
10:46:03 -!- j4cbo_ has changed nick to j4cbo.
10:46:08 -!- shikhin_ has joined.
10:46:29 -!- shikhin has quit (Ping timeout: 250 seconds).
10:46:32 -!- user3456 has quit (Ping timeout: 240 seconds).
10:46:54 -!- shikhin_ has changed nick to shikhin.
10:46:55 -!- dnm has quit (Ping timeout: 250 seconds).
10:46:55 -!- Riviera has quit (Ping timeout: 250 seconds).
10:46:55 -!- dnm_ has changed nick to dnm.
10:47:21 -!- Soni has quit (Ping timeout: 250 seconds).
10:47:28 -!- SoniEx2 has joined.
10:51:16 -!- user3456 has joined.
10:51:21 -!- user3456_ has quit (Ping timeout: 256 seconds).
10:51:21 -!- __monty__ has quit (Ping timeout: 256 seconds).
10:51:34 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
10:52:37 -!- Lord_of_Life has joined.
10:52:49 -!- __monty__ has joined.
10:53:20 -!- Byzantine__ has joined.
10:53:40 -!- Byzantine__ has changed nick to Byzantine.
10:59:16 -!- Riviera has joined.
11:05:22 <riv> fungot: You CAPTCHALOGUE them in your SYLLADEX. You have no idea what that actually means though.
11:05:23 <fungot> riv: why are there so few major lisps? ( networking and concurrency, despite my fnord it assumes absolute... if you wanted :)
11:15:17 <riv> > UTC is currently exactly 37 seconds behind TAI. The 37 seconds result from the initial difference of 10 seconds at the start of 1972, plus 27 leap seconds in UTC since 1972.
11:15:18 <riv> > It is also easy to convert GPS time to TAI, as TAI is always exactly 19 seconds ahead of GPS time
11:15:18 <lambdabot> <hint>:1:99: error: parse error on input ‘of’
11:15:20 <lambdabot> <hint>:1:43: error: parse error on input ‘,’
11:15:36 <riv> nmbers related to leap seconds: 37, 27, 10, 19
11:27:37 -!- Byzantine has quit (Remote host closed the connection).
11:29:30 <int-e> fungot: should I fix these 38 warnings? :-/
11:29:30 <fungot> int-e: can't grep for the stuff it needs ( such as those depicted on that page
11:30:07 <riv> fungot: you dropped this: )
11:30:08 <fungot> riv: s/ hum/ fnord right now. need to not compile one or the other
11:31:45 <int-e> (some of those are stupid. i8 = i8 + i8 causes C++ to implicitly convert to int, then complain about the narrowing back to i8. Uh, where i8 = int8_t = signed char.)
11:33:27 <sknebel> free overflow risk warning :D
11:33:36 -!- Palaiologos[m] has quit (Quit: Bridge terminating on SIGTERM).
11:33:39 -!- msmith12[m] has quit (Quit: Bridge terminating on SIGTERM).
11:34:07 <int-e> apparently clang++ treats it as an error.
11:36:05 <int-e> sknebel: fine, but then why doesn't it give int + int the same treeatment...
11:38:14 <sknebel> yeah, it should offer that too
11:41:06 -!- msmith12[m] has joined.
11:47:43 -!- msmith12[m] has quit (Remote host closed the connection).
12:00:00 -!- ickk has quit (Ping timeout: 260 seconds).
12:00:41 -!- msmith12[m] has joined.
12:02:43 -!- msmith12[m] has quit (Remote host closed the connection).
12:03:07 <tromp> int-e: i made some conjectures that would imply that result, hoping to prove them. but i alrd found counterexamples to two different conjectures. i'll keep trying though, using every counterexampole to make a new conjecture....
12:08:09 -!- msmith12[m] has joined.
12:16:25 <fungot> Selected style: homestuck (Homestuck pages 1901-4673)
12:16:32 <fizzie> fungot: Say something thematically appropriate?
12:16:32 <fungot> fizzie: not that it would actually bother pitying you. i'm giving aradia a present that will make a new suit is all business quite frankly his brother makes a man want
12:16:40 -!- Palaiologos[m] has joined.
12:16:46 <fizzie> Slightly disappointing.
12:30:47 <esolangs> [[List of ideas]] https://esolangs.org/w/index.php?diff=92747&oldid=92690 * ColorfulGalaxy * (+162) /* Ideas for Names */ This is not a page request.
12:35:29 -!- msmith12[m] has quit (Quit: Client limit exceeded: 20000).
12:36:07 <int-e> is this a bell curve? https://paste.debian.net/1229174/
12:36:29 -!- msmith12[m] has joined.
12:37:43 <sknebel> over the weekend I stumbled over https://esolangs.org/wiki/LogOS
12:38:07 <sknebel> would be fun to have something along those lines where the interpreter works by clicking/alt-tabbing around a windows98 VM or sth
12:38:33 <sknebel> (also, the proposed spec seems to lack branching?)
12:38:53 -!- Byzantine__ has joined.
12:42:00 -!- tech_exorcist has joined.
12:44:35 <esolangs> [[User:ProjectEuler/pagebar]] M https://esolangs.org/w/index.php?diff=92748&oldid=91813 * ColorfulGalaxy * (+627) Attempt to fix a bug
12:55:25 <riv> fungot: by gum!
12:55:26 <fungot> riv: is it fair to say this whole thing is ridiculous
12:57:26 <esolangs> [[Project Euler/3]] https://esolangs.org/w/index.php?diff=92749&oldid=91819 * ColorfulGalaxy * (+206) Fixed template bug
13:06:31 -!- Byzantine__ has quit (Remote host closed the connection).
13:08:01 <riv> https://www.homestuck.com/story/115
13:12:53 -!- APic has quit (Ping timeout: 252 seconds).
13:17:31 <fungot> oerjan: be in cahoots with! you guess none the wiser, you board the shuttle. next stop, it's unbecoming suspense. you sincerely pity anyone who might be forced to face. you are jacked open on my lap and primed for the digestive ruination that's about to take is the ultimate riddle.
13:17:48 -!- shikhin has changed hostmask to ~shikhin@offtopia/offtopian.
13:18:36 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck* ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube
13:18:58 <HackEso> The password of the month is Caught-22
13:29:11 -!- immibis_ has quit (Ping timeout: 250 seconds).
13:47:54 -!- eli_oat has joined.
14:03:22 -!- wib_jonas has joined.
14:05:52 -!- oerjan has quit (Quit: Nite).
14:06:43 -!- immibis has joined.
14:12:10 -!- tech_exorcist has quit (Quit: see you later).
14:17:54 -!- A_Dragon has changed nick to NotAFurry.
14:24:53 -!- NotAFurry has changed nick to A_Dragon.
14:32:42 -!- kit has joined.
14:34:34 <kit> hi, im making an esolang based on sound frequencies via FFT and i need some help on deciding how i should convert frequencies to commands and stuff
14:35:10 <kit> idk what commands should be what frequencies
14:35:40 <kit> idk how to phrase it?
14:36:01 <kit> i already have the thing to parse the pitches from the audio file
14:36:13 <kit> and convert it into a format that can be easily interpreted
14:36:19 <kit> i just need to make the interpreter
14:37:18 <kit> perhaps i can make it stack based
14:37:31 <kit> stack based langs are fun
14:38:43 <sknebel> I guess the "lazy" way is mapping to symbols in some other esolang. i.e. see all the variants of brainfuck that are brainfuck with other symbols. but there could be fun things with multiple frequencies in parallel
14:39:05 <kit> yea i was thinking about asynchronous
14:39:23 <sknebel> e.g. conditional jumps could be a tone splitting into two, and following the higher/lower one as a "line" to the right command sequence?
14:39:28 <kit> but i also dont want it to be a bf derivative because those are done to fucking death
14:39:55 <kit> i was thinking id map commands to frequencies
14:40:13 <kit> and for asynchronousity you can have multiple commands run at the same time
14:40:28 <kit> say, 440hz would be print or smth
14:40:49 <kit> but then comes the question how would i deal with multiple things modifying the same thing at once
14:43:08 <kit> ooh what if i had octaves mapped to various stacks
14:44:42 <kit> huh, how come when i go to places to talk about a problem im having i always figure it out myselgf
14:45:30 <kit> i could have commands mapped to chords, octaves map to different stacks...
14:47:30 <sknebel> octave stacks is a fun idea
14:47:43 <sknebel> so you have multiple threads
14:56:26 <kit> how would i deal with non-linear time things
14:56:31 <kit> and conditionals
14:56:52 <kit> atm its just a stream of frequencies present in the audio
14:57:20 <kit> i may need to divide the frequencies up during preprocessing
14:57:34 -!- APic has joined.
15:06:39 <kit> im beginning to realize that it was a really bad idea to do this in C++...
15:07:22 <kit> fuck it im rewriting it in python
15:11:58 <kit> i do not like python
15:12:05 <kit> im rambling arent i
15:12:10 <kit> ill shut up now
15:13:05 -!- kit has quit (Quit: leaving).
15:24:52 -!- tech_exorcist has joined.
15:26:33 -!- wib_jonas has quit (Quit: Client closed).
15:33:45 -!- Sgeo has joined.
15:40:27 -!- vyv has joined.
15:45:57 -!- op_4 has changed nick to maximum_yellow.
16:04:14 <tromp> inr-e: here's my current Combinatory Logic Basis conjecture. Let T be a term over a basis of regular 2-variable combinators
16:06:21 <tromp> then 1) T contains no subterm with 3 free variables, and 2) T contains no subterm T' with 2 free variables which has a subsubterm T'' with 2 free variables that are bound in T'
16:08:14 <tromp> it seems to me that 1) & 2) together are preserved under beta reduction
16:10:17 <tromp> to clarify, the pattern that 2) avoids is T = ... \x ... \y. T_xy, and T_xy = ... \a ... \b. T_ab
16:10:38 <tromp> with T_xy denoting a term contains variables x and y
16:11:35 <tromp> (I should have added more ... after those T_)
16:13:51 <tromp> and inr-e should be int-e :-)
16:17:59 <riv> > "the Indian numbering system groups the rightmost three digits together (until the hundreds place), and thereafter groups by sets of two digits."
16:18:00 <lambdabot> "the Indian numbering system groups the rightmost three digits together (unt...
16:28:28 <int-e> hmm, can gdb access varargs arguments in a convenient way?
16:33:40 -!- silkworks has joined.
16:41:16 <int-e> I guess not, but `info frame` gives me stack pointers to look nearby.
16:51:40 -!- delta23 has joined.
17:02:51 <shachaf> i,i "The full documentation for the stack frame is maintained as a Texinfo manual."
17:04:42 <int-e> is there something magical about va_start() that relies on information that only the compiler knows, not the debugger?
17:07:13 <shachaf> I would guess that on a platform like amd64 with a complicated calling convention, the presence of va_start in a function tells the compiler to save registers in case it needs them.
17:09:06 -!- Trieste has quit (Ping timeout: 260 seconds).
17:14:35 <int-e> tromp: I don't understand the clarification of 2). Shouldn't there be x and y under the \a \b?
17:15:16 <tromp> no, that's not required
17:15:41 -!- Sgeo_ has joined.
17:17:02 <tromp> the thing is that a term as in 1) that fails 2) as stated can beta reduce in one step to a term that fails 1)
17:17:57 <tromp> simplest example being \x\y.(\a\z.z a) (x y)
17:19:10 -!- Sgeo has quit (Ping timeout: 256 seconds).
17:21:37 <int-e> Right, 1) means you can't have x or y free in T_ab because that would make 3 free variables.
17:21:51 <tromp> the conjecture should exclude all patterns that through beta reduction can result in a regular 3-variable combinator
17:25:16 <tromp> quiz time: what's the simplest complete basis including W = \x\y.x y y as the only duplicating combinator?
17:26:36 -!- eli_oat has quit (Quit: eli_oat).
18:14:33 <esolangs> [[Project Euler/3]] M https://esolangs.org/w/index.php?diff=92750&oldid=92749 * PythonshellDebugwindow * (-21) /* C */ remove unused #define
18:18:12 -!- eli_oat has joined.
19:27:34 -!- eli_oat has quit (Quit: eli_oat).
19:53:52 -!- eli_oat has joined.
20:20:09 -!- salpynx has joined.
20:20:59 -!- eli_oat has quit (Quit: eli_oat).
20:27:55 -!- Sgeo has joined.
20:30:08 -!- Sgeo_ has quit (Ping timeout: 256 seconds).
20:32:36 <riv> https://en.wikipedia.org/wiki/Time_formatting_and_storage_bugs#Year_2022
20:51:30 -!- delta23 has quit (Quit: Leaving).
20:52:11 -!- vyv has quit (Quit: Konversation terminated!).
21:09:15 -!- Sgeo_ has joined.
21:09:56 -!- Sgeo has quit (Ping timeout: 245 seconds).
21:29:17 -!- Sgeo has joined.
21:31:07 -!- Sgeo_ has quit (Ping timeout: 256 seconds).
21:38:09 -!- tech_exorcist has quit (Quit: Disconnecting).
23:20:35 -!- __monty__ has quit (Quit: leaving).
23:23:01 -!- j-bot has quit (Ping timeout: 240 seconds).
23:23:14 -!- j-bot has joined.