< 1451002247 666752 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1451002328 890754 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :question: are there any sequences that give themselves after n>2 applications of run-length encoding (but after no fewer applications) < 1451002339 502635 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :A short is 16 bits, right? < 1451002340 908617 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :s/2/1/ < 1451002387 191475 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And Long is 64? So what's 32? < 1451002401 540237 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Or is short 32 on systems where long is 64, and 16 where long is 32? < 1451002413 881169 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Then what's 16 on systems where long is 64? < 1451002447 55375 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i think short is always 16 < 1451003070 532808 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: Then what's 32 on a 64-bit system? < 1451003083 618980 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :medium? xD < 1451003109 210524 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I want to propose a new data type < 1451003116 444802 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :It's called the "unnecessary" < 1451003143 61154 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :It's equal to 65,536 bits. < 1451003346 841403 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Eh. Word it is. < 1451003384 419976 :jaboja!~jaboja@83.20.125.32 JOIN :#esoteric < 1451003411 273740 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :How about a "scientific" data type < 1451003414 794214 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :128 bits < 1451005125 339921 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :hppavilion[1]: A short is 16 or more bits. < 1451005135 190675 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :hppavilion[1]: In common implementations it's 16 unconditionally. < 1451005144 378580 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: Ah < 1451005164 132393 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :An int is also 16 or more bits, and in common implementations it's 32 unconditionally. < 1451005181 865064 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :long is 32 or more bits, and generally 32 or 64. < 1451005187 474402 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :And long long is always 64 or more. < 1451005201 797106 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :(but in common implementations always 64) < 1451005346 764802 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: I ask because I'm working on TypeMaker < 1451005489 84139 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I decided that, in the typemaker stdlib, bool is actually just a 1-bit unsigned integer < 1451005533 721595 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :So you can (pretending this is valid syntax) do 5+True, and it equals 6 < 1451005878 60516 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric : Huh. < 1451005945 577359 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Put another way, typical (short, int, long, long long) tuplets are (16, 32, 32, 64) and (16, 32, 64, 64) -- the former for "32-bit systems" and 64-bit Windows, the latter for 64-bit non-Windows. "Small" systems (and old MS-DOS compilers) can be (16, 16, 32, 64) or possibly just (16, 16, 32) if they don't do long long. < 1451006166 692760 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not that those are the only possibilities, just the common ones. I think I recall a Motorola DSP56k C implementation where it's (24, 24, 48, not supported). < 1451006255 722431 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And a 24-bit char.) < 1451006460 574059 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :I was pretty specifically just describing the standard + common implementation choices. But, yeah. < 1451006522 195947 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Though I know there's no point in doing so now, I'd *like* to see a DOS-targetting C compiler that outputs code in real mode that does (16, 32, 32, 64) and flat memory addressing. < 1451006544 363835 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :It'd be pointless but humorous. < 1451006612 276899 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, I just liked to see them summarized like that. < 1451006662 694153 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The TI compiler for the TMS320C54x has (char, short, int, long, long long) set of (16, 16, 16, 32, kinda-sorta 40). < 1451006693 893076 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :I suppose if you wanted to be *really* silly you could write a C compiler that runs in real mode while supporting EMS and similar for data. < 1451006698 86780 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think it can do arithmetic for long long, but it uses that for some intrinsics that make use of the 40-bit accumulators. < 1451006789 592907 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Y'know, so you can do things on a IBM PC with an expansion board installed. < 1451006851 178960 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Are there Pope Numbers? By analogy to Cardinal Numbers? < 1451007125 729607 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And, of course, Priest Numbers? And Acolyte Numbers? And any-other-catholicy-word Numbers? < 1451007193 345813 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Hm... < 1451007198 704674 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :A generalization of sets < 1451007213 334353 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Such that this generalization's equivalent of the Cardinals < 1451007222 338972 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Is a proper superset of the reals < 1451007230 859419 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Or at the very least, the rationals < 1451007240 899930 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: What do you think? < 1451007270 680512 :jaboja!~jaboja@83.20.125.32 QUIT :Ping timeout: 272 seconds < 1451007337 274863 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Or maybe the Gausses < 1451007947 219999 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Writing real mode DOS program isn't completely useless, I think. Some people might use it, possibly with FreeDOS or DOSBOX instead of MS-DOS, though. < 1451008007 729259 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :zzo38: The main thing that makes it useless is the set of people who would use it have at least a 386, so are quite satisfied by DJGPP. < 1451008011 190292 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(But there are problems with DOSBOX; some things are not implemented properly, both hardware and software emulation have a few things wrong. I think one is CGA high-colour mode, which has never been used until recently anyways) < 1451008035 871546 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Yeah, DOSBOX has a few issues, largely because DOSBOX primarily targets games. < 1451008048 822022 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :And so if it's not used by an old school DOS game they mostly don't care. < 1451008131 430753 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Then they need to make the version that they do care ("DOSBOX Professional Edition"?), such as by the forked version, that does it more. < 1451008142 140501 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But even some stuff having to do with game is not quite working properly < 1451008155 815269 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Or, could be useful to have with some games, such as quicksave/quickload features < 1451008171 218541 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I would want to have a debugger included too though < 1451008442 546671 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1451008450 549660 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 260 seconds < 1451008748 316957 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric : < 1451008764 988617 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: really, phrases like "cardinal numbers", "ordinal numbers", "surreal numbers", and so forth are just mnemonics. < 1451008809 901701 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There's this thing called the "number galaxy" which describes all of the different types of numbers there are. < 1451008818 320759 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Galaxy" is an overstatement; there are only 20 of them. < 1451008846 777933 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1451008861 384237 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Oh no, he's gone. I can no longer lie to him. < 1451008936 42377 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@tell hppavilion[1] I bet your sin() and cos() take their arguments in radians. < 1451008936 201125 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451009323 833955 :andrew!~andrew@61.141.94.190 JOIN :#esoteric < 1451009749 95286 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What is your opinion of my idea of TVMIDI? < 1451011656 779856 :jaboja!~jaboja@esf32.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451012394 819212 :andrew!~andrew@61.141.94.190 QUIT :Remote host closed the connection < 1451012500 719201 :andrew!~andrew@61.141.94.190 JOIN :#esoteric < 1451013471 465612 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :hezzo38. < 1451013487 750247 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :what's a TVMIDI? < 1451013875 616930 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 260 seconds < 1451013990 246282 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :A way to control such device as TV cable box or satellite box with MIDI < 1451014392 730345 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1451014655 849250 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds < 1451014755 59017 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Is it possible to tell 7-Zip to compress a file from stdin but give it a different name in the archive? < 1451015086 154320 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I get a E_NOINTERFACE error when I try. < 1451015410 795695 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1451015593 297604 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: DISSIMILAR CHICKEN < 1451015675 899136 :jaboja!~jaboja@esf32.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds < 1451015931 589308 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :
ACTION wonders when #esoteric turned into ##unixTechSupport
< 1451016984 755033 :andrew!~andrew@61.141.94.190 QUIT :Ping timeout: 245 seconds < 1451017475 85680 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 276 seconds < 1451017530 695638 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1451017947 154665 :andrew!~andrew@183.39.114.209 JOIN :#esoteric < 1451018662 745345 :jaboja!~jaboja@esf32.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451019346 278650 :heroux!sandroco@gateway/shell/insomnia247/x-fouzakpbzbxlgkqa QUIT :Ping timeout: 240 seconds < 1451020501 288679 :jaboja!~jaboja@esf32.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1451025266 669421 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1451025988 764006 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell hppavilion[1] I tried `x, y += sin(direc), cos(direc)` which didn't work <-- imo sin and cos are switched hth < 1451025989 383478 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451026285 652148 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I figured out how to do what I asked; I found a PHP program to do that so I used that. < 1451026490 239267 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell quintopia question: are there any sequences that give themselves after n>2 applications of run-length encoding (but after no fewer applications) <-- almost certainly... < 1451026490 583779 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451026550 556955 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell quintopia unless you mean _finite_ sequences - a well-known theorem of the look-and-say sequences is that 22 is the only non-exploding one. < 1451026550 903088 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451026742 711891 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let ls = map (show . length <> take 1) . group in iterate ls "1" < 1451026745 179213 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Couldn't match type ‘[Char]’ with ‘Char’ < 1451026745 338308 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Expected type: [String] -> [String] < 1451026745 338401 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Actual type: [Char] -> [String] < 1451026749 519351 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :gah < 1451026770 197326 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let ls = concatMap (show . length <> take 1) . group in iterate ls "1" < 1451026773 22910 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ["1","11","21","1211","111221","312211","13112221","1113213211","31131211131... < 1451026795 675949 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :gah that's not long enough to see the repetition < 1451026847 906836 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats lambdabot for its short answers -----###
< 1451026883 599501 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Look and say sequence is, each one is the run-length-encoding of the previous one. I have figured out how to prove that numbers greater than 3 does not occur and that "333" does not occur. < 1451026979 818947 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: then i suggest the next step is to show that every sequence will eventually have only numbers starting with 1 or 3, or only numbers starting with 2. < 1451026999 981733 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's enough to tell you atoms ought to exist. < 1451027031 525670 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the rest is just checking every possible case, i think < 1451027187 734828 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :^ul ((::**)~^)((((:(((((((((((_)(9))(8))(7))(6))(5))(4))(3))(2))(1))(0)(!^))~*^^S!)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ < 1451027189 345978 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :3, 13, 1113, 3113, 132113, 1113122113, 311311222113, 13211321322113, 1113122113121113222113, 31131122211311123113322113, 132113213221133112132123222113, 11131221131211132221232112111312111213322113, 31131122211311123113321112131221123113111231121123222113, 132113213221133112132123123112111311222112 ...out of time! < 1451027221 362129 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh that starts with 3 < 1451027233 806114 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :^ul (()~^)((((:(((((((((((_)(9))(8))(7))(6))(5))(4))(3))(2))(1))(0)(!^))~*^^S!)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ < 1451027235 181859 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :1, 11, 21, 1211, 111221, 312211, 13112221, 1113213211, 31131211131221, 13211311123113112211, 11131221133112132113212221, 3113112221232112111312211312113211, 1321132132111213122112311311222113111221131221, 11131221131211131231121113112221121321132132211331222113112211, 3113112221131112311311121321123113213 ...out of time! < 1451027239 913068 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :OK, although I am not sure what the "atoms" are, that ought to exist? < 1451027309 661222 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: see https://en.wikipedia.org/wiki/Look-and-say_sequence#Cosmological_Decay < 1451027797 421443 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell quintopia looking at the l&s sequence starting with 1, i'm pretty sure that the 1113122 prefix recurs every 3 steps and will grow to an infinite sequence that does the same. < 1451027797 777045 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451027961 367520 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let ls = concatMap (show . length <> take 1) . group in let p = ls . ls . ls $ "1113122" ++ drop 7 p in p < 1451027963 226846 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "111312211312111322212321121113121112131112132112311321322112111312212321121... < 1451027978 462908 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell quintopia > let ls = concatMap (show . length <> take 1) . group in let p = ls . ls . ls $ "1113122" ++ drop 7 p in p < 1451027978 855338 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451028257 104709 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1451030688 903031 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1451032081 745774 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wtfcdoes ls do < 1451032100 799360 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's look and say < 1451032117 192972 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1451032171 720734 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let ls = show . length <> take 1 <=< group in iterate ls "1" < 1451032173 912980 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ["1","11","21","1211","111221","312211","13112221","1113213211","31131211131... < 1451032181 826980 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :even shorter < 1451032214 256002 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wtf are <=< and <> < 1451032217 512042 :mauris_!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :nice <=< < 1451032229 538819 :mauris_!~mauris@unaffiliated/nooodl PRIVMSG #esoteric ::t (<=<) < 1451032231 220422 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Monad m => (b -> m c) -> (a -> m b) -> a -> m c < 1451032243 173990 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :f <=< g = \x -> g x >>= f < 1451032243 950433 :mauris_!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :it's kleisli arrow composition, or something! < 1451032261 336561 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<> is mappend, which is pointwise on functions < 1451032269 742848 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :My god < 1451032274 818725 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :The fixion explains everything < 1451032288 465718 :mauris_!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@pl (<=<) `asAppliedTo` unsafeCoerce < 1451032288 910940 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(<=<) `asAppliedTo` unsafeCoerce < 1451032290 358490 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah, <=< is like a monadic version of . < 1451032307 666729 :mauris_!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :i thought that was a thing. ;_; < 1451032334 134320 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t asAppliedTo < 1451032335 798691 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(a -> b) -> a -> a -> b < 1451032358 414249 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wait, what < 1451032393 253348 :andrew!~andrew@183.39.114.209 QUIT :Read error: Connection reset by peer < 1451032408 367101 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> asAppliedTo succ 1 2 < 1451032410 187742 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3 < 1451032418 528895 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> asAppliedTo succ undefined 2 < 1451032420 410230 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3 < 1451032429 761389 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's similar to asTypeOf < 1451032452 925833 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it just drops an argument? < 1451032470 997604 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes, but forces the two arguments to be the same type. < 1451032489 763554 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> asAppliedTo succ 0.0 2 < 1451032491 623701 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3.0 < 1451032529 267609 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> asAppliedTo succ 'a' minBound < 1451032531 274098 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : '\SOH' < 1451032531 772607 :andrew!~andrew@61.141.94.190 JOIN :#esoteric < 1451032791 627881 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :basically it's a trick for resolving ambiguous types. these days most use the ScopedTypeVariables extension instead. < 1451033769 374021 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh that's what the fixion is < 1451034313 161616 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION learns about the neutron electric dipole moment
< 1451034545 808114 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :interesting, it's unobserved but the upper bound is five orders of magnitude larger than the boring theoretical prediction. sounds within range in the future... < 1451034627 337796 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(boring because a larger one could help explain matter vs. antimatter) < 1451035427 345204 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"Valery Nesvizhevsky of the Institute Laue-Langevin and colleagues found that cold neutrons moving in a gravitational field do not move smoothly but jump from one height to another, as predicted by quantum theory." < 1451035544 275517 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :A vague half-memory is telling me I was the person who first added asAppliedTo to lambdabot < 1451036640 798427 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1451037078 997102 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 260 seconds < 1451037585 76249 :kragniz!~kragniz@nyaa.kragniz.eu NICK :a_kragmas_tree < 1451039991 940763 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: whoa, sweet < 1451040354 749255 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :coppro: which part? < 1451040391 197783 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the last line < 1451040447 112447 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah, it pretty much says that gravitation _is_ quantum, we just don't know how yet < 1451040491 189622 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :how did they figure that? < 1451040527 243859 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't know, it's from https://en.wikipedia.org/wiki/Ultracold_neutrons#Observation_of_the_gravitational_interactions_of_the_neutron < 1451040611 592683 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there's a reference but it's not linked properly. < 1451040740 95190 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i found it while wikiwalking from today's xkcd. < 1451043858 869270 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1451045233 906918 :heroux!sandroco@gateway/shell/insomnia247/x-ncxibbrwpolsucds JOIN :#esoteric < 1451045462 719757 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 246 seconds < 1451046723 79761 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1451047037 537411 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07RFOL14]]4 10 02http://esolangs.org/w/index.php?diff=45994&oldid=34003 5* 03LegionMammal978 5* (+1) 10/* Explanation (if ever were one needed) */ < 1451047842 424 :andrew!~andrew@61.141.94.190 QUIT :Remote host closed the connection < 1451047969 29456 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 272 seconds < 1451048302 542567 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1451050208 546293 :izabera!~izabera@ec2-52-25-138-238.us-west-2.compute.amazonaws.com QUIT :Changing host < 1451050208 743904 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1451051976 660439 :trn!jhj@trnsz.com PRIVMSG #esoteric :Merry Christmas guys < 1451052621 596549 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :merry christmas < 1451055507 66368 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I wrote this for my uni's CS society: https://twitter.com/HackSoc/status/680315314941366272 < 1451055916 60115 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :^bf ++++++++[>++++++++<-]>[>+>+<<-]>+>++++++++.<.++.-->+++.[->+>+<<]>++++++++++++++.++++++.-------.----->++.<<<.>>. < 1451055916 256861 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :HACKY_XMAS < 1451056287 172914 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I just watched the Queen's Christmas Message for the first time. < 1451056297 719363 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Would it be impolite to say it was just a tiny bit boring? < 1451056440 852302 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's one of those capital-T Traditions < 1451059488 742584 :J_Arcane!~chatzilla@37-219-2-250.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1451059831 198790 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Pig14]]4 10 02http://esolangs.org/w/index.php?diff=45995&oldid=45861 5* 03LegionMammal978 5* (-90) 10/* Interpreter */ < 1451060554 759672 :Sgeo|Hell!18e43ef5@gateway/web/freenode/ip.24.228.62.245 JOIN :#esoteric < 1451060668 165987 :Sgeo|Hell!18e43ef5@gateway/web/freenode/ip.24.228.62.245 PRIVMSG #esoteric :Apartment being renovated. Stuck at dad and step-mom house. I may have frowned at her when I saw her at the airport, she's pissed off. I wasn't expecting to see her, dad had previously said he didn't think she'd wake up early to meet me after I indicated I'd rather avoid seeing her < 1451060710 913601 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1451060713 257033 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :MERRY ESOTERICHRISTMAS! < 1451060742 943255 :Sgeo|Hell!18e43ef5@gateway/web/freenode/ip.24.228.62.245 PRIVMSG #esoteric :Merry coming back to the USA to a nightmare mas < 1451060782 970415 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bohily. merreux juvidad! < 1451060822 67921 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Sgeo|Hell: eep < 1451060943 470537 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sgeo|Hell, next year if you can pretend to be a university student you can come to my parents' instead < 1451061039 630310 :Sgeo|Hell!18e43ef5@gateway/web/freenode/ip.24.228.62.245 PRIVMSG #esoteric :I just want to hear from someone objective I think. And also independence. That would be nice. < 1451061084 118847 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :Sgeo|Hello. how many brimstone pits out of ten would you rate your Hell? < 1451061097 111263 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't know how to be objective about such things < 1451061362 385489 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION has never quite noticed whether Sgeo|Hell's family celebrates christmas or not
< 1451061391 481869 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :s/noticed/got quite clear on/ < 1451061413 482607 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, i'm not sure whether that would make it better or worse. < 1451061529 592379 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: WeeChat 1.3 < 1451061609 754092 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1451061633 102080 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is suddenly reminded of one of his mother's memorable statements, which translates to approximately "You ought to be able to have fun with people you don't like."
< 1451061696 763573 :Sgeo|Hell!18e43ef5@gateway/web/freenode/ip.24.228.62.245 QUIT :Ping timeout: 252 seconds < 1451061738 81381 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :Sgeo pinged out. are they still alive? < 1451061770 532041 :J_Arcane!~chatzilla@37-219-2-250.nat.bb.dnainternet.fi JOIN :#esoteric < 1451061778 379084 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :oerjan: we're going to be celebrating christmas here at my parent's house. I don't know how many people will come, and I'll most certainly not know them all. < 1451062102 385536 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :any crazy aunts or uncles < 1451062224 642118 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1451062294 773616 :Sgeo|Phone!18e43ef5@gateway/web/freenode/ip.24.228.62.245 JOIN :#esoteric < 1451062342 127310 :Sgeo|Phone!18e43ef5@gateway/web/freenode/ip.24.228.62.245 PRIVMSG #esoteric :Family is Jewish, no Christmas celebrations. Also, webchat on phone is annoying, I think phone swaps out web pages frequently, hence my ping out < 1451062385 592629 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 260 seconds < 1451062445 768055 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :oerjan: more like cousins with creative backstories. < 1451062641 812357 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now i want to find that old "jiddishkeit" test i once read... < 1451062746 111228 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think it was back on usenet and i cannot find any trace on it. except i recall there was one question that had question options ranging to "hannukah bush" and "christmas tree" < 1451062794 647861 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*answer options < 1451062822 426416 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION also noticed hannukah was early this year
< 1451062833 651335 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :is it some kind of geek code test? < 1451062848 506333 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :similar, maybe < 1451062900 512605 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Christmas is not just for Christians, although it is where the name comes from. It is a national holiday too. < 1451062940 193269 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: ooh adding geek code i found it http://www.netfunny.com/rhf/jokes/98/Apr/yiddishkeit.html < 1451063016 759733 :Sgeo|Phone!18e43ef5@gateway/web/freenode/ip.24.228.62.245 QUIT :Ping timeout: 252 seconds < 1451063202 458492 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION recalls having a .sig file
< 1451063384 767407 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1451065067 894371 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :TIL there are Yemenite Reconstructionists. < 1451065219 130905 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i was wondering about that one < 1451065350 251962 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :do you have multiples wives and/or husbands and/or fungots? < 1451065350 411337 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: that is good to remove). < 1451065364 129914 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :ok, no fungots. < 1451065364 447928 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: to a max of 3 digits, i think that's actually a meme on a forum about 15 minutes to encounter an error? < 1451065388 144908 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :999 luftfungots ♪ < 1451065388 336494 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: some demos at fnord were just some interesting ideas, but it would work much better then < 1451065675 375321 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-fmrwhlxufhttehnx QUIT :Excess Flood < 1451065716 568856 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-yvowxjlyerjdvoao JOIN :#esoteric < 1451067990 596745 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1451069443 981573 :AlexR42!~textual@145.255.21.176 JOIN :#esoteric < 1451069584 40834 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1451070236 11040 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1451071021 734494 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you still have the .sig file? < 1451071468 746799 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I wanted to run my own NNTP server in order to invent Unusenet; all of the group names must start with "un" and then optionally a number and then a dot, and then the rest is in RDN format. If the number is included, it is used to specify how to find the primary server; if no number is specified then it means the primary server is unspecified. < 1451071770 993149 :deltab!~deltab@cpc2-smal2-0-0-cust22.19-1.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1451071885 571689 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net JOIN :#esoteric < 1451072302 962670 :TieSoul!~TieSoul@86.89.119.147 QUIT :Ping timeout: 260 seconds < 1451072431 539684 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :This is a Un-card suggested by my brother: In A Band With Others {1W} Enchantment - Aura ;; Enchant creature ;; Whenever enchanted creature attacks as part of a band containing additional creatures, its controller must sing a song during the entire duration of the attack. Combat damage is not dealt until song is complete. < 1451072676 886715 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1451072792 800053 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: i have some old .sig files concatenated in .sig.old < 1451072888 259444 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :hezzo38. you have a brother? < 1451072977 236578 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: GENERATIONAL CHICKEN < 1451073556 641127 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@metar KGRR < 1451073557 270909 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KGRR 251953Z 32006KT 10SM FEW028 SCT250 08/M01 A3027 RMK AO2 SLP255 T00781011 < 1451073600 5028 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Remind me what SLP255 means? < 1451073635 967823 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 240 seconds < 1451073698 812994 :trn!jhj@trnsz.com QUIT :Ping timeout: 255 seconds < 1451073703 744551 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1451074126 999910 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes I have brother < 1451075452 304035 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1451075814 578710 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1451075960 320684 :trn!jhj@trnsz.com JOIN :#esoteric < 1451076641 791446 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 255 seconds < 1451077092 670486 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1451077109 783449 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 246 seconds < 1451078354 245014 :Elronnd!elronnd@znc.dank.ninja NICK :net < 1451078364 468274 :net!elronnd@znc.dank.ninja NICK :Elronnd < 1451078709 958585 :infinitymaster!~infinitym@207-118-91-211.dyn.centurytel.net JOIN :#esoteric < 1451079769 794946 :dcentral!~IGLC@40.141.44.46 JOIN :#esoteric < 1451080230 611099 :dcentral!~IGLC@40.141.44.46 QUIT :Ping timeout: 272 seconds < 1451080585 422766 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1451081080 432455 :infinitymaster!~infinitym@207-118-91-211.dyn.centurytel.net QUIT :Remote host closed the connection < 1451081400 276986 :AlexR42!~textual@145.255.21.176 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1451081422 284759 :trn!jhj@trnsz.com QUIT :Quit: quit < 1451081660 376567 :trn!jhj@trnsz.com JOIN :#esoteric < 1451082752 977857 :haavard!freebsd@haavard.me JOIN :#esoteric < 1451084399 986275 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1451085957 903990 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net PRIVMSG #esoteric :tswett: current barometric pressure extrapolated to sea level is 1025.5 hPa < 1451085976 756409 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ah, right. Sea-level pressure. < 1451086701 961057 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :deltab: Are you a bot? That message looked bery botty < 1451086768 850557 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Here's an idea for a language. A full, TC-with-IO-and-shit language. Based entirely on matched brackets (not necessarily all parentheses) < 1451086797 653268 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: ey was answering my question. < 1451086800 490758 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Even better, a full-blown mathematical logic/calculus/whatever < 1451086801 133218 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1451086816 850010 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"What does SLP255 mean?" "It means current barometric pressure extrapolated to sea level is 1025.5 hPa." < 1451086821 234723 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh < 1451086861 866347 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I wasn't logged in until the response, which looked like it was autofetched and formatted into a pre-made message < 1451086887 206643 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: What do you think of the Bracket Logic idea? < 1451086904 178441 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Of course, it'd be declarative < 1451087099 281979 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :There's probably be a preprocessor that lets you generate strings < 1451087191 688582 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well... sounds a lot like Lisp or something. < 1451087206 863123 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But, y'know, without the things other than parentheses. < 1451087277 348349 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Anyway, here's an idea. < 1451087296 39238 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am not sure how, but I've ended up in an argument in another channel about whether Unicode adding emoji is a bad thing or not < 1451087301 536389 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I'm on the "not" side) < 1451087308 142908 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Take the Iota "i" operator. < 1451087325 836420 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: OK. < 1451087336 270204 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :(abc...) means (i a b c ...). < 1451087337 195599 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :
ACTION robs the Museum of Eso and takes the Iota "i" operator
< 1451087355 229467 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I follow < 1451087356 316959 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :For now < 1451087363 929586 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, for example, ((()())(()())(()())) means (i (i i i) (i i i) (i i i)). < 1451087387 395970 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I think I get it < 1451087394 292766 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Yes, I do < 1451087416 300432 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :() -> i; (...) -> (i ...) < 1451087426 751252 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yup. < 1451087429 620175 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Or something along those lines < 1451087444 264748 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :That works, but I was thinking of a more parenthesis-rich language < 1451087472 987330 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Like... more than 100% parentheses? < 1451087477 638820 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(...), [...], {...}, <...>, (*...*), [|...|], etc. etc. etc. < 1451087488 733564 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ah. < 1451087494 142647 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :It could probably be reduced to pure parentheses, but I would avoid that < 1451087506 131908 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And I'd want to try to make it something new, instead of just OISP < 1451087521 489552 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(One Instruction Set Computer+LISP) < 1451087551 176754 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I mean, I guess that's looking for a little much, as I'm not a real mathematician yet xD < 1451087552 849100 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, make it so that () uses the S operator, [] uses the K operator, and {} uses the I operator. < 1451087565 132564 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Not to be confused with the Iota "i" operator. < 1451087585 885544 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: But that's not "new", that's just combinatory logic with a slightly new (and, admittedly, probably better) syntax < 1451087594 7518 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :True. < 1451087634 887606 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(You should write a short paper on []=S, {}=K combinatory logic. See if we can get it adopted into common use.) < 1451087635 669311 :infinitymaster!~infinitym@207-118-91-211.dyn.centurytel.net JOIN :#esoteric < 1451087658 774610 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: My initial thought was to make {}=0, {{}}=1, etc. < 1451087670 178769 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :But then I realized that that's not as much fun as what I /could/ do < 1451087694 348483 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I want to make a highly-extensible logic of some sort based entirely around matched brackets. THAT is my goal. < 1451087706 276650 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :A compound logic/esolang