00:03:27 -!- j-bot has quit (Remote host closed the connection).
00:03:35 -!- j-bot has joined.
00:10:53 -!- oerjan has joined.
00:15:17 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
00:19:00 <HackEgo> [wiki] [[Talk:Nanofuck]] https://esolangs.org/w/index.php?diff=51595&oldid=51594 * Orby * (+73)
00:26:23 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51596&oldid=51593 * Orby * (+562) /* Candidate languages */ PFC3
00:31:40 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51597&oldid=51596 * Oerjan * (+188) /* PFC2 */ [] doesn't always halt
00:44:09 -!- ^v has quit (Ping timeout: 240 seconds).
00:44:24 <HackEgo> [wiki] [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=51598&oldid=51597 * Orby * (+60) /* PFC2 */
00:48:26 -!- ^v has joined.
00:49:03 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51599&oldid=51598 * Orby * (+170) /* PFC2 */
00:49:19 <oerjan> dammit stop editing :(
00:50:07 <HackEgo> [wiki] [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=51600&oldid=51599 * Orby * (+49) /* PFC2 */
00:51:07 <HackEgo> [wiki] [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=51601&oldid=51600 * Orby * (+112) /* PFC3 */
00:52:58 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51602&oldid=51601 * Oerjan * (+362) /* PFC2 */ It's worse
00:53:21 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51603&oldid=51602 * Orby * (+115) /* Counter example for 2.1 */
00:54:13 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51604&oldid=51603 * Orby * (+139) /* Counter example for 2.1 */
00:54:17 <Robdgreat> 18:54 Ignoring ALL from HackEgo [-regexp -pattern wiki]
00:55:32 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51605&oldid=51604 * Orby * (+126) /* PFC2 */
00:56:00 <oerjan> realtime chat on the wiki is awkward.
00:56:17 <HackEgo> [wiki] [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=51606&oldid=51605 * Orby * (-59) /* Conjecture 2.1 */
00:56:56 -!- tromp has quit (Remote host closed the connection).
00:57:36 <HackEgo> [wiki] [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=51607&oldid=51606 * Orby * (+2) /* Conjecture 2.1 */
00:59:47 -!- hppavilion[1] has joined.
00:59:59 <boily> Rhellobdgreat. SNR is an overrated concept.
01:01:18 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51608&oldid=51607 * Orby * (-29) /* Conjecture 2.1 */ Clarifying conjecture 2.1
01:02:05 <HackEgo> [wiki] [[User talk:Orby]] https://esolangs.org/w/index.php?diff=51609&oldid=51575 * Oerjan * (+285) Preview
01:02:26 <oerjan> Robdgreat: ok i suggested he use preview
01:09:12 <boily> oerjan: hue hue hue :D
01:13:20 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51610&oldid=51608 * Oerjan * (+221) /* PFC3 */ Not property I
01:13:49 -!- MDude has joined.
01:19:35 -!- tromp has joined.
01:23:13 <HackEgo> [wiki] [[User talk:Orby]] https://esolangs.org/w/index.php?diff=51611&oldid=51609 * Orby * (+154)
01:37:36 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:38:53 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51612&oldid=51610 * Oerjan * (+177) /* Lemma 2.2 */ Is this true?
01:46:29 <oerjan> <boily> kmc_: himc_! is it true? <-- devious minds want to know!
01:46:51 <HackEgo> 1846:2013-01-26 <shachäf> learn kmc ran the International Devious Code Contest of 2013 \ 1845:2013-01-26 <shachäf> learn kmc ran the Internation Devious Code Contest of 2013 \ 658:2012-08-16 <oerjän> rm wisdom/kmc \ 657:2012-08-16 <oerjän> learn kmc is nice but we don't get his occasional bouts of Tourette's.
01:47:53 <HackEgo> kmc ran the International Devious Code Contest of 2013
01:48:09 <HackEgo> kmc//kmc ran the International Devious Code Contest of 2013.
01:48:28 <boily> `slwd kmc//s/ran/did not run/
01:48:30 <HackEgo> kmc//kmc did not run the International Devious Code Contest of 2013.
01:52:06 -!- boily has quit (Quit: AUTONOMOUS CHICKEN).
01:57:22 -!- Marcela_Gandara has joined.
02:01:23 <HackEgo> This wisdom entry was censored for being too accurate.
02:06:53 -!- dingbat has joined.
02:16:35 -!- Marcela_Gandara has quit (Ping timeout: 264 seconds).
02:18:05 -!- Marcela_Gandara has joined.
02:30:36 <HackEgo> narutoverse//narutoverse is a place where they haven't heard of having a bus factor of >1. Sgeo drives the bus.
02:31:42 <oerjan> i don't know that `? ever did randomness...
02:31:48 <HackEgo> #!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//") \ topic1=$(echo '`'"$topic" | sed 's/^`\(`\|$\)//') \ topic2=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic2"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic"; \ elif [ -e "$topic
02:32:00 <oerjan> except for the ngevd bit.
02:32:25 <shachaf> You should make a variant of `2 that doesn't do shell command expansion.
02:33:10 <oerjan> what should it be called?
02:36:05 <shachaf> just stick a w somewhere in the name and call it good hth
02:36:25 <shachaf> Is there a HackEgo command to run commands HackEgo-style?
02:36:35 <shachaf> I.e. split on the first space and pass in one argument.
02:41:34 -!- moonythedwarf has quit (Ping timeout: 268 seconds).
02:42:17 -!- Marcela_Gandara has quit (Ping timeout: 246 seconds).
02:46:00 <oerjan> shachaf: not per se, but i had to implement that inside `#
02:46:39 <HackEgo> sep='//`' \ [[ "$1" == ?*"$sep"* ]] || { echo 'Usage: `# <comment>'"$sep"'<command>' >&2 ; exit 1; } \ command="${1#*$sep}" \ "${command%% *}" "${command#* }"
02:47:09 -!- Marcela_Gandara has joined.
02:48:31 <oerjan> `mkx bin/nur//"${1%% *}" "${1#* }"
02:48:48 <HackEgo> cat: hi there: No such file or directory
02:48:58 <shachaf> bin/` would be a good name if it wasn't taken.
02:50:16 <oerjan> `slwd bin/#//$-1,$cnur "${1#*$sep}"
02:50:24 <oerjan> `sled bin/#//$-1,$cnur "${1#*$sep}"
02:50:24 <HackEgo> /bin/sed: -e expression #1, char 2: unknown command: `-'
02:52:03 <oerjan> huh sed doesn't seem to support selecting the line before the last.
02:52:30 <oerjan> `sled bin/#//3,$cnur "${1#*$sep}"
02:52:32 <HackEgo> bin/#//sep='//`' \ [[ "$1" == ?*"$sep"* ]] || { echo 'Usage: `# <comment>'"$sep"'<command>' >&2 ; exit 1; } \ nur "${1#*$sep}"
02:52:55 <oerjan> `# testing//`cat hi there
02:52:56 <HackEgo> cat: hi there: No such file or directory
02:59:36 -!- Marcela_Gandara has quit (Ping timeout: 240 seconds).
03:03:01 -!- Marcela_Gandara has joined.
03:06:13 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
03:19:12 -!- MDead has joined.
03:20:36 -!- MDude has quit (Ping timeout: 240 seconds).
03:20:36 -!- MDead has changed nick to MDude.
04:08:33 -!- hppavilion[1] has joined.
04:17:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
04:18:30 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51613&oldid=51612 * Orby * (+2980) Non-existence proof #3. Should make a little more sense.
04:18:56 -!- Marcela_Gandara has quit (Quit: Leaving.).
04:38:21 -!- Orby has joined.
04:38:54 <HackEgo> Orby: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
04:39:04 <Orby> I was informed that there is a bot which communicates edits to this IRC channel and I was flooding the channel with edits. Sorry for the disruption! I will keep my edits to a reasonable count in the future :)
04:39:12 <Orby> Hello Oerjan, how are you?
04:39:23 <oerjan> reading your latest edit
04:39:37 <Orby> Hopefully it makes more sense than the last one
04:40:34 <Orby> Hey @viznut, don't think I've seen you outside of pouet, ha
04:41:14 <oerjan> be careful with @greetings in here, one of our bots has @ as command prefix
04:41:56 <Orby> thanks, been a year or so since I've been on irc sadly. : is the standard highlight, yeah?
04:42:08 <oerjan> viznut seems sadly very idel
04:43:47 <oerjan> fungot: say hi to Orby
04:43:47 <fungot> oerjan: new features: water obstacles. if an error condition. in-range has a termination condition.
04:44:13 <fungot> Orby: fnord putkonen not automatically). winds out of the result; it could easily be used as test expressions, etc.
04:48:26 <oerjan> your shift loop definition needs a little work. e.g. (*(<)*) seems to fit the definition but remains a NOP.
04:50:37 <oerjan> i'd imagine you want it to actually execute the < at least once.
04:50:55 <oerjan> (still not sure about the conjecture)
04:52:29 <Orby> Yeah, I was thinking about that. I'm trying to say a loop that can result in net tape head movement for some initial input.
04:52:58 <Orby> Clearly the loop (*(<)*) can never result in net tape head movement, despite containing an unbalanced <
04:53:53 <oerjan> that A(B1)C1...(Bn)Cn(U)Y1(X1)...Ym(Xm)W
04:54:22 <Orby> yeah, its pretty unreadable
04:54:45 <Orby> or are you talking about the typo?
04:54:51 <oerjan> my original comment still applies: (U) could be (U1)V1(U2)...(Uk)
04:54:52 <Orby> the missing ...
04:55:33 <oerjan> you have no guarantee that the unmatched ( and ) in the first and last commands match each _other_.
04:56:00 <Orby> sure, U could be anything, but I don't think that matters. If the execution of (U) can result in net tape head movement, then the conjecture applies regardless of whether or not there are nested loops
04:56:15 <oerjan> i'm saying U isn't a program.
04:56:44 <oerjan> it's a program fragment, and can contain unmatched parentheses.
04:56:50 <Orby> I don't see how the first unmatched ( in [ could possibly not match the last unmatched ) in ]
04:57:15 <Orby> doh, you are right
04:57:40 <Orby> yeah, the form is still wrong
04:57:53 <Orby> maybe there's no way to salvage the proof. that would make me happy.
04:59:05 <Orby> if there are no pf languages, then nanofuck is the smallest, which is cool. if there are pf languages, then finding one would also be cool. I'm happy either way.
05:00:32 <oerjan> hm i think your proof still works assuming the conjecture.
05:00:45 <Orby> oh, no, wait, the top level commands that aren't in loops are still A, Ci, Yi, and W, so the net tape head movement is still in one direction and not the other
05:00:54 <Orby> even with [][]
05:01:17 <oerjan> no, you also have my Vi above.
05:01:32 <oerjan> which are _not_ necessarily common between the < and > translation.
05:01:49 <Orby> where do the Vi come from?
05:01:56 <oerjan> the parts between the (Ui)
05:02:13 <Orby> but can they be part of the top level code which isn't contained with a loop?
05:02:34 <Orby> I am not seeing how
05:03:23 <oerjan> you are correct that they are among the A, Ci, etc. _but_ they're not the _same_ number of copies of them for every program
05:03:44 <oerjan> e.g. [] contains only one set, while [][] contains two
05:04:20 <Orby> but doesn't the ratio between the number of occurances of A, Ci and Yi, W always remain the same?
05:04:42 <Orby> because the parenthesis have to close
05:05:23 <Orby> So maybe one command does > and one does >> but we can't have one doing > and one doing <
05:05:27 <oerjan> hm right. so it's not the same amount, but always the same _direction_.
05:05:35 <Orby> yeah, I think so
05:05:50 <Orby> that's what I was trying to get at with the proof
05:06:27 <Orby> of course this all rests on a big fat conjecture
05:07:07 <Orby> but the conjecture seems pretty reasonable to me, I don't have any good ideas on how to prove it, but I can't find a counter example
05:07:18 <Orby> everytime I think I find one, I figure out I'm wrong
05:09:03 <Orby> too bad the weekend isn't here yet. I want to blow off life for a couple days and figure this out.
05:12:37 <Orby> I think the proof is salvagable if we change the form to something like A(B1)C1...(Bn)Cn(U1)Y1(X1)...Ym(Xm)W ... A(B1)C1...(Bn)Cn(U1)Y1(X1)...Ym(Xm)W but it's a notational nightmare. need to figure out a better way to phrase it.
05:14:14 <oerjan> i have another idea. note that the leftmost [ in the program must match _some_ ] with its (, and everything in between is inside a loop. and what comes after that ] must be a whole program.
05:14:32 <oerjan> so you have [A1][A2]...[An]
05:14:45 <oerjan> where all the Ai are inside loops
05:16:04 <oerjan> and the only parts outside loops are the A...C1 etc. of the [s and ...Ym...W of the ]s
05:17:55 <oerjan> the [s and ]s visible in the [A1][A2]...[An] notation, that is.
05:19:39 <oerjan> Orby: also, there is no ... between W and the next A, they must follow each other directly.
05:20:28 <oerjan> because the W ends a toplevel ], which can only be followed by a [
05:20:56 <Orby> with you, also observation: any loop which doesn't always nop will result in a shift sometimes
05:21:33 <oerjan> hm, i'm not sure of that.
05:22:11 <Orby> yeah, you're right, (<*>), but anyway
05:22:58 <Orby> notation hell :D
05:23:07 <Orby> ok, let me read what you were writing
05:24:11 <Orby> OK, yes I agree with what you're writing. The elipsis between W and A was supposed to represent multiple repetitions of []
05:24:32 <Orby> so more A blah blah WA blah blah W, etc
05:27:44 <oerjan> another thing. hm. if a program always halts, then there must be an upper bound to how long it can run without halting, by a compactness argument.
05:28:19 <oerjan> and that, i think, is enough to ensure that the reverse program also always halts.
05:29:22 <oerjan> which is important for your proof, because you need it to ensure you can always get to any state you want as long as your programs are sure to halt.
05:29:59 <Orby> I don't think we can get to any state from any state
05:30:10 <oerjan> that's not what i mean.
05:30:25 <Orby> oh i see what you mean
05:31:31 <oerjan> using this, you can prove that all the loops in representations of always halting programs must themselves be always halting.
05:33:29 <oerjan> and then only that pesky conjecture remains.
05:35:34 <Orby> yes, the pesky conjecture.
05:35:43 <Orby> Say we have a loop (B) that doesn't always evaluate to a nop
05:36:12 <Orby> either B contains no loops, or B contains an inner most loop (C) that doesn't always evaluate to a nop
05:36:47 <Orby> C is guaranteed to always perform the same action
05:36:59 <Orby> since it contains no loops that aren't nops
05:36:59 -!- rodgort has quit (Quit: Leaving).
05:37:42 <Orby> if that action involves moving the tape head, then it seems like it should be easy to prove that it's possible for C to always leave the tape head on a 0
05:38:01 <Orby> if C results in a net movement of the tape head, I should say
05:38:56 <oerjan> the problem is that inner loops _cannot_ always be reached in any state you want.
05:39:08 <Orby> yeah, that was the issue with the first non-existence proof
05:39:23 <oerjan> or at least, we haven't proved they can
05:39:59 -!- hppavilion[1] has joined.
05:40:26 <Orby> I think it's better to talk about the net tape head movement resulting from B, since the only condition that has to be met to execute B at least once is that the tape head is pointing at a 1
05:42:07 <Orby> If the tape looks like ...b1 b2 b3 b4 1 b5 b6 b7 b8..., then B will execute. The question is, for any B which sometimes results in net tape head movement, can we choose b_i s.t. B leaves the tape head pointing at a zero every time it executes
05:42:27 <Orby> what a can of worms
05:43:12 -!- rodgort has joined.
05:44:34 <oerjan> yep. i think i'll be leaving now, it's soon time to go to bed.
05:44:58 <Orby> likewise. have a good night!
05:45:05 -!- oerjan has quit (Quit: Good night!).
05:45:14 -!- Orby has quit (Quit: night all).
06:00:44 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
06:15:33 -!- contrapumpkin has quit (Ping timeout: 268 seconds).
06:20:28 -!- contrapumpkin has joined.
06:30:15 -!- hppavilion[1] has joined.
06:31:35 -!- shapr has quit (Ping timeout: 268 seconds).
06:31:58 -!- alakra has quit (Ping timeout: 240 seconds).
06:32:07 -!- alakra has joined.
06:33:26 -!- pelegreno has quit (Ping timeout: 268 seconds).
06:34:00 -!- shapr has joined.
06:34:06 -!- shapr has changed nick to Guest67865.
06:34:20 -!- pelegreno_ has joined.
07:02:19 <hppavilion[1]> There is a surprisingly large number of accordion covers on YouTube
07:05:59 -!- augur has joined.
07:08:00 -!- FreeFull has quit.
07:08:24 -!- augur has quit (Remote host closed the connection).
07:11:22 -!- tromp has quit (Remote host closed the connection).
07:13:59 <HackEgo> [wiki] [[User:Btzy]] N https://esolangs.org/w/index.php?oldid=51614 * Btzy * (+99) Created page with "Hi, I'm Bernard. [https://btzy.github.io/jelly/ Jelly] is my optimizing online Brainfuck compiler."
07:20:23 -!- augur has joined.
07:22:53 -!- augur_ has joined.
07:24:02 -!- augur_ has quit (Read error: Connection reset by peer).
07:24:33 -!- augur_ has joined.
07:24:35 -!- augur has quit (Ping timeout: 240 seconds).
07:28:58 -!- augur_ has quit (Ping timeout: 240 seconds).
07:31:23 -!- IronY has quit (Ping timeout: 256 seconds).
07:31:34 -!- Ir0nY has joined.
07:31:58 -!- Ir0nY has changed nick to IronY.
07:32:13 -!- paul2520 has quit (Ping timeout: 260 seconds).
07:32:35 -!- paul2520 has joined.
07:47:55 -!- doesthiswork has quit (Quit: Leaving.).
07:50:59 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
08:11:48 -!- tromp has joined.
08:12:23 -!- ^v has quit (Ping timeout: 264 seconds).
08:13:02 -!- ^v has joined.
08:17:13 -!- tromp has quit (Ping timeout: 260 seconds).
08:23:36 -!- erkin has joined.
08:50:14 -!- MoALTz has joined.
09:26:53 -!- moonythedwarf has joined.
09:31:39 -!- moonythedwarf has quit (Ping timeout: 268 seconds).
10:30:35 -!- LKoen has joined.
10:43:55 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
11:06:28 -!- DHeadshot has joined.
11:13:20 -!- tromp has joined.
11:15:36 -!- DHeadshot has quit (Ping timeout: 240 seconds).
11:16:52 -!- AnotherTest has joined.
11:18:21 -!- tromp has quit (Ping timeout: 268 seconds).
11:33:37 -!- boily has joined.
11:36:12 -!- Phantom_Hoover has joined.
11:37:22 <HackEgo> nm//nm means "no minotaur" hth
11:37:53 <boily> . o O ( what was the command for magic cards again? )
11:38:05 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: card: not found
11:38:11 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: magic: not found
11:38:16 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: mtg: not found
12:22:58 -!- sebbu has quit (Ping timeout: 240 seconds).
12:31:01 -!- boily has quit (Quit: SENSITIVE CHICKEN).
12:46:21 -!- Zarutian has joined.
13:05:46 <HackEgo> [wiki] [[CSL]] https://esolangs.org/w/index.php?diff=51615&oldid=50023 * Actuallyallama * (-6)
13:06:51 -!- LKoen has quit (Remote host closed the connection).
13:10:44 <b_jonas> Bowserinator: random-card and card-by-name
13:11:00 <HackEgo> Nightfire Giant \ 4B \ Creature -- Zombie Giant \ 4/3 \ Nightfire Giant gets +1/+1 as long as you control a Mountain. \ {4}{R}: Nightfire Giant deals 2 damage to target creature or player. \ M15-U
13:11:06 <HackEgo> Giant Adephage \ 5GG \ Creature -- Insect \ 7/7 \ Trample \ Whenever Giant Adephage deals combat damage to a player, create a token that's a copy of Giant Adephage. \ GTC-M \ \ Giant Albatross \ 1U \ Creature -- Bird \ 1/1 \ Flying \ When Giant Albatross dies, you may pay {1}{U}. If you do, for each creature that dealt damage to Giant Albatross th
13:11:51 <HackEgo> Dreamscape Artist \ 1U \ Creature -- Human Spellshaper \ 1/1 \ {2}{U}, {T}, Discard a card, Sacrifice a land: Search your library for up to two basic land cards and put them onto the battlefield. Then shuffle your library. \ PLC-C
13:25:04 <Taneb> Is there a name for the field containing the rationals and arbitrary radicals?
13:28:47 -!- LKoen has joined.
13:33:57 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
13:34:23 -!- Phantom_Hoover has joined.
13:51:44 -!- tromp has joined.
14:00:45 -!- doesthiswork has joined.
14:10:59 -!- tromp has quit (Remote host closed the connection).
14:18:40 <Jafet> maybe you should invent a name for it
14:20:58 <Jafet> (or construct a name for it?)
14:26:49 -!- bronxman has joined.
14:28:52 <bronxman> any topic aside from esoteric?
14:30:01 <bronxman> or a related theme to esoteric
14:31:05 <bronxman> global warming could be a change in human race mindset
14:39:53 <Jafet> is that related to esoteric programming?
14:43:33 <HackEgo> bronxman: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
14:43:56 <b_jonas> bronxman: yes, there are always lots of topics trending besides esoteric.
14:46:39 <Jafet> it could be said that global warming has caused a change in human race mindset to “global warming exists”
14:47:24 <bronxman> for some people global warming doesn't exist, right?
14:51:09 <b_jonas> like for Indiana Jones when he's in the fridge to survive it?
14:51:50 <Jafet> his climate model predicted his survival hth
14:56:20 <bronxman> we're spiritual beings living in a material bodies, it could be existed a spiritual world
14:57:18 <bronxman> *living in material bodies I mean
15:00:29 -!- AnotherTest has quit (Ping timeout: 240 seconds).
15:03:43 -!- `^_^v has joined.
15:03:45 -!- Guest67865 has changed nick to shapr.
15:04:06 -!- shapr has quit (Changing host).
15:04:06 -!- shapr has joined.
15:08:11 -!- doesthiswork has quit (Quit: Leaving.).
15:11:37 -!- tromp has joined.
15:16:22 -!- tromp has quit (Ping timeout: 268 seconds).
15:44:21 -!- bronxman has left.
15:51:22 -!- orby has joined.
15:51:50 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51616&oldid=51613 * Orby * (+321) /* Non-existence Proof 3 */ Patching up proof to include last night's discussion
15:58:03 <rdococ> I wish HackEgo linked to the actual article rather than the diff.
15:58:52 <orby> Yeah, that would be nice
16:01:29 -!- Lord_of_Life has joined.
16:04:19 -!- erkin has joined.
16:06:09 -!- Zarutian has quit (Quit: Zarutian).
16:09:12 <Jafet> note that any solution also implies a solution to https://esolangs.org/wiki/BF_instruction_minimalization
16:11:27 <Jafet> maybe not with the isomorphism condition
16:15:25 <Jafet> actually, it may be possible to circumvent the translation rules with a two-command turning tarpit
16:21:04 <orby> Jafet: I tried my best to write the translation rules in such a way that a turning tarpit could not apply. e.g. I don't see any trivial way to write the ! command in braincrash as a finite series of BF commands.
16:21:25 <orby> but if you think of a way to do so, I'd obviously be very interested
16:23:41 <orby> I think the problem with a turning tarpit is that the command register must map to some position on the tape in BF under isomorphism, which can then be potentially modified by whatever the execute command translates to
16:23:56 <orby> which screws up the state
16:30:27 <orby> and I'm not totally convinced that a solution to picofuck necessarily implies a bf instruction minimalization, since picofuck is minimizing reversible brainfuck, which is not a so called "simple translation" of brainfuck afaik, so it depends on what kind of requirements you have for bf equivalence
16:31:17 <orby> I chose rbf because there was an obvious 3 command simple translation (see nanofuck) which made me think it'd be easier to minimize
16:32:20 -!- oerjan has joined.
16:34:07 <orby> oerjan: morning
16:38:20 -!- augur has joined.
16:38:54 <rdococ> coafternoon to conobody here
16:40:22 <orby> oerjan: I tried to rewrite non-existence proof 3 to capture the points in our argument last night. still no counter-example for the annoying conjecture.
16:40:35 -!- Lord_of_Life has quit (Excess Flood).
16:41:29 -!- Lord_of_Life has joined.
16:41:37 <orby> I've got meetings, be back in a couple hours
16:42:08 <oerjan> and i'll be leaving before then, back in a bit more.
16:44:25 -!- Lord_of_Life has quit (Excess Flood).
16:45:59 -!- Lord_of_Life has joined.
16:50:57 <fizzie> I think the rationale is that it's one click from the diff to the article (click on "Page"), but the other way around you'd have to do "View history" and then manually look up from the comment or timestamp which edit it was.
16:51:31 -!- LKoen has quit (Remote host closed the connection).
17:01:32 -!- LKoen has joined.
17:02:44 <\oren\> wow. I just realized I can make a self-replicating ship in kerbal pace program
17:03:44 <oerjan> the age of the kerberserkers
17:09:02 <rdococ> kerbal space program turing completeness proof?
17:10:19 -!- Phantom_Hoover has quit (Quit: Leaving).
17:10:43 <\oren\> algorithm: have a rover that can mine metal and refine it into rocket parts and launch a ship
17:10:48 <\oren\> 2. have it travel 100 metres in a random direction, and then launch a copy of itself, repeat
17:10:53 <\oren\> 3. exponential number of rovers spread across the Mun
17:13:30 <\oren\> rdococ: what about it?
17:15:59 -!- augur has quit (Remote host closed the connection).
17:16:44 <\oren\> Kerbin's inner moon is the Mun. its outer moon is called Minmus
17:19:11 <rdococ> I wonder if they've made a programming language named Looa?
17:22:24 -!- Zarutian has joined.
17:23:20 -!- Lord_of_Life has quit (Excess Flood).
17:23:59 -!- Lord_of_Life has joined.
17:24:02 -!- hppavilion[1] has joined.
17:24:38 -!- Phantom_Hoover has joined.
17:24:47 -!- LKoen has quit (Remote host closed the connection).
17:25:20 <rdococ> Is your password non-English?
17:33:21 -!- hppavilion[1] has changed nick to hppavilion[12].
17:34:56 <hppavilion[12]> On an entirely unrelated note: Why the fuck is it so difficult to find sheet music *not* for purchase and *not* under DRM for pieces that are public domain and have been for over a century
17:35:12 <hppavilion[12]> If they ever were at all, because copyright might not have *even been invented* when it was written
17:45:53 -!- oerjan has quit (Quit: Later).
17:46:08 -!- DHeadshot has joined.
17:46:28 -!- hppavilion[12] has changed nick to hppavilion[1].
17:48:03 <hppavilion[1]> Hm, it's trying to identify my under a different nick
17:48:08 <Zarutian> hppavilion[1]: you have looked for them in ABC format? (You can use abc.js iirc to render the actual sheets)
17:48:31 <hppavilion[1]> Zarutian: I can reset, I just want the passworder to type it in right
17:48:37 -!- augur has joined.
17:51:08 <hppavilion[1]> It's identifying me as hppavilion[0] even though it has my username set as hppavilion[1]
17:53:07 -!- AnotherTest has joined.
17:55:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
18:00:35 -!- hppavilion[1] has joined.
18:05:35 -!- moonythedwarf has joined.
18:32:04 <hppavilion[1]> Huh, a new tumblr post suggests that ~50% of platelets are made in the Lungs, not the Bone Marrow
18:36:26 <\oren\> tumblr isn't a scientific journel
18:39:35 <hppavilion[1]> \oren\: I'm working on an IRC bot to manage inventories
18:40:25 -!- augur has quit (Remote host closed the connection).
18:55:28 -!- ocharles_ has joined.
18:55:39 <HackEgo> [wiki] [[Special:Log/newusers]] create * SnoringFrog * New user account
18:57:55 -!- olsner_ has joined.
18:59:35 -!- jameseb has quit (Ping timeout: 276 seconds).
18:59:37 -!- ocharles has quit (Ping timeout: 276 seconds).
18:59:37 -!- Taneb has quit (Ping timeout: 276 seconds).
18:59:37 -!- iaglium has quit (Ping timeout: 276 seconds).
18:59:37 -!- cnr has quit (Ping timeout: 276 seconds).
18:59:38 -!- olsner has quit (Ping timeout: 276 seconds).
18:59:53 -!- olsner_ has changed nick to olsner.
19:00:07 -!- jameseb has joined.
19:00:25 -!- Taneb has joined.
19:00:33 -!- cnr has joined.
19:00:40 -!- iaglium has joined.
19:03:47 -!- ocharles_ has changed nick to ocharles.
19:03:52 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51617&oldid=51554 * SnoringFrog * (+282)
19:04:05 <HackEgo> [wiki] [[COW]] https://esolangs.org/w/index.php?diff=51618&oldid=45818 * SnoringFrog * (+219) Add updated links to language info/interpreters
19:04:24 <HackEgo> [wiki] [[COW]] https://esolangs.org/w/index.php?diff=51619&oldid=51618 * SnoringFrog * (+3)
19:23:40 <shachaf> fungot has been cooking something up: https://twitter.com/jamieabrew/status/695060640931549184
19:39:23 -!- ^v has quit (Ping timeout: 264 seconds).
19:42:15 -!- ^v has joined.
19:44:17 -!- h0rsep0wer has joined.
19:44:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
19:54:13 -!- FreeFull has joined.
19:56:19 * FireFly tries to think of what the most recent significant thing he coded was
19:56:34 -!- DHeadshot has quit (Ping timeout: 260 seconds).
20:06:15 <olsner> hmm, was a while since I coded something that wasn't work code
20:06:18 <int-e> Hmm, significant. The code for reading integers in Haskell's base?
20:07:26 -!- hppavilion[1] has joined.
20:10:42 <int-e> I dunno, the sounds in "cat" and "hätte" are the same to me, is that the right one?
20:11:16 <int-e> (first syllable of "hätte", the 'e' is subtly different)
20:12:20 <shapr> olsner: writing Haskell at work?
20:12:59 <shapr> I wrote some work Haskell code last week.
20:13:05 <shapr> and I think I'll get to enhance it next week.
20:13:06 <olsner> I did write a few very small utils for CVS in haskell, but that was like 8 years ago
20:13:24 <shapr> I found much CVS tags in my code from ten years ago.
20:13:32 <int-e> IPA is often to subtle for me anyway, and half of the sounds are unpronouncible.
20:13:58 * int-e patched a C++ program today...
20:16:06 <shapr> int-e: that's why I prefer Imperial Stouts over IPAs
20:16:13 <shapr> IPAs are too subtle
20:16:50 -!- DHeadshot has joined.
20:17:08 <shapr> olsner: written any Haskell lately?
20:20:45 <Phantom_Hoover> int-e, the vowels maybe, the consonants are pretty solid
20:44:08 <hppavilion[1]> int-e: I think "cat" is different in British English
20:46:24 <int-e> hppavilion[1]: that's not very helpful information right now
20:46:29 <HackEgo> [wiki] [[Special:Log/newusers]] create * Slord * New user account
20:51:12 <moonythedwarf> I've been doing a lot in the language Rust and was curious what you all thought of it.
20:53:40 -!- h0rsep0wer has quit (Quit: Leaving).
20:54:59 <int-e> . o O ( it's not Swift )
20:55:53 <moonythedwarf> Forgot to post the site: https://www.rust-lang.org/en-US/
20:56:09 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51620&oldid=51617 * Slord * (+117)
20:56:29 <int-e> moonythedwarf: I suspect that link was quite redundant.
20:57:23 <HackEgo> [wiki] [[LINR]] N https://esolangs.org/w/index.php?oldid=51621 * Slord * (+339) Created page with "== LINR == LINR is an interpreted language in which the code is broken into two sections separate by an <code>@</code>. The first character determines the separator for operat..."
20:57:27 <int-e> moonythedwarf: I expect you know this, but the pun is connected to https://developer.apple.com/swift/
20:58:02 <Phantom_Hoover> but that's not a pun because there's no double meaning if you read it as the adjective 'swift'
20:58:43 <HackEgo> [wiki] [[LINR]] https://esolangs.org/w/index.php?diff=51622&oldid=51621 * Slord * (+17)
20:58:53 <hppavilion[1]> Hm, fungi should have their own culinary designation
21:01:18 <int-e> Phantom_Hoover: I'd argue that by appropriating the adjective as the name of a programming language, the word becomes a proper name. I'd further advocate the view that changing the catogory of a word (using a noun where an adjective is required) is enough to constitute a pun, even if the spelling is unaffected. )
21:02:00 <Phantom_Hoover> no but it doesn't work as a pun because 'it's not swift' is nonsensical if you read 'swift' as the adjective
21:02:15 <Phantom_Hoover> so you naturally resolve to the only sensible reading which is also the expected one from the context
21:02:49 <int-e> Phantom_Hoover: wait, you're saying that programming languages can't be fast nor swift?
21:03:11 <int-e> that didn't occur to me.
21:04:17 <Phantom_Hoover> i've never seen anyone use 'swift' to talk about computing performance
21:06:01 <hppavilion[1]> Phantom_Hoover: Well, I hear Swift is pretty shitty in terms of speed.
21:09:29 -!- xfix has quit (Ping timeout: 240 seconds).
21:13:06 <olsner> shapr: not very lately, sedition is the latest haskell I did
21:13:31 <olsner> before that, improved dead code stripping in GHC
21:20:09 -!- xfix has joined.
21:20:37 <shachaf> So <= is a primitive used for sorting and searching that gives you ~1 bit of information per use. So people do binary search and things.
21:20:49 <shachaf> Is there a general-purpose primitive that gives you more than that?
21:22:04 -!- wob_jonas has joined.
21:22:14 <int-e> byte access, so people use that for tries?
21:22:33 <HackEgo> Soviet Russia used to be a synonym for the Soviet Union. In reality, the Soviet Union dissolved. Meanwhile, Soviet Russia dissolved reality, and you are a figment of its imagination.
21:22:49 <shachaf> int-e: Right, you have radix sort and things like that.
21:23:18 <int-e> I think that's the best idea I'll have
21:23:23 <int-e> (for this question)
21:23:42 <shachaf> Is there a better question I can ask?
21:24:14 <shachaf> <= is much more generic than things like radix
21:24:34 <int-e> . o O ( Is there a way to terminate shachaf's chains of questions that doesn't involve querying a certain wisdom entry? )
21:25:11 <HackEgo> int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. Hen gillar inte färger, men han gillar dissonans.
21:25:30 <HackEgo> Queen Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. He doesn't know when to stop asking questions.
21:25:52 <int-e> please remind me, does "gillar" mean "like"?
21:26:16 <int-e> (I guess google can find the answer)
21:26:47 <int-e> `thanks google http://en.bab.la/dictionary/swedish-english/gillar
21:26:48 <HackEgo> Thanks, google http://en.bab.la/dictionary/swedish-english/gillar. Thoogle http://en.bab.la/dictionary/swedish-english/gillar.
21:27:27 <int-e> Dissonance tends to be more interesting than harmony.
21:27:57 <int-e> I should perhaps clarify that I didn't mean it in the context of music. Dissonance has its appeal there but only when used very sparingly.
21:28:24 <shachaf> I think dissonance is a fundamental part of music, isn't it?
21:29:12 <int-e> Maybe I'm misusing the term.
21:29:33 <int-e> Music tends to be something I listen to, not analyze.
21:29:53 <shachaf> Do you listen to analysts?
21:30:05 <shachaf> I learned from reading Matt Levine's column what the true purpose of analysts is.
21:31:08 <wob_jonas> `slashlearn Chuck Norris//Cars look both ways before Chuck Norris crosses the street.
21:31:11 <HackEgo> Learned 'chuck norris': Cars look both ways before Chuck Norris crosses the street.
21:32:19 <shachaf> Chuck Norris jokes are scow
21:32:19 <wob_jonas> shachaf: yes. that's the command I usually use to create wisdom entries, which you all then delete because I can't come up with good ones
21:33:01 <shachaf> wob_jonas: Is it your opinion that they aren't good?
21:33:40 <wob_jonas> shachaf: probably some of them are good, but it's hard to tell which ones
21:34:09 <wob_jonas> maybe you tell me which ones are good
21:34:34 <shachaf> I don't think that last one was good.
21:34:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
21:38:23 <int-e> it beats straight quotes from the Mt:G comprehensive rules.
21:38:54 <int-e> (it looked wrong but not terribly so)
21:39:19 <shachaf> Have you played Magic: the Gathering?
21:39:56 <HackEgo> Rust is C++ as designed by the makers of Haskell.
21:40:10 <HackEgo> 🐐:🐐 <(Unicode goat laments your inability to render Unicode goat.) \ deniability:Deniability was not invented by Taneb. \ doublethink:Doublethink is the ability to hold the right belief. (If you think that you disagree with this definition, think again.) \ erlang:Erlang has tricked people into loving global mutable variables while pretendi
21:40:19 <moonythedwarf> mmmmmmmmmmmmmmmmmmmmmmmmmmmm i dont think thatsvery accurate
21:40:32 <int-e> I have played it with other people's decks (basically serving as a parity correction), but never collected cards nor done much thinking about deck design. I stopped 8 years ago or so.
21:41:15 <moonythedwarf> `le//rn rust//Rust is C++, but Python, but Extensible, but Memory safe, but designed by the makers of haskell
21:41:17 <HackEgo> Relearned 'rust': Rust is C++, but Python, but Extensible, but Memory safe, but designed by the makers of haskell
21:41:33 <wob_jonas> it tries to be as high level (static) as haskell so it can catch a lot of your mistakes at compile time, but at the same time tries to be efficient ("zero-cost abstractions" is the fancy way they say it) so you don't pay overhead for that
21:41:47 <HackEgo> Rust is C++ as designed by the makers of Haskell.
21:41:57 <wob_jonas> this one is totally accurate, it's the best description ever
21:42:05 <int-e> Ah it was comparative. Right.
21:42:30 <wob_jonas> moonythedwarf: all wisdom entries are accurate
21:42:34 <wob_jonas> it's accurate and funny at the same time
21:42:59 <int-e> . o O ( It's just as memory safe as C++ ... if you stick to RAII patterns almost nothing goes wrong :P )
21:43:00 <HackEgo> wisdom is always factually accurate, except for this entry, and, uh, that other one? It started with, like, an ø?
21:43:11 <int-e> and some smart pointers
21:43:29 <int-e> `` grwp pointer | wc
21:43:35 <HackEgo> [wiki] [[LINR]] https://esolangs.org/w/index.php?diff=51623&oldid=51622 * Slord * (+2580)
21:43:37 <HackEgo> pouti:Pouti is boily's brother. He's also Canadian, and he closes the Roujo pointer loop.
21:43:49 <moonythedwarf> . o O ( Lifetimes, stop it, im simply trying to make a lua function in rust, but lifetimes wont let me )
21:43:54 <int-e> `` grwp smart | wc
21:44:03 <HackEgo> c++:Along with C, C++ is a language for smart people.
21:44:17 <HackEgo> C is the language of��V�>WIד�.��Segmentation fault
21:44:21 <int-e> ... somewhat amazed that wisdom isn't more smart than that.
21:44:55 <int-e> moonythedwarf: it's a nop
21:45:43 <int-e> alternatively, somebody started writing the wisom entry in assembly but they're still working on the program initialization part.
21:48:00 <HackEgo> [wiki] [[Language list]] M https://esolangs.org/w/index.php?diff=51624&oldid=51360 * Slord * (+11) Added LINR
21:49:10 * moonythedwarf trys to remember the command to download a file to ego the hack
21:49:23 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch [<output-file>] <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
21:49:41 <HackEgo> [wiki] [[LINR]] M https://esolangs.org/w/index.php?diff=51625&oldid=51623 * Slord * (+4)
21:49:41 <HackEgo> 2017-03-30 20:49:36 URL:https://pastebin.com/raw/5pEV4X5h [601] -> "5pEV4X5h" [1]
21:49:42 -!- digitalcold has quit (Remote host closed the connection).
21:49:44 <int-e> okay, just `help, but it's in there.
21:49:56 <HackEgo> 5pEV4X5h: Assembler messages: \ 5pEV4X5h: Warning: end of file not at end of a line; newline inserted \ 5pEV4X5h:1: Error: no such instruction: `section .text' \ 5pEV4X5h:2: Error: no such instruction: `global _start' \ 5pEV4X5h:6: Error: too many memory references for `mov' \ 5pEV4X5h:7: Error: too many memory references for `mov' \ 5pEV4X5h:8: Er
21:50:31 <HackEgo> GNU assembler (GNU Binutils for Debian) 2.25 \ Copyright (C) 2014 Free Software Foundation, Inc. \ This program is free software; you may redistribute it under the terms of \ the GNU General Public License version 3 or later. \ This program has absolutely no warranty. \ This assembler was configured for a target of `x86_64-linux-gnu'.
21:51:01 -!- alakra has quit (Quit: WeeChat 1.4).
21:51:17 <int-e> (though it's not complaining about registers and instructions yet)
21:51:34 <moonythedwarf> `le//rn assembly//Assembly is a land of Segmentation Faults and insanity.
21:51:36 <HackEgo> Learned 'assembly': Assembly is a land of Segmentation Faults and insanity.
21:51:39 -!- alakra has joined.
21:51:48 <int-e> is that masm syntax...
21:51:57 <HackEgo> /hackenv/bin/`: line 4: nasm: command not found
21:52:53 <int-e> Not even a dog-fetching-stick quote?
21:52:58 <shachaf> What do you think of `edit?
21:53:05 <HackEgo> Shaventions include: before/now/lastfiles, culprits, hog/{h,d}oag, le//rn, tmp/, mk/mkx, sled/sedlast, spore/spam/speek/sport/1, edit. Taneb did not invent them yet.
21:53:12 <HackEgo> wisdom/erlang \ wisdom/\oren\ \ wisdom/🐐 \ wisdom/sense \ wisdom/feather \ wisdom/notsuredom \ wisdom/deniability \ wisdom/doublethink
21:53:15 <shachaf> Except fizzie reinvented it.
21:53:39 <HackEgo> `edit <file> gives you a url, then in your browser: (1) Press Sync (unless making a new file) (2) Make your changes (3) Press Save (4) Paste the command line at the top into the channel.
21:53:44 <HackEgo> dpkg: error: need an action option \ \ Type dpkg --help for help about installing and deinstalling packages [*]; \ Use 'apt' or 'aptitude' for user-friendly package management; \ Type dpkg -Dhelp for a list of dpkg debug flag values; \ Type dpkg --force-help for a list of forcing options; \ Type dpkg-deb --help for help about manipulating *.deb fi
21:53:56 <wob_jonas> do we finally get an old-school line editor, BASIC/APL style?
21:54:02 <wob_jonas> I thought we get an in-IRC line editor
21:54:22 <shachaf> I was going to make that and then decided that this would be simpler.
21:55:01 <moonythedwarf> brb, (trying) to compile and set up NASM on hackeho
21:55:26 <wob_jonas> moonythedwarf: have you considered yasm instead?
21:57:34 -!- digitalcold has joined.
21:59:48 -!- hppavilion[1] has joined.
22:04:29 <moonythedwarf> *tries abain, this time redirecting to a log file*
22:06:03 <moonythedwarf> RIP. ./configure is unable to finish running in time
22:09:17 <HackEgo> [wiki] [[LINR]] M https://esolangs.org/w/index.php?diff=51626&oldid=51625 * Slord * (+55)
22:09:24 <int-e> moonythedwarf: http://sprunge.us/dDjS?gas works
22:09:27 <Zarutian> can anyone tell me what that plastic flute thing that can in Captin Crunch packs and could be used to generate 2600Hz was called?
22:09:54 <HackEgo> [wiki] [[LINR]] M https://esolangs.org/w/index.php?diff=51627&oldid=51626 * Slord * (-68) removed duplicate sentence
22:10:19 <HackEgo> 2600 Hz is a tone made by Captain Crunch's whistle.
22:10:53 <Zarutian> wob_jonas: yeah, but I think it had more spefic name or description. Was it two tone whistle or?
22:11:34 <wob_jonas> dunno. i only eat Lucky Captain Rabbit King cereal
22:11:43 <wob_jonas> and that doesn't come with a whistle
22:13:24 <wob_jonas> I still think washing machines are magic
22:14:40 <Zarutian> bosun whistle it was called. Was looking for that.
22:14:41 <int-e> http://money.cnn.com/2016/11/04/news/companies/samsung-exploding-washing-machines/ <-- agreed
22:15:09 <wob_jonas> Zarutian: is that from a Zelda game?
22:19:01 <int-e> shachaf: to answer your earlier question, no, I don't listen to analysts
22:19:52 <hppavilion[1]> You know, I'm an expert in the sociological theory of member-impostor differentiation
22:20:22 <hppavilion[1]> (that's the field studied in <https://www.xkcd.com/451/>)
22:22:30 -!- moonythedwarf has quit (Ping timeout: 268 seconds).
22:27:06 <Zarutian> bo'sun whistle and not as I know of wob_jonas
22:28:09 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:29:26 <\oren\> in an hour they're gonna launch a rocket
22:30:13 <Zarutian> oh, first reuse, that is pretty big step
22:30:30 <\oren\> a falcon 9 that was used to put a satellite up will be used on another one
22:32:35 <Zarutian> are they going to get it into that sats final orbit or just to a much easier transfer orbit?
22:33:32 <\oren\> the second stage does the full orbit
22:34:15 <\oren\> the first stage, which is reused, moslty just goes up into space and I think halfway to orbital velocty
22:34:33 <\oren\> and then comes down and lands on a ship
22:34:35 <Zarutian> geosynchronus or kepler rosette orbit like those iridum satelites are in?
22:34:56 <Zarutian> on a ship? You mean big unmanned barge, no?
22:35:35 <Zarutian> where are they launching from?
22:41:14 <HackEgo> [wiki] [[LINR]] M https://esolangs.org/w/index.php?diff=51628&oldid=51627 * Slord * (+110) clarification on new lines in code
22:52:47 <hppavilion[1]> Are there high-level quantum languages yet I wonder?
22:53:11 <hppavilion[1]> [do high-level programming languages even look different when quantumified?]
22:54:34 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds).
22:55:00 <shachaf> i,i http://algorithmicassertions.com/post/1703
22:56:55 -!- MoALTz has quit (Quit: Leaving).
22:56:55 <shachaf> Well, the capitalized version looks like an owl face to me: I,I
22:57:11 <HackEgo> [wiki] [[LINR]] M https://esolangs.org/w/index.php?diff=51629&oldid=51628 * Slord * (+35)
22:58:33 <hppavilion[1]> shachaf: The 2D origin (0,0) is sometimes called "The Owl"
22:59:29 <hppavilion[1]> If you're dealing with quantum variables, the language couldn't possibly be normal, since otherwise you'd be cloning things
23:00:56 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:03:04 <\oren\> https://www.youtube.com/watch?v=xsZSXav4wI8
23:03:57 <\oren\> the actual video starts art 6:07 right now they're just playing some weird ass music
23:03:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
23:12:02 <HackEgo> [wiki] [[LINR]] M https://esolangs.org/w/index.php?diff=51630&oldid=51629 * Slord * (+0) /* Example Code */
23:12:23 <HackEgo> [wiki] [[LINR]] M https://esolangs.org/w/index.php?diff=51631&oldid=51630 * Slord * (+0) /* Execution Order */
23:12:48 -!- tromp has joined.
23:13:00 <Zarutian> „Of course I love you“ <- nice name for the drone ship
23:14:13 <HackEgo> [wiki] [[LINR]] https://esolangs.org/w/index.php?diff=51632&oldid=51631 * Slord * (+31)
23:17:42 -!- tromp has quit (Ping timeout: 260 seconds).
23:18:14 * Zarutian is tuned into the launch of reused Falcon 9 rocket Space X webcast (see spacex.com/webcast )
23:20:31 -!- orby has quit (Ping timeout: 260 seconds).
23:20:52 <HackEgo> [wiki] [[LINR]] https://esolangs.org/w/index.php?diff=51633&oldid=51632 * Slord * (+104) Added categories
23:27:16 <wob_jonas> (probably even less, there's some delay)
23:28:45 -!- Marcela_Gandara has joined.
23:37:38 <wob_jonas> they caught the part that comes down
23:39:00 <wob_jonas> and now the famous guy is giving the speech of how important it is
23:39:18 -!- tromp has joined.
23:43:22 <Zarutian> shame about that satelite video uplink from the „Of Course I Still Love You“ drone ship
23:44:13 <\oren\> they need to invent rocket flame proof cameras
23:44:56 <Zarutian> it wasnt the cameras that went down, the air buffetting caused the atenna on the drone ship to miss alignment
23:47:37 <Zarutian> I would thought they would use a stabilized buyo half a kilometer away for that atenna. Just use a fiber optic cable from the drone ship to it.
23:48:24 <Zarutian> could even stick an extra camera on that buyo to get a wider perspective.
23:51:09 <Zarutian> but yeah that SES-10 satelite is going to provide some massive frequency bandwidth
23:58:36 -!- DHeadshot has quit (Ping timeout: 240 seconds).