< 1580860820 612544 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :the second one iterates on the characters, where X goes from 0.5 to -2.0 in steps of 0.1 > 1580860845 85877 PRIVMSG #esoteric :14[[07Talk:LSCEF14]]4 10 02https://esolangs.org/w/index.php?diff=69603&oldid=69575 5* 03IFcoltransG 5* (+630) 10/* ? */ < 1580860858 485366 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :then there's a loop of only two steps, to get two pixels in one character of the output, that's the (P Y)(P(Y+ 0.1)) part < 1580860873 567917 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :and those two outputs are turned to one character with the lookup table [0 0->" "|0 1->"."|1 0->"'"|1 1->":"] < 1580860894 999527 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I'll save your explanation to a text file and think about it tomorrow. < 1580860931 896513 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :and there's the inner loop, in which X and Y are constant, representing a complex number (X,Y), and we iterate for 11 steps, S is the step counter, and (U,V) is the complex number that changes < 1580860945 510272 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :in each step, I square the complex number and add (X,Y) to it, which is the normal Mandelbrot loop < 1580861000 57616 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :at the end of the inner loop, I extract a result from the final value of (U,V) with [true->1|_->0]((abs U)+(abs V)<2.0) < 1580861014 766980 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that result is 1 if the point is in the Mandelbrot set, or 0 if it isn't < 1580861030 290728 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :I use 0 and 1 instead of true and false only to make the lookup table shorter to write < 1580861048 925730 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :the second loop also concatenates the result characters < 1580861059 666851 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :and the string that we get for that line is printed with the say function < 1580861064 227159 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that's about all there is to it < 1580861093 93153 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :to choose the grid of X and Y samples, I stole the numbers from the J snippets < 1580861401 380884 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, I am putting it into the examples dir. < 1580861411 376701 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :B. Jonas fine as a reference? < 1580861441 453930 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :no, that's a messed up username that I ended up with after migration from the older wiki. please use b_jonas instead. < 1580861467 905836 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :the older wiki was of a sort that wanted CamelCase pagenames, then those got converted to Camel Case < 1580861485 73973 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :when they copied the content to a mediawiki < 1580861517 610775 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Excellent. < 1580861588 689642 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You want a link to a page you have. Only thing I got now is "b_jonas (freenode)". Not really descriptive. < 1580861597 310071 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Unless you prefer anonymity. < 1580861663 412058 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Okay, I am going with what I have now. < 1580861765 690431 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :https://github.com/egel-lang/egel/blob/master/examples/mandelbrot.eg < 1580862611 257671 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1580862770 929444 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1580862779 549059 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1580862835 297260 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru PRIVMSG #esoteric :the mandelbrot was really cool < 1580863005 563806 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric < 1580863188 869327 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :agree, watching the live coding / language investigation unfold in the logs, the quine, and ending with the neat fractal code was very entertaining! < 1580864001 445898 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru QUIT :Ping timeout: 268 seconds < 1580864234 664660 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :@metar nzwn < 1580864236 270922 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :NZWN 050030Z AUTO 17011KT 9999 FEW019/// SCT026/// 17/11 Q1016 NOSIG < 1580864491 706161 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :Someone mentioned around NYE that there was no one from New Zealand in the channel. I was away from keyboards at that time so couldn't provide advance reports from 2020, but that's where I'm based. < 1580864551 120481 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :Awkward timezone explains why I tend to miss the interesting chats. < 1580864573 955075 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :@fungot what's new? < 1580864574 190466 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :salpynx: what's a python editor? < 1580864574 358206 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1580864638 998292 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :@fungot A person who edits other people's python? I did some of that today. < 1580864639 254072 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1580864639 300004 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :salpynx: what could be an omgrofl command i guess) < 1580864747 413647 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :That's a common reaction. < 1580864809 859483 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :@list < 1580864810 135915 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :What module? Try @listmodules for some ideas. < 1580864859 565350 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :lambdabot: fungot is more ... fun to talk to, sorry. < 1580864859 968212 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :salpynx: an unspecified value." is the term " reference nets" in petri nets, and petri couldn't give a better answer, but in parts slightly outdated or implementation specific? < 1580865512 725358 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1580867254 865721 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :Now I made loading PK fonts and it can render individual glyphs (typesetting paragraphs is not yet implemented). < 1580867330 521052 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :For typesetting text, will need to support ligatures, kerning, accented characters, multi-layer characters, paragraph line breaking, and what else should be needed? I may have missed some, although there is probably some things which is not needed. < 1580868761 484275 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :RTL / LTR text? < 1580869459 683485 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1580869956 943897 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :I think in TeXnicard, there isn't a need to mix different text directions in the same paragraph (I also think even when used in other documents, it doesn't work so well, either). But still I should think it would be good to support different text directions, even if only one text direction per paragraph. < 1580870924 866078 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :Since it is specifically for typesetting text on a card (e.g. Magic: the Gathering), that may tell what features are more important to want. < 1580871371 386536 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :Also, due to having custom separations, if you want to render a page with custom separations into RGBA, there will need to be some way to define how to convert it. (There will also need to be the way to transmit the separations individually (in CMYK mode), when you want to print out the custom separations on a printer that supports separations.) < 1580871752 707814 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :Due to limitations in the Ghostscript display device, the maximum number of custom separations is four (these four are in addition to the CMYK process colours, so there are eight separations in total). Do you expect this to be sufficient? You should tell me if you think you will need more separations for some reason, and if you know what reason. < 1580872671 146356 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :where is the latest TeXnicard source? I found repo.or.cz but that is 7 years old. Interested because I am currently working on a number of esolang things involving .svg graphics, and have been using TeX for another, but mainly for maths typesetting. < 1580872722 360136 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :salpynx: It is available at the following Fossil repository: http://zzo38computer.org/fossil/texnicard.ui < 1580872806 113542 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :TeX is good for typesetting many kind of books whether or not you are using much mathematics. For doing vector graphics, PostScript works better; however, SVG is not an available output format in Ghostscript. < 1580872825 989421 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :TeX doesn't seem to be able to do arbitrary, nested, text scaling (which makes sense because that's not a practical typsetting problem), so svg seemed better for some of the things I was trying to do, but there might be something I could learn from. < 1580872925 157940 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :TeX is able to specify the scaling of fonts. For other effects, you can modify the METAFONT code for the fonts. < 1580873015 259117 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :What exactly are you trying to do anyways? < 1580873257 155829 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :Maybe then, we can see what to do about it. < 1580873332 11762 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :The scaling problem was to for a 2D text substitution to replace say one character with a block of typeset text at a scaled to occupy the area of the original character, theoretically recursive to any level < 1580873502 288640 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :O, OK. It should be possible to do that with TeX, I think (as long as the aspect ratio of the glyphs is maintained), although such a thing probably isn't going to work so well. TeX doesn't support arbitrary precision, but neither does PostScript, and I don't know if SVG does or not. < 1580873544 789383 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :each of these text areas would have a position in its parent reference, but would itself potentially be a 'page' with its own layout. Effectively every symbol would be a character AND (potentially) a page < 1580873685 934379 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :svg seems to be able to do arbitrary level nesting or scaling, which is why it seemed a better choice for extreme scaling. < 1580873687 378766 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :TeX supports adding "specials" which you could use to represent whatever you want it to represent, such as links to other pages. PostScript doesn't, although I thought that they should add specials into level 4 PostScript, since it might be of use for some applications. < 1580873779 830374 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :For the 2D replacement, something like TeX would be nicer for the concept, even if there is a limit to the nesting level I'd try to use it. < 1580873857 88072 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :As I said, you could define a special for that purpose, and then use a specialized DVI viewer to use the page links to use arbitrary nesting/scaling. < 1580873913 451837 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1580874119 227608 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1580874131 311218 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :One of the things I've not fully completed or written up properly uses svgs with user defined units in Planck lengths to represent the source code. I haven't found a render that displays the objects properly with visible lines, but all the control points are in the correct places, and are converted to cm correctly. They validate as compliant svg. < 1580874176 588818 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1580874313 928235 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :(And anyways, TeXnicard only produces raster output anyways, so is not suitable for what you are describing. But if you want to make up cards for games such as Magic: the Gathering or a card game you invent by yourself, and/or if you want to make the database of the cards too (and will want statistics and so on), and/or if you have used Magic Set Editor but want something better, then you should consider TeXnicard.) < 1580874428 106185 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :I thought maybe the dc syntax would let arbitrary shapes and symbols be drawn on the cards (which is similar to another thing I was playing with), but from reading the docs, that looks like that has been completely replaced in the latest version < 1580874562 980417 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :You can still do that using PostScript, which is still stack based programming. But neither version allows nesting to arbitrary levels. < 1580874632 218324 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :(TeXnicard now uses a combination of PostScript and SQL, and also has something called EVALUATE code for some things (currently only gradients for pictures, but in future may do other stuff too).) < 1580874769 123098 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :thanks for the 'special' tip I'll look into that. That looks like a way to get some basic output support using TeX, but still allowing for 'invisible' content to be present < 1580874803 403140 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :Do you know any PostScript programming? PostScript can draw arbitrary shapes/symbols on the cards better than the old dc syntax could, although there are also many additional features specific to TeXnicard (such as PK font rendering, alpha transparency, etc). All PostScript commands which can draw graphics on the page still work. < 1580874856 896523 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-iyzuusfcfcpnxmqm PRIVMSG #esoteric :Hey, anyone familiar with combinatorial game theory? < 1580874862 284841 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :I'm not a Magic: the Gathering fan, but I like the idea of custom card games, and games in general < 1580874922 215944 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-iyzuusfcfcpnxmqm PRIVMSG #esoteric :I'm wondering about a thing. Consider the game G = { Z | Z } — that is, either player may move to any integer. < 1580874931 814265 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-iyzuusfcfcpnxmqm PRIVMSG #esoteric :Is G + G + 1 = 0? < 1580874976 997630 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-iyzuusfcfcpnxmqm PRIVMSG #esoteric :Oh, I figured out the answer to my question in the process of typing it. The answer is no, it's equal to 1 and not 0. < 1580874982 585853 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :salpynx: Well, TeXnicard isn't only for Magic: the Gathering. However, it is meant for card games (maybe someone can find a use for something else too, but I do not know of any). < 1580874986 848286 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :No PostScript experience. I've only recently been teaching myself how to use LaTeX/TeX, which I like the idea of. PostScript doesn't excite me in the same way < 1580875020 543220 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :tswett[m]: glad we could help! < 1580875039 191072 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-iyzuusfcfcpnxmqm PRIVMSG #esoteric :Thanks. :D < 1580875102 288689 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :tswett[m]: I have read about surreal numbers and how it is work with the game theory. By the rule of addition, I suppose, can figure out the answer of such question. < 1580875171 743122 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-iyzuusfcfcpnxmqm PRIVMSG #esoteric :There's a simple proof that it can't be 0: if G + G + 1 were 0, that would mean that G + G = -1, but G + G is symmetrical about 0, so it can't be -1. < 1580875200 125988 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-iyzuusfcfcpnxmqm PRIVMSG #esoteric :I think that in fact, G + G = 0 and so G + G + 1 = 1. < 1580877036 544787 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :If a keyword action is added in Magic: the Gathering which applies to an object or player but successfully does nothing to that object or player (although things can trigger on it), what would such a keyword action be called? < 1580879383 705400 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1580879850 751319 :Cale!~cale@2607:fea8:9960:35:dd82:b9da:88dc:e5aa QUIT :Remote host closed the connection < 1580879889 333945 :Cale!~cale@2607:fea8:9960:35:fd87:f0b6:916d:4604 JOIN :#esoteric < 1580881735 328174 :Cale!~cale@2607:fea8:9960:35:fd87:f0b6:916d:4604 QUIT :Remote host closed the connection < 1580881770 920318 :Cale!~cale@2607:fea8:9960:35:fd87:f0b6:916d:4604 JOIN :#esoteric < 1580881991 40842 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :zzo38: I just made some progress with \parboxes inside \scaleboxes (from the graphicx package) to get nested scaled text which gives me the basic output I need. I've tried 3 levels of nesting and it seems to work like I wanted. < 1580882031 283162 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :Not sure how well this shares, but https://latexbase.com/d/af902ebe-99ac-411b-8d02-a8a4c4be4d9f is an example < 1580883969 127398 :xkapastel!uid17782@gateway/web/irccloud.com/x-tgvkvnlzbkumaaxp JOIN :#esoteric < 1580883997 14624 :Cale!~cale@2607:fea8:9960:35:fd87:f0b6:916d:4604 QUIT :Remote host closed the connection < 1580884314 392108 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1580884318 408083 :Cale!~cale@2607:fea8:9960:35:a5cb:d93f:c3f1:5acc JOIN :#esoteric < 1580884368 323909 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 245 seconds < 1580884378 392231 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Ping timeout: 258 seconds < 1580884433 169685 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Ping timeout: 265 seconds < 1580884439 930591 :wlp1s1!iczero@hellomouse/dev/iczero QUIT :Ping timeout: 246 seconds < 1580884536 437014 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1580884676 253195 :Cale!~cale@2607:fea8:9960:35:a5cb:d93f:c3f1:5acc QUIT :Remote host closed the connection < 1580885431 283594 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1580885524 468648 :wlp1s1!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1580885542 786425 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric < 1580885552 667884 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1580885664 753043 :wlp1s1!iczero@hellomouse/dev/iczero NICK :iczero < 1580888839 844409 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1580891553 782201 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1580891757 77021 :xkapastel!uid17782@gateway/web/irccloud.com/x-tgvkvnlzbkumaaxp QUIT :Quit: Connection closed for inactivity < 1580893281 139779 :xkapastel!uid17782@gateway/web/irccloud.com/x-uqymhjqenxxvdpnl JOIN :#esoteric < 1580894612 353622 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :zzo38: does "target" count? < 1580894629 145933 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :if not, how about "choose a" < 1580894695 424724 :Cale!~cale@2607:fea8:9960:35:a5cb:d93f:c3f1:5acc JOIN :#esoteric < 1580897879 783697 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu QUIT :Quit: leaving < 1580898633 455799 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 268 seconds < 1580898658 857600 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580901424 965276 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Write error: Connection reset by peer < 1580901495 468377 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1580901509 285557 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1580901578 58876 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: question. how do you define a function in egel that is sometimes unevaluated depending on its arguments, but where I can't easily write the condition when it's evaluated as a pattern? < 1580901609 604648 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: for example, I want to define a function f so that if X is an even integer then (f X) evaluates to (X/2) but if X is an odd integer then (f X) remains unevaluated? < 1580901797 256060 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [F -> (F String:length, F List:length)][F -> (F 7, F "7", F {7})] < 1580901797 647074 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple (System:tuple (String:length 7) 1 (String:length (System:cons 7 System:nil))) (System:tuple (List:length 7) (List:length "7") 1)) < 1580901869 588180 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Excess Flood < 1580901901 629859 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1580901943 905570 :salpynx!794954f8@121.73.84.248 QUIT :Remote host closed the connection < 1580902001 627900 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :egel is horrible to search for if you are german because google will give you pages about the length of leeches < 1580902535 682380 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [D -> (D (String:length "7"), D (String:length {7}), D (List:length "7"), D (List:length {7}))][(String:length _) -> "SL" | (List:length _) -> "LL" | (_ _) -> "A1" | V -> ("O", V)] < 1580902536 14145 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple (System:tuple "O" 1) "SL" "LL" (System:tuple "O" 1)) < 1580902561 782599 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: (7/2, 10/3, (-10)/3) < 1580902562 278865 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 3 3 -3) < 1580902623 927388 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [_ -> ] 0 < 1580902624 538852 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:8:syntactical:primary expression expected < 1580903058 476192 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :wib_jonas: You can't. < 1580903174 223725 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It either rewrites a pattern, or not. I guess it could if I introduced guards but that turned out to be non-trivial. < 1580903196 954980 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :For more or less exactly that reason, I estimate. < 1580903225 941416 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It needs to inspect something and then return on failure, that's non-trivial to implement. < 1580903279 198546 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok, so even though builtin functions can do this, egel functions can't. if they want to return unevaluated, they should return some other unevaluated data. < 1580903289 659534 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: throw < 1580903290 77565 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:7:syntactical:primary expression expected < 1580903292 997868 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: throw 1 < 1580903293 321187 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :exception(1) < 1580903330 747150 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: try 1 + throw "hi" catch [ X -> say X ] < 1580903330 899593 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :hi < 1580903346 99195 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :^syntax for try/catch and throw. < 1580903406 359926 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: is there a nice way to test if a value is an integer (a float, a character, a string), or do I have to rely on things like whether String:length X is unevaluated like I tried above? < 1580903421 253557 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :also, is there a nice way to test if something is an application, if I don't know the arity? < 1580903428 301619 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :like a =.. function < 1580903453 203638 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The former I need to check, the latter, no. I could introduce combinators for that, though. < 1580903488 170966 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ X:int -> "yes" ] 1 < 1580903488 512079 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:semantical:undeclared int < 1580903498 395358 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm, did I remove that? < 1580903518 836839 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :there was some builtin called int < 1580903521 646146 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: int < 1580903521 997338 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:int < 1580903536 785461 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [ int X -> "i" | "n" ] 2 < 1580903537 197787 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:23:syntactical:-> expected < 1580903545 526113 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [ int _ -> "i" | _ -> "n" ] 2 < 1580903546 32060 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"n" < 1580903551 591855 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [ int _ _ -> "i" | _ -> "n" ] 2 < 1580903552 158989 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"n" < 1580903556 532120 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [ int -> "i" | _ -> "n" ] 2 < 1580903557 116001 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"n" < 1580903717 896802 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ X::int -> "yes" ] 1 < 1580903718 202331 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"yes" < 1580903746 496044 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Needed to check in the source. For some reason I changed it to a double colon. < 1580903801 516305 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ X::int -> "an int" | X::float -> "a float" ] 1.0 < 1580903801 748192 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"a float" < 1580903863 684290 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Allowing for an application is a good idea, btw. I'll see whether I can add that. < 1580903887 590622 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :
ACTION scribbles in his notes.
< 1580903914 57950 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :*testing on application. < 1580904545 573377 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, I'll add checks like [g::app -> .. | f::comb -> ..] and some extra introspection combinators. < 1580904591 361619 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [T -> (T true, T {}, T {1}, T nop, T 7, T 7.0, T 'a', T "a", T (2 3))] [true->"b", false->"b", _::int->"i", _::float->"f", _::char->"c", _::string->"s", _->"o"] < 1580904591 843258 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:83:syntactical:] expected < 1580904619 3035 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [T -> (T true, T {}, T {1}, T nop, T 7, T 7.0, T 'a', T "a", T (2 3))] [true->"b"| false->"b"| _::int->"i"| _::float->"f"| _::char->"c"| _::string->"s"| _->"o"] < 1580904619 671700 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:142:semantical:undeclared string < 1580904625 805155 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [T -> (T true, T {}, T {1}, T nop, T 7, T 7.0, T 'a', T "a", T (2 3))] [true->"b"| false->"b"| _::int->"i"| _::float->"f"| _::char->"c"| _::str->"s"| _->"o"] < 1580904626 318629 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:142:semantical:undeclared str < 1580904633 554746 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [T -> (T true, T {}, T {1}, T nop, T 7, T 7.0, T 'a', T "a", T (2 3))] [true->"b"| false->"b"| _::int->"i"| _::float->"f"| _::char->"c"| _->"o"] < 1580904634 238583 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple "b" "o" "o" "o" "i" "f" "c" "o" "i") < 1580904659 522417 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: what was the typename for strings? < 1580904674 564312 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: {1|2} < 1580904674 968775 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:syntactical:} expected < 1580904688 709853 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :no improper list input syntax :-) < 1580904912 191849 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :text? < 1580904929 582833 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ X::text -> "text" ] "hello" < 1580904929 755809 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"text" < 1580904956 223815 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ X::text -> "text" | X::char -> "char" ] 'a' < 1580904956 540507 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"char" < 1580904961 835213 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1580904971 354657 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [T -> (T true, T {}, T {1}, T nop, T 7, T 7.0, T 'a', T "a", T (2 3))] [true->"b"| false->"b"| _::int->"i"| _::float->"f"| _::char->"c"| _::text->"s"| (cons _ _)->"l"| (nil _)->"l"| _->"o"] < 1580904971 877347 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple "b" "o" "l" "o" "i" "f" "c" "s" "i") < 1580904985 189460 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: {} < 1580904985 711174 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:nil < 1580904990 415838 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [T -> (T true, T {}, T {1}, T nop, T 7, T 7.0, T 'a', T "a", T (2 3))] [true->"b"| false->"b"| _::int->"i"| _::float->"f"| _::char->"c"| _::text->"s"| (cons _ _)->"l"| nil->"l"| _->"o"] < 1580904991 10251 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple "b" "l" "l" "o" "i" "f" "c" "s" "i") < 1580905005 852577 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :wait < 1580905021 935001 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [X::int -> ("i", X)] (2 3) < 1580905022 441515 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple "i" (2 3)) < 1580905036 226556 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [X::tuple -> ("t", X)] (2,3) < 1580905036 716293 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple "t" (System:tuple 2 3)) < 1580905042 306253 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ooh < 1580905052 714912 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [X::tuple -> ("t", X)] (2,3,4,5) < 1580905053 317898 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple "t" (System:tuple 2 3 4 5)) < 1580905062 725042 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so this lets you recognize the head? < 1580905068 61846 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [X::tuple -> ("t", X)] tuple < 1580905068 176884 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, god. RIght. < 1580905068 639714 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple "t" System:tuple) < 1580905077 571855 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [X::tuple -> ("t", X)] {} < 1580905077 728194 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I forgot what it does that. < 1580905078 167766 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy48DOT0 System:nil) < 1580905081 471492 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [X::tuple -> ("t", X)] 0 < 1580905081 853122 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy49DOT0 0) < 1580905092 847484 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [X::int -> ("t", X)] (int "foo") < 1580905093 323052 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple "t" (System:int "foo")) < 1580905098 984179 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: (int "foo") < 1580905099 187695 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Need to think it over whether I can change it then. Should be possible. < 1580905099 669120 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:int "foo") < 1580905111 988748 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Unsure why I made that decision. < 1580905120 302268 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :recognizing the head can be useful. it's halfway to a =.. introspection that breaks down any application < 1580905131 96298 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :lets you recognize arbitrary tuples and all that < 1580905161 607961 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [A@(B,C) -> (A,B,C)] (3,0) < 1580905162 143952 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:syntactical:-> expected < 1580905167 241036 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :(had to try that) < 1580905170 254385 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I think it's because I am worried about unary tuples like (1). < 1580905199 698180 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :So, I programmed defensively to just return the type of the head. < 1580905257 538470 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I don't know whether unary tuples are ever introduced. I don't think so, but that would need testing. < 1580905293 691235 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: (1,) # the parser doesn't recognize them, < 1580905293 997313 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:syntactical:primary expression expected < 1580905303 870363 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: tuple 1 # but you can make them explicitly < 1580905304 207654 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 1) < 1580905317 119667 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I don't see what that has to do with this though < 1580905323 196592 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, right. Sorry, not tuples. Compositions. < 1580905342 354619 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Or arrays, internally. < 1580905348 496267 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: (1 2) < 1580905348 648083 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(1 2) < 1580905354 434446 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Stuff like that. < 1580905361 972018 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: (1) < 1580905362 162916 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580905385 186392 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, there's something I didn't have time to think a lot about. What to do with (1)? < 1580905401 162366 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :(1) is just 1 < 1580905403 514565 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Is it a unary composition/array, or just a constant? < 1580905426 369581 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's not a composition < 1580905430 312095 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's just a different way to write 1 < 1580905434 636920 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, but I have to absolutely certain it never introduces a unary composition in the runtime. < 1580905440 406927 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :*to be < 1580905455 848982 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you may have unary compositions, but (1) isn't one < 1580905481 355987 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :So, I programmed defensively around it, and just hoped that would turn out fine. < 1580905510 839579 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :There are examples in the implementation (bytecode operators) I wasn't very certain. < 1580905512 359388 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [_::1->"o"] 1 < 1580905512 907904 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:6:syntactical:lowercase expected < 1580905522 832165 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [_::(1)->"o"] 1 < 1580905523 467026 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:6:syntactical:lowercase expected < 1580905542 390482 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [_::_->"o"] 1 < 1580905543 113962 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:6:semantical:undeclared _ < 1580905565 130286 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [_::tuple->"t"] tuple < 1580905565 714014 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"t" < 1580905572 89752 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [_::tuple->"t"] (2,0) < 1580905572 672103 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"t" < 1580905580 629184 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [_::tuple->"t"] {tuple,2} < 1580905581 45947 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy58DOT0 (System:cons System:tuple (System:cons 2 System:nil))) < 1580905628 591002 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ _::cons -> "cons" ] {1,2} < 1580905628 746666 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"cons" < 1580905895 409961 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds < 1580905905 940303 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1580905986 958474 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1580907382 548585 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, if (1 2 3) and (1 2) are compositions then why not (1)? < 1580907415 420885 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :This is a case where the written syntax forces one to disambiguate. < 1580907419 800221 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: because this is a curried language, ((x y) z) is the same as (x y z) < 1580907460 797695 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Unfortunately, for the runtime model, that would mean checking loads of invariants to make sure a unary composition is never introduced. < 1580907511 508381 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you can introduce unary composition if you want, it's just that (1) shouldn't be one, because you want to use parenthesis to override precedence < 1580907554 344952 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Sure, but the point is that (1) shows you where the runtime model might disagree. Unary composition exists. < 1580907571 486506 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I.e., your syntax and ast might differ. < 1580907591 7906 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 1 (2 3) < 1580907591 233867 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :If the syntax would be unambiguous, I wouldn't have a problem. < 1580907591 693924 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(1 (2 3)) < 1580907612 814931 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Be back in an hour, shopping. < 1580907646 380436 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you can add custom syntax if you want to print or input unary compositions. the easiest is to add a custom builtin function for it, so (unary 1) is a unary composition, and ((unary 1 2) 3) is a binary composition (as opposed to ((1 2) 3) which is ternary) < 1580907818 585822 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so eg. [X Y->(X,Y)] ((unary 1 2) 3) would return ((1,2), 3) whereas [X Y->(X,Y)] (1 2 3) is unevaluated < 1580907826 652925 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :no wait < 1580907836 401074 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :[(X Y)->(X,Y)] ((unary 1 2) 3) would return ((1,2), 3) whereas [(X Y)->(X,Y)] (1 2 3) is unevaluated < 1580907900 469871 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and [(unary X) -> (0,X)] (unary 7) would return (0,7), but [(unary X) -> (0,X)] 7 is unevaluated, and so is [(unary X) -> (0,X)] (6 7) < 1580907935 534485 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :only you represent it in memory as a function composition with one element, and add custom input and ouput syntax, just like how you have custom input syntax for tuples and lists, and should have custom output syntax for tuples and lists < 1580907957 207845 :xkapastel!uid17782@gateway/web/irccloud.com/x-uqymhjqenxxvdpnl QUIT :Quit: Connection closed for inactivity < 1580908132 667899 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru JOIN :#esoteric < 1580908570 290264 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: can you install the libicu-dev package so that I can try to build this egel interpreter https://github.com/egel-lang/egel/archive/master.zip on HackEso? < 1580910794 860390 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1580911834 780267 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Back. < 1580911865 434430 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I don't think it's worth it. It's just a thing which pops up because Egel is untyped and the syntax is ambiguous. < 1580912006 853202 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1580912781 951244 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fungot, please turn down the sun a bit < 1580912782 309759 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: this is perhaps not abrupt enough. jumped off a bridge < 1580912943 516806 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :yo < 1580913177 449257 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :hi rain1 < 1580913243 323896 :Cale!~cale@2607:fea8:9960:35:a5cb:d93f:c3f1:5acc QUIT :Ping timeout: 245 seconds < 1580913429 556980 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hello cpressey nice to see you < 1580914528 715752 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric < 1580914611 837402 :glowcoil!sid3405@gateway/web/irccloud.com/x-orgrlkecuprozcwu QUIT : < 1580914636 72928 :glowcoil!sid3405@gateway/web/irccloud.com/x-uybeuxbtspfrboxx JOIN :#esoteric < 1580915075 798454 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580916698 180985 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1580917055 178313 :ocharles!sid30093@musicbrainz/user/ocharles QUIT : < 1580917072 169566 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1580917781 863434 :Melvar!~melvar@dslb-178-005-215-076.178.005.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.4 < 1580918069 639500 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 268 seconds < 1580918252 92695 :Melvar!~melvar@dslb-178-005-215-076.178.005.pools.vodafone-ip.de JOIN :#esoteric < 1580918689 641437 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580919593 479893 :dingwat!uid70835@gateway/web/irccloud.com/x-rnkxfrbbwtyphcnq QUIT : < 1580919616 689014 :dingwat!uid70835@gateway/web/irccloud.com/x-bfgymovmjvijfdrd JOIN :#esoteric < 1580919977 169590 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric < 1580921513 628393 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1580921955 674420 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1580922971 726560 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :what's up < 1580923823 421059 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1580925127 571968 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :hello < 1580925277 479966 :LKoen!~LKoen@81.255.219.130 PRIVMSG #esoteric :hi < 1580926176 684537 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1580926249 238463 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1580926488 869616 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1580927304 589348 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1580927393 473723 PRIVMSG #esoteric :14[[07User:Sxakalo14]]4 10 02https://esolangs.org/w/index.php?diff=69604&oldid=69462 5* 03Sxakalo 5* (+83) 10/* Implemented */ > 1580927486 495022 PRIVMSG #esoteric :14[[071.114]]4 10 02https://esolangs.org/w/index.php?diff=69605&oldid=66908 5* 03Sxakalo 5* (+162) 10 < 1580927635 885669 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1580927819 279945 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1580929458 570537 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1580930008 528096 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hows it going kmc and LKoen < 1580930136 485494 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr PRIVMSG #esoteric :slowly and depressingly < 1580930429 339990 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1580930444 430755 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1580930450 720671 :mich181189!sid268336@gateway/web/irccloud.com/x-sjbmgjprqoxuxvdr QUIT : < 1580930466 141089 :mich181189!sid268336@gateway/web/irccloud.com/x-yhkzbeniawvczats JOIN :#esoteric < 1580930552 94116 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :goes fine < 1580930733 545672 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1580930751 273941 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1580930974 960982 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1580931003 807363 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1580931023 732307 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1580931034 451465 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1580931078 286657 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580931333 865909 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :any new discoveries? < 1580931346 341096 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :or what is new to you ? < 1580931500 48597 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :Ping timeout: 252 seconds < 1580931524 689381 :dingwat!uid70835@gateway/web/irccloud.com/x-bfgymovmjvijfdrd QUIT :Ping timeout: 248 seconds < 1580931524 689449 :glowcoil!sid3405@gateway/web/irccloud.com/x-uybeuxbtspfrboxx QUIT :Ping timeout: 248 seconds < 1580931629 139563 :mich181189!sid268336@gateway/web/irccloud.com/x-yhkzbeniawvczats QUIT :Ping timeout: 272 seconds < 1580932919 651600 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1580933120 104110 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :about to do some mushroom cultivation work < 1580933128 387438 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :grain->grain and grain->agar transfers < 1580933177 291131 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :wow that's such a cool thing to do < 1580933243 385385 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu JOIN :#esoteric < 1580933265 863447 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yeah! it's fun < 1580933443 538211 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :the main failure mode of mushroom cultivation is contamination < 1580933462 502862 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :any substrate which is good for growing mushrooms is also good for growing bacteria and mold < 1580933485 883913 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :so sterile technique is key < 1580933546 330499 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i'm doing the transfers inside a still air box, which is just a transparent box with two holes cut in one side so you can reach your arms in < 1580933549 936821 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :like a glovebox without the gloves < 1580933566 270110 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :as the name implies the intent is to keep the air inside motionless so it will not carry contamination from one point to another < 1580933583 229668 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :so it has like curtains on the holes, but it's not vacuum sealed? < 1580933598 143501 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :mine doesn't even have that < 1580933604 125002 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :there are various levels of sophistication < 1580933629 810109 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :what i really want is a laminar flow hood/box < 1580933657 187666 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :in which you have a continuous sheet of HEPA-filtered air blowing smoothly (laminar) over the work surface < 1580933688 380089 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and you position things so that the less clean cultures are downwind < 1580933695 605123 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and you are selectively transfering the desired organism upwind < 1580933719 748217 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but you can do fine work on a hobby scale with just a still air box < 1580933732 176782 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :a pressure gradient, like into a clean room or nuclear reactor. < 1580933743 621760 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :similar idea, yeah < 1580934297 541881 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru PRIVMSG #esoteric :mushrooms! interesting! < 1580934548 289739 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1580934572 3830 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :greets < 1580934578 33997 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :any ideas on golfing this C program: http://kspalaiologos.baselinux.net/doc/golf.c ? < 1580935206 625218 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F->{F 0,F 1,F 2}][X->if 0X+Y] else [Y->10*X]] < 1580935207 194802 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons (Dummy61DOT2 0) (System:cons (Dummy61DOT1 1) (System:cons (Dummy61DOT1 2) System:nil))) < 1580935243 364679 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F->{F 0,F 1,F 2}][X->if 0X+Y] else [Y->10*Y]] < 1580935244 6031 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons Dummy62DOT2 (System:cons (Dummy62DOT1 1) (System:cons (Dummy62DOT1 2) System:nil))) < 1580935259 313692 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:map [F->F 7] ([F->{F 0,F 1,F 2}][X->if 0X+Y] else [Y->10*Y]]) < 1580935259 812131 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 70 (System:cons 8 (System:cons 9 System:nil))) < 1580935289 410527 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:map [F->F 7] ([F->{F 0,F 1,F 2}][X->if 0X+Y] else "zero"]) < 1580935289 726138 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons ("zero" 7) (System:cons 8 (System:cons 9 System:nil))) < 1580935297 25767 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: ([F->{F 0,F 1,F 2}][X->if 0X+Y] else "zero"]) < 1580935297 684007 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons "zero" (System:cons (Dummy65DOT1 1) (System:cons (Dummy65DOT1 2) System:nil))) < 1580935341 272541 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: ([F->{F 0,F 1,F 2}][X->if 0X+Y] else "zero" [Y->10*Y]]) < 1580935341 808222 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons ("zero" Dummy66DOT2) (System:cons ("add" (Dummy66DOT1 1)) (System:cons ("add" (Dummy66DOT1 2)) System:nil))) < 1580935355 213177 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: ([F->{F 0,F 1,F 2}][X->if 0X+Y] else [Y->10*Y]]) < 1580935355 780858 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons Dummy67DOT2 (System:cons (Dummy67DOT1 1) (System:cons (Dummy67DOT1 2) System:nil))) < 1580935402 313046 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:map [S::text F->(S,F 7)] ([F->{F 0,F 1,F 2}][X->if 0X+Y] else "zero" [Y->10*Y]]) < 1580935402 898237 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons (Dummy68DOT0 ("zero" Dummy68DOT3)) (System:cons (Dummy68DOT0 ("add" (Dummy68DOT2 1))) (System:cons (Dummy68DOT0 ("add" (Dummy68DOT2 2))) System:nil))) < 1580935421 543966 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:map [(S::text F)->(S,F 7)] ([F->{F 0,F 1,F 2}][X->if 0X+Y] else "zero" [Y->10*Y]]) < 1580935422 148829 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons (System:tuple "zero" 70) (System:cons (System:tuple "add" 8) (System:cons (System:tuple "add" 9) System:nil))) < 1580935431 93987 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :ok < 1580935657 186330 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1580935997 300579 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1580936811 428740 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1580937026 871401 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 240 seconds < 1580937041 442775 :atslash!~atslash@46.188.0.82 JOIN :#esoteric < 1580937272 167803 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1580937284 709530 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: 40644>>3 < 1580937285 94623 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :5080 < 1580937304 455544 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :egelbot: (-1)>>1 < 1580937305 122188 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :-1 < 1580937364 345585 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :^? < 1580937368 288451 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :It's wrong < 1580937392 614949 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :no it's not, it's a proper signed right shift < 1580937405 965967 :b_jonas!~x@catv-176-63-14-43.catv.broadband.hu PRIVMSG #esoteric :I wanted to see if it was a signed shift or an unsigned shift < 1580937957 554504 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :But the signs bit < 1580937968 113391 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :It should be 0x7F(FF)n < 1580938403 907799 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :whee, two jars of grain + 6 petris inoculated < 1580940203 480312 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1580940386 874247 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1580943477 487775 :glowcoil!sid3405@gateway/web/irccloud.com/x-acemzkonvhgtriiy JOIN :#esoteric < 1580943515 69383 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1580943678 157404 :mich181189!sid268336@gateway/web/irccloud.com/x-btsfcbccucaywusi JOIN :#esoteric < 1580943714 157026 :dingwat!uid70835@gateway/web/irccloud.com/x-maaaxofhhoywiszf JOIN :#esoteric < 1580944601 351858 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1580945178 635706 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1580946439 368914 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds