< 1456790877 99640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :?? ?@ ?run var$intercalate " \\ " . map (\x -> "(@run var . (\\(w:ws) -> w ++ ':' : ' ' : (map (\\c -> if c == 'M' then '-' else c) . takeWhile (/= '/') . head . filter (\"/\" `isInfixOf`) $ ws)) . words $ @show @metar "++x++")") . words $ ?show ENVA LLBG < 1456790878 371068 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Plugin `compose' failed with: Missing ')' in nested command < 1456790905 573023 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :?? ?@ ?run var$intercalate " \\ " . map (\x -> "(@run var . (\\(w:ws) -> w ++ ':' : ' ' : (map (\\c -> if c == 'M' then '-' else c) . takeWhile (/= '/') . head . filter (\"/\" `isInfixOf`) $ ws)) . words $ @show @metar "++x++")") . words $ ?show ENVA LLBG < 1456790906 858197 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Plugin `compose' failed with: Missing ')' in nested command < 1456790910 505713 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1456790918 552769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it a line length thing that makes it only work in /msg? < 1456790945 735238 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :?? ?@ ?run var$intercalate " \\ " . map (\x -> "(@run var . (\\(w:ws) -> w ++ ':' : ' ' : (takeWhile (/= '/') . head . filter (\"/\" `isInfixOf`) $ ws)) . words $ @show @metar "++x++")") . words $ ?show ENVA LLBG < 1456790947 100305 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Plugin `compose' failed with: Missing ')' in nested command < 1456790987 543020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: help figure out twh hth thx < 1456791286 803637 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well there is a shorter limit in public, at least < 1456791335 684044 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I bet it's an internal thing in lambdabot where it generates a long line containing a lot of duplicates of the code. < 1456791357 525053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What I did was silly anyway. < 1456791361 968322 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1456791511 700743 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe not. < 1456791514 727339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you do it < 1456791627 251336 :impomatic!~impomatic@79.16.114.87.dyn.plus.net QUIT :Ping timeout: 276 seconds < 1456791945 5763 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :TOO LATE < 1456791951 832852 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(it's always too late) < 1456792081 475620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1456792093 5663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you could write a command that looks at the hg log to see which file the last command created/modified < 1456792097 922382 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and then edited that file < 1456792109 547281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so convenient < 1456792354 552175 :\oren\_!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :shachaf: ooh, someone actually uses that upside down &? I'm glad I added it. < 1456792366 146158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\oren\_: Of course. It's a very important character. < 1456792377 441735 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\oren\_: But in IRC I usually just write # < 1456792570 59874 :\oren\_!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :b_jonas: that reminds me, I have a ttf version of your font that I generated in the same manner as my font. < 1456792621 556178 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456792834 634741 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1456792907 36854 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell hppavilion[1] int-e: Did I make the math joke wrong? <-- that was so wrong that i bet you think there are three words in the english language. < 1456792907 170134 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456792959 580587 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell hppavilion[1] damn i did _that_ wrong. also https://xkcd.com/169/ < 1456792959 750576 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456793018 951914 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell hppavilion[1] or wait, did i. confused now. < 1456793019 85547 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456795105 55685 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 250 seconds < 1456795300 590750 :bb010g!uid21050@gateway/web/irccloud.com/x-cfvyesvimuldeybf JOIN :#esoteric < 1456795553 104610 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1456795593 257768 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1456795696 20663 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1456796658 32943 :ayeelmao!~c0v3r@ip68-227-34-168.lv.lv.cox.net JOIN :#esoteric < 1456797328 680411 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I just realized I don't know the rigorous meaning of "irrational number" < 1456797334 967636 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :@messages-lud < 1456797335 101099 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 1h 13m 47s ago: int-e: Did I make the math joke wrong? <-- that was so wrong that i bet you think there are three words in the english language. < 1456797335 101196 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 1h 12m 55s ago: damn i did _that_ wrong. also https://xkcd.com/169/ < 1456797335 101228 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 1h 11m 56s ago: or wait, did i. confused now. < 1456797336 845303 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh right < 1456797350 461317 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I was online when you sent that message < 1456797375 783160 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, right, it's one that cannot be expressed as a ratio of integers < 1456797381 130487 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, but neither can a complex number < 1456797592 896555 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :hppavilion[1]: https://en.wikipedia.org/wiki/Dedekind_cut. That's one definition. < 1456797620 24097 :AlexR42!~textual@94.41.128.148 JOIN :#esoteric < 1456797626 648887 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl QUIT :Ping timeout: 244 seconds < 1456797633 206583 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't trust people who are online but 56 mins idle >_> <_< < 1456797650 420309 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: would you like to be added to the dontaskdonttelllist < 1456797662 848112 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :Also, https://en.wikipedia.org/wiki/Cauchy_sequence. < 1456797666 470808 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`dontaskdonttelllist < 1456797670 62881 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dontaskdonttelllist: q​u​i​n​t​o​p​i​a​ c​o​p​p​r​o​ m​y​n​a​m​e​ < 1456797674 164139 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Maybe? < 1456797678 313614 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Probably not < 1456797684 375125 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1456797685 709141 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I'm just going with the points-on-a-line definition < 1456797739 285965 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :indeed, complex numbers that aren't real are also irrational < 1456797743 654629 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :There was a haskell library that implemented infintely precise real numbers using cauchy sequences. < 1456797758 856467 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which is a little silly for things like 1 + 2i < 1456797774 223600 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there's probably a term for those < 1456797796 808384 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"gaussian rational" < 1456797812 215817 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which means both a and b are rational in a+bi < 1456797812 408855 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or even gaussian integer hth < 1456797828 423595 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, 1 + 2i was jsut an example < 1456797832 550094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :look < 1456797836 409391 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course < 1456797838 183864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i can't be bothered to logread four lines up < 1456797847 785295 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i know, it's _so_ tiring < 1456797912 588340 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> pi :: CReal -- lambda-11235 < 1456797913 937462 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3.1415926535897932384626433832795028841972 < 1456797927 934801 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not sure if that one uses cauchy sequences < 1456797937 708567 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I've always thought that math should be more modular/adjective < 1456797945 74428 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it _doesn't_ use continued fractions afair < 1456797963 608402 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Instead of having joint-together names, we should prioritize inventing new adjectives to apply to existing objects < 1456797965 709379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It uses a special kind of Cauchy sequences. < 1456797990 709793 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i don't understand what you mean < 1456798009 608115 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Quickly-convergent Cauchy sequences. < 1456798014 24180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's the name. < 1456798034 440447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cauchy sequences that converge whenever aren't very useful for computing. < 1456798106 120848 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Instead of the phrase "Gaussian Integer", meaning a+bi where a and b are integers, we'd just have the adjective "Gaussian x", meaning a+bi where a and b are members of the xes < 1456798132 44688 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: hm and that's precisely how it works with rationals, what's the problem < 1456798137 220584 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, maybe it doesn't exactly. < 1456798173 963086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: there are way too many things that are called "gaussian" for this scheme to work hth < 1456798183 406782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/List_of_things_named_after_Carl_Friedrich_Gauss < 1456798206 388295 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Well I haven't heard of "Gaussian rationals" < 1456798218 319696 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: but these gaussian distributions a + bi are so quantum! < 1456798232 581706 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: neither had i until i just guessed it < 1456798234 334258 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: And this way, we could have worse things like the "Gaussian Strings" or something awful like that, for example < 1456798289 528502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: The real scow of CReal is that it only computes up to 40 digits normally. < 1456798337 890087 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t showCReal < 1456798338 848878 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Int -> CReal -> String < 1456798348 100853 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> showCReal 1000 pi < 1456798349 508790 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "3.1415926535897932384626433832795028841971693993751058209749445923078164062... < 1456798383 776388 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wish lambdabot still had unsafeCoerce so I could examine CReals. < 1456798384 808345 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> showCReal 1000 (pi^2) < 1456798386 245915 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "9.8696044010893586188344909998761511353136994072407906264133493762200448224... < 1456798391 472480 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> last $showCReal 1000 (pi^2) < 1456798393 147450 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : '5' < 1456798444 575222 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@version < 1456798444 708593 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :lambdabot 5.0.3 < 1456798444 708721 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :git clone https://github.com/lambdabot/lambdabot < 1456798483 328232 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell int-e @version should say which ghc version it's compiled with twh < 1456798483 461706 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456798518 72047 :AlexR42!~textual@94.41.128.148 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1456798547 252541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> compilerVersion < 1456798548 608907 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘compilerVersion’ < 1456798556 309950 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: pretty sure there's some remaining unsafeCoerce bug ... < 1456798711 244770 :andrew__!~andrew@119.137.99.104 JOIN :#esoteric < 1456798763 5688 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t coerce -- this is some silly lensy thing isn't < 1456798764 820142 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Functor f, Contravariant f) => f a -> f b < 1456798772 91804 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*+it < 1456798868 133945 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION is forgetting his orange juice < 1456798993 920475 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (() :: Constraint)) == typeRep (Proxy :: Proxy ()) < 1456798995 568443 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1456799123 680714 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that type family bug i found obviously won't work in lambdabot < 1456799427 867124 :ineiros!ineiros@kapsi.fi QUIT :Ping timeout: 248 seconds < 1456800097 533981 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1456800270 536427 :andrew__!~andrew@119.137.99.104 QUIT :Remote host closed the connection < 1456800391 338425 :andrew_!~andrew@119.137.99.104 JOIN :#esoteric < 1456800574 341068 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1456800720 320728 :andrew_!~andrew@119.137.99.104 QUIT :Ping timeout: 246 seconds < 1456800847 9513 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I'm trying to make a JS parser combinator library < 1456800851 525260 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :What combinators should I include? < 1456800867 465070 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :For MAXIMUM PARSINESS < 1456801709 645760 :andrew_!~andrew@119.137.99.104 JOIN :#esoteric < 1456801711 562283 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net NICK :hppavilion[1] < 1456801749 677551 :AlexR42!~textual@94.41.128.148 JOIN :#esoteric < 1456802275 773412 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 248 seconds < 1456802749 4494 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 250 seconds < 1456803484 795114 :AlexR42!~textual@94.41.128.148 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1456803561 362849 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1456803782 489789 :joaeos!~joaeos@pc-84-194-30-200.cm.vtr.net JOIN :#esoteric < 1456804146 678165 :joaeos!~joaeos@pc-84-194-30-200.cm.vtr.net QUIT :Ping timeout: 276 seconds < 1456804420 633196 :joaeos!~joaeos@pc-58-33-74-200.cm.vtr.net JOIN :#esoteric < 1456804585 370643 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1456804609 703394 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1456804767 586621 :joaeos!~joaeos@pc-58-33-74-200.cm.vtr.net PRIVMSG #esoteric :this esolang thing is quite a brainfuck < 1456804770 965449 :joaeos!~joaeos@pc-58-33-74-200.cm.vtr.net PRIVMSG #esoteric :Get it? < 1456804800 699054 :joaeos!~joaeos@pc-58-33-74-200.cm.vtr.net PRIVMSG #esoteric ::c < 1456804803 941542 :joaeos!~joaeos@pc-58-33-74-200.cm.vtr.net PART #esoteric :"Leaving" < 1456804877 706680 :\oren\_!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca QUIT :Ping timeout: 260 seconds < 1456804924 658403 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca JOIN :#esoteric < 1456805150 33026 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1456805238 851894 :AlexR42!~textual@94.41.128.148 JOIN :#esoteric < 1456805303 332289 :hppavilion[1]!~DevourerO@24.237.158.10 JOIN :#esoteric < 1456806603 940209 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Got it < 1456807973 433782 :AlexR42!~textual@94.41.128.148 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1456808211 370992 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Connection reset by peer < 1456808238 817138 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1456808307 458905 :Alcest!~alcest@69.64.40.177 JOIN :#esoteric < 1456809694 34138 :benderpc_!benderpc@2404:e800:e61a:41d:206e:aef3:9ccc:3443 JOIN :#esoteric < 1456809720 961017 :benderpc_!benderpc@2404:e800:e61a:41d:206e:aef3:9ccc:3443 QUIT :Changing host < 1456809721 94476 :benderpc_!benderpc@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1456809722 28444 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1456809731 28468 :benderpc_!benderpc@unaffiliated/bender/x-9459530 NICK :bender < 1456810020 562248 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1456810595 470230 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1456812153 670363 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1456812165 322427 :hppavilion[1]!~DevourerO@24.237.158.10 QUIT :Ping timeout: 246 seconds < 1456812311 396273 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456812717 521697 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1456813716 961126 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I think I'll look into cheese theory some more < 1456814394 807658 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :hppavilion[1]: What's that? Are you interested in agrarian studies? < 1456814421 96579 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambda-11235: No clue what agrarian is < 1456814426 318754 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambda-11235: You know emmental, do you not? < 1456814438 322423 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(The programming language) < 1456814439 877864 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(http://catseye.tc/view/emmental/tests/Emmental.markdown) < 1456814464 843915 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: an, nice! is that a vector-only ttf version, or a ttf with bitmap/graymap included? < 1456814480 635655 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambda-11235: http://catseye.tc/view/emmental/README.markdown < 1456814550 738181 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: and is it a repeatable enough conversion that you'll be able to recreate it easily later in the far future when I make an updated version of my font with more characters and modified images of the existing characters? < 1456814643 89713 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :hppavilion[1]: Don't know emmental, but I do now. Also, agrarian means relating to agriculture or farming. < 1456814734 451568 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Good night. < 1456814944 252771 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl JOIN :#esoteric < 1456815529 392302 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambdabot: Wait, no, mascarpone was the one I was going for < 1456815537 145457 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambdabot: Mascarpone is 1000x cooler < 1456815540 384603 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Whoops < 1456815550 985604 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Dammit, lambda-11235 < 1456815592 416308 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :@tell lambda-11235 It's mascarpone, not emmental, that I was going for. Mascarpone is Emmental's successor. < 1456815592 549686 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456815797 697734 :nzt-fish!~nzt@unaffiliated/nzt QUIT :Ping timeout: 260 seconds < 1456816331 350309 :ineiros!ineiros@kapsi.fi JOIN :#esoteric < 1456817129 296087 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Heh, on http://www.questionablecontent.net/cast.php , May is missing the header for her name (he's above Steve) < 1456817756 263860 :mroman!~mroman@160.85.232.187 JOIN :#esoteric < 1456817757 824135 :mroman!~mroman@160.85.232.187 PRIVMSG #esoteric :fnerd < 1456818062 716517 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1456818265 313753 :andrew_!~andrew@119.137.99.104 QUIT :Read error: Connection reset by peer < 1456818446 15219 :andrew!~andrew@119.137.99.104 JOIN :#esoteric < 1456818769 1201 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1456819090 560366 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456821415 527349 :J_Arcane!~chatzilla@37-219-104-229.nat.bb.dnainternet.fi QUIT :Ping timeout: 252 seconds < 1456821448 392166 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 252 seconds < 1456821844 404008 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1456822400 640826 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456822710 631942 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1456825387 687020 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca QUIT :Ping timeout: 260 seconds < 1456825449 657852 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca JOIN :#esoteric < 1456827817 714470 :jaboja!~jaboja@emc51.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456828607 669583 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca QUIT :Ping timeout: 260 seconds < 1456828639 705487 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca JOIN :#esoteric < 1456829495 462542 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Whonut 5* 10New user account < 1456830059 247019 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Bitoven14]]4 10 02https://esolangs.org/w/index.php?diff=46474&oldid=43177 5* 03Whonut 5* (+323) 10Asked about what is syntactically meaningful in Bitovem < 1456830954 346619 :ayeelmao!~c0v3r@ip68-227-34-168.lv.lv.cox.net PART :#esoteric < 1456831616 629527 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1456832205 31053 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1456832205 202828 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :shachaf asked 11h 42m 10s ago: pizza must be poutine its place < 1456832220 410560 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :... < 1456832240 365961 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAhellochafAAAAAAAAAAAAAAAAAAAAAAAAmapoleAAAAAAAAAAAAAAAARGH! < 1456832488 392711 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :okay, fuck the bf interpreter < 1456832502 893324 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :I have some serious bug that is really hard to catch with examples at my disposal < 1456832535 964400 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1456832582 640253 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :http://ix.io/oIx the code so far < 1456832842 695851 :jaboja!~jaboja@emc51.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 260 seconds < 1456833258 58628 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456833533 2872 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1456833599 629777 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456834605 104646 :boily!~alexandre@96.127.201.149 QUIT :Quit: REGULATED CHICKEN < 1456835619 842491 :andrew!~andrew@119.137.99.104 QUIT :Remote host closed the connection < 1456836172 766845 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :The issue, of course, with generated brainfuck programs, is that they tend to end up being quite long < 1456836188 10241 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :That is, naturally, why we are generating them in the first place rather than writing them ourselves < 1456836202 239604 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :This means they can take a long time to run in the interpreter you are using < 1456836279 608226 :bender!benderpc@unaffiliated/bender/x-9459530 QUIT :Quit: Leaving < 1456837843 17710 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456838110 12926 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1456838278 5581 :jaboja!~jaboja@emc51.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456839809 378408 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1456840675 545800 :Treio!~Treio@87.244.233.250 QUIT :Quit: Leaving < 1456840692 469817 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Well, I've worked out why it's not working < 1456840715 676191 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I'm using an if-else construct that uses two temporary cells < 1456840723 798507 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I'm using a whole bunch of nested ifs < 1456840729 496100 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Using the same temporary cells < 1456840802 225304 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :So, I need to design a case-switch statement < 1456840803 830467 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :In brainfuck < 1456840805 943046 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :God help me < 1456840892 642491 :jaboja64!~jaboja@ejb123.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456841118 52715 :jaboja!~jaboja@emc51.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 248 seconds < 1456841792 332547 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456842020 432404 :bender|_!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 JOIN :#esoteric < 1456842040 711290 :bender|_!~benderx2@2404:e800:e61a:41d:ddbf:f4cc:366d:c672 QUIT :Changing host < 1456842040 844709 :bender|_!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1456842048 713260 :bender|_!~benderx2@unaffiliated/bender/x-9459530 NICK :bender < 1456842232 460318 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Oooh, http://calmerthanyouare.org/2016/01/14/control-flow-in-brainfuck.html has a guide < 1456843180 125919 :tromp_!~tromp@rtc35-235.rentec.com QUIT :Read error: Connection reset by peer < 1456843257 678370 :tromp_!~tromp@rtc35-235.rentec.com JOIN :#esoteric < 1456843302 520210 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :neato :) < 1456843497 639721 :jaboja64!~jaboja@ejb123.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 276 seconds < 1456843497 773380 :earendel2!~earendel@176.0.33.151 QUIT :Ping timeout: 276 seconds < 1456843716 884626 :joaeos!~joaeos@pc-58-33-74-200.cm.vtr.net JOIN :#esoteric < 1456843729 877476 :bb010g!uid21050@gateway/web/irccloud.com/x-cfvyesvimuldeybf QUIT :Quit: Connection closed for inactivity < 1456843901 403882 :J_Arcane!~chatzilla@37-219-104-229.nat.bb.dnainternet.fi JOIN :#esoteric < 1456844047 243337 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1456844788 871089 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1456845406 529344 :J_Arcane!~chatzilla@37-219-104-229.nat.bb.dnainternet.fi QUIT :Ping timeout: 252 seconds < 1456845506 124565 :izabera!~izabera@unaffiliated/izabera NICK :anbppomced < 1456845627 40594 :anbppomced!~izabera@unaffiliated/izabera NICK :izabored < 1456845745 382919 :mroman!~mroman@160.85.232.187 QUIT :Quit: Lost terminal < 1456845906 823484 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1456845981 995773 :joaeos!~joaeos@pc-58-33-74-200.cm.vtr.net QUIT :Ping timeout: 248 seconds < 1456846102 978781 :izabored!~izabera@unaffiliated/izabera NICK :izabera < 1456846674 506 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1456846842 733888 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 260 seconds < 1456847810 769510 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I could do with a variant of brainfuck that is coupled direct read-access to a whole bunch of data involved in the brainfuck, as well as variables, but it can only be used for debugging < 1456847887 728453 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1456848191 336909 :nzt-fish!~nzt@unaffiliated/nzt JOIN :#esoteric < 1456848618 187543 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: this makes no sense < 1456848653 271198 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :quintopia: I want an extension of brainfuck with more facilities for debugging < 1456848689 334031 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Because reasoning about a 9000 line brainfuck program is less than fun < 1456849097 83726 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net JOIN :#esoteric < 1456849687 984331 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: is it not enough just to be able to step through it looking at the tape? < 1456850020 458873 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :quintopia: it's far too long, alas < 1456850549 634572 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456850829 677596 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1456851345 243316 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456851452 821692 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: what about tracking certain tape cells the way you can track variables in most debuggers? < 1456851472 38021 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :quintopia: I want to do some things fancier than that < 1456851497 276860 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Like "make sure the cell reached at this instruction is the same cell as this one" < 1456851509 994002 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :When that loop runs hundreds of times in different places < 1456851582 80082 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 248 seconds < 1456851729 318604 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 246 seconds < 1456851825 226165 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456852053 992265 :Veltas!~quassel@static.117.33.251.148.clients.your-server.de QUIT :Remote host closed the connection < 1456855251 101953 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: that sounds like breakpoints with IP tracking < 1456855289 992730 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I also want to, to some extent, specify this in the program itself < 1456855452 261342 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it wouldnt be the first time someone added debug codes to a language < 1456855500 287876 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Read error: Connection reset by peer < 1456855551 242572 :lambda-11235!~lambda-11@24.156.46.20 JOIN :#esoteric < 1456855559 241099 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456856270 323330 :spiette!~spiette@x-132-204-248-121.xtpr.umontreal.ca JOIN :#esoteric < 1456856989 320925 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1456857638 500100 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Humo14]]4 10 02https://esolangs.org/w/index.php?diff=46475&oldid=46473 5* 03Fpetrola 5* (+81) 10 < 1456857706 33967 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Humo14]]4 10 02https://esolangs.org/w/index.php?diff=46476&oldid=46475 5* 03Fpetrola 5* (-65) 10 < 1456857750 965023 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Humo14]]4 10 02https://esolangs.org/w/index.php?diff=46477&oldid=46476 5* 03Fpetrola 5* (-7) 10 < 1456857793 647566 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Humo14]]4 10 02https://esolangs.org/w/index.php?diff=46478&oldid=46477 5* 03Fpetrola 5* (+97) 10 < 1456857909 992960 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Humo14]]4 10 02https://esolangs.org/w/index.php?diff=46479&oldid=46478 5* 03Fpetrola 5* (+1) 10 < 1456857958 899770 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Humo14]]4 10 02https://esolangs.org/w/index.php?diff=46480&oldid=46479 5* 03Fpetrola 5* (+18) 10 < 1456857973 70376 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 250 seconds < 1456858007 192915 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Humo14]]4 10 02https://esolangs.org/w/index.php?diff=46481&oldid=46480 5* 03Fpetrola 5* (-18) 10 < 1456858051 314507 :clog!~nef@bespin.org QUIT :Ping timeout: 250 seconds < 1456858074 228049 :Yurume!23f9939a@121.78.85.35 QUIT :Ping timeout: 268 seconds < 1456858074 361463 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :Ping timeout: 268 seconds < 1456858089 246587 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1456858106 113234 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456858151 508065 :Yurume!23f9939a@121.78.85.35 JOIN :#esoteric < 1456858178 14819 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1456858181 127400 :impomatic!~impomatic@79.16.114.87.dyn.plus.net QUIT :Ping timeout: 250 seconds < 1456858181 261053 :nisstyre_!~yourstrul@li611-52.members.linode.com QUIT :Ping timeout: 250 seconds < 1456858219 218196 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1456858250 163079 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1456858259 104202 :contrapumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 250 seconds < 1456858276 232740 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambda-11235: Hi < 1456858387 569630 :tjt263_!~RAPSCA77I@125-209-149-31.dyn.iinet.net.au JOIN :#esoteric < 1456858474 515223 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1456858478 209179 :nisstyre_!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1456858571 79318 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 250 seconds < 1456858703 351884 :pdxleif!~pdxleif@54.68.166.10 QUIT :Ping timeout: 268 seconds < 1456858762 419674 :idris-bot!~idris-bot@dslb-092-072-190-108.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1456858917 832103 :impomatic!~impomatic@79.16.114.87.dyn.plus.net QUIT :Ping timeout: 260 seconds < 1456859387 569720 :zzo38!~zzo38@24-207-50-123.eastlink.ca JOIN :#esoteric < 1456859532 716072 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1456859580 795302 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1456859580 928868 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: could you use my font for something? < 1456859581 62292 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :b_jonas, I'm almost there < 1456859581 62386 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1456859581 195872 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Have you compressed all of it to brainfuck code that fits a single IRC line yet? < 1456859604 769714 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Haha < 1456859620 629983 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Or at least all but the glyphs at control character positions? < 1456859643 259900 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1456859647 954679 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The glyphs at the latin-1 high controls are probably mostly useless. < 1456859760 301250 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl QUIT :Ping timeout: 276 seconds < 1456860340 450323 :zgrep!sid43445@gateway/web/irccloud.com/x-ugnldacvsdtlqwyx QUIT :*.net *.split < 1456860340 612209 :Elronnd!elronnd@znc.dank.ninja QUIT :*.net *.split < 1456860340 746011 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :*.net *.split < 1456860340 746091 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :*.net *.split < 1456860340 879451 :haavard!freebsd@haavard.me QUIT :*.net *.split < 1456860341 12859 :shikhin!shikhin@unaffiliated/shikhin QUIT :*.net *.split < 1456860341 12992 :sewilton!sid32560@gateway/web/irccloud.com/x-mexroarmzsbbzblv QUIT :*.net *.split < 1456860567 429426 :lambda-11235!~lambda-11@24.156.46.20 PRIVMSG #esoteric :hppavilion[2]: Hi. < 1456860580 61123 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambda-11235: There you are! < 1456860651 392598 :J_Arcane!~chatzilla@37-219-153-193.nat.bb.dnainternet.fi JOIN :#esoteric < 1456860683 112210 :lambda-11235!~lambda-11@24.156.46.20 PRIVMSG #esoteric :hppavilion[2]: Here I am. What's up? < 1456860689 117683 :zgrep!sid43445@gateway/web/irccloud.com/x-ugnldacvsdtlqwyx JOIN :#esoteric < 1456860689 251163 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1456860689 251243 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1456860689 251269 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1456860689 251294 :haavard!freebsd@haavard.me JOIN :#esoteric < 1456860689 251316 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1456860689 251338 :sewilton!sid32560@gateway/web/irccloud.com/x-mexroarmzsbbzblv JOIN :#esoteric < 1456860697 137513 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambda-11235: Nothing; just writing a JS parser library < 1456860781 237273 :lambda-11235!~lambda-11@24.156.46.20 PRIVMSG #esoteric :hppavilion[2]: Oh, good luck. < 1456860858 564110 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456860896 229563 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Kitten typesetting sounds adorable < 1456860982 501985 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 252 seconds < 1456860996 206032 :nycs!~nycs@gw.hq.meetup.com QUIT :Client Quit < 1456861077 614591 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456861515 789382 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net PRIVMSG #esoteric :There's a Core War tournament in a few weeks if anyone's up for it? http://corewar.co.uk/easter2016.htm < 1456861550 605194 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ACTION read it as code war and thougth it was a hackaton < 1456861633 26845 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456861663 200809 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hello, ais523 < 1456861676 548233 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi b_jonas < 1456862029 973110 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1456862104 93667 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Probably a better way to do colors with Xlib would be using the standard colormaps, although TrueColor should probably be used instead if possible. Anyways it would then have to check if the default visual matches the standard colormap, and other stuff too < 1456862255 93097 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: is the standard colormap for xterm the same as that for X? < 1456862701 500252 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Ugh < 1456862711 948092 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Writing parsers from scratch is confusing < 1456862770 391761 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :just invert the show function :p < 1456862775 401849 :spiette!~spiette@x-132-204-248-121.xtpr.umontreal.ca QUIT :Ping timeout: 246 seconds < 1456862793 938380 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I'm considering giving up and using a pre-made library < 1456862856 726958 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :https://jeltsch.wordpress.com/2013/04/27/a-taste-of-curry/ < 1456862879 859591 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: Oh, that was directed at me < 1456862882 740496 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: I'm writing it in JS, so < 1456862894 773439 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: So I can use it in a browser < 1456862949 721732 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Maybe it can also be use with Node.js too < 1456862990 223843 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Maybe < 1456863012 294308 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: I mean, if it works in JS it should work in Node < 1456863021 479397 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: My main goal is to reimplement Thoof in a browser < 1456863050 572553 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't know thoof < 1456863060 493922 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: I made it recently < 1456863066 432816 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: It's a proof assistant based on PCRE < 1456863087 217246 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: You use s/// notation to define axioms and compose substitutions to make theorems < 1456863122 528455 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: Example: http://pastebin.com/Y00f06hb < 1456863127 704812 :lambda-11235!~lambda-11@24.156.46.20 QUIT :Quit: Bye < 1456863146 757728 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(Peano arithmetic) < 1456863155 545736 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[2]: sure, that's why we have ayacc < 1456863160 483881 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1456863171 44949 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for writing parsers not from scratch < 1456863189 781521 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: I was writing a Yacc-like library so I wouldn't have to write them from scratch < 1456863206 237428 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[2]: ayacc is exactly one of those yacc-like libraries < 1456863208 599708 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: I implemented the parser combinator library, now I'm debugging it be implementing an actual parser in it < 1456863215 497524 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I recommend it if you want yacc-like parsing < 1456863224 204026 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which of course can depend on what it is that you have to parse < 1456863230 96578 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: Awesome, I'll look into it < 1456863238 875324 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ayacc < 1456863241 888750 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :do we have a wisdom for it? < 1456863253 319327 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ayacc is ais523's yacc parser generator implementation, get it from http://nethack4.org/media/alex/ayacc/ayacc.pl < 1456863256 110817 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, is HackEgo always this slow? < 1456863275 411098 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it's often slow when it hasn't been used for awhile < 1456863277 872678 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :b_jonas: Is it perl? < 1456863283 474343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :occasionally to the extent of actually timing out < 1456863296 995995 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: ayacc isn't exactly a library, it's a Perl script < 1456863309 144241 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: OK, I want client-side parsing < 1456863309 622405 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's intended as an implementation of POSIX yacc < 1456863318 677147 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you give it a grammar as input < 1456863323 245344 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it outputs a program that does parsing < 1456863329 145839 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :currently it only supports output in C and Perl < 1456863332 118636 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: I know how yacc works < 1456863342 622921 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I've used PLY at the very least < 1456863344 983855 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :/but/ it is designed to easily be made to generate output in other languages < 1456863348 767773 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(Python Lexx-Yacc) < 1456863355 367178 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: That could work < 1456863381 246477 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you basically give it a dictionary of program fragments that it can assemble a program out of < 1456863396 994152 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Yes, I know < 1456863425 192936 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :That is, if it is pure JavaScript that does not use DOM and so on then it can work on browser and Node < 1456863442 778064 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(As well as other programs that use JavaScript) < 1456863444 827709 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Right, right < 1456863464 89526 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: most yacc implementations work by filling in a template file < 1456863468 392586 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Do you know of any Javascript parser generator libraries or pure parser generators? < 1456863473 127629 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: I realize that < 1456863473 420273 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ayacc's a bit different, it generates code rather than data < 1456863516 309835 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1456863621 420516 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : b_jonas: I was writing a Yacc-like library so I wouldn't have to write them from scratch <-- with all due respect, if you have trouble writing parsers from scratch, then there is _no_ way you're qualified to write a yacc-alike hth < 1456863646 756253 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: hehe < 1456863659 622837 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because no hand-written parser can ever be as confusing as LALR(1) parsing QED < 1456863676 749812 :spiette!~spiette@206.167.243.3 JOIN :#esoteric < 1456863810 319645 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although i have a hunch you meant something like parsec-alike instead < 1456863853 423675 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1456863915 57117 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I don't find LALR(1) that confusing < 1456863939 580216 :l0de!sid31830@gateway/web/irccloud.com/x-uvdglazumvlovosg PRIVMSG #esoteric :Yes hello, l0de here < 1456863948 319456 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1456863949 463965 :l0de!sid31830@gateway/web/irccloud.com/x-uvdglazumvlovosg PRIVMSG #esoteric :Anyone looking forward to the equinox rituals? < 1456864020 511032 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? esoteric < 1456864024 144784 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. < 1456864039 121805 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yes, sadly the “parser combinator library” hints for taht < 1456864052 222614 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which would be eww < 1456864217 823174 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :A LALR(1) parser generator for C programs is Lemon, although that is C rather than JavaScript programming < 1456864248 925241 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yes, I know, but I agree with ais523 in that ayacc is better than lemon in basically everything < 1456864261 487969 :hppavilion[1]!~DevourerO@74-114-87-80.dynamic.asdk12.org JOIN :#esoteric < 1456864262 476557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :do I know what lemon is? < 1456864284 349436 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: what? haven't we already talked about that one related to ayacc? < 1456864288 112854 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :l0de: I have no ritual of equinox at this time. (Although I do agree that it should be a holiday) < 1456864288 290018 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably < 1456864290 232998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I think I forgot < 1456864295 863977 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's why I asked rather than saying I didn't know what it was < 1456864309 118269 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : /but/ it is designed to easily be made to generate output in other languages <-- . o O ( underlambda? ) < 1456864309 251632 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I think you do know < 1456864347 562847 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: well it possibly has more of a chance than anything else :-P < 1456864367 659951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually the model it uses maps onto underlambda very well < 1456864377 551184 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even unlambda, in fact < 1456864380 202123 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: lemon is the yacc-like but not really compatible one that (a) outputs a re-entrant parser that doesn't use the C-stack but a separately allocated stack, and (b) its grammars mandatorily use a different syntax than yacc's $1 to access the values of symbols inside blocks < 1456864388 746483 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the main difficulties would be syntactic < 1456864393 429878 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: ah right < 1456864401 783771 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I figured it was something like that purely from you comparing it to ayacc < 1456864445 889748 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: http://www.sqlite.org/src/doc/trunk/doc/lemon.html < 1456864474 110473 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: mind you, it probably did make sense for them to develop lemon if ayacc wasn't available < 1456864497 568502 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's still better in some things than bison, and it serves their needs well < 1456864513 955853 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: I don't find LALR(1) that confusing <-- yes but you eat graphs for lunch hth < 1456864558 467140 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And it's definitely much better than handwriting a parser of course. < 1456864612 159061 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I happen to like that (a) difference from yacc especially, it mean you can even use more than one parser simultaneously in the same program too, as well as that you can call the parser for each token and that is how it work. < 1456864686 2321 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The problem is that we have these nice theoretic constructions like yacc parsers, but then people invent languages that aren't LR, and that can be parsed only with gross hacks, and in the end the parser you get is so ugly that you can't prove anything about how it works and when it will break. < 1456864712 696829 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :LALR(1) parser generator itself is great, I like it, although I don't claim to completely understand the theory. < 1456864721 869287 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The part where it gets bad is the stupid languages. < 1456864793 52454 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: funnily, bison is somewhat closer to that than ayacc is, at least ayacc with the C backend, because bison also outputs a parser that doesn't use the C stack, I think < 1456864845 154807 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I've been considering allowing LALR(2), etc., in ayacc too < 1456864864 361852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps with some minimization to merge identical states < 1456864879 212481 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it's unclear how you'd follow the POSIX rule to only read input if absolutely necessary, that might make it more complex < 1456864899 426896 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: but luckily using the C stack isn't such a big problem, because at least it doesn't use global variables and has other promises, so we can break out of a parser, we can run more than one in parallel using threads or coroutines, and we could even develop a new backend that doesn't use the C stack. < 1456864923 599269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: b_jonas: you know how you can implement mathematical regular expressions using NFAs, and how those can be converted to DFAs in order to create an efficient compiled representation of the regular expression? < 1456864931 392531 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :LALR is basically that but for stack machines < 1456864960 686937 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: those grammars I'm thinking about aren't LALR(n) for other n either. the ones that are LALR(2) but not LALR(1) can generally be turned to LALR(1) with some small amount of preprocessing of the input stream with a DFA. < 1456864981 938482 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: right < 1456865011 46587 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456865047 285155 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most yacc impls will, if you give the -v or equivalent argument, list all the possible NstackA states that correspond to one DstackA state < 1456865069 671760 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: ok < 1456865081 556795 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so that helps to understand what's going on < 1456865087 374609 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(ayacc is one such impl) < 1456865199 275181 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, a good quality debug output from ayacc certainly helps develop and debug grammars and prove things about it < 1456865219 459165 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as in, more than just telling me whether there's a conflict or not < 1456865223 93456 :clog!~nef@bespin.org JOIN :#esoteric < 1456865265 902537 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wb clog < 1456865278 512330 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it also helps debug ayacc < 1456865285 420696 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I worked on its debug output quite a lot for that reason < 1456865385 424035 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: can it also help debugging new ayacc output template thingies? < 1456865415 827638 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :only by comparing what it says the code structure should be to what was actually output < 1456865423 607726 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, a mistaken template will normally just cause a syntax error < 1456865442 498249 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's basically literally transforming the final automaton shown in ayacc's .output file into a series of code fragments via substitution < 1456865444 42426 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Sadly I don't think I'm going to play with ayacc in the near future. I have too many other things to do. < 1456865547 334364 :spiette!~spiette@206.167.243.3 QUIT :Ping timeout: 246 seconds < 1456865802 642590 :tjt263_!~RAPSCA77I@125-209-149-31.dyn.iinet.net.au QUIT :Changing host < 1456865802 775900 :tjt263_!~RAPSCA77I@unaffiliated/tjt263 JOIN :#esoteric < 1456865899 918444 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1456866292 897154 :carado!~carado@savhon.org JOIN :#esoteric < 1456866574 980050 :spiette!~spiette@x-132-204-248-121.xtpr.umontreal.ca JOIN :#esoteric < 1456866782 86271 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: oh, that reminds me. ayacc already clearly states that the parts of ayacc that it outputs are under public domain. is there a statement somewhere about what license the other parts of ayacc are available under? < 1456866807 15903 :lynn_!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456866819 339477 :lynn!~lynn@unaffiliated/lynn QUIT :Disconnected by services < 1456866823 455612 :lynn_!~lynn@unaffiliated/lynn NICK :lynn < 1456866823 921519 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :This isn't urgent or anything, but it would be useful if you specified. < 1456866833 362420 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, it looks like I forgot the license notice < 1456866835 268036 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Like, released it under some license. < 1456866837 220672 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think I was planning GPLv3 < 1456866852 818235 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but atm it's default-all-rights-reserved < 1456866869 625729 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(because I forgot to license it under anything else) < 1456866878 282268 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right < 1456866894 252045 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but in the future I'd like something that gave me more rights than defaults-all-rights-reserved < 1456866972 659476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1456866979 153000 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not working on ayacc at the moment < 1456866981 512885 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but remind me next time I do < 1456867077 910119 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1456867108 91253 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll try, but I might forget < 1456867147 436049 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1456867287 652170 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 276 seconds < 1456867481 244233 :I!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1456867505 999995 :I!~atslash@static.231.107.9.5.clients.your-server.de NICK :Guest46248 < 1456867506 694196 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1456867539 849814 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I hope the GPL would work in such a way on ayacc such that (1, more importantly) an ayacc-specific input grammar file is only an input to ayacc, not a modification to it that is required to be licensed under the GPL if you want to distribute it, and < 1456867596 31214 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(2, less importantly) ayacc isn't considered part of a program that uses ayacc to generate its parser, so that the program can be put under a GPL-incompatible but GPL-like sticky copyleft license that requires the full source of the program to be provided. < 1456867611 487589 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It's clear that the _output_ of ayacc isn't covered, my question is about the input. < 1456867616 79302 :tjt263_!~RAPSCA77I@unaffiliated/tjt263 QUIT :Quit: part < 1456867619 896836 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: the situatoin is the same as with gcc, I believe < 1456867635 885299 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which doesn't place any requirements on its input < 1456867649 450642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :besides, the fact that ayacc implements POSIX yacc is a pretty good argument that its input isn't copyright-affected by ayacc < 1456867655 752852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as it'd be valid POSIX yacc input too < 1456867733 605628 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: sure, but (1) I specifically said ayacc-specific grammar, and for point (2) that isn't relevant because bison is under the GPL too. < 1456867761 510126 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: no it isn't, bison has an exception < 1456867767 574622 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically because bison skeletons are copied into the output verbatim < 1456867846 210399 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bison has an exception to make its _output_ free from copyright stickiness, right? Same as how gcc has an exception for some parts of libgcc or whatever that often gets linked into the output but isn't covered by the "System Libraries" clause. < 1456867956 250319 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But sure, gcc is probably a very good precedent. < 1456868150 486645 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hmm… maybe we could abuse the nethack4 bug tracker for tickets about ayacc eventually. < 1456868161 916115 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It already works for aimake I think. < 1456868331 256152 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://test.drownattack.com/?site=https://www.intesasanpaolo.com my bank ;-; < 1456868407 422162 :hppavilion[1]!~DevourerO@74-114-87-80.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456868447 798994 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :beautiful < 1456868580 379106 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: fwiw it's ghc 7.10.2; I didn't see a reason to update to ghc 7.10.3 < 1456868595 28532 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :As for ayacc, I tried to write a translator or compiler thingy that originally tried to emit readable code. I mostly failed, though part of that was that I didn't develop it much after the deadline. < 1456868633 470877 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :is aimake a(imake) or ai(make)? < 1456868647 889666 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aim(ake) < 1456868650 388394 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :That project was http://www.math.bme.hu/~ambrus/pu/olvashato/ of course < 1456868655 81090 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: I think it's (ai)make < 1456868667 323826 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what would "imake" even mean? < 1456868675 462133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: it's (ai)(make) < 1456868675 647735 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :int-e, I always assumed it was an artificially intelligent version of make < 1456868679 831701 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess it would be spelled Imake < 1456868687 508513 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ai can either stand for artificial intelligence or (ai)s523 < 1456868701 307251 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"imake is a build automation system written for the X Window System." < 1456868731 508248 :hppavilion[1]!~DevourerO@74-114-87-80.dynamic.asdk12.org JOIN :#esoteric < 1456868800 196486 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm... does the first "a" in "ayacc" stand for something in particular then? < 1456868808 670436 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :matches the first a in ais523, that's about it < 1456868843 280450 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1456868878 410056 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and I guess ancurses would sound lame, unlike uncurses < 1456868905 931449 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ain'curses < 1456868940 867646 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :accursed < 1456869017 553044 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nfoiled again < 1456869123 453980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's called uncursed, it's just a nethack-related pun < 1456869132 167725 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sticking an "a" at the start is boring if you could do a pun instead < 1456869138 38476 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :exactly < 1456869207 705473 :mtve!~mtve@10130.x.rootbsd.net QUIT :Ping timeout: 260 seconds < 1456869227 309978 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: hey is that you discussing grade skipping with scott a. < 1456869311 401446 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yes, I'm that b_jonas. and it's probably not one of my most insightful comments. < 1456869324 24497 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not even among the ones on that blog < 1456869352 930445 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i just had a hunch and was wondering < 1456869365 406917 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(and you didn't use b_) < 1456869369 54563 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right < 1456869381 929124 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in some places I'm just jonas < 1456869384 761753 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which isn't nearly as unique < 1456869399 649198 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm practically the only b_jonas out there, but there are other people using "jonas" < 1456869600 320087 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: worse, on some places, I have used both jonas and b_jonas, because I forgot which one I used. < 1456869613 523933 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not on that blog luckily < 1456869634 555391 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heh < 1456869723 673971 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1456869932 669614 :lynn_!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456869961 923000 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: this one really gives it away that at least some of the "jonas" comments are by me by the way => http://www.scottaaronson.com/blog/?p=2011#comment-154279 < 1456870063 19065 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 250 seconds < 1456870205 366655 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i am not sure if i followed that thread < 1456871686 803799 :Guest46248!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: Leaving < 1456872235 985177 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1456872253 406469 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1456872552 242370 :spiette!~spiette@x-132-204-248-121.xtpr.umontreal.ca QUIT :Ping timeout: 276 seconds < 1456873329 45539 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1456873555 570223 :hppavilion[1]!~DevourerO@74-114-87-80.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456875682 667311 :lynn_!~lynn@unaffiliated/lynn QUIT :Ping timeout: 260 seconds < 1456875901 439349 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric