< 1439251239 680954 :aretecode!~aretecode@64.120.6.170 QUIT :Ping timeout: 265 seconds < 1439251430 86445 :aretecode!~aretecode@S01061859339e5f51.cc.shawcable.net JOIN :#esoteric < 1439253106 446156 :danofthedeep!~danofthed@c-76-18-30-8.hsd1.fl.comcast.net JOIN :#esoteric < 1439253136 661855 :hppavilion[1]_!423ae75d@gateway/web/freenode/ip.66.58.231.93 JOIN :#esoteric < 1439253160 700143 :hppavilion[1]_!423ae75d@gateway/web/freenode/ip.66.58.231.93 PRIVMSG #esoteric :Hi < 1439253995 91174 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I just spent 20 minutes searching for the one letter in my font that I accidentally made 1 pixel too high < 1439254028 953822 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Now my font is once again 16x9 pixels < 1439254050 664679 :hppavilion[1]_!423ae75d@gateway/web/freenode/ip.66.58.231.93 QUIT :Ping timeout: 246 seconds < 1439254134 421353 :getpwnam!~ian@unaffiliated/getpwnam QUIT : < 1439254622 801127 :danofthedeep!~danofthed@c-76-18-30-8.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1439255868 17254 :danofthedeep!~danofthed@c-76-18-30-8.hsd1.fl.comcast.net JOIN :#esoteric < 1439255933 979635 :danofthedeep!~danofthed@c-76-18-30-8.hsd1.fl.comcast.net QUIT :Max SendQ exceeded < 1439255960 684193 :danofthedeep!~danofthed@c-76-18-30-8.hsd1.fl.comcast.net JOIN :#esoteric < 1439256027 650583 :danofthedeep!~danofthed@c-76-18-30-8.hsd1.fl.comcast.net QUIT :Max SendQ exceeded < 1439256098 514678 :danofthedeep!~danofthed@c-76-18-30-8.hsd1.fl.comcast.net JOIN :#esoteric < 1439256310 240533 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hello danofthedeep < 1439256327 531552 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1439256342 713893 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :onëliner/onëliners are pairs of unfathomable vectors in the category of exponential distance. < 1439256685 885399 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1439257464 903547 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`wisdom < 1439257466 169128 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :loop/loop: see loop < 1439257468 77075 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`wisdom < 1439257469 575317 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :tmyk/tmyk the more overfilled your brain gets. < 1439257478 910776 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`? recursion < 1439257479 871244 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :You might expect a reference to recursion here, but to make it interesting you'll actuallSTACK OVERFLOW < 1439257578 577279 :hppavilion[1]_!423ae75d@gateway/web/freenode/ip.66.58.231.93 JOIN :#esoteric < 1439258667 556483 :aretecode!~aretecode@S01061859339e5f51.cc.shawcable.net QUIT :Quit: Toodaloo < 1439258789 220808 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1439258826 869390 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439259662 312770 :Aearnus_!uid103822@gateway/web/irccloud.com/x-ozeionjprtmxjpro JOIN :#esoteric < 1439260070 924223 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1439260166 254837 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=jcZUPDMXzJ8 < 1439260371 676629 :hppavilion[1]_!423ae75d@gateway/web/freenode/ip.66.58.231.93 QUIT :Ping timeout: 246 seconds < 1439260660 613807 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1439261919 580609 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 JOIN :#esoteric < 1439261929 908266 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :Dammit < 1439261948 896263 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :I think I left myself logged into IRC at work and it didn't log me off < 1439262045 811452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]_: do you have your nick registered? < 1439262059 271050 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one of the main reasons to register your nick is to log off other remote copies of yourself, < 1439262062 66048 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :s/,// < 1439262065 601094 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :ais523: : Yes < 1439262066 665746 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :Oh < 1439262070 885265 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :Awesome < 1439262082 526105 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]_: /msg nickserv ghost hppavilion[1] password < 1439262088 171915 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you don't need the password if you're logged in right now < 1439262100 845437 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(ideally send that in a different tab so that we don't see your password if you typo the / at the start) < 1439262106 227179 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 QUIT :Disconnected by services < 1439262129 963721 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :ais523: Yes, I figured out that I should do that when identifying a while ago < 1439262140 600557 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :And completely ignore that ideal :P < 1439262149 201752 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now that nickserv's disconnected your ghost < 1439262157 800186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can just /nick to take over the name you want < 1439262351 489516 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :ais523: Yep < 1439262358 543173 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :I figured that'd be how it worked < 1439262365 461278 :hppavilion[1]_!18ed9e01@gateway/web/freenode/ip.24.237.158.1 NICK :hppavilion[1] < 1439262377 526776 :hppavilion[1]!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :Yuy < 1439262400 257663 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com NICK :Oren < 1439262418 420083 :Oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com NICK :o-ren < 1439262513 812532 :o-ren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com NICK :\oren\ < 1439262860 475430 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :WTF?!!? So they sold Google to a brand new company called alphabet run by the same people? < 1439262870 339038 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1439262963 261315 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ofc, if you own a company, you can sell it, and you can also sell it to yourself < 1439262976 727261 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so there's nothing legally that weird about it < 1439263063 878030 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but whyyyyy < 1439263084 262945 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the theory I've seen is that they want to narrow what the word "google" refers to < 1439263099 151322 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although whether it's going to be search or advertising (or both but nothing else) is rather up in the air < 1439263112 226813 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IMO it'd be a terrible move for them to actually rename the search engine, but maybe they will? < 1439263231 491932 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :they're not going to < 1439263263 391848 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's hard to see how they would < 1439263277 540664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although anecdotal evidence is that the general public don't really understand the distinction between a browser and a search engine < 1439263288 183021 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and URL bars that pipe to a search engine are not helping) < 1439263290 875273 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I read that somewhere < 1439263302 976165 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I thought it was their blog post, but apparently not < 1439263322 984072 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: anecdotal evidence suggests there are people who don't understand the distinction between a browser and the internet < 1439263333 116413 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that too < 1439263760 176687 :Aearnus_!uid103822@gateway/web/irccloud.com/x-ozeionjprtmxjpro PRIVMSG #esoteric :it seems like they're also trying to bring attention to their other subsidaries < 1439263801 636491 :Aearnus_!uid103822@gateway/web/irccloud.com/x-ozeionjprtmxjpro PRIVMSG #esoteric :like http://www.calicolabs.com/ < 1439263933 738883 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1439264004 634308 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :There are people who don't know Facebook coutns as "using the itnernet". < 1439264015 286490 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDude < 1439264039 971730 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :But yeah, they specifically said Alphabet's just meant to act as a holding company. < 1439264078 738828 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: No route to host < 1439264085 941199 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :It won't make anything itself, it's more to solve the problem of them buying up companies that work on their own and then dealing with people wondering why it's not integrated with search. < 1439264087 618988 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1439264117 815768 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :when did google neuter their calculator features :( < 1439264589 924093 :hppavilion[1]!18ed9e01@gateway/web/freenode/ip.24.237.158.1 PRIVMSG #esoteric :coppro: Aeons ago < 1439264641 680517 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :possibly related to wolfram|alpha? < 1439264652 313798 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :use dc command for calculator! < 1439264673 678282 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I used to use it for dimensional calculations < 1439264679 339507 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :now w|a will be my goto I guess < 1439264713 590369 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :idea: programming language with units on every amount < 1439264760 259565 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :x = 10m; y = x / 2s; print y; >>> 5m/s < 1439264896 594818 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :km/h = 3.6m/s; y = 5m/s; print (km/h)y; >>> 1.388888 < 1439264969 351102 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm... you could do something quite like this with C++11 custom literals < 1439264996 204151 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :unfortunately, c++ is scow < 1439265069 985662 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`scow < 1439265070 885598 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: scow: not found < 1439265074 824880 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I see < 1439265084 436854 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :\oren\: not ony can you do that with C++ custom literals < 1439265114 704014 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but boost.units < 1439266063 990057 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://github.com/ainfosec/crema/ why is this not turing complete? < 1439266163 120394 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :izabera: my guess is recursion isn't allowed < 1439266206 82615 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1439266206 817178 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :there's no mention of such restriction < 1439266221 529038 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1439266237 867248 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :there isn't < 1439266253 81588 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but if you disallow (mutual) recursion, it's sub-TC < 1439266262 701181 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if you don't, pretty sure it is TC < 1439266821 750556 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1439267827 634810 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 265 seconds < 1439268255 501689 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439268529 22473 :hppavilion[1]!18ed9e01@gateway/web/freenode/ip.24.237.158.1 QUIT :Quit: Page closed < 1439270432 796811 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439270772 656927 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :■□▢▣▤▥▦▧▨▩◧◨◩◪◫◰◱◲◳ < 1439270959 301116 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :⅒ seems to be missing from a lot of fonts for some reason < 1439270988 191748 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it's even missing from GNU unifont < 1439271006 94563 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :works in tamsyn \o/ < 1439271006 233904 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69                  | < 1439271006 288316 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69                 /| < 1439271024 679948 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :slowbot < 1439271039 383926 :zadock!~outsider@5-13-252-19.residential.rdsnet.ro JOIN :#esoteric < 1439271046 960085 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :\oren\: the ascii letter? < 1439271139 826523 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1439271158 424100 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`unidecode ⅒ < 1439271159 301771 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2152 VULGAR FRACTION ONE TENTH] < 1439271194 701611 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it is supposed to be like - < 1439271199 747310 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :_1_ < 1439271204 360361 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :10 < 1439271402 122025 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ͰͱͲͳ are also missing from GNU unifont for unknowable reasons < 1439271486 35327 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :as are ◸◹◺◻◼◽◾◿ < 1439271596 580639 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Is this the result of newer unicode standards adding those characters? < 1439271669 70041 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :seems so < 1439271933 954575 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDream < 1439272423 988744 :x10A94!~x10A94@178.252.73.97 JOIN :#esoteric < 1439273173 471617 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439273367 981529 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439273845 614593 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Well i've figured out how to configure unicode font fallback < 1439274079 760306 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439275058 580325 :hppavilion[1]!423ae75d@gateway/web/freenode/ip.66.58.231.93 JOIN :#esoteric < 1439275061 124079 :hppavilion[1]!423ae75d@gateway/web/freenode/ip.66.58.231.93 PRIVMSG #esoteric :Hi < 1439275191 413084 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hi < 1439275778 447479 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :does using the list monad make me terrible? < 1439275887 415563 :zadock!~outsider@5-13-252-19.residential.rdsnet.ro QUIT :Quit: Leaving < 1439275945 377104 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: depends on how you use it < 1439275949 367048 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you use it for its intended purpose, no < 1439276174 646221 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :So in Perl and many other languages, there's a truthy/falsey dimension, but now Perl 6 has a defined/undefined dimension < 1439276219 185657 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Perl 5 has a defined/undefined dimension too < 1439276219 278894 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :And a `with` statement which is like `if` except for definedness < 1439276257 596922 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :ais523, how many undefined values are there in Perl 5? Perl 6 types and Failures are considered undefined < 1439276286 506959 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :http://design.perl6.org/S04.html#The_with_and_without_statements < 1439276289 588389 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1439276333 668540 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: ah right, I can only think of one, arguably two depending on how you look at it < 1439276338 28502 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :read-only undef and read-write undef < 1439276350 192719 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :only read-only undef is more of a container than a value < 1439276354 767090 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hmm < 1439276356 962310 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ok so < 1439276361 24571 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if I have a Maybe a < 1439276371 622498 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and a computation a -> m b < 1439276395 850618 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Perl 6 doesn't have undef, but lets you use the type to represent an undefined value of that type. I'm not convinced that that's much better than Java null, but for some reason they are < 1439276418 861616 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :is there an easy combinator which will give me mzero if the maybe is Nothing and the result of the computation otherwise? < 1439276558 110766 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ah mfromMaybe is close enough < 1439277703 957091 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hmm < 1439277778 294350 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: asum . traverse f < 1439277821 393682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1439277864 611070 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: figured it out < 1439277880 665903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mfromMaybe isn't standard, is it < 1439277883 210667 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :mapM_ < 1439277884 932278 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no it isn't < 1439277899 213135 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mapM_ doesn't work < 1439277904 285746 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t mapM_ < 1439277905 310069 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Monad m, Foldable t) => (a -> m b) -> t a -> m () < 1439277913 813697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it doesn't give results < 1439277948 173802 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :in this case I don't care about results, but yes < 1439277981 381228 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :some sort of fold would do if I did < 1439278084 370264 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t foldM_ < 1439278085 269096 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Monad m, Foldable t) => (b -> a -> m b) -> b -> t a -> m () < 1439278101 832718 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1439278103 972289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: anything with _ at the end will generally discard results < 1439278106 572746 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t mapM < 1439278107 434633 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Monad m, Traversable t) => (a -> m b) -> t a -> m (t b) < 1439278128 96141 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: ah right, I was confusing it with the fold1 and the like < 1439278328 716298 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :come to think of it, how do you generally disregard results in Haskell < 1439278329 920365 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I think it's interesting to contrast with Ruby and some similar languages, where both nil and false are falsey... if something returns a lack of value, and if something returns an actual false, are indistinguishable by merely a truthy check < 1439278348 679199 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the obvious \x -> () doesn't work because then x isn't evaluated < 1439278352 748530 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :can you lift it somehow? < 1439278368 611011 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: well Perl 5 has separate defined and truthy checks, although undef is falsey < 1439278383 758100 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :\a -> a; return () < 1439278384 550188 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :? < 1439278388 72097 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait got it < 1439278394 758040 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f -> asum . fmap f < 1439278395 785882 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘asum’ < 1439278395 888908 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439278395 943296 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘F.asum’ (imported from Data.Foldable), < 1439278400 986893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf < 1439278405 980032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f -> F.asum . fmap f < 1439278406 906180 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Functor t, Foldable t, Alternative f) => (a1 -> f a) -> t a1 -> f a < 1439278410 902646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that. < 1439278449 133516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i'm not sure Data.Foldable needs to be imported qualified any longer < 1439278473 597433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell int-e for lambdabot, i'm not sure Data.Foldable needs to be imported qualified any longer < 1439278473 651858 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1439278492 351147 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :everything that name clashed has been unified < 1439278579 340547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t void < 1439278580 304681 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Functor f => f a -> f () < 1439278583 510339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: ^ < 1439278598 46814 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: aha < 1439278603 43022 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I'm wondering if that has a simple definition < 1439278604 718174 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it probably does < 1439278624 844164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's for inside Monads and the like < 1439278630 447002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src void < 1439278630 549858 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. You type like i drive. < 1439278643 299386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? lambdabot < 1439278644 707964 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot is a fully functional bot. just don't ask about @src. < 1439278683 227419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: nowadays it'd be void x = () <* a < 1439278688 613327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<*) < 1439278689 702752 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Applicative f => f a -> f b -> f a < 1439278695 353467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1439278698 408127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry < 1439278709 307241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<$) -- that one < 1439278710 74885 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Functor f => a -> f b -> f a < 1439278732 534682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which also is a way of discarding a result, replacing it by whatever < 1439278751 958023 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 3 <$ [1,2,3] < 1439278753 328494 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [3,3,3] < 1439278868 515067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: also, there's seq < 1439278871 116539 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t seq < 1439278871 977938 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :a -> b -> b < 1439278883 57746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it discards, but evaluates first < 1439278904 613639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :disabling laziness < 1439278919 461128 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :seq and performUnsafeIO are one hell of a combo < 1439278933 721887 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know about seq < 1439278936 639094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*unsafePerformIO < 1439278941 485215 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yeah < 1439278948 72228 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how many layers does a get unpacked? < 1439278954 924182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just one < 1439278959 808866 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it's just checked for not-infinite-loop-ness? < 1439278965 890729 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or does it also unpack the outermost constructor? < 1439278984 781891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it evaluates enough to know that it _has_ an outermost constructor. < 1439279007 338956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"weak head normal form" is the technical term < 1439279023 742309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and for functions, until you get a lambda < 1439279025 360647 :Aearnus_!uid103822@gateway/web/irccloud.com/x-ozeionjprtmxjpro QUIT :Quit: Connection closed for inactivity < 1439279041 208096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I take it this needs compiler magic in order to work, then? < 1439279076 847449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that's the semantic definition. ghc of course tries to optimize. < 1439279105 167951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, not just optimizatoin < 1439279108 891463 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but to even be able to define it < 1439279110 661253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: "evaluating a thunk to head normal form" is like one of ghc's primitive operations. < 1439279118 986050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+weak < 1439279146 800112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or as they call it, "entering a thunk" < 1439279187 289626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it's the basic operation performed first by ghc core language's case expression < 1439279249 622675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except that somehow, function types cannot be entered, but can still be seq'ed, i'm not exactly sure how that works. < 1439279352 847212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's some difference in how ghc handles function types and ADT types, that means unsafeCoercing one to the other can crash things, even if you don't actually _use_ the result as an ADT value < 1439279392 839281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ADT types are the ones with genuine constructors < 1439279452 280679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose this is precisely the difference between types where evaluating has to "unwrap a constructor", which then crashes for values which don't have any. < 1439279463 301779 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION nice grammar
< 1439279544 927705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: because normally, _without_ seq, you never evaluate an ADT value except because you want to test / unwrap its constructor, or a function except to apply it. < 1439279571 647939 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: right, which is why I thought extra magic would be needed for seq < 1439279583 488258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm maybe you are right < 1439279595 494955 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. seq isn't something I'd expect you to be able to implement in standard Haskell, except in terms of itself < 1439279610 384088 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(or other functions of a similar nature) < 1439279617 622132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, it has to be general, because you can call seq on a polymorphic value that isn't known to be ADT or function < 1439279718 686873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: yeah. for any specific ADT type, you can implement it by matching on an arbitrary construction, but there's no way to do it for functions. < 1439279729 412409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*constructor < 1439279756 354627 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, "case x when _ -> ()" sort-of feels like a one-level unwrap < 1439279769 261363 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I suspect it doesn't wrap at all, and doesn't even marginally evaluate x as a result < 1439279785 986696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does if that's the core language < 1439279802 850873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but not if it's haskell (and you mean of, not when) < 1439279841 686933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case undefined of _ -> "hi" < 1439279843 10815 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "hi" < 1439279865 48740 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: sorry, working in OCaml in the day job, I find Haskell syntax easy to forget < 1439279879 533620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_ is an "irrefutable pattern", which means it evaluates nothing < 1439279942 427351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :variables are also irrefutable, as is unwrapping a _newtype_ constructor (which are entirely at the type-level) < 1439279975 502650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case undefined of Identity x -> "hi" < 1439279976 912386 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "hi" < 1439280009 69698 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case undefined of Just x -> "hi" < 1439280010 556835 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "*Exception: Prelude.undefined < 1439280031 831684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let data A x = A x; newtype B x = B x < 1439280032 951174 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1439280041 145213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case undefined of A x -> "hi" < 1439280042 728372 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "*Exception: Prelude.undefined < 1439280045 609371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case undefined of B x -> "hi" < 1439280046 855534 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "hi" < 1439280073 13181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let data C x = C !x -- data with strict constructor < 1439280073 976977 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1439280078 979239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case undefined of C x -> "hi" < 1439280080 331342 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "*Exception: Prelude.undefined < 1439280122 256683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: this behavior for pattern matching is the _only_ semantic difference between a newtype and a datatype with a single constructor with a single strict field < 1439280170 654968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think possibly GHC even implements them identically internally by default nowadays < 1439280180 494312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(not quite sure about that) < 1439280197 15292 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the only reason those are similar is the existence of strict fields < 1439280213 181597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :otherwise you could have a thunk with a known constructor but lazy internals that bottomed out < 1439280237 897213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1439280252 966627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case A undefined of A x -> "hi" < 1439280254 97237 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "hi" < 1439280263 216557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case B undefined of B x -> "hi" < 1439280264 451246 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "hi" < 1439280272 509423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case C undefined of C x -> "hi" < 1439280273 855669 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "*Exception: Prelude.undefined < 1439280275 796214 :nflix!~nemesisfi@154.73.15.5 JOIN :#esoteric < 1439280307 345856 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and this shows the case where C is the odd one out < 1439280452 140602 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm is there an example where B is the odd one out < 1439280467 698893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no wait < 1439280468 466058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :A < 1439280592 368974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh of course < 1439280607 703450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case A undefined of !x -> "hi" < 1439280609 126167 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "hi" < 1439280613 790228 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case B undefined of !x -> "hi" < 1439280615 209714 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "*Exception: Prelude.undefined < 1439280618 943684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case C undefined of !x -> "hi" < 1439280620 193039 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "*Exception: Prelude.undefined < 1439280666 681761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: ^ < 1439280685 200492 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh hmm, how does that strictness on the case work? < 1439280703 991918 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :note that I'm tired enough that I have to look at your comments twice to see whether they're in italic < 1439280708 897990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically that's equivalent to A undefined `seq` "hi" < 1439280745 977248 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, forces a one-level unwrap < 1439280909 745024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with the caveat that a newtype constructor doesn't count as a level < 1439280936 284838 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, it's just a label really < 1439280943 271625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that unwrapping a data constructor also unwraps its strict fields < 1439280952 530106 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :can a newtype have more than one constructor? IIRC it can't? < 1439280955 498237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope < 1439280972 708347 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in which case I'd expect a newtype to be implemented identically to whatever it's wrapping < 1439280983 108189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, that's precisely the use case < 1439280999 851545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to avoid runtime overhead but still have a distinct type < 1439281104 772336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and making conversion have no overhead the other way is why the special treatment in patterns < 1439281122 973851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*there's the < 1439281219 512494 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but even with that, there are still cases where conversion is not without overhead, so ghc recently introduced a Coercible class to handle more < 1439281235 978962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(people were previously using unsafeCoerce) < 1439281259 277684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> coerce [Identity (3 :: Int)] :: [Int] < 1439281260 670204 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Contravariant []) arising from a use of ‘coerce’ < 1439281260 774286 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the expression: coerce [Identity (3 :: Int)] :: [Int] < 1439281263 896172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1439281273 807764 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course lambdabot imports a completely different coerce < 1439281290 582262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :from one of edwardk's packages, i bet < 1439281327 991040 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, OCaml has the (:>) operator that seems to match that particular coerce < 1439281333 827214 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that lambdabot just found < 1439281360 921989 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway, the thing is that [Identity Int] _is_ identically represented to [Int] but without coerce you still need to go through map < 1439281417 933702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(Identity is like the silliest newtype ever, it wraps anything in the trivial Monad) < 1439281443 853546 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t coerce < 1439281444 762256 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Functor f, Contravariant f) => f a -> f b < 1439281462 798797 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd be a bit surprised if Ocaml has that :P < 1439281487 923987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh :> is for object subtyping, isn't it? < 1439281494 575037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION vaguely recalls
< 1439281534 806888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which i guess involves variance too < 1439281604 45264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that btw is edwardk's supergeneral way of expressing that f is a functor that ignores its wrapped type, i.e. essentially Const a b = Const a < 1439281681 969817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :somehow haskell has ended up with two competing types like that, although there seems to be a movement to get rid of Constant < 1439281693 587690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Constant < 1439281694 573329 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: type constructor or class ‘Constant’ < 1439281694 676087 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant ‘Constraint’ (imported from Lambdabot.Plugin.Haskell.Eval.Trusted) < 1439281699 325340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Const < 1439281700 355623 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :* -> * -> * < 1439281724 914532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Control.Functor.Constant.Constant < 1439281725 980854 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: < 1439281726 35141 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : type constructor or class ‘Control.Functor.Constant.Constant’ < 1439281733 497390 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Control.Functor.Trans.Constant.Constant < 1439281734 770802 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: < 1439281734 873311 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : type constructor or class ‘Control.Functor.Trans.Constant.Constant’ < 1439281741 907381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eep < 1439281784 94373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION learns that there exists a Control.Monad.Trans.Conts module
< 1439281793 852124 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1439281824 676436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm ghci was surprisingly helpful with suggesting module names < 1439281832 875032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Data.Functor.Constant.Constant < 1439281833 734310 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :* -> * -> * < 1439281935 656297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wish it would suggest language options that way too < 1439282001 687089 :hppavilion[1]!423ae75d@gateway/web/freenode/ip.66.58.231.93 QUIT :Ping timeout: 246 seconds < 1439282117 103276 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439282136 829250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph turns out it _does_ if you use ghci from the terminal instead of winghci. *sigh*. < 1439282189 69636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, then it has proper tab completion. < 1439282214 797225 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Good morning < 1439282235 313598 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :One of my friends is resitting an exam this morning and I am a little worried < 1439282296 977674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ouch < 1439282392 787793 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am mostly worried because I helped him revise for it < 1439282465 667795 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So if he doesn't do well enough it's sort of on me < 1439282468 818303 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is that selfish of me? < 1439282526 271376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, it's not altruistic, but being selfish sort-of implies it's at the cost of someone else < 1439282547 387276 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whereas your friend doing well in the exam doesn't hurt anyone, and indeed is a benefit to the world in general < 1439282552 847309 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I don't think it fits the definition of being selfish either < 1439282558 885551 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's one of those instances where everyone's interest aligns < 1439282699 641498 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think next academic year we're both gonna have to stay a bit more on top of things < 1439282787 809801 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :hi all < 1439282814 805444 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Chinese14]]4 10 02http://esolangs.org/w/index.php?diff=43720&oldid=38656 5* 03Rdebath 5* (+70) 10/* ASCII only */ < 1439282941 763786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi nflix < 1439283042 493650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION suspects that guy in GG to actually have _planned_ that agatha would mess up the other guy's plans
< 1439283069 888501 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I'm not sure, if that were the case why'd he offer to bathe her and take her to his chambers? < 1439283085 61320 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to prevent suspicion? < 1439283100 983898 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Seems risky < 1439283107 742549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wouldn't be entirely surprised if he's working for the real Master < 1439283135 847736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or even, perhaps, _is_ the real master working through a clank body < 1439283221 373562 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, rereading the last few, you might be righ < 1439283222 65602 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :t < 1439283367 553845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or perhaps this is a test of her, and they're _both_ in on it. < 1439283378 605908 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yay for semi-public wlan... < 1439283389 537163 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, that'd be more surprising < 1439283394 336002 :zadock!~outsider@5-13-227-217.residential.rdsnet.ro JOIN :#esoteric < 1439283483 588031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: if you were the master and a very powerful spark of unknown character entered your domain, wouldn't _you_ want to give them a few tests before meeting them openly? < 1439283504 946323 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I probably would do it more subtly than kidnapping her < 1439283518 777672 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: The theory I've seen (the official one) claims it's to align "Google" better with the official mission statement: "to organize the world’s information and make it universally accessible and useful". < 1439283520 793924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well he _does_ have a devilish sense of humor :P < 1439283643 174736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in any case, i fully expect him to be a master manipulator aware of most plots against him < 1439283667 275581 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, it could be that the true master subtly manipulated this conspiracy into being < 1439283677 452767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1439283757 584292 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'd be willing to bet there's a number of conspiracies centred around a "master" of Paris < 1439283778 323036 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which a) lets others take the fall for threats < 1439283787 125673 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: have you read the Foundation series by Asimov? < 1439283787 781582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i've considered the possibility there's no actual master < 1439283788 442819 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And b) ties up potential rivals into administrating Paris < 1439283794 864612 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, everything but the prequels < 1439283796 715566 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it has a truly surprising number of nested conspiracies < 1439283806 642577 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right, the prequels don't add much to the conspiracy count < 1439283816 345167 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just explain the origins of at least two of them < 1439283822 354921 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> foldlM < 1439283823 706596 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘foldlM’ < 1439283823 808778 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439283823 863008 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘F.foldlM’ (imported from Data.Foldable), < 1439283825 882662 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1439283825 936994 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Undefined. < 1439283827 461382 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> foldlM < 1439283828 873867 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Typeable m0) < 1439283828 928240 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (maybe you haven't applied enough arguments to a function?) < 1439283828 928330 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : arising from a use of ‘show_M139423655219615691610827’ < 1439283856 96924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they're more character-driven, really < 1439283864 780493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i've read enough to know of three levels. hm if the trantor empire itself was one it could be four. < 1439283880 442503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait, five. < 1439283887 641113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :forgot the solarians < 1439283947 190132 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Solarians weren't really a conspiracy as much as a warning of what would be down a particular path < 1439283976 176411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but it's left _very_ open whether they ended up winning < 1439283982 659161 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I count five < 1439283999 880415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(um, megaspoiler?) < 1439284012 559274 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, I'm trying to avoid spoilers by not talking about specifics < 1439284026 593070 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I need to reread them... < 1439284030 17117 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't count the solarians as part of the "critical path", though < 1439284062 353111 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :off-topic here (sorry): http://hastebin.com/ugiduroqeb.coffee < 1439284091 885395 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nflix: are you a spambot? < 1439284097 558532 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :looking for ideas for how i can complete that poem.. < 1439284105 183673 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, perhaps not < 1439284108 336916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: this might apply to Data.Traversable too btw < 1439284109 214793 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :u guys r smart < 1439284110 964922 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but saying "hi", then not responding < 1439284115 412780 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :language++ < 1439284118 954597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then later posting an unsolicited link < 1439284124 472094 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: hmm < 1439284127 132234 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that you admit is offtopic < 1439284135 239584 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :hahaha sori, was observing the chat... < 1439284135 686811 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is within the normal bounds for spambot behaviour < 1439284160 217506 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :like the atmosphere here, but very new to talk anything too technical < 1439284179 866763 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1439284190 646426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess I'm just confused < 1439284196 136924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this channel's sort-of offtopic much of the time < 1439284208 806691 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess Haskell is almost ontopic but it somehow manages to be too mainstream to really fit < 1439284224 52789 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :ic < 1439284259 247903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ramp up the type functions < 1439284266 176958 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :so, any creative ideas ^above < 1439284270 948626 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1439284271 51200 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Undefined. < 1439284284 70697 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: fortunately this is rather easy to test :) < 1439284347 506714 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(ghci's :browse qualifies ambgiguous names) < 1439284405 249604 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, I did not know that was a thing < 1439284455 732 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Thanks for that < 1439284760 170080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i'm pretty sure one of the mentioned goals of FTP was "no name clashes in base", although i'm also pretty sure they didn't get that far ((.) and id) < 1439284765 805341 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t id < 1439284766 2329 :llue!~gnomebad@88.202.254.4 JOIN :#esoteric < 1439284766 56575 :llue!~gnomebad@88.202.254.4 QUIT :Changing host < 1439284766 56646 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439284770 473435 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :a -> a < 1439284774 438801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (.) < 1439284775 265932 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(b -> c) -> (a -> b) -> a -> c < 1439284793 92075 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see you have the Prelude versions < 1439284804 934594 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. < 1439284812 314683 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Does C.Category mess up lens? < 1439284832 166515 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh that may be < 1439284837 615947 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That's the place I can think of most likely to cause a problem < 1439284837 923662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (C..) < 1439284839 608478 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :forall (k :: BOX) (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k). Category cat => cat b c -> cat a b -> cat a c < 1439284849 980885 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That's certainly a type signature < 1439284875 320594 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I could go Cale's route and let (.) = fmap by way of a compromise. < 1439284946 185946 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 240 seconds < 1439284953 413183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Just ("Hi", 0) & _Just C.. _1 %. "Ho" < 1439284954 682044 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘%.’ < 1439284954 784855 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439284954 839108 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘.’ (imported from Data.Function), < 1439284970 560919 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, have it be liftA just to confuse everyone < 1439284986 208036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Just ("Hi", 0) & _Just C.. _1 .~ "Ho" < 1439284987 884196 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Just ("Ho",0) < 1439284996 532215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: well that didn't hurt < 1439285000 145942 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or I could just stick to the prelude version < 1439285019 225234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Just ("Hi", 0) & fmap _Just _1 .~ "Ho" < 1439285020 654774 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Just ("Ho",0) < 1439285029 343612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fmap doesn't hurt either < 1439285069 564185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t liftA < 1439285070 402715 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Applicative f => (a -> b) -> f a -> f b < 1439285100 754546 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t uncons < 1439285103 17161 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Ambiguous occurrence ‘uncons’ < 1439285103 71575 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : It could refer to either ‘Control.Lens.uncons’, < 1439285103 71671 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : imported from ‘Control.Lens’ at /home/lambda/.lambdabot/State/L.hs:51:1-43 < 1439285105 405923 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmpf. < 1439285134 753528 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(it's also a function in Data.List) < 1439285140 409427 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> Just [1,2,3] & _Just C.. traversed %@~ const < 1439285143 298410 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Just [0,1,2] < 1439285274 127633 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wtf is op... < 1439285307 157982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :♫ when you wanna get up, up on your feet, caffeine ♫ < 1439285330 3829 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, "op"? < 1439285343 511758 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1439285343 614235 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Undefined. < 1439285345 814451 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t op < 1439285346 833107 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Associativity -> Int -> String -> Expr -> Expr -> Expr < 1439285348 244705 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t Lens.op < 1439285349 209373 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Wrapped s => (Unwrapped s -> s) -> s -> Unwrapped s < 1439285371 593446 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> Lens.op (getSum) 10 < 1439285373 35831 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Could not deduce (Unwrapped s0 ~ Sum s) < 1439285373 90250 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : from the context (Num s, Wrapped s, Unwrapped s ~ Sum s) < 1439285373 144622 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : bound by the inferred type for ‘e_110’: < 1439285398 258474 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> Lens.op Sum (Sum 10) < 1439285399 635467 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10 < 1439285458 844561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Lens.op Sum (Sum 10) < 1439285459 986640 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Num a => Unwrapped (Sum a) < 1439285468 793212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Lens.op Sum (Sum 10) < 1439285470 855220 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10 < 1439285473 2846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> Lens.op Sum (Sum 10) :: Int < 1439285476 126631 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10 < 1439285492 764460 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> reduction (1+2+3) < 1439285494 799381 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [1 + 2 + 3,3 + 3,6] < 1439285497 734295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait duh < 1439285499 907582 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fancy. < 1439285509 718676 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :type Unwrapped (Sum a) = a < 1439285577 216789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: oh the other op is the one used for building Expr operators < 1439285606 507955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now what is Associativity... < 1439285618 438243 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah, I'm in the process of hiding it :P < 1439285623 437827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Associativity < 1439285626 873254 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :* < 1439285627 397945 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, associativity means that (a o b) o c = a o (b o c) hth < 1439285633 278629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i mean the type < 1439285672 647890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t reduction < 1439285672 919881 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :When I spent a significant portion of yesterday helping someone with a ring theory exam, certain things get in my head < 1439285673 722562 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Expr -> [Expr] < 1439285698 317238 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1439285698 419896 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Undefined. < 1439285700 438468 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t op < 1439285702 936018 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘op’ < 1439285703 60549 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439285703 114752 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘Control.Lens.op’ (imported from Control.Lens), < 1439285713 436112 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t Debug.SimpleReflect.op < 1439285714 345031 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Debug.SimpleReflect.Associativity -> Int -> String -> Expr -> Expr -> Expr < 1439285734 296299 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1439285734 399025 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Undefined. < 1439285735 665514 :zadock!~outsider@5-13-227-217.residential.rdsnet.ro QUIT :Quit: Leaving < 1439285837 617766 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t let (£) = op InfixL 3 in reduction (1 £ 2 £ 3) < 1439285838 900714 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: data constructor ‘InfixL’ < 1439285838 954988 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439285839 9322 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘Debug.SimpleReflect.InfixL’ (imported from Debug.SimpleReflect), < 1439285841 369817 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> let (£) = op InfixL 3 in reduction (1 £ 2 £ 3) < 1439285847 739020 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: data constructor ‘InfixL’ < 1439285847 793294 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439285847 793351 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘Debug.SimpleReflect.InfixL’ (imported from Debug.SimpleReflect), < 1439285853 661903 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :*sigh* < 1439285860 322358 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> let (£) = op Debug.SimpleReflect.InfixL 3 in reduction (1 £ 2 £ 3) < 1439285863 116604 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Couldn't match expected type ‘Unwrapped s’ < 1439285863 170861 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : with actual type ‘Unwrapped s0’ < 1439285863 170920 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : NB: ‘Unwrapped’ is a type function, and may not be injective < 1439285884 650146 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :WHERE IS UNWRAPPED GETTING INTO THAT < 1439285894 244282 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t op < 1439285895 330670 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Wrapped s => (Unwrapped s -> s) -> s -> Unwrapped s < 1439285898 818720 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :try to keep up :P < 1439285910 698424 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> let (£) = Debug.SimpleReflect.op Debug.SimpleReflect.InfixL 3 in reduction (1 £ 2 £ 3) < 1439285911 875947 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Couldn't match type ‘Expr -> Expr’ with ‘[Char]’ < 1439285911 978559 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Expected type: String < 1439285912 32831 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Actual type: Expr -> Expr < 1439285929 373259 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> let (£) = Debug.SimpleReflect.op Debug.SimpleReflect.InfixL 3 "£" in reduction (1 £ 2 £ 3) < 1439285931 374365 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [1£2£3] < 1439285937 189243 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) ish < 1439285971 521146 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sorry, I need more sleep < 1439286397 497811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ["hi","there"] & traversed <<%~ length < 1439286399 11701 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ("hithere",[2,5]) < 1439286420 893438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm not what i was aiming for < 1439286435 146529 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What were you aiming for < 1439286450 906276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :[("hi",2),("there",5)] < 1439286497 294711 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> ["hi", "there"] & traverse %~ id <<%~ length < 1439286498 770837 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [("hi",2),("there",5)] < 1439286508 270393 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Not very good, I'll see if I can come up with something better < 1439286534 469546 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was sort of hoping that i'd discovered <<%~ to be more powerful than i thought < 1439286639 231558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, i noticed a discussion somewhere suggesting that <%~ and <<%~ need non-operator names < 1439286650 488237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(but none actually suggested) < 1439286754 843905 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :<<%~ is a worse name than some of the ones in Feather < 1439286765 815369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there are names in Feather? < 1439286798 120952 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, there exists a name in Feather, n, such that n is a better name than "<<%~" < 1439286817 392545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1439286828 919462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<<%@~) -- hth < 1439286829 747530 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Optical (Indexed i) q ((,) a) s t a b -> (i -> a -> b) -> q s (a, t) < 1439286841 310367 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439286842 256405 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439286847 972464 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Client Quit < 1439286855 220323 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t (<<~) < 1439286856 246034 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘<<~’ < 1439286856 300344 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439286856 300422 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘<<<>~’ (imported from Control.Lens), < 1439286864 971726 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(<<~) :: Optical' (->) q ((,) FilePath) s FilePath -> FilePath -> q s (FilePath, s) < 1439287003 41385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: the thing is lens operators have morphological grammar, and despite Taneb's et al's best efforts it _still_ doesn't define every possible combination. < 1439287037 314622 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps you need some sort of metaoperator that takes operator components as arguments? < 1439287038 833125 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I was doing well, then someone added indexed variants :( < 1439287061 479979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: Feather operators are mostly combinations of punctuation marks following this sort of operator component pattern < 1439287068 315154 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fortunately for my sanity, I no longer remember most of them < 1439287072 248095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i see (<<%=) now exists, i don't recall that from before < 1439287084 998010 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, that has existed for a long time < 1439287088 656669 :APic!apic@apic.name PRIVMSG #esoteric :,o0(Your Mind turns into a Pretzel) < 1439287091 23734 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Before I went on my operator rampage < 1439287092 493487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<<@%=) < 1439287093 369812 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘<<@%=’ < 1439287093 472447 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439287093 526809 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘<<%=’ (imported from Control.Lens), < 1439287094 302431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there was a symbol that was reasonably consistently used for "unboxed", it may even have been # < 1439287102 400457 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in which case I claim that Haskell is stealing ideas from me < 1439287126 885312 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( import qualified Control.Lens as AbandonAllSanityYeWhoEnterHere ) < 1439287146 754229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: ooh < 1439287150 618926 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, now I'm gonna have to add <<@= :( < 1439287164 515327 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or would it be <<@= ? < 1439287201 483535 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: although in Feather, boxing something makes gain an identity, once something's boxed you can retroactively assign to the box contents < 1439287218 359798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whereas if something's unboxed you can't necessarily retroactively assign to it at all, and if you can, it's only because you can somehow find a box inside it < 1439287218 462792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: do indices makes sense for filepaths < 1439287232 174946 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have no idea < 1439287272 205381 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I went on my operator rampage because I needed <<+= < 1439287280 6124 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I guess the Primary Rule of Feather is this: retroactively assigning to a box changes the value that was placed inside the box at the time of its creation, and all actions since are recalculated < 1439287305 832602 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, does feather have first class functions < 1439287325 193604 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: yes, also closures < 1439287349 564566 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I can see why this'd drive someone insane < 1439287358 528819 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is at least partly because my latest plans for producing a Feather interpreter were based on continuously morphing a lambda-calculus-plus-call/cc language into it < 1439287396 863408 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then I sort-of got stuck because my plans required an eigenratio of 1 < 1439287414 607859 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(cheating is allowed) < 1439287422 125882 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :eventually you can do it via an eval operator that's defined in terms of itself < 1439287425 566353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have a combinator interpreter with an eigenration 1 hth < 1439287428 692653 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the in-between bits are rather harder to figure out < 1439287437 151167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-n < 1439287438 592498 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: actually it might help, I didn't think of using combinators < 1439287443 178599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but please < 1439287447 559676 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now is not the time to think of Feather :-D < 1439287475 41870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Feather is outside time, now is as good as any hth < 1439287490 695880 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, hence no time is the time to think of Feather < 1439287609 117990 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: well, a Feather interpretation does actually have a begin point in time < 1439287614 44536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just from outside it, you can't see that point < 1439287624 528513 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it retroactively pushes itself further back into history if you try to find out where it is < 1439287628 83951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*from inside it < 1439287710 845887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you need a heap with revision control < 1439287779 404239 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: for your eigenratio-1 interp? or for feather generally? < 1439287787 368919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for feather < 1439287796 40448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it does have the problem that retroactive modifications tend to form infinite loops without some sort of mitigation < 1439287802 9141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my interp was for unlambda, it only needs refcounting < 1439287810 591765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(unlambda itself) < 1439287828 646016 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, this was an unlambda self-interp, that just happened to be eigenratio 1 on top of that? < 1439287834 116218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1439287836 658452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow < 1439287854 815648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unlambda's actually not a terrible language to implement feather in < 1439287865 244768 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it has most of the required features, its main issue is that it's ridiculous < 1439287868 413969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i made it way back, and then when that eigenratio guy started blogging i thought of it, and figured it disproved his hypothesis < 1439287940 96672 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my plans for eigenratio 1 mostly involved the sort of evaluation orders that screw up weak normalization proofs < 1439288483 366160 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1439288587 547238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bholliey < 1439288661 760442 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1439289722 171895 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan! < 1439289919 813227 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :apparently, scow is oerjanspeak. I thought it was shachafspeech. < 1439290013 187360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so did i < 1439290042 334074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think this acknowledgement is scow < 1439290793 110413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? scow < 1439290794 41362 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :scow? ¯\(°​_o)/¯ < 1439290810 136652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :weird. < 1439290830 527452 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn it's a quote < 1439291230 146163 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Latér < 1439291469 788301 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1439291470 364766 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 111100Z 13010KT 3SM -RA BKN008 BKN030 OVC060 18/18 A2976 RMK SF5SC2SC1 SLP077 DENSITY ALT 700FT < 1439291485 672427 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :18/18. scow scow scow. < 1439291606 345652 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439291624 172568 :boily!~alexandre@96.127.201.149 QUIT :Quit: SEMIORGANIC CHICKEN < 1439292394 260781 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@metar EGLL < 1439292394 466722 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGLL 111120Z VRB03KT 9999 FEW032 20/11 Q1021 NOSIG < 1439292462 973781 :nflix!~nemesisfi@154.73.15.5 PRIVMSG #esoteric :\leave < 1439292466 601079 :nflix!~nemesisfi@154.73.15.5 PART :#esoteric < 1439292643 139795 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1439292700 652662 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1439294052 60640 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"failedfailed to create file", says a tool. < 1439294060 131775 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess it just means it failed twice as badly. < 1439294108 287371 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1439294126 282594 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439295257 648775 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439295645 768816 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439295755 232349 :villasukka!villasukka@aulis.sange.fi QUIT :Ping timeout: 258 seconds < 1439295783 239050 :villasukka!villasukka@aulis.sange.fi JOIN :#esoteric < 1439295783 548271 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 255 seconds < 1439295793 874822 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Maybe the file creation API returned two failures. < 1439295823 565331 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1439295890 724784 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Is there any APIs that generally returns multiple failures?) < 1439295897 715114 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :s/Is/I/ < 1439295910 744316 :danofthedeep!~danofthed@c-76-18-30-8.hsd1.fl.comcast.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1439295923 874020 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Uh, that replacement doesn't work < 1439296050 58653 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hm, X.509 validation libraries (are supposed to) return multiple failures < 1439296137 827311 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 246 seconds < 1439296740 726075 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :If every category has a skeleton then the axiom of choice < 1439297548 896978 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439298300 661782 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439299751 901657 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 252 seconds < 1439299883 582962 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1439301112 266098 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I disagree with John Oliver that "What's twitter?" isn't a valid question . < 1439301238 92924 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1439301682 635799 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I like how he makes fun of a wheather guy not knowing what "transgender" means < 1439301689 811481 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and then he explains sexual orientation wrong < 1439301714 537337 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :looks like he can't keep up himself. < 1439302152 974032 :TieSoul_!~quassel@86.89.119.147 JOIN :#esoteric < 1439302390 987769 :TieSoul!~quassel@86.89.119.147 QUIT :Ping timeout: 260 seconds < 1439302430 83452 :TieSoul_!~quassel@86.89.119.147 NICK :TieSoul < 1439303810 901010 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :multi-exceptions... < 1439303815 926382 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :new Java Feature :) < 1439303828 257310 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :throw new RuntimeException() | new IOException(); < 1439305061 73921 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1439305281 89256 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439306000 705699 :ptia!42f951cc@gateway/web/freenode/ip.66.249.81.204 JOIN :#esoteric < 1439306046 555420 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1439306067 237398 :ptia!42f951cc@gateway/web/freenode/ip.66.249.81.204 QUIT :Client Quit < 1439306170 562703 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439308438 170135 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDude < 1439308628 520016 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1439308795 239053 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1439309220 83019 :_256Q!~toastyten@5.80.44.78 JOIN :#esoteric < 1439309220 217045 :_256Q!~toastyten@5.80.44.78 QUIT :Changing host < 1439309220 271404 :_256Q!~toastyten@unaffiliated/256q/x-9307863 JOIN :#esoteric < 1439309339 759524 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1439309884 84498 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1439310149 613308 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1439310271 567515 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1439310300 649950 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask boily 18/18. scow scow scow. <-- does that mean you're actually floating < 1439310300 750880 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1439310577 689487 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439310635 545777 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :new language idea: exactly like z80 assembly but with only the a and r registers < 1439310681 105637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ar < 1439310681 211865 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Yeh scurvy dog... < 1439310763 259262 :Hoolootwo!~Hooloovoo@d1g1t4l.be PRIVMSG #esoteric :the r register is for dram refresh and increments every instruction fetch < 1439310780 973936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1439310781 225557 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 111620Z 21007KT 180V260 9999 TS VCSH BKN030CB 23/11 Q1008 TEMPO 26025G35KT 4000 TSRAGR BKN012CB RMK WIND 670FT 22010KT < 1439310802 602028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bye bye, nice weather < 1439310822 392207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :always refresh with a dram, ye hear < 1439310979 307770 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it pours down, but _still_ the sun manages to shine too strongly in here < 1439311007 956998 :PinealGlandOptic!~PinealGla@vps2.conus.info QUIT :Quit: leaving < 1439311453 220574 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Just started to rain here. < 1439311455 315633 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@metar EGLL < 1439311455 740098 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGLL 111620Z 30004KT 260V350 9999 -RA FEW026 20/12 Q1021 NOSIG < 1439311477 741828 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :All hail the sun god, -RA, -RA, -RA. < 1439311485 909052 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Supposedly it'll rain more later. < 1439311521 152404 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Your TSRAGR sounds quite impressive. < 1439311535 790574 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Thunderstorms, rain, hail. Proper summer weather. < 1439311841 427556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i haven't noticed any thunder or hail yet < 1439311865 279846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the really bad weather forecast was only for 1 hour < 1439311909 56589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now it says sunny, but 5-6 degrees colder < 1439311936 556847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm make that 10 compared to the metar < 1439312116 84534 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1439312821 465152 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439312831 122121 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439313343 565723 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net QUIT :Quit: *bubbles away* < 1439313415 782732 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1439315949 666007 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1439316918 826302 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1439316957 879269 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1439317122 860348 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1439318631 293324 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1439320042 532131 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439320610 148520 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439320768 860650 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1439321939 128988 :TieSoul!~quassel@86.89.119.147 QUIT :Remote host closed the connection < 1439323460 566244 :bb010g!uid21050@gateway/web/irccloud.com/x-tabgpawctilvaphz JOIN :#esoteric < 1439323461 21577 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection timed out < 1439323511 736406 :mauris!~mauris@c-67-191-112-170.hsd1.fl.comcast.net JOIN :#esoteric < 1439323772 752568 :mauris!~mauris@c-67-191-112-170.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1439324059 703661 :mauris!~mauris@c-67-191-112-170.hsd1.fl.comcast.net JOIN :#esoteric < 1439325450 704712 :getpwnam!~ian@unaffiliated/getpwnam JOIN :#esoteric < 1439327079 392736 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1439327311 833298 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1439327621 803671 :Slereah!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr NICK :Slereah_ < 1439327683 989604 :x10A94!~x10A94@178.252.73.97 QUIT :Read error: Connection reset by peer < 1439327930 636299 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1439328306 843169 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439328479 995355 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439329401 803574 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439329443 416287 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1439329479 979495 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1439329755 95137 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 244 seconds < 1439330095 511885 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439330448 318037 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1439330530 657226 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds < 1439330673 276706 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1439330716 94317 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Ping timeout: 244 seconds < 1439331373 637311 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1439331385 567196 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Quit: Leaving... < 1439331885 707615 :hppavilion[1]!ceae2a03@gateway/web/freenode/ip.206.174.42.3 JOIN :#esoteric < 1439332314 566763 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1439333539 669554 :idris-bot!~idris-bot@dslb-178-006-012-181.178.006.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1439333585 656411 :bb010g!uid21050@gateway/web/irccloud.com/x-tabgpawctilvaphz QUIT :Quit: Connection closed for inactivity < 1439333907 880020 :singingboyo!~brandonso@deas.ugrad.cs.ubc.ca PRIVMSG #esoteric :@metar CYVR < 1439333908 198292 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYVR 112200Z 31016KT 30SM FEW250 23/17 A2992 RMK CI1 HZ CONTRAILS SLP131 DENSITY ALT 900FT < 1439333983 561987 :singingboyo!~brandonso@deas.ugrad.cs.ubc.ca PRIVMSG #esoteric :huh, CONTRAILS. didn't know they had that < 1439334312 606270 :hppavilion[1]!ceae2a03@gateway/web/freenode/ip.206.174.42.3 QUIT :Ping timeout: 246 seconds < 1439334512 259938 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1439334714 505923 :sunnymilk!~sunnymilk@unaffiliated/sunnymilk QUIT :Ping timeout: 250 seconds < 1439334737 546327 :sunnymilk!~sunnymilk@unaffiliated/sunnymilk JOIN :#esoteric < 1439334963 191228 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1439335013 637181 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439335074 63805 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's all good until it says CHEMTRAILS. < 1439335293 286226 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fizziello! < 1439335319 987767 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I appreciate well-calligraphied chemtrails. < 1439335326 261357 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1439335326 407060 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan asked 6h 57m 5s ago: 18/18. scow scow scow. <-- does that mean you're actually floating < 1439335339 434854 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@ask oerjan huh? < 1439335339 541710 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1439335363 911949 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1439335364 336451 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 112300Z 01007KT 15SM FEW015 SCT120 BKN240 21/18 A2970 RMK CU1AC4CI1 CU TR SLP055 DENSITY ALT 1000FT < 1439335378 859893 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :yé, humidity is slowly decreasing... < 1439335399 347620 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :coppro: chelloppro! was it raining like fungot today? < 1439335399 771747 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: so the takes a monad and a getvalue function, but a real cooler would be one < 1439335897 715551 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@tell oerjan ah. floating. not quite, but a floatation device of some sort wouldn't have been completely useless. < 1439335897 821223 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1439335909 389425 :mihow_!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1439335975 658254 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Ping timeout: 245 seconds < 1439335976 828915 :mihow_!~mihow@50-206-98-70-static.hfc.comcastbusiness.net NICK :mihow < 1439336150 905081 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Client Quit < 1439336339 520388 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439337024 761590 :Slereah_!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr QUIT :Ping timeout: 246 seconds