< 1488067456 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-hqecqgkcystpzyef QUIT : < 1488067605 0 :boily!~alexandre@209.117.93.22 QUIT :Quit: MELTING CHICKEN < 1488067992 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1488068291 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1488068746 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :my touchpad driver has an annoying feature where sometimes if i scroll down a bit (with two fingers) and release, it immediately starts scrolling fast in the opposite direction... is this common? < 1488068880 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i cannot seem to reproduce it on purpose < 1488068884 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you maybe accidentally touching it in another place at the same time? < 1488068896 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It sounds familiar but I don't think I've had that exact issue. < 1488068936 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :could be? i've tried to disable all manner of extra gestures (although the driver keeps removing options, now it no longer allows me to do nothing for 3 fingers) < 1488068970 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you tried installing a different operating system hth < 1488068976 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no hth < 1488068996 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it the Asus < 1488068999 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yep < 1488069003 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1488069010 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. < 1488069023 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also this is in IE, so technically that could have the blame too... < 1488069050 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is the channel topic supposed to be quoting that Adams thing? < 1488069060 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If so, it's doing it very badly. < 1488069083 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION doesn't use any other programs with scrolling, so wouldn't know < 1488069115 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it is. what would be better? < 1488069145 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1488069165 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no TOPIC #esoteric :The channel almost, but not quite, entirely without esolang discussions | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive phở testing, use #esoteric-blah < 1488069175 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess i should have actually looked it up < 1488069218 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION did now < 1488069345 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :incidentally, there's a PPCG question that's a miniature esolang design contest < 1488069353 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've designed an esolang for it but am having problems proving it TC < 1488069366 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is not surprising, as the language is something of a cross between Incident and Malbolge < 1488069399 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you'd think. < 1488069428 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( just use Malbolge Unshackled hth) < 1488069434 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :* ) < 1488069480 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :did y'all prove that other thing I/O-complete yet? < 1488069504 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :someone said it had spread to a discord chat < 1488069520 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :moony, i think < 1488069644 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: if it combines incident's ability to use whichever tokens with malbolge's insistence of having specific character subsets in specific spots, it could get awkward < 1488069656 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what other thing? []+=`? < 1488069660 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1488069682 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, the language is much more elegant than Incident /or/ Malbolge < 1488069711 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1488069722 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also less syntactically complex than either, which is probably good for my sanity < 1488069787 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`which rhino < 1488069792 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/usr/bin/rhino < 1488069953 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rhino -e test < 1488069954 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Invalid option "-e test" \ Usage: java org.mozilla.javascript.tools.shell.Main [options...] [files] \ Valid options are: \ -?, -help Displays help messages. \ -w Enable warnings. \ -version 100|110|120|130|140|150|160|170 \ Set a specific language version. \ -opt [-1|0-9] Set opti < 1488069964 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` rhino -e test < 1488069967 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :js: uncaught JavaScript runtime exception: ReferenceError: "test" is not defined. < 1488069984 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` rhino -e print "Hi" < 1488069986 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :js: Couldn't read source file "Hi: Hi (No such file or directory)". < 1488069997 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` rhino -e 'print "Hi"' < 1488069999 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :js: "", line 1: missing ; before statement \ js: print "Hi" \ js: .........^ < 1488070015 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` rhino -e 'print "Hi";' < 1488070016 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :js: "", line 1: missing ; before statement \ js: print "Hi"; \ js: .........^ < 1488070044 0 :fizzie!?@? PRIVMSG #esoteric :`` rhino -e 'print("Hi");' # it's just a function call < 1488070046 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi < 1488070053 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1488070067 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( did i mention i don't actually know javascript ) < 1488070088 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`mkx rhino-e//rhino -e "$1" < 1488070090 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rhino-e < 1488070118 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rhino-e print(+[]); < 1488070118 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rhino-e: not found < 1488070123 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1488070136 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` mv {,bin/}rhino-e < 1488070139 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1488070142 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rhino-e print(+[]); < 1488070145 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0 < 1488070288 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rhino-e print(+[]==+[]); < 1488070290 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :true < 1488070304 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rhino-e print(+[]==[]); < 1488070306 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :true < 1488070341 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rhino-e print(+[]==[]+[]); < 1488070343 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :true < 1488070355 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION isn't doing this very well < 1488070363 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`rhino-e print([]==[]_ < 1488070364 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`rhino-e print([]==[]) < 1488070365 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :js: "", line 1: missing ) after argument list \ js: print([]==[]_ \ js: ............^ < 1488070366 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :false < 1488070378 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :WHY < 1488070428 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rhino-e print([][+[]]); < 1488070430 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :undefined < 1488070432 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yay < 1488070493 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rhino-e print([][+[]][+[]]); < 1488070495 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :js: uncaught JavaScript runtime exception: TypeError: Cannot read property "0.0" from undefined < 1488070517 0 :fizzie!?@? PRIVMSG #esoteric :`js print("we had this"); < 1488070519 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :we had this < 1488070520 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 260 seconds < 1488070524 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1488070527 0 :fizzie!?@? PRIVMSG #esoteric :`url bin/js < 1488070527 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/js < 1488070552 0 :fizzie!?@? PRIVMSG #esoteric :I was going to move your rhino-e into bin/js for simplicity, but there was one already. < 1488070561 0 :fizzie!?@? PRIVMSG #esoteric :It's a lot more elaborate. < 1488070574 0 :fizzie!?@? PRIVMSG #esoteric :`` which rhino < 1488070575 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/usr/bin/rhino < 1488070585 0 :fizzie!?@? PRIVMSG #esoteric :Can't get an URL to that. :/ < 1488070614 0 :fizzie!?@? PRIVMSG #esoteric :I'm guessing it might look quite similar except without the "-e". < 1488070643 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`file /usr/bin/rhino < 1488070644 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/usr/bin/rhino: POSIX shell script, ASCII text executable < 1488070655 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`1 cat /usr/bin/rhino < 1488070656 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:#!/bin/sh \ \ JAVA_CMD="/usr/bin/java" \ JAVA_OPTS="" \ JAVA_CLASSPATH="/usr/share/java/js.jar:/usr/share/java/jline.jar" \ JAVA_MAIN="org.mozilla.javascript.tools.shell.Main" \ \ ## \ ## Remove bootclasspath overriding for OpenJDK since \ ## it now use a mangled version of Rhino (in sun.org.mozilla.rhino package) \ ## \ ## Referen < 1488070660 0 :fizzie!?@? PRIVMSG #esoteric :Yeah. < 1488070675 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` diff /usr/bin/rhino bin/js < 1488070676 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :8,11c8,10 \ < ## \ < ## Remove bootclasspath overriding for OpenJDK since \ < ## it now use a mangled version of Rhino (in sun.org.mozilla.rhino package) \ < ## \ --- \ > ## Fix for #512498 \ > ## Change Bootclasspath when using OpenJDK because OpenJDK6 \ > ## bundle his own release of Rhino. \ 16c15,19 \ < ## \ --- \ > isOpenJDK=`$JAVA_CMD -versi < 1488070705 0 :fizzie!?@? PRIVMSG #esoteric :Probably a different version. < 1488070730 0 :fizzie!?@? PRIVMSG #esoteric :sled bin/js//s,\$@,$*, < 1488070736 0 :fizzie!?@? PRIVMSG #esoteric :`sled bin/js//s,\$@,$*, < 1488070738 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/js//#!/bin/sh \ \ JAVA_CMD="/usr/bin/java" \ JAVA_OPTS="" \ JAVA_CLASSPATH="/usr/share/java/js.jar:/usr/share/java/jline.jar" \ JAVA_MAIN="org.mozilla.javascript.tools.shell.Main" \ \ ## Fix for #512498 \ ## Change Bootclasspath when using OpenJDK because OpenJDK6 \ ## bundle his own release of Rhino. \ ## References: \ ## nub $ sort "the quick-footed shadowboxing oerjan jumps over the lazy log" < 1488128048 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( almost surfing at the speed of light! ) < 1488128050 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : " -abcdefghijklmnopqrstuvwxyz" < 1488128094 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm thought you'd missed the r but there's another one. < 1488128109 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :two < 1488128115 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1488128151 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :okay, another one, if you look at what's left of the original < 1488128207 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah, right, that's TOTALLY what i did, um. < 1488128332 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: have you looked at "girls love robots"? < 1488128427 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( "my boyfriend is so metal" ) < 1488128487 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :girls love robots and pizza and hate nerds; however they don't mind being near nerds if they have pizza. < 1488128507 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm not sure what kind of message this game is supposed to convey, but the puzzles are kind of fun. < 1488128536 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(though very repetetive, but there are a few cute twists) < 1488128600 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*repeteteve < 1488128629 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`grwp repe[^ ]*ve < 1488128632 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: have not < 1488128641 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :repetive:A repetive action is one that tries to repeat something, but fails miserably. < 1488128791 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: when you said you did some nonobvious puzzles, did you mean that the solutions were nonobvious or that the puzzles themselves were nonobvious twh < 1488129174 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: the former. one case where I had trouble finding the right rule because the training example I encountered at first were too simple. < 1488129198 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which type? < 1488129201 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and maybe two cases where the environment played into the puzzle in a surprising way < 1488129235 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which cases twh < 1488129248 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :would it < 1488129258 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :what game is this? < 1488129267 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The Witness < 1488129269 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the poochness < 1488129281 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It might? < 1488129345 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1488130587 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :The spec of the language I'm writing contains the following text: 'Please note that if `A` is a Character variable containing `"7"` and `B` is a Character variable containing `"0"` and `C` is a String variable containing `"0"`, that `A - B` yields a Character containing BEL (the Bell Character), but that `A - C` yields a String `"55"` (55 being the ASCII value of 7).' < 1488130602 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :It's a little weird... < 1488130652 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :why... < 1488130677 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh, char vs string < 1488130706 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :It makes sense when you think really hard about it, but not much to the average user... < 1488130740 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :Note that if both "7" and "0" are strings, the result is "7" (a string). < 1488130904 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :At least it's not a BrainFuck clone... < 1488131054 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"At least it's not a BrainFuck clone" may be a little weird, but at At least it's not a BrainFuck clone. < 1488131060 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1488131064 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :stupid paste < 1488131452 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :? < 1488131462 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the extra At < 1488131468 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :oh < 1488131555 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :Incidentally, this function I've been working on for about a week is now 4000 lines long and counting... I probably should have broken it up more. < 1488131594 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :break it up now < 1488131667 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :Too late < 1488131693 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :And it's not even finished, though I may be half-way through now... < 1488132526 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :You mention "The Witness" game but do you know "The Wit.nes" game? < 1488133349 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`quote < 1488133350 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :614) * oerjan concludes that unsafeCoerce has no effect on strictness < 1488133396 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :why would it, beyond possibly confusing the strictness analysis... < 1488133459 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if you converted a lazy field to a strict one, perhaps. i don't remember what i was testing. < 1488133472 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(or the other way) < 1488133499 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm how does unsafeCoerce work with the new levity stuff... < 1488133555 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@quote kind-preserving < 1488133556 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :int-e says: What, unsafeCoerce# is kind-preserving? how boring :/ < 1488133567 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( is that still true? ) < 1488134040 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`scheme < 1488134041 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Which of You Burns Brightest? < 1488134043 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :mwhahahaha < 1488134098 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t GHC.Prim.unsafeCoerce# < 1488134100 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :a -> b < 1488134111 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i got something else in ghci < 1488134123 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unsafeCoerce# :: < 1488134123 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : forall (q :: GHC.Types.RuntimeRep) (r :: GHC.Types.RuntimeRep) (a :: TYPE < 1488134123 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : q) (b :: TYPE r). < 1488134126 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : a -> b < 1488134145 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which looks like it _doesn't_ require the same kind < 1488134154 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(8.0.1) < 1488134245 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: so, apparently no. < 1488134373 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Prelude GHC.Prim> unsafeCoerce# (1# :: Int#) :: Int < 1488134373 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Segmentation fault/access violation in generated code < 1488134436 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote unsafeCoerce# < 1488134436 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ghc says: Dangerous-looking argument. Probable cause: bad unsafeCoerce# < 1488134444 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I meant the one above. < 1488134468 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :WAY AHEAD OF YOU < 1488135871 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :GHC has a -XUnicodeSyntax extension, but I think should also have -XAntiUnicodeSyntax extension which allow you to import modules that have names containing non-ASCII characters without needing any non-ASCII characters in your own file. < 1488135902 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :(You can combine these extensions, although there wouldn't be much point in doing so.) < 1488135931 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the Haskell standard is Unicode-based, deal with it. < 1488136174 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :JavaScript allow you to avoid needing non-ASCII character in your file even if importing something that does use non-ASCII character in their identifiers, by using \u in the names. The same syntax would not be suitable for Haskell so a new kind should be needed < 1488136206 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you can probably do it with template haskell < 1488136234 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :e.g. quasiquotes < 1488136474 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1488136533 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Yes, I suppose so. That would be a way to do it without a new extension < 1488137243 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1488137258 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1488139384 0 :augur!~augur@2601:645:8300:2b03:edee:db5e:f6eb:f85 JOIN :#esoteric < 1488140113 0 :augur!~augur@2601:645:8300:2b03:edee:db5e:f6eb:f85 QUIT :Remote host closed the connection < 1488142354 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1488143481 0 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1488143664 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1488144050 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1488144679 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1488144903 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1488145341 0 :atrapado_!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1488145514 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 255 seconds < 1488147606 0 :yorick_!?@? NICK :yorick < 1488148197 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Another thing is that although JavaScript has this "anti-Unicode" syntax it is not needed so much as Haskell would be, due to how JavaScript is working. < 1488148478 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :true < 1488148597 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :because of that proof that shows you can write any javascript with like just six different characters or something < 1488148637 0 :AnotherTest!~turingcom@ptr-82l26zeffhcgn3dcu7g.18120a2.ip6.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1488148838 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Yes, although it isn't really what I quite meant anyways; I meant having to do with how objects in JavaScript, you will have all of the functions imported from another module probably as properties on some object, so you can use the [ ] syntax to access instead of . syntax so it can be a string literal or a string constant name (declared by "const" at the top of your program for example) < 1488148928 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :zzo38: yes, that's basically what that ()[] javascript thingy does < 1488149374 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :five, according to ais523 http://codegolf.stackexchange.com/a/111002 < 1488149456 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :it's a TC subset though < 1488149769 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1488150057 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Jafet: probably six for what zzo38 wants, but that's very interesting, I haven't seen it yet < 1488150093 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1488150605 0 :sebbu2!?@? NICK :sebbu < 1488150843 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1488151187 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1488151211 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 264 seconds < 1488151241 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-apaizrmvxdfeezyc QUIT :Excess Flood < 1488151289 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-neuhjgabhefxpluu JOIN :#esoteric < 1488151377 0 :tromp__!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1488151377 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1488151783 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 268 seconds < 1488152019 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1488152156 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1488152465 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1488153591 0 :krok_!~krok@static-50-53-174-215.bvtn.or.frontiernet.net JOIN :#esoteric