00:12:03 <HackEgo> [wiki] [[Enema]] M https://esolangs.org/w/index.php?diff=51720&oldid=34549 * Xav737 * (+17)
00:14:33 -!- yabi has joined.
00:24:11 -!- yabi has quit (Quit: Leaving).
00:30:08 -!- boily has quit (Quit: WATERFALL CHICKEN).
01:04:22 <\oren\> TIL the japanese counter 匹 can be used for cerberuses if they're cute enough
01:14:46 -!- augur has joined.
01:31:52 -!- oerjan has joined.
01:36:06 <lambdabot> boily said 7h 9m 4s ago: hellørjan. the youtubal “(11)” comes from the eleven video notifications I seem to have cumulated by not watching them.
01:37:05 -!- sleffy has quit (Ping timeout: 255 seconds).
01:44:01 -!- xkapastel has quit (Quit: Connection closed for inactivity).
01:58:54 <oerjan> <rdococ> Maybe it'd be better if I wasn't here. <-- you appear to be in an evil circle of posturing, complaining and self-deprecation, which paradoxically are the main annoyances from you on the channel.
02:05:50 <oerjan> otherwise, i've read that creativity only works properly when you're doing it for your own interest, and not to get confirmation from others. _most_ esolangs don't get much response here, anyway.
02:08:51 -!- sleffy has joined.
02:11:34 <HackEgo> Caine is a drug administered to the target to reverse the effects of other drugs.
02:13:53 <HackEgo> https://hackego.esolangs.org/fshg/
02:14:08 <oerjan> `learn Caine is a target administered to the drug to reverse the effects of other drugs.
02:14:10 <HackEgo> Relearned 'caine': Caine is a target administered to the drug to reverse the effects of other drugs.
02:14:28 <oerjan> still not good, but at least slightly less misrepresenting co-
02:14:52 <shachaf> Oh, I thought it was about iocaine powder.
02:15:30 <shachaf> Just look at those last few days of edits.
02:15:57 <oerjan> could do a b_jonas and insert a Vampire: The Masquerade reference instead.
02:16:26 <oerjan> except i've never actually played it.
02:17:13 <shachaf> could revert a few daysworth of edits in one command
02:18:10 <oerjan> especially after my tirade above.
02:18:46 <HackEgo> natural transformation//A natural transformation is a transformation of something containing no chemicals.
02:18:57 <HackEgo> 1/2:plan9//Plan9 is the precursor to Dante's Inferno, home of the Limbo programming language. \ poutine//Poutine was Pouti and boily's sister until the tragic cheese accident. \ war//A lot more young people have gone off to fight in this war than I would have, at that age. \ jwinslow23//JWinslow23 is not here. \ disflagrate//disflagrate v
02:19:07 <HackEgo> 2/2:.t.perf.: a traditional technique from Poland (earliest attestation c. 1042) used to separate szoups. Nowadays, commercial production is entirely mechanized.
02:19:28 <shachaf> i,i what's quote 1042 doing in the wisdom database?
02:19:43 <oerjan> `# Indeed not//`forget jwinslow23
02:20:09 <HackEgo> 1042) <shachaf> kmc: you gotta tell me if you're an op
02:20:29 <oerjan> i think kmc deopped himself.
02:21:16 <HackEgo> 1/3:watch//Too late! \ clever//Being clever is different from being wise, but they are indistinguishable in sufficiently large quantities. \ works for me//Error: unable to read wisdom database. try again later. \ orodruin//The Orodruin is a mountain heated by earth spirits. Sauron moved to Mordor because boiling water for his morning tea
02:21:20 <HackEgo> 2/3:with the fires of the Orodruin was so convenient. \ sock//Socks are alien larvas planning to take over Earth. They started to teleport into Earthly washing machines through miniature wormholes. The invasion is currently halted, because after 4 billion larvas, they ran out of address space. They are also a protocol for proxying TCP con
02:22:01 <shachaf> seems contrary to my experience hth
02:22:35 <oerjan> i recall a relevant short story.
02:23:36 <oerjan> shachaf: nah you just notice half of a pair is missing... but are you sure there _was_ a pair...
02:24:23 <oerjan> hm i think there was a youtube performance of it
02:24:27 <shachaf> oerjan: For a while I only had one kind of sock.
02:24:44 <shachaf> All my socks were of that type so I could pair any of them together. It was great.
02:24:49 <shachaf> Now I only have one sock of that type left.
02:25:20 <shachaf> Now I only wear my emergency socks, which I got from Google Summer of Code.
02:25:26 <oerjan> i have noticed that occasionally socks start getting swallowed by holes hth
02:25:46 * oerjan Gswats shachaf -----###
02:26:13 <shachaf> oerjan: You should gswat the GSoC organizers instead.
02:26:34 <oerjan> ANY GSoC ORGANIZERS HERE?
02:26:52 <HackEgo> remava//His typing skills are so bad, some say he writes in a different orthography, not back-compatible with English.
02:27:02 <HackEgo> ¯\_(ツ)_/¯//¯\_(ツ)_/¯ is the ¯\(°_o)/¯ of urbandictionary
02:27:09 <HackEgo> tanstaaha//tanstaaha, so please stop using them. That would help.
02:27:15 <HackEgo> 10668:2017-04-15 <Remaväs> learn_append remavas His typing skills are so bad, some say he writes in a different orthography, not back-compatible with English.
02:27:45 <HackEgo> firefly//FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon.
02:27:47 <HackEgo> Remavas is a revolution in human biology. He's cofriends with oerjan. He's apparently from Frankfurt, Germany, but he's actually from Mars. His typing skills are so incredibly bad, some say he writes in a different orthography designed for a different language.
02:28:38 <HackEgo> ehlist//ehlist is update notification for the Everyday Heroes webcomic. http://eheroes.smackjeeves.com/
02:28:44 <HackEgo> ham//Ham is a kind of meat. It is popular in Hexham, among other places.
02:30:38 <HackEgo> f=$(find wisdom -ipath "wisdom/*$1*" -type f -print0 | shuf --random-source=/dev/urandom -z -n1); if [ -n "$f" ]; then echo -n "${f#wisdom/}//"; cat "$f"; else echo "That's not wise."; fi | rnooodl
02:31:14 <HackEgo> lrwxrwxrwx 1 5000 0 6 Oct 28 18:37 bin/widsom -> wisdom
02:32:23 <fizzie> Haven't even gotten any free socks.
02:33:42 <HackEgo> 8635:2016-06-28 <izaber̈a> ` ln -s wisdom bin/widsom
02:34:59 <shachaf> Hmm, is fizzie the only Google employee here?
02:36:03 <oerjan> `` rm bin/widsom;; mkx 'bin/widsom//wisdom "$@" | sed '"'"'s/\<\([^ ][^ ]\)\([^ ]\)\([^ ]\)/\1\3\2/g'"'"
02:36:04 <HackEgo> /hackenv/bin/`: eval: line 4: syntax error near unexpected token `;;' \ /hackenv/bin/`: eval: line 4: `rm bin/widsom;; mkx 'bin/widsom//wisdom "$@" | sed '"'"'s/\<\([^ ][^ ]\)\([^ ]\)\([^ ]\)/\1\3\2/g'"'"'
02:36:54 <oerjan> `mkx bin/widsom//wisdom "$@" | sed 's/\<\([^ ][^ ]\)\([^ ]\)\([^ ]\)/\1\3\2/g'
02:37:00 <HackEgo> biycclic moonid//The biycclic moonid is the free moonid geenrated by two wheels of a biyccle, qutoiented by the retsriction thta the biyccle iteslf is eqaul to the idnetity.
02:40:08 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: biycclic: not found
02:40:12 -!- augur has quit (Remote host closed the connection).
02:40:13 <HackEgo> biycclic moonid? ¯\(°_o)/¯
02:41:15 <HackEgo> The bicyclic monoid is the free monoid generated by two wheels of a bicycle, quotiented by the restriction that the bicycle itself is equal to the identity.
02:41:41 <HackEgo> \//\ was intiially pouplar as a relpacement for the soildus, but inveitably three was a bakcslash.
02:42:00 <HackEgo> dwof//DWOF is the Dotcor Who Fan Orhcestra, <htpt://thdewfo.or>g.
02:42:16 <HackEgo> prceious//prceious? Thta dosen't rign a bell. ¯\(°_o/)¯
02:52:25 -!- augur has joined.
02:57:02 -!- augur has quit (Ping timeout: 260 seconds).
03:04:55 <HackEgo> wisdom/cocoa \ wisdom/cocoon \ wisdom/cocoonspirator \ wisdom/cod \ wisdom/code \ wisdom/codensity \ wisdom/codependency \ wisdom/codo \ wisdom/codoctor \ wisdom/coffee \ wisdom/cofridge \ wisdom/color \ wisdom/colour \ wisdom/comedogenic \ wisdom/comics \ wisdom/comonad \ wisdom/companion cube \ wisdom/compiler \ wisdom/complete heyting algebra \
03:05:34 <HackEgo> Cofridges are ovens or stoves that are disrespectful towards entropy. They are useful for postparing ffee and oking cofood.
03:06:17 <oerjan> `le/rn cofridge logic//Cofridge logic is the new HoTT stuff.
03:06:19 <HackEgo> Learned 'cofridge logic': Cofridge logic is the new HoTT stuff.
03:10:19 <rdococ> `le//rn mpiler//An mpiler takes an executable file and nverts it to readable form.
03:10:22 <HackEgo> Learned 'mpiler': An mpiler takes an executable file and nverts it to readable form.
03:13:50 <rdococ> `le//rn nvert//To nvert something is to revert it back to its previous form, while recording the reversion as a conversion in itself.
03:13:52 <HackEgo> Learned 'nvert': To nvert something is to revert it back to its previous form, while recording the reversion as a conversion in itself.
03:14:23 <HackEgo> There's cake inside it. Tear it apart, rip open your companion, and extract the delicious, delicious cake...
03:14:54 <rdococ> `le//rn mpanion cube//Aperture Science has created a talking cube - we call it the mpanion cube, because it's the opposite of the mute companion cube.
03:14:56 <HackEgo> Learned 'mpanion cube': Aperture Science has created a talking cube - we call it the mpanion cube, because it's the opposite of the mute companion cube.
03:15:11 <HackEgo> [11,11,11,15,15,23,12],[5,5,5,3,53,45,16,26,00,20,15,16,22,25,45,91,32,11,15,27,06,01,11,01,47,22,30,13,43,21,11,13,29,61,65,17,19,12,28,17,11,01,23,20,16,20,81,18,32,25,58,22.,1985,10.301350435,1555466973690094680980000956080767,13720946704494913791885940266665466978579582015128512190078...
03:15:32 <rdococ> `le//rn de//De is the counterpart to code, often called the header.
03:15:35 <HackEgo> Learned 'de': De is the counterpart to code, often called the header.
03:18:46 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
03:34:09 -!- augur has joined.
03:38:11 -!- Zarutian has quit (Quit: Zarutian).
03:38:43 -!- augur has quit (Ping timeout: 240 seconds).
04:11:43 <oerjan> ^ul (a)(!())(()~(:))~:(^!!())*~(*)~^**
04:11:49 <oerjan> ^ul (a)(!())(()~(:))~:(^!!())*~(*)~^**S
04:12:10 <oerjan> hm something went wrong.
04:12:12 -!- augur has joined.
04:12:17 <oerjan> ^ul (a)()(()~(:))~:(^!!())*~(*)~^**S
04:13:20 <oerjan> ^ul (a)(!())(()~(:))~:(^!!())*~(*)~^**^S
04:13:26 <oerjan> ^ul (a)(!())(()~(:))~:(^!!())*~(*)~^**^aS
04:13:32 <oerjan> ^ul (a)()(()~(:))~:(^!!())*~(*)~^**^aS
04:13:36 <oerjan> ^ul (a)(:*)(()~(:))~:(^!!())*~(*)~^**^aS
04:13:43 <oerjan> ^ul (a)(::**)(()~(:))~:(^!!())*~(*)~^**^aS
04:16:29 -!- augur has quit (Ping timeout: 252 seconds).
04:17:16 -!- furozo has joined.
04:19:03 -!- furozo has quit (Client Quit).
04:31:02 <oerjan> <rdococ> for learn_append you have to omit the // <-- there's `le/rn_append which works more like `le/rn.
04:32:23 <oerjan> oh you did use that later
04:33:40 <oerjan> `` forget whatever; forget 42
04:33:43 <HackEgo> Forget what? \ Forget what?
04:33:55 <oerjan> `` forget whatever; forget answer
04:33:57 <HackEgo> Forget what? \ Forget what?
04:34:01 <HackEgo> 42 is The Answer. Heed it.
04:35:58 <HackEgo> Factorials are factories that factor many integers together to rdocscover more long ints. The answer to life, the universe, and everything is frequently purported to be 42, but it is actually 42 factorial (42!).
04:36:32 * oerjan shouldn't do wisdom judgements when hungry
04:36:57 <oerjan> so i'll leave that to my apprentice.
04:38:01 <shachaf> darth oerjan can find a new apprentice
04:39:09 <HackEgo> gostak//The gostak distims the doshes.
04:42:16 <HackEgo> 1/2:homophone//Homophones are pairs of words that sound totally gay together. \ pineapple//Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, making it a class 6 vegetable. \ c//C is the language of��V�>WIד�.��Segmentation fault \ skeleton//A skeleton is an unintelligent undead, similar to the zo
04:42:20 <HackEgo> 2/2:mbie but harder to create, because it's lacking most of the body. The best skeletons are made by groups of people, so-called skeleton crews. \ chuchichäschtli//chuchichäschtli is spoken as [ˈχʊχːiˌχæʃːtli]
05:02:12 -!- Warrigal has joined.
05:02:30 -!- Warrigal has changed nick to tswet_t.
05:02:59 <tswet_t> So here's the real question.
05:03:25 <tswet_t> Consider the function f(n) = the nth positive integer which is not a counterexample to the Collatz conjecture.
05:03:47 <tswet_t> Of course, the Collatz conjecture itself is equivalent to the statement that for all n, f(n) = n.
05:04:18 <tswet_t> Do we even know that f grows at most polynomially?
05:05:29 <tswet_t> It definitely grows at most exponentially, because all powers of 2 are non-counterexamples.
05:05:44 <oerjan> twice a counterexample is a counterexample.
05:06:45 <tswet_t> Maybe all non-counterexamples can be written in the form a*2^b, where a is one of some given set of constants.
05:07:02 <tswet_t> Nah, that doesn't sound very possible.
05:09:45 <tswet_t> > iterate (\x -> if x `mod` 6 == 4 then (x - 1) `div` 3 else 2 * x) 1
05:09:47 <lambdabot> [1,2,4,1,2,4,1,2,4,1,2,4,1,2,4,1,2,4,1,2,4,1,2,4,1,2,4,1,2,4,1,2,4,1,2,4,1,2...
05:09:53 <oerjan> if x == 1 (mod 3), then (x-1)/3 is also a counterexample.
05:10:10 <tswet_t> > iterate (\x -> if x `mod` 6 == 4 then (x - 1) `div` 3 else 2 * x) 3
05:10:12 <lambdabot> [3,6,12,24,48,96,192,384,768,1536,3072,6144,12288,24576,49152,98304,196608,3...
05:10:36 <tswet_t> > iterate (\x -> if x `mod` 6 == 4 then (x - 1) `div` 3 else 2 * x) 5
05:10:37 <oerjan> x == 4 (mod 6), it should be.
05:10:38 <lambdabot> [5,10,3,6,12,24,48,96,192,384,768,1536,3072,6144,12288,24576,49152,98304,196...
05:11:06 <tswet_t> Conjecture: this sequence always reaches a multiple of 3?
05:11:10 <tswet_t> > iterate (\x -> if x `mod` 6 == 4 then (x - 1) `div` 3 else 2 * x) 7
05:11:12 <lambdabot> [7,14,28,9,18,36,72,144,288,576,1152,2304,4608,9216,18432,36864,73728,147456...
05:11:33 <oerjan> i am thinking that the 3*x+1 paths in reverse should be enough to fill it out to polynomial.
05:11:52 <oerjan> but unlike the doubling, they have modulus requirements.
05:13:21 <oerjan> gah an annoying sound driving me crazy again
05:15:43 <tswet_t> https://en.wikipedia.org/wiki/Collatz_conjecture#Rigorous_bounds
05:15:57 <tswet_t> "Although it is not known rigorously whether all positive numbers eventually reach one according to the Collatz iteration, it is known that many numbers do so. In particular, Krasikov and Lagarias showed that the number of integers in the interval [1,x] that eventually reach one is at least proportional to x^0.84."
05:16:34 <tswet_t> I'm pretty sure that means that, say, n^2 is an upper bound on f(n).
05:17:39 <tswet_t> But it apparently we don't actually know that fewer than 100% of all numbers are counterexamples.
05:19:48 <oerjan> hm ok so you need to avoid numbers divisible by 3, because they're inverses never branch out.
05:22:44 <oerjan> 6*x+4, 24*x+16 and 96*x+64 become 2*x+1, 8*x+5 and 32*x+21.
05:23:09 <oerjan> is one of those guaranteed to be not divisible by 3...
05:23:59 <oerjan> 2*x+1 == 0 (mod 3) => 8*x == -4 (mod 3), so yeah.
05:24:32 <oerjan> so you can always branch out some, as long as you don't hit something divisible by 3.
05:27:16 <tswet_t> I wonder if Krasikov and Lagarias just discovered an extension of what we're talking about now.
05:27:25 <tswet_t> Or maybe they discovered *only* what we're talking about now.
05:28:18 <oerjan> it seems like 2 out of 3 of them will go down to something not divisible by 3.
05:32:51 <oerjan> well they'd presumably try to improve the exponent.
05:33:16 <oerjan> but i think this is enough to ensure polynomiality.
05:35:54 <oerjan> you can divide up cases into (mod 18) classes, i think, and all that aren't divisible by 3 will branch out in bounded time.
05:37:24 <oerjan> 18*x+1 -> 36*x+2 -> 72*x+4 -(1)> 24*x+1 -(2)> 144*x+8
05:38:49 <oerjan> with the last one branshing again after a step, i think
05:39:57 <oerjan> 288*x+16 -(3)> 96*x+5 -(4)> 576*x+32
05:41:36 <oerjan> 1->2->4->branch/8->16->branch/32==14
05:43:39 <oerjan> ->28==10 which is one of those that goes to divisible by 3 if you branch.
05:45:53 <oerjan> hm, in fact the only one.
05:46:16 <oerjan> because 4, 10 and 16 are the only branch points (mod 18)
05:49:53 <oerjan> ending up at 1, 3 and 5 (mod 6)
05:51:53 <oerjan> 2->4->8->16->14->10->2 and 6->12->0
05:52:24 <oerjan> so 2 branches every 6 doublings
05:58:14 <HackEgo> Overflow is a phenomenon that occurs when too much water pours into the inner mechanics of a hydrocomputer.
05:59:37 -!- tswet_t has quit (Ping timeout: 260 seconds).
06:01:25 <oerjan> `slwd overflow//s,mechanics,tanks,;s,ro,raulic,
06:01:27 <HackEgo> overflow//Overflow is a phenomenon that occurs when too much water pours into the inner tanks of a hydrauliccomputer.
06:01:45 <oerjan> `slwd overflow//s,lic,& ,
06:01:46 <HackEgo> overflow//Overflow is a phenomenon that occurs when too much water pours into the inner tanks of a hydraulic computer.
06:02:17 <oerjan> rdococ: that was a good one but it needs more authentic terminology.
06:05:43 -!- sleffy has quit (Ping timeout: 240 seconds).
06:06:14 <oerjan> also, https://en.wikipedia.org/wiki/MONIAC
06:08:29 -!- sleffy has joined.
06:14:07 <Jafet> `slwrjan sl[ick]navel\darthl
06:14:08 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: slwrjan: not found
06:14:24 <Jafet> `swrjan sl[ick]navel\darthl
06:14:26 <HackEgo> oerjan//Your omnipheasant principal witty arrant darth oerjan the indecisive is a hazy expert in merry compaction. Also a Glaswede who disses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His arch-nemesis is Betty Crocker. He twice punned without noticing it.
06:15:37 <oerjan> that's not a good darth name, it means nothing when prepending in-!
06:17:01 <Jafet> oerjan the darth decisive
06:20:39 <HackEgo> oerjan//Your omnipheasant principal witty arrant darth oerjan the indecisive is a hazy expert in merry compaction. Also a Glaneep who disses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His arch-nemesis is Betty Crocker. He twice punned without noticing it.
06:29:47 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘show_M101340286925...
06:29:47 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
06:30:13 <oerjan> > gcd minBound 0 :: Integer
06:30:16 <lambdabot> • No instance for (Bounded Integer)
06:30:18 <oerjan> > gcd minBound 0 :: Int
06:30:45 <oerjan> why in the world did that not default?
06:32:48 <oerjan> it's because there's no actual _bounded_ numeric type to default to.
06:35:18 <oerjan> > signum minBound :: Int
06:36:04 <oerjan> > minBound`div`(-1) :: Int
06:37:37 <HackEgo> [wiki] [[Special:Log/newusers]] create * Fractalwizz * New user account
06:47:12 <HackEgo> Hydrocomputing is the field of computer programming which studies the computational power of water.
06:47:59 <HackEgo> alg. ii:Algae II, the successor class to Algae I. Discusses hydroponics and such. \ b_jonas can't spell:b_jonas can't spell these words: weird, hygiene, etymology, mysterious, Odyssey, myopia, carbohydrate, appearance, maintenance, existence, heard, appropriate; and confuses these sets of words: then, than; drought, draught/draft; couch, coach; dep
06:48:11 <HackEgo> 2/4:ch, coach; depreciate, deprecate; dilate, dilute, delate; contiguous, continuous. \ hydra:http://www.madore.org/~david/math/hydra0.xhtml , dire: http://www.madore.org/~david/math/hydra.xhtml , theory: http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.htm
06:48:34 <HackEgo> 3/4:l http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem \ hydrocomputer:Hydrocomputing is the field of computer programming which studies the computational power of water. \ hydrogen:Hydrogen is what stars are made of. There's a conjecture that at the immense pressures inside Jupiter or
06:48:43 <HackEgo> 4/4:Saturn, hydrogen might form a superconducting liquid metal. \ overflow:Overflow is a phenomenon that occurs when too much water pours into the inner tanks of a hydraulic computer.
06:50:22 <HackEgo> bitcoin \ bogosort \ church \ linker \ post-turing machine \ rice \ tg \ turing \ turing complete \ wealhtheow
06:50:53 <oerjan> `` cd wisdom; echo *uring*
06:50:54 <HackEgo> metaturing post-turing machine turing turing complete
06:51:10 <HackEgo> You complete a Turing when you Tur by a specified amount.
06:51:57 <HackEgo> Turing is what you are doing when you Tur
06:52:13 <oerjan> it builds on previous work
06:52:29 <HackEgo> turing//Turing is what you are doing when you Tur.
06:53:37 <shachaf> nor was the previous work especially wise
06:54:26 <HackEgo> This wisdom entry was crushed by a falling anvil.
06:58:56 <HackEgo> A binary tree is an economical design for a computer built into a tree.
06:59:44 <oerjan> nor does it contain a joke that i could discern.
07:01:01 <HackEgo> A pointer is someone who points, usually towards someone or something else.
07:02:01 <HackEgo> A null pointer is a chronic disease which mostly plagues Java.
07:05:37 <oerjan> `learn A pointer is a dog bred to follow instructions.
07:05:39 <HackEgo> Learned 'pointer': A pointer is a dog bred to follow instructions.
07:06:41 -!- erkin has joined.
07:13:43 <oerjan> `le/rn null pointer//Null pointers were invented despite having no reason to exist.
07:13:46 <HackEgo> Relearned 'null pointer': Null pointers were invented despite having no reason to exist.
07:35:18 -!- sirnaysayer has quit (Ping timeout: 255 seconds).
07:38:33 -!- sleffy has quit (Ping timeout: 258 seconds).
07:38:53 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
07:41:32 <Jafet> `le/rn null pointer//Null pointers were bred to be more exceptional than other pointers. However, the whole effort went nowhere.
07:41:34 <HackEgo> Relearned 'null pointer': Null pointers were bred to be more exceptional than other pointers. However, the whole effort went nowhere.
07:44:55 -!- sirnaysayer has joined.
07:46:28 <oerjan> hmph my golf design seems thwarted by the fact >>= contains an = character
07:47:12 <zzo38> What golf design is that?
07:49:40 -!- sirnaysayer has quit (Ping timeout: 258 seconds).
07:52:02 -!- sirnaysayer has joined.
07:55:27 <oerjan> > "this is a demonstration"<$id>>=flip id$words
07:56:17 <oerjan> zzo38: for quining purposes, i need a way to use the contents of a string that is at the beginning of a standalone expression.
07:56:52 <oerjan> with no imports or other top level definitions. and the only ways i have found to that involve using the >>= operator.
07:57:33 <oerjan> ok, there's also a very theoretical way of using `lookup`, if you don't mind waiting until the heat death of the universe.
07:58:00 <lambdabot> [show(foldr(\k a->20*100^n+a*k`div`(2*k+1))0[1..[4,8..]!!n])!!n|n<-[0..]]
07:58:13 <lambdabot> (!!3)<$>transpose[show$foldr(\k a->2*10^2^n+a*k`div`(2*k+1))0[1..2^n]|n<-[0..]]
07:59:23 <oerjan> however, there are also character restrictions and it would have been better if i could do this without using the = character.
07:59:38 <oerjan> of course my design is nowhere near fleshed out yet.
08:13:42 -!- AnotherTest has joined.
08:23:16 <Jafet> speaking of golf, I can't seem to find any chess player with readable source
08:24:38 <Jafet> debian's default is “fairymax”, which turns out to be a golfed C program
08:25:48 <Jafet> gnuchess 6 is actually the fruit engine with some extra code added to make it backwards compatible with gnuchess 5
08:27:26 <zzo38> The best chess AI seems to be Stockfish, although I have not seen the code so do not know how readable they are. I also do not know if it is what you are looking for, or if you need xboard protocol, or whatever
08:27:51 <zzo38> (Stockfish uses UCI protocol instead, I think?)
08:28:05 <Jafet> (except some of the old gnuchess 5 code remains, like vestigial wisdom teeth)
08:31:14 <Jafet> crafty's code is haughtily idiosyncratic, like the crafty.c which #includes all 40 thousand lines of the program into one unit
08:34:48 <Jafet> I also suspect that most engines handle 50-move somewhat incorrectly, which only manifests when the threshold is reduced to 1
08:36:43 <Jafet> for example, it looks like crafty knows how to claim the draw after its own move (by FIDE rules), but its search only checks the condition at the beginning of a move
08:45:25 <Jafet> zzo38: I'll look at it; however if the engine is too optimised, it will be harder to adapt to a chess variant
09:01:58 -!- oerjan has quit (Quit: Nite).
09:38:46 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
09:44:32 <Jafet> fungot: are you bored?
09:44:32 <fungot> Jafet: a basic knowledge plus flood reading is better than 3 2
09:48:33 -!- Remavas__ has changed nick to Remavas-Hex.
09:51:36 -!- Remavas has joined.
09:53:11 -!- dingbat has quit (Quit: Connection closed for inactivity).
10:13:15 <int-e> Wow, stockfish code is surprisingly readable.
10:17:42 <int-e> (Though that's not saying much about the difficulty of actually changing it; the bitboard representation, for example, (and not surprisingly) is accessed all over the place in the evaluation function. (and I finally got why popcnt is so useful for chess engines... obvious in retrospect, hmm))
10:57:12 <Jafet> on another golf topic, it seems that chess programmers are actively looking for magic hash functions http://chessprogramming.wikispaces.com/Magic+Bitboards
10:58:50 <int-e> > "<$id>>=flip id$text.(>>=id)((++).show)"<$id>>=flip id$text.(>>=id)((++).show)
10:58:52 <lambdabot> "<$id>>=flip id$text.(>>=id)((++).show)"<$id>>=flip id$text.(>>=id)((++).show)
10:59:27 * int-e wonders what other dirty trick oerjan has up his sleeves
11:01:11 <int-e> but perhaps that's it, with s/text/putStr/
11:03:47 <int-e> > let putStr = text in "<$id>>=flip id$putStr.((++).show>>=id)"<$id>>=flip id$putStr.((++).show>>=id)
11:03:49 <lambdabot> "<$id>>=flip id$putStr.((++).show>>=id)"<$id>>=flip id$putStr.((++).show>>=id)
11:05:55 -!- augur has joined.
11:06:14 -!- izabera has changed nick to izaonlyusesone.
11:07:10 -!- izaonlyusesone has changed nick to izabera.
11:21:14 -!- augur has quit (Quit: Leaving...).
11:49:22 -!- augur has joined.
12:40:48 -!- augur has quit (Remote host closed the connection).
13:22:33 <lambdabot> LOWI 161150Z 06013KT 9999 FEW015 SCT030 BKN045 08/05 Q1018 NOSIG
14:22:43 <quintopia> oh i was scrolled back exactly 24 hours
14:22:57 <quintopia> and thought my connection was lagging
14:58:49 <HackEgo> [wiki] [[Assignless]] N https://esolangs.org/w/index.php?oldid=51721 * Rdococ * (+883) Created page with ":''This language is still undergoing design. It may, and will, probably change in the future.'' '''Assignless''' is a work in progress esoteric programming language by User:..."
14:59:40 <HackEgo> [wiki] [[User:Rdococ]] https://esolangs.org/w/index.php?diff=51722&oldid=51700 * Rdococ * (+24) /* My hopefully better esoteric languages (2017 CE - infinity CE) */
15:10:03 -!- Remavas has quit (Ping timeout: 268 seconds).
15:24:43 -!- augur has joined.
15:29:01 -!- erkin has joined.
15:37:52 -!- boily has joined.
15:59:00 -!- augur has quit (Ping timeout: 240 seconds).
16:14:19 <HackEgo> kallisti//kallisti is a former prophet swearing off his pastry deity.
16:30:20 <HackEgo> `learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] <keyword>[s][punctuation] [...]
16:30:24 <HackEgo> le/rn makes creating wisdom entries manually a thing of the past.
16:31:07 <boily> rdochelloc. learning is good for you.
16:31:52 <rdococ> `le//rn school//School was a slave institution cleverly disguised as education. Fortunately, it was abolished in 2142.
16:31:56 <HackEgo> Learned 'school': School was a slave institution cleverly disguised as education. Fortunately, it was abolished in 2142.
16:39:23 -!- rdococ has left ("Leaving").
16:39:37 -!- rdococ has joined.
16:51:36 -!- DHeadshot has joined.
16:52:57 <HackEgo> Help is on the way. We don't know where the way is, though. You might try `help instead.
16:53:33 <rdococ> `le//rn scream//A popular method of writing screams is "AAAAAAAA". True linguists, however, use "IIIIIIII" or "ÆÆÆÆÆÆÆÆ".
16:53:35 <HackEgo> Learned 'scream': A popular method of writing screams is "AAAAAAAA". True linguists, however, use "IIIIIIII" or "ÆÆÆÆÆÆÆÆ".
17:00:52 <rdococ> `le//rn . o O o .//. o O o . is a thought that ends before it begins.
17:00:54 <HackEgo> Learned '. o o o .': . o O o . is a thought that ends before it begins.
17:01:31 <rdococ> `le//rn thought//. o O ( Why are they asking me for what a thought is? )
17:01:34 <HackEgo> Learned 'thought': . o O ( Why are they asking me for what a thought is? )
17:16:27 -!- sleffy has joined.
17:21:26 <HackEgo> Thank you for participating in the {Your favourite video game laboratory} Egg Hunt. Please proceed to the wisdom entry named Aperture.
17:21:46 <rdococ> @everyone who's here ^^
17:32:21 -!- Zarutian has joined.
17:33:04 -!- chatter29 has joined.
17:33:19 <chatter29> to accept Islam say that i bear witness that there is no deity worthy of worship except Allah and Muhammad peace be upon him is his slave and messenger
17:33:55 -!- chatter29 has quit (Client Quit).
17:35:34 -!- atslash has joined.
17:36:29 <boily> by fungot's nostrils...
17:36:29 <fungot> boily: even if it may change between gcc versions or different ccs. wouldn't it be nice to get it
17:36:44 <boily> fungot: by the way, how many nostrils do you have?
17:36:45 <fungot> boily: i don't get this. i am pondering leaving things in s-expressions before i convert to cps
17:36:58 <HackEgo> A flying spaghetti monster that always consume all of its "input" and outputs *something*
17:38:23 <HackEgo> Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically "ism" is a backformation from portmanteaus on "schism".
17:39:07 <rdococ> at least now I know how <ch> came to be /tS/
17:52:32 <HackEgo> An FSM is a state machine with noodly appendages.
17:52:58 <int-e> `` cd wisdom; rm egg toward east body wit creative mputing us base half two camel lump hole egg\ hunt aperture ". o O o ."
17:53:00 <HackEgo> rm: cannot remove ‘. o O o .’: No such file or directory
17:53:34 <int-e> `rm wisdom/. o o o .
17:55:34 -!- augur has joined.
17:57:40 <int-e> it wouldn't stand the test of time, and besides we have a rule against changing wisdoms off channel
17:59:47 <rdococ> but there were no wisdoms being changed, only added (and then changed but that's different)
18:13:51 -!- sleffy has quit (Ping timeout: 260 seconds).
18:14:17 -!- sleffy has joined.
18:14:25 -!- MoALTz has joined.
18:32:52 <\oren\> https://www.youtube.com/watch?v=pSdxVW55h3Q
19:29:52 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
19:47:09 -!- orby has joined.
19:47:26 -!- sleffy has quit (Ping timeout: 255 seconds).
19:49:41 -!- sleffy has joined.
20:25:12 -!- DHeadshot has quit (Ping timeout: 258 seconds).
20:27:13 -!- DHeadshot has joined.
20:28:18 -!- Zarutian has quit (Ping timeout: 240 seconds).
20:28:25 <HackEgo> [wiki] [[A1]] N https://esolangs.org/w/index.php?oldid=51723 * Orby * (+3537) Creating initial A1 page
20:31:11 <HackEgo> [wiki] [[A1]] M https://esolangs.org/w/index.php?diff=51724&oldid=51723 * Orby * (+5) Saucy
20:33:58 <HackEgo> [wiki] [[User:Orby]] M https://esolangs.org/w/index.php?diff=51725&oldid=51552 * Orby * (+113) Adding A1
20:36:58 <boily> \oren\: the video, it is wutting.
20:38:55 <HackEgo> [wiki] [[Special:Log/newusers]] create * Trakjohnson * New user account
20:53:13 <rdococ> `le//rn AI//Hello, and again, welcome to the #Esoteric Wisdom folder. Be honest, you thought I was GLaDOS, didn't you?
20:53:15 <HackEgo> Learned 'ai': Hello, and again, welcome to the #Esoteric Wisdom folder. Be honest, you thought I was GLaDOS, didn't you?
20:54:27 <rdococ> I always seem to find games when their hayday is just over
20:54:38 -!- misterhitla has quit (Ping timeout: 240 seconds).
20:55:02 <alercah> rdococ: which game this time?
20:55:25 <rdococ> altho I've known about it for a while, I think I found it just as jokes about it were starting to get old
20:55:48 <int-e> Where are you going? Because I don't think you're going where you think you're going.
20:56:19 <rdococ> I was about to mention a game that seems to be internet taboo to discuss but meh
20:57:44 <rdococ> actually, I probably basically already mentioned it to some people -_-
20:59:29 <rdococ> `le//rn controversy//Controversy is an alternate name for a game released in September of 2015.
20:59:31 <HackEgo> Learned 'controversy': Controversy is an alternate name for a game released in September of 2015.
20:59:53 -!- misterhitla has joined.
21:01:12 <rdococ> `le//rn UT//The UT series is a mathematical infinite series of alternating deconstructions and reconstructions of video games.
21:01:15 <HackEgo> Learned 'ut': The UT series is a mathematical infinite series of alternating deconstructions and reconstructions of video games.
21:01:37 <rdococ> UT^1 deconstructs UT^0, UT^2 deconstructs UT^1, etc.
21:01:51 <rdococ> Technically, UT^0 could be said to deconstruct UT^-1.
21:13:42 -!- sleffy has quit (Ping timeout: 260 seconds).
21:21:43 -!- sleffy has joined.
21:32:29 -!- sleffy has quit (Ping timeout: 240 seconds).
21:33:15 -!- sleffy has joined.
21:35:30 <HackEgo> [wiki] [[A1]] https://esolangs.org/w/index.php?diff=51726&oldid=51724 * Orby * (-99) Making major changes
21:39:11 <HackEgo> [wiki] [[A1]] M https://esolangs.org/w/index.php?diff=51727&oldid=51726 * Orby * (-18) Cleaning up
21:42:02 -!- sleffy has quit (Ping timeout: 252 seconds).
21:45:09 -!- sleffy has joined.
21:56:27 -!- sleffy has quit (Ping timeout: 260 seconds).
21:58:09 -!- sleffy has joined.
22:02:16 -!- boily has quit (Quit: APOCRYPHAL CHICKEN).
22:04:35 -!- sirnaysayer has quit (Ping timeout: 252 seconds).
22:05:13 -!- sleffy has quit (Ping timeout: 255 seconds).
22:07:20 -!- sirnaysayer has joined.
22:07:43 -!- sleffy has joined.
22:09:34 -!- sirnaysayer has quit (Client Quit).
22:10:08 <HackEgo> [wiki] [[A1]] https://esolangs.org/w/index.php?diff=51728&oldid=51727 * Orby * (+59) Fixing error in example and changing command
22:10:46 -!- augur has quit (Remote host closed the connection).
22:12:44 -!- sebbu2 has joined.
22:13:33 -!- Zarutian has joined.
22:13:59 -!- Zarutian has quit (Read error: Connection reset by peer).
22:14:34 -!- Zarutian has joined.
22:16:01 -!- sebbu has quit (Ping timeout: 255 seconds).
22:22:05 -!- augur has joined.
22:22:12 -!- augur has quit (Remote host closed the connection).
22:24:16 -!- augur has joined.
22:30:01 <HackEgo> [wiki] [[A1]] M https://esolangs.org/w/index.php?diff=51729&oldid=51728 * Orby * (-41) /* Examples Of Assembly Code */ Improving example
22:30:58 -!- DHeadshot has quit (Ping timeout: 260 seconds).
22:38:59 <rdococ> is {XOR, NOT} a functionally complete set?
22:42:03 <rdococ> it's technically the set {XOR, NOT, T, F}
22:48:09 <rdococ> I'm pretty sure material implication is truth-preserving & it's functionally complete
22:56:15 <rdococ> so it's practically FC, for things like OISCs
22:56:51 <rdococ> and even if we ignore that
23:01:55 <rdococ> how about a language that's pure preprocessor
23:09:47 <orby> rdococ: I've thought about that before, I think it's an interesting idea
23:10:02 <rdococ> I'll completely ruin it by trying to design one then!
23:11:48 <rdococ> `le//rn preprocessor//Preprocessing code in C was actually the precursor to IRC & Twitter, and the first to kick off the hashtag craze.
23:11:51 <HackEgo> Learned 'preprocessor': Preprocessing code in C was actually the precursor to IRC & Twitter, and the first to kick off the hashtag craze.
23:11:58 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:13:47 <rdococ> I'm also going to look up C++ templates. I hear they're TC.
23:13:50 <Remavas-Hex> Well shouldn't the real processing be the so-called "preprocessing"?
23:15:28 <rdococ> so it's C++ really interesting way of making functions that actually understand how an integer and a float are both numbers
23:16:03 <rdococ> wow, you can do it with classes too
23:17:56 <rdococ> and you can metatemplate
23:19:09 <rdococ> #define seems to just be a way to define functions w/o side effects
23:21:16 <alercah> it's a pure text substitution
23:25:56 <HackEgo> [wiki] [[A1]] https://esolangs.org/w/index.php?diff=51730&oldid=51729 * Orby * (+202) Cleanup and improvements. More examples.
23:30:04 <orby> I'm going to start working on a schemantic for an esoteric video display processor and call it teriyaki
23:31:56 -!- erkin has joined.
23:35:06 <rdococ> I'm pretty sure C preprocessing code is as close to TC as C can get
23:45:09 <rdococ> `le//rn success//If at first you don't succeed, you fail.
23:45:12 <HackEgo> Learned 'success': If at first you don't succeed, you fail.
23:46:06 -!- DHeadshot has joined.