< 1353716817 750046 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo__: ? < 1353716829 674373 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :it would be somehow amazing if elliott, monqy and Phantom_Hoover were all bots run by Sgeo__ < 1353716832 622826 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, was that line /meant/ to not make sense? < 1353716846 997764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: There's a "Homestuck" update. < 1353716851 945344 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo__ is notifying them. < 1353716860 162008 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha < 1353716865 353193 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fsvo notify < 1353716873 42515 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, and I see the channel has become #haskell-lens for the past few hours ... thanks shachaf < 1353716898 485732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ywolsner < 1353716901 863650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which channel? < 1353716910 68952 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :#haskell-lens, presumably < 1353716917 288648 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what other channel could be #haskell-lens < 1353716922 806270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: ##crawl < 1353716926 24428 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::0 < 1353716987 325689 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :relatedly, I got three packets of ketchup for free when I paid for my food < 1353716993 539342 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :LIKE A BOSS < 1353717001 394223 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what is #haskell-lens about? < 1353717011 8209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :haskell and lens < 1353717011 153689 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also I like your use of the word "relatedly" < 1353717039 746307 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hopedly, it is indeed a word < 1353717091 978707 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olsner: "hi olsner i know you like pretending to be oerjan but its not wokring" < 1353717134 498118 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ehm, I'm not pretending < 1353717140 219779 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi shachaf i know you like pretending to ... < 1353717177 562408 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 252 seconds < 1353717187 525665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: be monqy+you? < 1353717202 106117 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :though it would've been a bit better if I could have said that as " ehm, I'm not pretending" < 1353717202 542629 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1353717375 314106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ehm, I'm nøt pretending < 1353717493 247692 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :This jøke is getting øld. < 1353717647 225123 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 260 seconds < 1353717678 545572 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1353717805 263 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :shachaf: is ##crawl where you usually discuss haskell lens libraries? < 1353717831 248262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olsner: Sometimes I discuss them in #lesswrong < 1353717836 360303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have no idea what I'm doing in that channel. < 1353717838 248566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's terrible. < 1353717853 422109 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ok < 1353718051 550058 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :if you don't know why you're there, maybe you should leave < 1353718052 875142 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how is it terrible < 1353719541 918333 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 260 seconds < 1353719892 549122 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1353719947 664031 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: elliott: apparently Simon Marlow is leaving MSR to work at Facebook < 1353719955 75786 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and is going to stop working on GHC full time < 1353719963 623231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I heard. < 1353719965 692292 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and basically it is the end times < 1353719966 347796 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.haskell.org/pipermail/haskell/2012-November/023566.html < 1353719981 471928 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The RTS will be lonely. < 1353720066 816335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Now's your chance to rise up and take over the Haskell compiler world with THC. < 1353720125 182102 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I managed to make a Csound plugin, currently I made and tested the "avecrev" command which reverses a a-rate vector. < 1353720357 501698 :Gregor!codu@codu.org PRIVMSG #esoteric :Heeeeeeeeey < 1353720366 801425 :Gregor!codu@codu.org PRIVMSG #esoteric :Comin' up on my one year anniversary of tongue-face-smiley-freedom. < 1353720389 752256 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric ::P < 1353721018 387403 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what happened worth anniversarising? < 1353721092 387261 :Gregor!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: On December 17th, 2011, I swore off the tongue-face smiley forever. < 1353721186 197643 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :have you stayed cold-turkey since < 1353721196 149124 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Colon pee < 1353721232 42442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor proved the power of machine over man < 1353721243 147066 :Gregor!codu@codu.org PRIVMSG #esoteric :Phantom_Hoover: Mmmhmm. < 1353721310 192838 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1353723821 569226 :ion!ion@heh.fi QUIT :Ping timeout: 252 seconds < 1353723964 885240 :ion!ion@heh.fi JOIN :#esoteric < 1353724429 177803 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so, is BSD the fourth most popular operating system family? < 1353724444 778657 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(after the Windowses and the Linuxes and the OS X/iOSes?) < 1353724454 832893 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or do old-fashioned commercial Unices still beat it? < 1353724456 903168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or something else? < 1353724524 404338 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm guessing it'd depend how you count popular, like, do OSs running on embedded systems count, or just PCs, or... < 1353724527 389034 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do you mean "most popular OS to run on traditional PC hardware and macs" < 1353724532 976994 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :right < 1353724584 538369 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm thinking about desktop/laptop/tablet systems, I guess < 1353724589 768428 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :seems pretty arbitrary < 1353724591 534550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :things that are meant to be interacted with by a human < 1353724597 366681 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :many embedded systems are < 1353724605 575647 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as their primary function < 1353724617 345040 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I guess the Rasperry Pi counts, but similar systems used as industrial controllers don't < 1353724617 753832 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how about the dash computer in your car < 1353724625 591614 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: I don't own a car < 1353724627 965562 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what about a thermostat -- its primary purpose is to take instructions from a human and execute them < 1353724637 668320 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and thermostats are still analog where I live < 1353724646 668565 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :symbian is a phone OS even though it mostly runs on dumbphones I think < 1353724647 452336 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how about the 100 or so microcontrollers inside your PC alongside the main CPU < 1353724650 299765 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but no, a thermostat's primary function is to control the temperature < 1353724657 310687 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it does its job even when you aren't sitting there configuring it < 1353724662 62017 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a computer's primary function is to send IP packets < 1353724668 733017 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it does its job even when you aren't sitting there configuring it < 1353724670 393147 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: not mine, I use it offline quite a lot < 1353724677 193063 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok how about web servers then < 1353724679 808580 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my /server's/ primary function is to do that < 1353724691 695161 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do you include those as "meant to be interacted with by a human" < 1353724696 506539 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A computer's primary function is not to send IP packets. That is a function of some of the programs. < 1353724713 860344 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: I guess no < 1353724743 182935 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also, does the baseband processor in your phone count, or only the applications processor? < 1353724774 767954 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :typically they are separate and the former runs some proprietary RTOS < 1353724777 889099 :ion!ion@heh.fi QUIT :Ping timeout: 260 seconds < 1353724788 941643 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I also don't own a digital phone < 1353724795 462462 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what about the firmware running on your computer's GPU -- surely that is an integral part of "interacting with a human" < 1353724800 668739 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ais523: i'm using the word "your" rhetorically < 1353724802 590829 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's a phone in my office, but it's one of those dumb-terminal-style landlines < 1353724816 300101 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also GPUs don't normally have much of an operating system < 1353724817 735599 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh yeah right what about the ubiquitous Cisco VoIP phones < 1353724821 320937 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :obviously a human interaction device < 1353724823 679701 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :does their OS count? < 1353724824 521127 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I should know, I taught a class on GPU programming < 1353724835 686712 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :did you teach a class on GPU firmware / driver authoring < 1353724870 894192 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: nah, it was at the level of authoring software for them (the shaders, etc., that are sent to the GPU) < 1353724883 815714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the GPU doesn't have much of an OS to speak of < 1353724887 450350 :ion!ion@heh.fi JOIN :#esoteric < 1353724892 740982 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if it crashes, the whole system hard crashes, no permissions or anything like that < 1353724898 192180 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mm < 1353724907 866011 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(if you're lucky it'll have a watchdog timer that'll reboot it after it's spent 5 seconds crashed, sometimes it even works) < 1353724934 161384 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess I still don't think of computers as Internet communication devices < 1353724947 551822 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's really what tablets are for, people used larger computers for that earlier because tablets hadn't been invented yet < 1353724997 266532 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well < 1353725001 805572 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't have any desire to own a tablet < 1353725010 590305 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"media consumption devices" is a description I'd seen < 1353725013 791799 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i find it useful to use the same device for internet communications and other things < 1353725014 337079 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I think tablets are terrible too < 1353725052 787894 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it might be nice if that one device were a tablet with a keyboard dock < 1353725058 438675 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but i don't think i can get one meeting my needs < 1353725073 105942 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and so i don't have a desire to own a second device that's only good for a subset of the things the firsst device is good for < 1353725147 711682 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(it would have to be a nice keyboard, preferably with a pointing stick, and capable of running a real desktop linux distro, and not "capable" in the sense of "some guy on xda forums might have done it", but actually no bullshit) < 1353725213 516466 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the reason i finally got a smartphone is that i needed a 3G/4G hotspot device, and phone was not much more than a standalone device < 1353726258 144352 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1353726712 233526 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1353727717 165572 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :"You are now traveling into the future. Please wait..." < 1353727729 958631 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :One way of implementing time travel in an MMOG. < 1353727744 626985 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1353727751 896817 :sivoais!~zaki@199.19.225.239 QUIT :Ping timeout: 245 seconds < 1353730781 161621 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net JOIN :#esoteric < 1353732604 563252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help did i just write a monad tutorial :'( < 1353732654 361280 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :monad tutorial writers anonymous < 1353732709 916191 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1353732716 884532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's actually mostly an "IO tutorial" if anything. < 1353732725 620184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But not really either. < 1353732823 217676 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is it an Either tutorial? < 1353732890 36974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I'm cold so I have two ghci windows open with "last [1..]" < 1353732899 677819 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I feel bad? < 1353732963 539960 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :c.c < 1353732992 105714 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should probably fold proteins instead or something. < 1353733073 792812 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :every day < 1353734137 999701 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is there a name for the visual artifact that happens when you render antialiased text on a white background, and then composite it over something else with a transparency channel which is just white = transparent, anything else = fully opaque? < 1353734149 87413 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a local restaurant has that on their menu and it makes me not want to eat there < 1353734183 645580 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If I understand what you mean, I don't like that. :-( < 1353734205 432565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Do you hate all antialiasing? < 1353734224 352078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should write a window manager and then angrily stop programming. < 1353734494 421996 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1353734497 285964 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no i love antialiasing < 1353734719 843092 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1353734919 194037 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1353735141 540198 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think antialiasing should only sometimes be used. < 1353735168 485595 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tuomov has some surprisingly interesting opinions underneath the noise < 1353735490 38202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, tuomov is great. < 1353735499 6232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think kmc might end up like him in bitter old age. < 1353736168 715859 :constant!root@freebsd/developer/variable QUIT :Read error: Operation timed out < 1353736383 519263 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ah well < 1353736640 729337 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1353736671 171600 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1353736840 774256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is bitter old kmc supposed to be distinguishable from current kmc < 1353737003 136940 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1353739532 136004 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1353739839 556315 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net PRIVMSG #esoteric :Equivalent up to isomorphism, etc. < 1353740192 533929 :Bike!~Glossina@67-5-240-27.ptld.qwest.net QUIT :Quit: unworthy < 1353740383 539037 :Bike!~Glossina@67-5-240-27.ptld.qwest.net JOIN :#esoteric < 1353740646 517906 :epicmonkey!~epicmonke@188.134.41.172 JOIN :#esoteric < 1353741171 335520 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net QUIT :Quit: Computer has gone to sleep. < 1353741245 537204 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 252 seconds < 1353741669 969418 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1353742005 239230 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Someone just replied to me saying "Damn you" < 1353742022 640981 :pikhq_!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :In #jesus? < 1353742044 27706 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :On Reddit < 1353742056 487411 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Actually, they're not mad at me) < 1353742057 208566 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/AskReddit/comments/13ooyr/ten_years_ago_our_family_cat_had_to_have_an/c75xis7?context=3 < 1353742071 415454 :Bike!~Glossina@67-5-240-27.ptld.qwest.net PRIVMSG #esoteric :so how is this notable < 1353742098 201317 :pikhq_!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :Other than that I didn't know Sgeo was autistic, not at all. < 1353742109 399319 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :#esoteric is now Wikipedia. < 1353742109 816123 :oonbotti!~oonbotti@dsl-olubrasgw2-fe6bf800-88.dhcp.inet.fi PRIVMSG #esoteric :Nothing here < 1353742134 380240 :pikhq_!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :Sgeo__: Quite. You don't see me talking about myself, now do you? :P < 1353742138 43119 :Bike!~Glossina@67-5-240-27.ptld.qwest.net PRIVMSG #esoteric :well i mean it's not an uncommon phrase < 1353742149 292230 :Bike!~Glossina@67-5-240-27.ptld.qwest.net PRIVMSG #esoteric :i figured if you were bringing it up there must be something unique about the usage < 1353742153 333733 :pikhq_!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric :
ACTION inserts life spew here
< 1353742157 111096 :Bike!~Glossina@67-5-240-27.ptld.qwest.net PRIVMSG #esoteric :like maybe the person saying it was literally a demon < 1353742159 330980 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: whoa, dude < 1353742166 630315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: what if infinity was, like, a number < 1353742196 140551 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, who/what are you mocking today? I assume not my 7th grade self since you haven't met him. < 1353742207 264419 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo__: Nope, it's you. < 1353742218 567912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Sorry.) < 1353742256 64299 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I guess my 8th grade self said some mockable math stuff, but not about infinity. < 1353742280 560677 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I tried to define a number, ati, such that |ati| = -1 < 1353742299 959867 :Bike!~Glossina@67-5-240-27.ptld.qwest.net PRIVMSG #esoteric :well you were close < 1353742305 952208 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :is it sad that my first thought is "but that's not a norm!" < 1353742338 641557 :pikhq_!~pikhq@71-219-218-219.clsp.qwest.net PRIVMSG #esoteric ::) < 1353742339 757122 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, coppro: I'm now confused. < 1353742342 859313 :Bike!~Glossina@67-5-240-27.ptld.qwest.net PRIVMSG #esoteric :i think everybody who got into math and stuff later did things like that. or maybe just me and you < 1353742401 817280 :Bike!~Glossina@67-5-240-27.ptld.qwest.net PRIVMSG #esoteric :i was just referring to that being sort of like imaginary numbers. and a norm is a lengthy-y thing denoted with vertical bars. < 1353742427 836563 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I knew about imaginary numbers back then < 1353742581 258389 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1353743079 141061 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1353744045 153949 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1353744212 132866 :augur_!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1353744412 147746 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1353745081 350249 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1353745461 625372 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I made a Csound plugin library, not quite completed, some things I am unsure how to program them but some I did put in, I have added these commands so far: avecrev, hsvtorgb, hysteresis, integlim, interleave, rgbtohsv, slowchange, squarewave, trianglewave. < 1353746700 335019 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Read error: Operation timed out < 1353747797 314075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: did you unsafeCoerce today < 1353747805 134908 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no < 1353747809 471542 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :should i ? < 1353747816 375984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe < 1353747819 161002 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"its good for you" < 1353747840 816364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let a = zipper ("helloz","world") % down _1 % fromWithin traverse % rights1 6 in (a % view focus, a % save % flip unsafelyRestore ("another","world") % view focus) < 1353747842 970174 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ('z','e') < 1353747897 384054 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :helloz monqy < 1353747944 241416 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1353748956 216946 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Prelude Unsafe.Coerce> unsafeCoerce id :: IO () < 1353748956 439194 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :[1] 17766 segmentation fault (core dumped) ghci < 1353748963 178895 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :daily unsafeCoerce < 1353748985 799822 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why am I reading this http://www.reddit.com/r/ShittyProgramming < 1353749057 501782 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :why are you reading that < 1353749345 97929 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/shittyaskscience/comments/13o48n/is_it_required_to_shampoo_the_air_before_turning/ < 1353749354 991290 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION is easily amused
< 1353749444 442677 :ion!ion@heh.fi PRIVMSG #esoteric :hehe < 1353750922 394717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: Want lens to be faster? < 1353752351 683252 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1353752444 413261 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: No, it’s perfect right now. < 1353752468 330078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're sure? < 1353752521 821224 :ion!ion@heh.fi PRIVMSG #esoteric :Making it any faster might rip a hole in the spacetime. < 1353752553 607206 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's, uh, pretty slow right now. < 1353752600 346492 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :spacetime tears pretty easily < 1353752654 558077 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Want lens to be faster? < 1353752671 425825 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo__, wow, /r/shittyprogramming is crap < 1353752681 14319 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: I don't know. < 1353752701 770453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: when will you learn that knowing is important < 1353752708 184887 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: I don't know. < 1353752722 453404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Good answer. < 1353752729 352284 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Will making it faster require the use of unsafeCoerce/unsafePerformIO or a tradeoff in a different dimension such as space usage? < 1353752735 582806 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nah. < 1353752747 965225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, maybe. I don't know. < 1353752752 240079 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It'll require someone to write benchmarks. < 1353752790 460834 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is there any significant liklihood thatn making it faster will require architectural considerations that should be taken into account now rather than later? < 1353752832 318900 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know? < 1353752834 843254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like what? < 1353752882 383551 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No idea, just saying that it might be a bad idea to solidify the design and base everything around it if it fundamentally does something significantly slow, if speed is a concern. < 1353752918 632236 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But if it's slow but not due to underlying algorithm (i.e. due to not being microoptimized or something) then I assume that could wait. < 1353752933 637593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION wonders how many "algorithms" lens has.
< 1353752963 377212 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is < 1353752979 266280 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is sgeo giving shachaf advice < 1353753002 714774 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf seems to need lens advice, and who better to give it than sgeo < 1353753027 679533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy makes a good point < 1353753030 491592 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :As far as I can tell I'm channeling Captain Obvious. < 1353753070 472537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: have you read book < 1353753073 764604 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(by vernor vinge) < 1353753079 411727 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Lieutenant Commander Obvious now. < 1353753082 120509 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :She got promoted. < 1353753095 466961 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: maybe? probably not. < 1353753169 921640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: can i have some life advice???? < 1353753200 550291 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :don't ask sgeo for lens advice < 1353753224 639822 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is that life enough for you < 1353753228 259787 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :alt. advice enough for you < 1353753232 993724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: no monqy < 1353753237 694938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :life isn't all about lenses < 1353753260 543813 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what!!!!! < 1353753263 39447 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I've been decieved < 1353753273 389504 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1353753273 535374 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i'll try another life advice < 1353753273 692792 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, what did you do with the real shachaf? < 1353753278 346975 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i thought lens was fast < 1353753289 714527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Have you seen Control.Lens.Zipper? < 1353753292 94181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"hideous" < 1353753298 620382 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :your perception was distorted < 1353753303 201665 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf < 1353753305 618786 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i have a site for you < 1353753306 862775 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :http://www.lifeadvicefromoldpeople.com/ < 1353753314 583490 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe it will help you < 1353753322 514436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :control.lens.zipper isn't lens... < 1353753323 483786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait...... < 1353753326 809553 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy are you old? < 1353753337 306303 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1353753341 834071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no! < 1353753346 700473 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I'm like a granny or something < 1353753346 845989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Yes it is? < 1353753361 982273 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: are you granny smith < 1353753367 256296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a granny smith < 1353753384 77087 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is a granny smith old < 1353753434 573642 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :old granny smiths are < 1353753453 700881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is monqy a old granny smith < 1353753485 972109 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i don't see why not < 1353753911 222922 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well it doesn't make lens slow < 1353753914 807909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just because one extra par tof itis slow < 1353753966 589881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: but < 1353753970 284262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lens is made of parts < 1353754445 166698 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If IRC servers never sent PINGs, would some clients get disconnected because of lack of activity on the socket? < 1353754834 637123 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It sounds not impossible, though the client could very easily e.g. do TCP keepalive to mitigate that. < 1353755107 156794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Just ["a","b","c"] & partsOf template %~ reverse < 1353755109 64019 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `a0' in the constraint: < 1353755109 347270 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (Data.Typeable.Internal.... < 1353755115 960526 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Just ["a","b","c"] & partsOf template %~ (reverse :: [String] -> [String]) < 1353755118 505527 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just ["c","b","a"] < 1353755120 588489 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cool. < 1353755126 800976 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> (Just ["a","b","c"], "e") & partsOf template %~ (reverse :: [String] -> [String]) < 1353755129 161893 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (Just ["e","c","b"],"a") < 1353755132 385507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hee < 1353755147 113317 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: isn't that magic < 1353755162 765503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty template < 1353755164 543890 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Data.Data.Data s, Typeable a, Applicative f) => (a -> f a) -> s -> f s < 1353755208 74198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did Cale import that? < 1353755252 888989 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "abcde" & partsOf uniplate %~ reverse < 1353755255 210818 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "abcde" < 1353755313 33996 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "abcde" ^.. uniplate < 1353755315 41398 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["bcde"] < 1353755323 566015 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> over uniplate reverse "hello monqy" < 1353755325 576780 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "hyqnom olle" < 1353755338 65540 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't get it, what does over do there? < 1353755344 510816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Did you know lastOf (backwards folded) compiles to the same code as listToMaybe? < 1353755360 257673 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1353755370 826933 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that is pretty cool though < 1353755377 802834 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "abcd" ^?! _head < 1353755379 503021 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `_head' < 1353755379 797518 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1353755379 942895 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `head' (imported ... < 1353755383 240530 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1353755385 683341 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"lens 3.old" < 1353755389 520794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t over < 1353755391 16200 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Setting s t a b -> (a -> b) -> s -> t < 1353755405 160843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "test abc" & uniplate %~ reverse < 1353755408 152117 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "tcba tse" < 1353755416 977561 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1353755424 525886 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "test abc" ^.. uniplate < 1353755426 830127 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["est abc"] < 1353755437 259829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's the difference between uniplate and partsOf uniplate here? < 1353755440 898189 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "test abc" ^. partsOf uniplate < 1353755442 934732 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["est abc"] < 1353755446 857514 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "test abc" ^.. partsOf uniplate < 1353755448 906266 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [["est abc"]] < 1353755452 837875 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right, but... < 1353755456 551605 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hm < 1353755465 570932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which part is the confusion? < 1353755492 909983 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't quite understand why partsOf uniplate %~ reverse doesn't do the shuffly thing < 1353755507 365105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or how uniplate %~ reverse works, given that it seems to only give one result ("est abc") < 1353755514 821079 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yet it shuffles "recursively" inside those results when you actually do it < 1353755519 673666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No it doesn't. < 1353755524 872614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Look again. < 1353755537 539922 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah, so it doesn't < 1353755552 755008 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so the reason partsOf uniplate doesn't do it is because you just reverse a one-element list and put it back; right < 1353755566 627263 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there a recursive version of uniplate? < 1353755616 737390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw did you know template = uniplate < 1353755625 614486 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1353755628 508123 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but is there a recursive version of uniplate? < 1353755636 997237 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uniplate is recursive. < 1353755646 28520 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "test abc" ^.. uniplate < 1353755648 7392 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["est abc"] < 1353755651 362640 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :doesn't look like it < 1353755667 172609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'd expect ["est abc", "st abc", "t abc", ..., ""] < 1353755676 511875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> universe "test abc" < 1353755678 404388 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["test abc","est abc","st abc","t abc"," abc","abc","bc","c",""] < 1353755683 380695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t universe < 1353755685 243682 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Plated a => a -> [a] < 1353755686 862677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess it can't be a Lens < 1353755694 737089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> universeOf uniplate "test abc" < 1353755697 186284 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["test abc","est abc","st abc","t abc"," abc","abc","bc","c",""] < 1353755726 907430 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When Cale upgrades lambdabot, we'll get upon. < 1353755732 848794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, and edwardk implemented uponTheDeep < 1353755865 15058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: is Control.Lens.WithIndex.itoList's documentation supposed to link to Data.IntMap < 1353755932 736577 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Nope. < 1353755950 501883 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :someone should fix that < 1353755954 485521 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(not me) < 1353756036 867758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Any others? < 1353756057 151943 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: the "map" in its code example links to Data.IntMap too < 1353756064 814740 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haven't noticed any other issues < 1353756065 895866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Node 123 [Node 12 [Node 4 []], Node 3 []] & uniplate %~ reverse < 1353756067 567100 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `Data.Tree.Tree a0' < 1353756067 889251 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : with actual t... < 1353756074 267606 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hm < 1353756075 78375 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t Node < 1353756076 576668 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :a -> Forest a -> Tree a < 1353756084 54286 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Node 123 [Node 12 [Node 4 []], Node 3 []] < 1353756085 907511 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Node {rootLabel = 123, subForest = [Node {rootLabel = 12, subForest = [Node... < 1353756091 6594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Thanks. < 1353756095 495222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Node 123 [Node 12 [Node 4 []], Node 3 []] ^.. uniplate < 1353756097 539618 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [Node {rootLabel = 12, subForest = [Node {rootLabel = 4, subForest = []}]},... < 1353756100 922262 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t Node 123 [Node 12 [Node 4 []], Node 3 []] ^.. uniplate < 1353756102 544708 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Data.Data.Data a, Num a) => [Tree a] < 1353756117 240395 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Node 123 [Node 12 [Node 4 []], Node 3 []] & partsOf plate %~ reverse < 1353756117 385785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whoops, foldl, too < 1353756119 423008 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Node {rootLabel = 123, subForest = [Node {rootLabel = 3, subForest = []},No... < 1353756124 990909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Node 123 [Node 12 [Node 4 []], Node 3 []] & partsOf plate %~ reverse & drawTree < 1353756126 754440 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Num.Num GHC.Base.String) < 1353756127 16902 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from the literal `... < 1353756134 510248 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh? < 1353756135 879390 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t drawTree < 1353756137 419633 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Tree String -> String < 1353756138 405882 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1353756142 816638 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Node 123 [Node 12 [Node 4 []], Node 3 []] & partsOf plate %~ reverse & fmap show & drawTree & text < 1353756145 69207 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 123 < 1353756145 379383 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : | < 1353756145 525134 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : +- 3 < 1353756145 525301 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : | < 1353756145 525407 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `- 12 < 1353756147 93826 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : | < 1353756149 72434 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `- 4 < 1353756152 934860 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1353756154 951274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: look'at that < 1353756202 60847 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im mmlooking < 1353756227 291110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what < 1353756231 208513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who invented drawTree < 1353756253 847077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Data.Tree did < 1353756274 920256 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Data.Tree is a very smart computer < 1353756323 914825 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> Node 123 [Node 12 [Node 4 []], Node 3 []] & template *~ 2 & fmap show & drawTree & text < 1353756326 342505 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 246 < 1353756326 597013 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : | < 1353756326 742405 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : +- 24 < 1353756326 742553 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : | | < 1353756326 742661 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : | `- 8 < 1353756328 318100 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : | < 1353756330 330064 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `- 6 < 1353756333 63550 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coooooool < 1353756611 726289 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: would it make sense to generalise Plated to "class Plate a b where plate :: Simple Traversal a b"? so you can do what "template" does < 1353756615 522556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess it'd be redundant with Data < 1353756626 682883 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and also mess up inference < 1353756696 912873 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: your lens talk is offtopic in here < 1353756702 47348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :take it to #LENS!!!! < 1353757207 87031 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t (?~) < 1353757209 7095 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Setting s t a (Maybe b) -> b -> s -> t < 1353757256 355411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> M.empty & at "monqy" ?~ "hi" < 1353757258 579392 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : fromList [("monqy","hi")] < 1353757494 741493 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1353757528 716621 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :apparently my lens is 6 major versions behind < 1353757533 547811 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because I installed it a few days ago < 1353757588 542840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :upon elliott upgrade < 1353757616 410039 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1353757943 443022 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1353759356 929072 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@tell oerjan my Minks implementation is based on what was written in the minks page + what was said on the talk page; also I did not put any comments in it and the parser is incredibly badly written; I'm not sure considering that implementation as some sort of "reference implementation" is such a good idea ;) < 1353759357 250317 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1353759379 343184 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@tell oerjan also I'll try to remember why I put it on the talk page in the first place and not in a wiki page of its own < 1353759379 680490 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1353759803 741063 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1353760062 886799 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: what if you did the same trick that isomorphisms use for all lenses < 1353760080 551784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1353760112 215586 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type Getter s a = forall f. (Gettable f, Gettery k) => k s a < 1353760117 683316 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Gettery (->) < 1353760125 485369 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Gettery (\s a -> (a -> f a) -> s -> f s) < 1353760216 897391 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And for Lens? < 1353760350 776713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type Lens s t a b = forall f. (Lensy k) => k s t a b < 1353760361 60945 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Lensy (\s _ a _ -> (s -> a)) < 1353760371 235251 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Lensy (\s t a b -> forall f. (Functor f) => (a -> f b) -> s -> f t) < 1353760378 390688 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Q: if i know lens will all their type signatures stop looking really stupid < 1353760378 536259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what could go wrong, right < 1353760383 490645 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: no < 1353760417 888998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: no but! your eyes just sort of glaze over and you don't actually read the signatures after a while < 1353760424 895919 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which is basically the same as before you know lens < 1353760440 210479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :except not the same < 1353760460 127134 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t (%~) < 1353760461 639046 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Setting s t a b -> (a -> b) -> s -> t < 1353760468 166705 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t itraverse < 1353760469 763579 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Applicative f, TraversableWithIndex i t) => (i -> a -> f b) -> t a -> f (t b) < 1353760479 248307 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: it has some cool signatures! < 1353760480 134546 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like uh < 1353760507 790163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty (%%~) < 1353760509 466271 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :LensLike f s t a b -> (a -> f b) -> s -> f t < 1353760512 414920 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"pretty cool signature right" < 1353760542 567458 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t _1 < 1353760544 118397 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Functor f, Field1 s t a b) => (a -> f b) -> s -> f t < 1353760549 935310 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um um < 1353760552 910591 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t index < 1353760554 368880 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous occurrence `index' < 1353760554 669934 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : It could refer to either `Data.Ix.index', < 1353760554 815347 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : imported from `Data.Ix' at State/L.hs:32:1-14 < 1353760557 766245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1353760561 709704 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::t upon < 1353760563 587339 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `upon' < 1353760564 560370 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t Control.Lens.Indexed.index < 1353760566 37642 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Indexed i k => ((i -> a) -> b) -> k a b < 1353760568 271675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: that's a pretty nice signature! < 1353760583 284759 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::i Indexed < 1353760588 364400 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::'[ < 1353760590 454282 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t act < 1353760591 934772 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Lens.Internal.Effective m r f => (s -> m a) -> (a -> f a) -> s -> f s < 1353760593 449070 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so's that < 1353760607 591160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except < 1353760613 668003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t Control.Lens.Action.act < 1353760614 139815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: help what's Eq# < 1353760615 351004 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in Core < 1353760615 496318 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Lens.Internal.Effective m r f => (s -> m a) -> (a -> f a) -> s -> f s < 1353760619 896228 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :weird it shows differently < 1353760621 622667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: idk < 1353760637 922445 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: duk < 1353760669 286870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Really happy with how the Core for getters/folds turns out! < 1353760679 256431 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what about traversals < 1353760685 197589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion is sending patches to lens now. < 1353760689 596339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm sure it's just a phase. < 1353760695 999914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t focus < 1353760697 456865 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Functor f, Indexed (Tape (h :> a)) k) => k (a -> f a) ((h :> a) -> f (h :> a)) < 1353760701 16392 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: also a pretty good type < 1353760706 33546 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: I see what you did there. “phase” < 1353760712 400710 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :focus? more like stupidus < 1353760712 848946 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except it's actually < 1353760714 286011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :focus :: SimpleIndexedLens (Tape (h :> a)) (h :> a) a < 1353760716 187250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty rezip < 1353760717 684911 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Zipper h a => (h :> a) -> Zipped h a < 1353760730 930603 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: are these the sorts of types that look cool once i know lens,m because i don't know lense < 1353760749 508083 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: "This isn't /quite/ a legal lens." < 1353760753 824335 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this isn't ok ion < 1353760755 713398 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: "sort of" < 1353760757 359763 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it < 1353760758 467318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: lens is easey < 1353760760 956087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it' sa cool library i like it < 1353760789 72508 :ion!ion@heh.fi PRIVMSG #esoteric :elliott: edwardk already did that in polarize, so i thought it would be okay. < 1353760791 383302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Not sure about traversals. < 1353760793 367038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It depends. < 1353760797 252549 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im sure id find it cool if i took the time to read what the stuff meant < 1353760797 974571 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: he's not ok either < 1353760810 112942 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i figured out lens just by reading the haddocks < 1353760814 361077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :p. good way imo < 1353760816 792476 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah but i hjavent done that < 1353760824 683983 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ive been too busy doing other stuff!!!! < 1353760844 913916 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i haven't < 1353760864 819050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: i figured out lens just by going to edwardk's talk about it in san francisco < 1353760868 896615 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you been to san francisco < 1353760873 97489 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe < 1353760878 867087 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i forget!! < 1353760886 905839 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how can you forget that < 1353760901 861995 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliotts right < 1353760988 28120 :ion!ion@heh.fi PRIVMSG #esoteric :shachafs left < 1353761019 385287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: tug < 1353761024 50554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tug left < 1353761026 150837 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tugs left 5 < 1353761034 518824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :shachafs left ß < 1353761062 271096 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: you should fix Data.Vector.Lens < 1353761067 532068 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it has lots of partial lenses which should be traversals < 1353761077 655620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: No, you should fix it. < 1353761090 270143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And while you're at it, write some benchmarks for me. < 1353761108 275309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty over id id < 1353761109 894427 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :t -> t < 1353761111 986820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty view id < 1353761113 600436 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :s -> s < 1353761119 994785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coïncidence < 1353761134 738937 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hey, it's pretty nifty that GHC infers t for over and s for view. < 1353761136 431798 :ion!ion@heh.fi PRIVMSG #esoteric :ï? < 1353761149 986964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ïon: What about ït? < 1353761184 20588 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: another cool lens thing < 1353761185 916841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> ala _sum foldMap [1,2,3,4] < 1353761187 899468 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 10 < 1353761195 12508 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :import Control.Newtype < 1353761200 472880 :ion!ion@heh.fi PRIVMSG #esoteric :s̈ḧäc̈ḧäf̈:̈¨n̈öẗḧïn̈g̈ < 1353761207 9515 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> ala _endo foldMap [("a"++),reverse,(++"b")] "hello" < 1353761209 212335 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "abolleh" < 1353761210 463232 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :lens has ala? yeah i remember ala from before < 1353761219 390161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's like Control.Newtype but better since it's not tied to the notions of newtypes < 1353761220 124078 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t ala < 1353761221 612887 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Simple Iso s a -> ((s -> a) -> e -> a) -> e -> s < 1353761224 674995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t _sum < 1353761226 337745 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Functor f, Isomorphic k) => k (Sum a -> f (Sum b)) (a -> f b) < 1353761227 268755 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t _endo < 1353761228 750790 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Functor f, Isomorphic k) => k (Endo a -> f (Endo b)) ((a -> a) -> f (b -> b)) < 1353761231 106554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: lens has first clarinet ala < 1353761231 324812 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :o neaaeto < 1353761233 481805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :first class < 1353761249 469587 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :_endo is actually < 1353761250 742409 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :_endo :: Iso (a -> a) (b -> b) (Endo a) (Endo b) < 1353761252 966946 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and _sum is actually < 1353761258 446281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty review < 1353761259 525635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :_sum :: Iso (Sum a) (Sum b) a b < 1353761260 57450 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `review' < 1353761260 386527 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant `view' (imported from Control.Lens) < 1353761264 390205 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lambdabot just displays them badly :( < 1353761265 51214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let review = view.from < 1353761267 7385 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Defined. < 1353761275 899243 :ion!ion@heh.fi PRIVMSG #esoteric :Yes, lens has first clarinet ala. < 1353761276 656349 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> view _sum 1 < 1353761278 851844 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Sum {getSum = 1} < 1353761283 798624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> review _sum (Sum 1) < 1353761286 277590 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1 < 1353761301 730958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> isomorphic Sum getSum 1 < 1353761303 687620 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Sum {getSum = 1} < 1353761305 962487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> from (isomorphic Sum getSum) 1 < 1353761307 746046 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Num.Num (Data.Monoid.Sum a0)) < 1353761308 46863 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of... < 1353761316 38862 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: so you can also do things like get an isomorphism for your newtype made < 1353761316 717308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oooops < 1353761332 900062 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: so you can treat it as a lens field to modify it/get at it/etc. < 1353761347 177106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Did you know GHC doesn't optimize [] to []? < 1353761350 453829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> First (Just "abcd") & _first %~ reverse < 1353761350 658386 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ahem. < 1353761352 183058 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `Data.Monoid.First [GHC.Types.Char]' < 1353761352 479888 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1353761353 623228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Did you know GHC doesn't optimize reverse [] to []? < 1353761356 836165 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oops < 1353761365 494082 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> First (Just "abcd") & _first._just %~ reverse < 1353761367 204694 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `_just' < 1353761368 334335 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: i hear ghc doesnt inline reverse < 1353761371 972336 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1353761379 992171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & _first.traverse %~ reverse < 1353761381 749646 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `Data.Monoid.First [GHC.Types.Char]' < 1353761382 46340 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1353761390 342469 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> reverse [1..] < 1353761394 662021 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1353761409 927179 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> reverse [..10] < 1353761414 484661 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1353761415 387731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & from _first.traverse %~ reverse < 1353761419 266946 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1353761427 631546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uh oh < 1353761427 973195 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t from < 1353761432 273725 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Isomorphic k => Isomorphism a b -> k b a < 1353761434 428730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & from _first.traverse %~ reverse < 1353761435 292356 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1353761438 450747 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1353761440 579937 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & from _first.traverse %~ reverse < 1353761440 755017 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & from _first.traverse %~ reverse < 1353761440 958342 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & from _first.traverse %~ reverse < 1353761441 334819 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & from _first.traverse %~ reverse < 1353761443 5039 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : can't find file: L.hs < 1353761443 936571 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : can't find file: L.hs < 1353761444 82484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :needs to go the other way < 1353761444 462235 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1353761444 867762 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1353761452 905819 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> var "hi shachaf" < 1353761455 447488 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : hi shachaf < 1353761460 784581 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how did you do that < 1353761461 887151 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :time limit "not exceeded" < 1353761462 179214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & from _first.traverse %~ reverse < 1353761466 367246 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1353761469 299114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1353761470 28348 :ion!ion@heh.fi PRIVMSG #esoteric :Lens is too slow. < 1353761471 373619 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> 3 < 1353761473 563235 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 3 < 1353761474 624625 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: do you have magic powers < 1353761477 158168 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> First (Just "abcd") & from _first.traverse %~ reverse < 1353761479 437105 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : First {getFirst = Just "dcba"} < 1353761483 109610 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :congratulat < 1353761484 940603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1353761490 136623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do i have magic powers now>? < 1353761492 49045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :am i monqy < 1353761518 961008 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: other cool things: it has a notion of "indexes" so you can do things like < 1353761523 343346 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "abcde" & iwhere (\i -> i `mod` 2 == 0) .~ 'q' < 1353761526 184752 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "qbqdq" < 1353761527 366531 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> "abcde" & iwhere (\i -> i `mod` 2 == 0) %~ toUpper < 1353761529 567961 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "AbCdE" < 1353761536 62238 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh good thinking elliott < 1353761542 151248 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> M.fromList [("a",2),("b",3)] & at "b" +~ 10 < 1353761544 69688 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Num.Num (Data.Maybe.Maybe a0)) < 1353761544 376210 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use o... < 1353761546 358323 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: o thats cool < 1353761547 501659 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1353761550 642907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> M.fromList [("a",2),("b",3)] & at "b" ?~ 10 < 1353761553 63687 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : fromList [("a",2),("b",10)] < 1353761561 222949 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> M.fromList [("a",2),("b",3)] & at "b" ?+~ 10 < 1353761563 71530 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `?+~' < 1353761563 367267 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1353761563 512801 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `+~' (imported from... < 1353761566 598363 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> M.fromList [("a",2),("b",3)] & at "b" +?~ 10 < 1353761568 493501 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `+?~' < 1353761568 785056 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1353761568 930511 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `+~' (imported from... < 1353761570 746103 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1353761574 393643 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there even an operator for that < 1353761590 316124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Can you believe how uninlined this is? :-( < 1353761592 879592 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: anyway you get the idea < 1353761604 392786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> M.fromList [("a",2),("b",3)] & at "b".traverse +~ 10 < 1353761606 819753 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : fromList [("a",2),("b",13)] < 1353761611 390182 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1353761618 224371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't that just traverseAt < 1353761625 606054 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> M.fromList [("a",2),("b",3)] & traverseAt "b" +~ 10 < 1353761625 959451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> M.fromList [("a",2),("b",3)] & _at "b" +~ 10 < 1353761627 777726 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : can't find file: L.hs < 1353761628 149607 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : fromList [("a",2),("b",13)] < 1353761634 168535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's called _at now < 1353761637 74768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh it got renamed, right < 1353761642 406418 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t at < 1353761645 518813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t _at < 1353761645 664309 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Functor f, At k m, Indexed k k1) => k -> k1 (Maybe v -> f (Maybe v)) (m v -> f (m v)) < 1353761647 107764 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `_at' < 1353761647 253247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But not in lambdabot < 1353761647 399183 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1353761647 544607 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `cat' (imported from Text.PrettyPrint.HughesPJ), < 1353761652 279880 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t _traverseAt < 1353761653 406756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1353761653 871611 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `_traverseAt' < 1353761654 170044 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1353761654 315525 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `traverseAt' (imported from Control.Lens), < 1353761654 462602 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t traverseAt < 1353761656 626284 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Applicative f, At k m, Indexed k k1) => k -> k1 (v -> f v) (m v -> f (m v)) < 1353761667 625510 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right, so at is just a lens on the Maybe result < 1353761667 923894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::i _λ> :i _at < 1353761668 69373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :_at :: < 1353761668 69574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : forall k (m :: * -> *) v. < 1353761668 69682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : At k m => < 1353761668 69794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : k -> SimpleIndexedTraversal k (m v) v < 1353761670 381145 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : -- Defined in `Control.Lens.IndexedTraversal' < 1353761672 890064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whereas traverseAt lifts it to a traversal < 1353761679 923092 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder if you could unify the notions somehow so they ended up having the same type < 1353761680 407217 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let _ = traverse < 1353761682 65168 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : :4:5: < 1353761682 377133 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `t0' in the constraint: < 1353761682 522670 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (Tr... < 1353761699 712496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: have you seen the examples with "both" < 1353761708 392269 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> (1,2) & both *~ 2 < 1353761708 817375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Wow. :-( < 1353761710 906762 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (2,4) < 1353761723 601491 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> (1,2) & partsOf both %~ reverse < 1353761725 699282 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (2,1) < 1353761731 301807 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(that last one is evil don't actually use it please) < 1353761731 465616 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"bad core" < 1353761742 385105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (1,2) & unsafePartsOf both %~ reverse -- less evil?? < 1353761744 763195 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (2,1) < 1353761775 157923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can you do partsOf foo %~ reverse just by using Backwards < 1353761781 484862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think so. < 1353761784 353638 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How would that work? < 1353761789 465302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can you do it in a way that doesn't involve a list at least < 1353761794 994440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. :-( < 1353761799 316032 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've wondered about that. < 1353761804 394302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean you must be able to < 1353761825 977512 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can uh, use the traversal twice? < 1353761834 201152 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Zip the traversal with its Backwrads? < 1353762028 600904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t (^?!) < 1353762030 143951 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `^?!' < 1353762030 429321 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1353762030 575221 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `^!' (imported from Control.Lens), < 1353762032 385200 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1353762038 2726 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how is cale going to keep up < 1353762045 753572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also how did cale get convinced to put lens in lambdabot in the first place < 1353762051 579812 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let (^?!) = fromMaybe (error "hi monqy") .: headOf < 1353762054 58856 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Defined. < 1353762055 625971 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: ive seen "both" in ursala but in haskell it is new to me ! < 1353762062 588761 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :except in ursala it is just b < 1353762065 842942 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"wow succinct" < 1353762078 449516 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t both < 1353762079 947043 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Applicative f => (a -> f b) -> (a, a) -> f (b, b) < 1353762091 32116 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: but in ursala can you use it to map over both elements < 1353762093 410528 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or is it just a getter?? < 1353762103 450177 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Other way around. < 1353762112 646874 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you know ursala? < 1353762115 119627 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. < 1353762118 867741 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :er right I said it wrong < 1353762123 273920 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but < 1353762134 243677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: the traversal is actually more powerful! < 1353762143 902340 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but ursala < 1353762147 371191 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: than just (a -> b) -> (a, a) -> (b, b) < 1353762148 885989 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because < 1353762150 998529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> sumOf _2 ("hi","monqy") < 1353762153 51514 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "monqy" < 1353762155 284023 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can ursala compute the sum of a string < 1353762158 618745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can do the reverse thing < 1353762159 635354 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> (1,2) & partsOf both %~ reverse < 1353762161 743871 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (2,1) < 1353762171 315755 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(because you get that arbitrary applicative effect) < 1353762173 773614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :similarly < 1353762179 507446 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> ("a","b") ^. both < 1353762181 524502 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "ab" < 1353762184 619326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for mappending them < 1353762247 965906 :ion!ion@heh.fi PRIVMSG #esoteric :> (Sum 3, Sum 4) ^. both < 1353762249 935858 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Sum {getSum = 7} < 1353762258 247401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> sumOf both (Sum 3, Sum 4) < 1353762260 48371 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Num.Num (Data.Monoid.Sum a0)) < 1353762260 404495 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of... < 1353762261 338870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1353762265 829424 :ion!ion@heh.fi PRIVMSG #esoteric :> sumOf both (3, 4) < 1353762267 809369 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 7 < 1353762269 806820 :ion!ion@heh.fi PRIVMSG #esoteric :> 7 < 1353762271 619497 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 7 < 1353762272 380742 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> (1,2) & both %~ Sum & get both < 1353762272 992079 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :% fun -c -m="~&brlX ((1,2),(3,4))" < 1353762273 213907 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :((2,1),4,3) < 1353762274 274814 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Could not deduce (Control.Monad.State.Class.MonadState < 1353762274 560950 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1353762276 342220 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"but can haskell do this" < 1353762281 980704 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> ((1,2) & both %~ Sum) ^. both < 1353762283 741958 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval-core: NotAllowed "These modules have not been loaded:\nL\n" < 1353762286 304094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> lastOf (backwards traverse) [1..100000000] < 1353762286 815277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1353762288 349503 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 1 < 1353762291 362348 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> ((1,2) & both %~ Sum) ^. both < 1353762293 821449 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Sum {getSum = 3} < 1353762297 888642 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there a nicer way of doing this < 1353762300 612767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :without sumOf < 1353762301 375626 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> lastOf (backwards traverse) [1..100000000000000000000000000000000] < 1353762302 318462 :ion!ion@heh.fi PRIVMSG #esoteric :Wow, i haven’t seen the NotAllowed error before. < 1353762304 85301 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 1 < 1353762307 220551 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> lastOf (backwards traverse) [1..100000000000000000000000000000000000000000000000] < 1353762309 496927 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 1 < 1353762314 508820 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like is there a way to capture < 1353762329 331458 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: sum toListOf both? < 1353762337 181924 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t sum < 1353762338 732852 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Num a => [a] -> a < 1353762345 730461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> sum (toListOf both (1,2)) < 1353762347 182495 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's not really what i maen... < 1353762347 664649 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 3 < 1353762350 971959 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean a way of capturing < 1353762361 76636 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo l f x = over l f x ^. l < 1353762368 835831 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :alternatively, how is sumOf defined < 1353762377 544895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Using Sum < 1353762383 299448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1353762387 597686 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this does not shock me < 1353762398 64398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :getSum . foldMapOf l Sum < 1353762402 376217 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(except not that) < 1353762405 362200 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(more unsafeCoerce) < 1353762406 380167 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t foldMapOf < 1353762407 863253 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Getting r s t a b -> (a -> r) -> s -> r < 1353762414 803710 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :eh < 1353762416 147376 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok < 1353762454 676241 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t even < 1353762456 221450 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Integral a => a -> Bool < 1353762464 757751 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> sumOf (iwhere even) [1..10] < 1353762466 733678 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 25 < 1353762468 979886 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mmmm < 1353762472 148902 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's nice < 1353762483 230358 :ion!ion@heh.fi PRIVMSG #esoteric :Why isn’t getSum unsafeCoerce in the first place? < 1353762494 498026 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: It is. < 1353762513 990560 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(getSum .), however... < 1353762539 296273 :ion!ion@heh.fi PRIVMSG #esoteric :ಠ_ಠ < 1353762548 577301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1353762559 318678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> sumOf (iwhere even) $ M.fromList [] < 1353762561 387537 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `k0' in the constraints: < 1353762561 691807 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (GHC.Real.Integral k0) < 1353762561 837285 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :... < 1353762564 50173 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: *You* try to get "over mapped" to compile into fmap < 1353762642 918926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> M.fromList [(0,"abc"), (1,"def"), (2,"qqq")] ^. traverse < 1353762644 859000 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "abcdefqqq" < 1353762654 679641 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> M.fromList [(0,"abc"), (1,"def"), (2,"qqq")] ^. iwhere even . traverse < 1353762656 525358 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (Data.Monoid.Monoid GHC.Types.Char) < 1353762656 826902 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use o... < 1353762660 325576 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hm < 1353762664 112392 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t M.fromList [(0,"abc"), (1,"def"), (2,"qqq")] ^. iwhere even < 1353762665 984652 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `k0' in the constraints: < 1353762666 339012 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (Integral k0) arising from a use of `even' at :1:56-59 < 1353762666 484194 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (Num k0) arising from the literal `0' at :1:14 < 1353762670 797651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh? < 1353762703 266138 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: what am I doing wrong < 1353762732 478565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1353762738 839201 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why isn't this working < 1353762745 988531 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Works in my ghci < 1353762764 299565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> M.fromList [(0,"abc"), (1,"def"), (2,"qqq")] ^. iwhere (even::Int->Bool) < 1353762766 631194 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "abcqqq" < 1353762780 841357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: What's ursala? < 1353762801 372255 :ion!ion@heh.fi PRIVMSG #esoteric :Doesn’t work in my ghci. 7.4.2. < 1353762826 469691 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :7.6: better than 7.4? < 1353762876 260677 :ion!ion@heh.fi PRIVMSG #esoteric :no wai < 1353762905 221304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: I'm not liking the iwhere Core. < 1353762909 179035 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: you should learn ursala! < 1353762918 824841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: who's that < 1353762921 593277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: did you ever finish the manual < 1353762925 205996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :didn't she write that book < 1353762927 318702 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: no i got sidetracked < 1353762936 966123 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: im disappointed < 1353762958 47962 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: im struggling with the hell that is figuring out how to get rewriting under binders working in coq < 1353762971 29896 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :while really tired??? i should sleep < 1353762981 17367 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: sounds less fun than ursala. you should read the manual some more instead < 1353762995 404252 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : pure = Mutator < 1353762995 587628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : 403 < 1353762995 587802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :+ {-# INLINE pure #-} < 1353763000 89995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: come on, ghc is smart enough for that < 1353763073 9462 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: OK, OK < 1353763079 244304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But not for one of the other ones I added. < 1353763091 936683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :itraverse or something < 1353763096 145358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: wait wait wait < 1353763097 195980 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1353763119 9570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :itoListOf ifolded is working < 1353763125 269370 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but itoListOf itraverse is not?????? < 1353763175 3482 :ion!ion@heh.fi PRIVMSG #esoteric :monqy: Binders full of women? < 1353763240 348289 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t itoListOf ifolded < 1353763241 902175 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :FoldableWithIndex i f => f b -> [(i, b)] < 1353763242 298740 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t itoListOf itraverse < 1353763243 746841 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `IndexedGetting < 1353763244 38815 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : i0 [(i0, a0)] s0 t0 a0 b0' < 1353763244 184231 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : with actual type `(i1 -> a1 -> f0 b1) -> t1 a1 -> f0 (t1 b1)' < 1353763251 762570 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that sure is a type error < 1353763389 866941 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ahh, the hell that is rewriting under binders was working all along but i forgot to declare my stuff as morphisms < 1353763397 376190 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im too tired for this < 1353763422 850675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i declare monqqys stuff as morphisms < 1353763428 307215 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thank u < 1353763469 977956 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Should indexed be strict? < 1353763476 347419 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t indexed < 1353763477 756239 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Indexed Int k => ((a -> Control.Lens.Internal.Indexing f b) -> s -> Control.Lens.Internal.Indexing f t) -> k (a -> f b) (s -> f t) < 1353763485 41276 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :indexed l = index $ \iafb s -> case runIndexing (l (\a -> Indexing (\i -> (iafb i a, i + 1))) s) 0 of < 1353763488 818130 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which is faster < 1353763489 472798 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :indexed l = index $ \iafb s -> case runIndexing (l (\a -> Indexing (\i -> i `seq` (iafb i a, i + 1))) s) 0 of < 1353763500 854264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: help i dont havae any benchmarks!! < 1353763501 635722 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1353763506 524063 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i thought you meant strict as in strict < 1353763511 532903 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as in indexed _|_ = _|_ < 1353763512 584067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, index-strict. < 1353763519 248649 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One of them builds a bunch of thunks, though, I assume. < 1353763519 643509 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um < 1353763521 95270 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :probably not < 1353763525 803905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why not? < 1353763532 997402 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what if you have a complex lens type < 1353763540 212724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And? < 1353763541 444415 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1353763543 263922 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :complex index type < 1353763549 981515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty indexed < 1353763550 189615 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that has a lot of computation < 1353763551 606456 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Indexed Int k => ((a -> Control.Lens.Internal.Indexing f b) -> s -> Control.Lens.Internal.Indexing f t) -> k (a -> f b) (s -> f t) < 1353763556 195699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :☝ < 1353763569 533593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : ☝☝☝ < 1353763575 934153 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1353763576 667104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"oopse" < 1353763578 507989 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1353763579 119597 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty indexed < 1353763579 532775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the Int part < 1353763580 790607 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Indexed Int k => ((a -> Control.Lens.Internal.Indexing f b) -> s -> Control.Lens.Internal.Indexing f t) -> k (a -> f b) (s -> f t) < 1353763582 228512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wel < 1353763583 4435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :l < 1353763584 785972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1353763585 727744 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess it can be strict < 1353763588 825477 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it seems semantically wrong though < 1353763595 111319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :indexed turns an existing traversal into an Int-indexed traversal < 1353763600 607373 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what if you have a structure where it's easy to access in order < 1353763601 477963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just by the order it Ints by. < 1353763606 126261 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but calculating the exact indices is expensive < 1353763611 836611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1353763614 515903 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1353763617 460008 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wait < 1353763621 678045 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does it even change semantics to make it strict then < 1353763627 672135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sort of. < 1353763629 855017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how < 1353763637 290762 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe not. < 1353763639 801317 :sivoais!~zaki@199.19.225.239 JOIN :#esoteric < 1353763640 646056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who cares about semantics? < 1353763645 445785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I asked if it should be strict. < 1353763648 517385 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :me too < 1353763658 458231 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i assumed it was a question about the function's denotation < 1353763660 505665 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1353763666 70057 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :operationally, do whatever you think will be fastest, probably strict < 1353763723 733307 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought so. < 1353763850 503754 :atriq!~nathan@host-78-146-163-47.as13285.net JOIN :#esoteric < 1353763993 165350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Yay, saves us from a stack overflow. < 1353764039 868245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: < 1353764040 729810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :itoListOf l = ifoldMapOf l (\i a -> [(i,a)]) < 1353764061 138806 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should it be ifoldrOf l (\i a -> ((i,a):))? < 1353764191 379005 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's the difference < 1353764238 638776 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right-associative < 1353764415 90976 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then i guess yes < 1353764730 898752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Isn't it annoying how with rank-2 types, to make a type *more* polymorphic you have to make the signature *more* specific? < 1353764782 557947 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1353764805 228481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wrong answer < 1353765826 171655 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Oh. < 1353765830 498095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's itoListOf itraversed < 1353766372 912752 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"ph plays df adventure mode: pt 1" < 1353766413 806878 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :for some reason every single human in the village i was in, including my 3 companions, turned hostile < 1353766427 833902 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :were you rude < 1353766446 147810 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :presently i am retreating from a massive crowd of them, a trail of broken bodies in my wake < 1353766603 781382 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no, i got sent to kill a spearman by someone in the same village < 1353766631 444089 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :when i found him in one of the huts, there was a flurry of chaos and everyone started attacking me < 1353766652 494467 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :they've gashed my foot and my left arm, but so far i'm holding them off pretty handily < 1353766937 401704 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Phantom_Hoover, has elliott started the fortress yet? < 1353766988 792575 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :maybe < 1353766992 13718 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you could ask elliott that < 1353767045 655056 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I figured asking you would ping both of you < 1353767058 334916 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :elliott, does Phantom_Hoover think you've started the fortress yet? < 1353767088 15675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does Phantom_Hoover think < 1353767090 110076 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :burn?? < 1353767108 623622 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey elliott < 1353767109 205807 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :brun < 1353767115 119363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Indexing is terrible < 1353767116 692332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fix it :'( < 1353767128 979951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty indexed < 1353767130 447309 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Indexed Int k => ((a -> Control.Lens.Internal.Indexing f b) -> s -> Control.Lens.Internal.Indexing f t) -> k (a -> f b) (s -> f t) < 1353767136 686436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"how hard can it be to write this function" < 1353767143 400410 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :elliott, if Phantom_Hoover thought you had started the fortress, would he be correct#? < 1353767157 649116 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I feel like I'm in a logic puzzle < 1353767211 797785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: from a falsehood, all follows < 1353767221 616590 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the falsehood is Phantom_Hoover thinking < 1353768443 358693 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1353768533 595923 :variable!root@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1353768547 315519 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh god there is no way i'm getting out of this < 1353768565 185217 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i can't sleep in the town, it's night, and i can't stand before healing < 1353768568 840740 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and i can't travel at night < 1353768591 170884 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Phantom_Hoover, which game? < 1353768628 336894 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :dwarf fortress adventure mode < 1353768644 721514 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm, never played that mode, is it any good? < 1353768678 204370 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's... < 1353768682 816906 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :interesting < 1353768694 795329 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm okay < 1353768716 967733 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :is it as fun as the fortress mode though? < 1353768727 128954 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hell no < 1353768733 956631 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah < 1353768778 531951 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :bbl < 1353768779 835611 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: it's a masterpiece < 1353769054 608075 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 250 seconds < 1353769452 266328 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, i thought you weren't a fan < 1353769478 371244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :define fan < 1353769594 939387 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A thing that moves air around. < 1353769615 499168 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Apparently only if it's done by movement of a surface or surfaces. < 1353769616 680848 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i am that < 1353769911 466395 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1353770293 872028 :variable!root@freebsd/developer/variable QUIT :Ping timeout: 246 seconds < 1353772393 274462 :t1!~user@vpn32-063.rz.hs-offenburg.de JOIN :#esoteric < 1353772882 514911 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1353772944 615045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1353772945 93977 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Arc_Koen said 3h 46m 28s ago: my Minks implementation is based on what was written in the minks page + what was said on the talk page; also I did not put any comments in it and the parser is < 1353772945 437198 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :incredibly badly written; I'm not sure considering that implementation as some sort of "reference implementation" is such a good idea ;) < 1353772945 582792 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Arc_Koen said 3h 46m 5s ago: also I'll try to remember why I put it on the talk page in the first place and not in a wiki page of its own < 1353773041 93571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: well the part about conditions starting True was also in the talk page; the other change was that only conditions before commands count for the loop checking, which your truth machine depends on. feel free to undo it but then you need to change both your implementation and your truth machine. < 1353773056 58579 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm gone 3 hours < 1353773065 273126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen well the part about conditions starting True was also in the talk page; the other change was that only conditions before commands count for the loop checking, which your truth machine depends on. feel free to undo it but then you need to change both your implementation and your truth machine. < 1353773065 641642 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1353773152 617540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen that is, the condition x is used as a target in the truth machine, but ignored for the loop check < 1353773153 132686 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1353773184 36292 :t1!~user@vpn32-063.rz.hs-offenburg.de PART :#esoteric < 1353773337 232415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen also i certainly don't consider your use of bounded integers to be authoritative >:) < 1353773337 608240 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1353773805 73324 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Well, that code became neater quickly < 1353773833 860727 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Rewriting a DCPU interpreter I started and never finished < 1353773845 100147 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's when it starts obfuscating itself you should start worrying < 1353773932 569176 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :From 3 lines with ridiculous lambdas, record syntax, and the "lens" function to 1 line, with pointless fun < 1353773980 533983 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Basically, I've got two UArrays of Word16s in one datatype, with different address types < 1353774008 537675 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :And I was making a function that took an Either AddressType1 AddressType2 and returned a Simple Lens DCPU Word16 < 1353774035 955928 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :dcpuLens = dcpuRegisters .: ix ||| dcpuRam .: ix < 1353774290 859716 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Anyway < 1353775096 302509 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1353775197 759149 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott < 1353775203 706560 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you know < 1353775206 898506 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what you should be doing < 1353775531 930325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i can't become a duck all by myself Phantom_Hoover < 1353775533 922766 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you have to help < 1353775547 794593 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :step 1, find witch < 1353775561 991663 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :step 2, anger witch after expressing utmost revulsion for ducks < 1353775635 51396 :AnotherTest!~tim@94-224-28-191.access.telenet.be JOIN :#esoteric < 1353775638 863195 :AnotherTest!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1353775669 378338 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :elliott, you can do step 2 easily by saying "I hate you almost as much as I hate ducks!" < 1353775703 678251 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :atriq, good thinking! < 1353775719 845465 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i'm handing control of this project over to you, you are more likely to know about witches in the hexham area < 1353775761 606679 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I can't think of any specific witch off the top of my head, but I'll put out some feelers < 1353775770 132923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: that doesn't work if i like ducks though..... i;td be a compliment < 1353775789 285013 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :elliott, the witch doesn't have to know you like ducks! < 1353775833 598805 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Think of the insinuations of the negative word "hate" < 1353775838 113693 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :As applied to ducks < 1353775845 526662 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ok < 1353775847 810040 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :The obvious assumption is that the speaker hates ducks < 1353775849 326469 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :bring a duck with you < 1353775851 763203 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kill it < 1353775862 245584 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :then say 'i hate you almost as much...' etc. < 1353775875 812207 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what if that just means i love ducks....... to death < 1353775902 341954 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :say you love her........... to death too, then try and kill her however you killed the duck < 1353775915 481007 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :she will turn you into a duck as an ironic lesson on the consequences of your actions < 1353775939 807806 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im bested < 1353776106 446767 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :atriq, any luck on witch location < 1353776195 651570 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Not so far < 1353776382 828007 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :come on surely there are some witches in northumberland who like homestuck! < 1353776448 425389 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :a) Northumberland is pretty big, and Hexham's right in the south of it < 1353776461 8069 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :b) most of the Homestucks I know live in Tyne and Wear < 1353776723 368707 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Tyne and Wear sound like made-up names. < 1353776772 19884 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :It's a modern county named after two rivers flowing through it < 1353776781 652400 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :The Tyne also flows through Hexham < 1353776793 569923 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they have a metro < 1353776803 4803 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Do the metro trains run on Tyne? < 1353776813 669639 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Yeah, and Wear < 1353776815 949038 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :How cool is that? < 1353776817 280123 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1353777054 163889 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i'm fairly sure the nick cage appreciation society at this university was made by homestucks, but they seem to be in hiding < 1353777102 8547 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Acquire a Homestuck shirt, ideally from your wardrobe. Wander about in it constantly, but not just after updates. < 1353777128 981285 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :unfortunately i wear a jumper all the time < 1353777135 953268 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and i don't think you can get homestuck jumpers < 1353777138 672881 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :more's the pity < 1353777157 404101 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :You can get Homestuck hoodies, which are closer to jumpers than t-shirts < 1353777221 921602 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :too heavy for the purposes i wear a jumper < 1353777273 732443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can just wear your Homestuck underwear on top of your pants. < 1353777303 950872 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hahaha nice try fizzie < 1353777310 782437 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i'm not googling 'homestuck underwear' < 1353777333 989609 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's an empty Tumblr with that title. < 1353777355 948578 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Which reminds me < 1353777362 760208 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I need to pretend to be Phantom_Hoover < 1353777371 719430 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was also something I didn't understand in the results. < 1353777402 672473 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i heard someone mentioning something called 'mathfuck' or maybe 'fuckbrath', it sounded awful < 1353777417 244586 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i couldn't get any more details out of them but that sounds like a good start < 1353777958 663484 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Hmm < 1353777997 952074 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :My query on Facebook for witch recommendations has received three likes. All by Homestucks, as it happens < 1353778147 932279 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1353778167 193986 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What's this witch thing? < 1353778181 396267 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :elliott needs a witch so he can become a duck < 1353778197 425783 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ah, I "see". < 1353778235 124381 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :atriq, why is your facebook picture a drawing of a girl :/ < 1353778239 936994 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :It's not < 1353778243 269486 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :It's a drawing of me < 1353778254 861755 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I'm just rather devoid of masculinity < 1353778257 576149 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :All Hexhamites look like girls, is that it? < 1353778266 70714 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :And in an unusual outfit < 1353778280 415082 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :eeewwww you watch doctor who????? < 1353778312 208066 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :... < 1353778318 835156 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I'm fairly sure you watch Doctor Who < 1353778327 498586 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :You've complained about my taste in doctors before. < 1353778331 964958 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes! < 1353778336 780150 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's why i don't watch it any more! < 1353778351 744600 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :stop liking things i don't! < 1353778387 243363 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, it's lowering your compatibility percentage. < 1353778406 174758 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :have to love how my dorfs are happy to have a drink at the edge of a 9-level precipice < 1353778701 328277 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :atriq, at least you liked the episode with ben browder in it < 1353778708 3504 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's *almost* like liking farscape < 1353778715 929840 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Which episode was that? < 1353778741 967030 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Oh, that episode < 1353778745 545947 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :That was a good episode < 1353778812 891066 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hmm < 1353778829 197270 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :maybe i should not starve my mayor to death < 1353778856 762096 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :farscape was a good episode. i was younger then, and probably happier. < 1353778877 960672 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a good episode of what < 1353778913 903632 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :my life < 1353779102 820664 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :welp, the mayor died < 1353779115 457724 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :at least she was surrounded by her friends when she died < 1353779121 189524 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :probably begging them all for food or water < 1353779319 514161 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1353779328 525825 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :now they're showing their respects by leaving her corpse lying on one of the central staircases and making no effort at all to bury her < 1353779368 87938 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1353779381 538158 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That is not a very good place to leave the corpse. < 1353779423 960485 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oops turns out i didn't have any spare coffins < 1353779455 750972 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Even if you don't have any coffins, the stairs is not a good place to leave it. < 1353779464 771700 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Throw it outside. < 1353779468 982954 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :zzo38, dwarf logic < 1353779487 1923 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :"Hey, there's the old mayor's corpse" < 1353779495 515173 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :"It should be in a coffin" < 1353779499 910606 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :"We don't have any coffins" < 1353779525 133109 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :"Bah, I've got more important things to do, like carry this barrel of mushrooms to the mushroom farm to put a mushroom in it" < 1353779922 755663 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1353780359 842890 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hrrrm < 1353780365 223017 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a donkey has gone missing < 1353780371 874308 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :another donkey went missing a while ago too < 1353780382 916661 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :we may have another, smarter vampire on our hands < 1353780436 392678 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :vampiiiiiiiires < 1353780526 514863 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :A vampire donkey < 1353780531 533930 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Horsepire. < 1353780548 89824 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no, vampires will prey on domesticated animals if they can't find dorfs < 1353780805 173638 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :both of them have just vanished out of the blue, with no hostiles on the map and no combat logs < 1353780808 761672 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's all very mysterious < 1353781932 309493 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :oh no < 1353781947 783809 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :where's elliott < 1353781960 561655 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is a amplitude per second units? < 1353781985 140536 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :amplitude is not a unit? < 1353781997 597962 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :dB/s? < 1353782013 289815 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :dBHz < 1353782048 11474 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :oh < 1353782051 540931 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is not measured here in dB though, it is measured using linear < 1353782072 846484 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :I see that DF is trendy again < 1353782084 107481 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They are floating point values that would be converted to integer and store in sound files. < 1353782121 496935 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably that amplitude is unitless < 1353782128 547034 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's a fraction of the maximum cone displacement < 1353782140 451454 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :unless your audio files are normalized to some volume standard < 1353782177 717204 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in which case they are a maximum of some specified decibel value at some specified measuring condition < 1353782180 724772 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and so still unitless < 1353782203 584923 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They are 0 dB at whatever the user specifies in the Csound orchestra file, in the "0dbfs" parameter. < 1353782229 122562 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That becomes the maximum value without clipping < 1353782386 784790 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :what was that command to leave a message for someone using our bot[s]? < 1353782395 503314 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is Csound, and some of the commands I added take the amplitude per second measurements, such as the "slowchange" command. < 1353782398 292728 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :@tell nooga it's @tell < 1353782398 654798 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1353782415 866094 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :and he didn't told me < 1353782416 213727 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :nooga: You have 1 new message. '/msg lambdabot @messages' to read it. < 1353782419 893221 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :oh < 1353782440 269802 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Waits until the next time you speak in a channel it's in =P < 1353782486 598463 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Although you can check messages even without that, too < 1353782496 112704 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :@tell elliott http://cl.ly/image/2R2T1L0G0L2e OH LOOK WHAT I'VE GOT :} < 1353782496 510411 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1353782510 695264 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :done, thanks < 1353782663 500233 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: ah you mean samples per second. also known as frequency. it is measured in Hz < 1353782710 319530 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :quintopia: Well, yes, it is Hz, I guess, although in this case the amplitude is important too < 1353782728 756638 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, the sampling rate is twice the maximum frequency < 1353782750 550637 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but as kmc said, the amplitude is unitless < 1353782757 691571 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :because it is relative < 1353782768 976495 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Amplitude will depend on bits per sample < 1353782792 839524 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, accuracy < 1353782799 647087 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or use dB since apparently you specify a 0dB standard < 1353782856 581500 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But what I have is more like a slope I think < 1353783006 354174 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh shit itidus' ghost has possessed my spearmaster < 1353783033 595164 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fortunately he's just kind of standing next to a lever doing nothing < 1353783045 384555 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :That's our itidus! < 1353783118 705722 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"i think the reason i can't get her to do anything is that i just can't wrap my brain around possessing people" < 1353783165 467257 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"they say possession is nine tenths of the law, but what about the laws of physics? < 1353783166 340986 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :" < 1353783182 319046 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wait < 1353783187 929121 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :motherfucker trashed my danger room! < 1353783336 514591 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :what? < 1353783348 292231 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1353783450 275853 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1353783543 888526 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nortti, a device for training soldiers very quickly. < 1353783553 354439 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :ok < 1353783750 241793 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Make up the game involving possession nine tenths of the law of physics. < 1353784427 61048 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :most rts's and social games are like that < 1353784646 67076 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Now I programmed the Csound command "aQ, anotQ flipflop aS, aR, aclock, [ithreshold], [klow], [khigh], [init]" < 1353786280 168398 :AnotherTest!~tim@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1353786288 756479 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :what's Csound? < 1353786302 707954 :AnotherTest!~tim@94-224-28-191.access.telenet.be JOIN :#esoteric < 1353786465 335370 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Csound is a program to make music and sound effect. < 1353786478 131824 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You can look it up in Wikipedia for information. < 1353786532 361470 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It has its own orchestra prorgamming language, and then there is also a score file which tells it what instruments to play, when, and what parameters. < 1353786639 219182 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :oh < 1353786639 653298 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is not difficult to add new commands by writing plugins in C. You don't need to do anything other than compile the plugin with the correct options (on my computer: gcc -DUSE_DOUBLE -I "$CSOUNDDIR/include" -shared -o csoundextraopcodes.dll -O2 csoundextraopcodes.c -lm); once it is compiled, it will automatically work. < 1353786654 102363 :atriq!~nathan@host-78-146-163-47.as13285.net QUIT :Quit: Leaving < 1353786677 638210 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :btw. I'm writing a roguelike with it's own, runic, esoteric programming language for inscribing items < 1353786723 856911 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :script your own items, cool, huh? < 1353786752 295223 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK write a description of such programming language in esolang wiki then? < 1353786787 19690 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :the problem is that it does not exist at the moment < 1353786802 154021 :atriq!~nathan@host-78-146-163-47.as13285.net JOIN :#esoteric < 1353786812 501944 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :i have only vague idea how to tackle it < 1353786893 443410 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Write the ideas on a user subpage perhaps. < 1353786915 148065 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i figured out how metajousting would work yesterday < 1353787009 531116 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I changed S, R, clock, to x-rate instead of a-rate. This "flipflop" command I made up can be used to convert other signals into a square wave one octave lower. < 1353787017 366862 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :quintopia: How does metajousting work? < 1353787070 338003 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the rules about the tape and polarities are the same as for bfjoust < 1353787102 145239 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but the "flag" cells are initialized to zero, because the goal is not to tear down the flags on the regular tape < 1353787125 127342 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :instead, there is a second two-cell three-bit tape, with both initialized to 7 < 1353787148 605061 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and each player has a pointer to one of these cells on this tape < 1353787166 303545 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :we reinclude . and , to mean what they do in bf < 1353787207 95850 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but, if a player outputs 0, it flips the meta-pointer to the other cell, and if it outputs 1 or -1, it increments or decrements the cell the metapointer is pointing to < 1353787264 324764 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and , copies the current value of the pointed cell on the metatape to the regular tape < 1353787274 554359 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the goal is to lower the metaflag for two cycles < 1353787290 760400 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :*the opponent's < 1353787415 158048 :AnotherTest!~tim@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1353787592 346605 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Now implement it and/or write a wiki article about it. < 1353788671 186070 :atriq!~nathan@host-78-146-163-47.as13285.net QUIT :Quit: Leaving < 1353788673 890448 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Ping timeout: 260 seconds < 1353788680 235004 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 244 seconds < 1353788906 207696 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1353788927 588316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1353788927 850911 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :You don't have any new messages. < 1353788972 529738 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1353789065 118447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :16:48:39: i'm handing control of this project over to you, you are more likely to know about witches in the hexham area < 1353789068 563901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :16:49:21: I can't think of any specific witch off the top of my head, but I'll put out some feelers < 1353789080 491213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isn't everyone in hexham a witch? it's sort of in the name... < 1353789107 986921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except i hear "hex" in that sense has only been borrowed into american english... < 1353789210 779706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :btw in norwegian fairy tales a "hekseham" is an animal hide used by a witch to turn into that animal < 1353789290 866468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait would that be a hide someone uses to turn into a witch... < 1353789418 915018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"dyreham" might be more correct. < 1353789500 136474 :atriq!~nathan@host-78-146-163-47.as13285.net JOIN :#esoteric < 1353789618 963350 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :atriq, check logs < 1353789628 674663 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan has revealed critical information < 1353789677 152980 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Wow < 1353789688 298620 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION googles 'hekse' in an attempt to confirm this, ends up at http://da.wikipedia.org/wiki/Heks
< 1353789713 589851 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :elliott is in luck < 1353789734 246042 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1353789757 272237 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :http://translate.google.co.uk/#en/da/witch%20home < 1353789821 557480 :sivoais!~zaki@199.19.225.239 QUIT :Ping timeout: 255 seconds < 1353790050 297526 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :atriq: that would be combined into heksehjem < 1353790170 463243 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 276 seconds < 1353790394 606386 :atriq!~nathan@host-78-146-163-47.as13285.net QUIT :Remote host closed the connection < 1353790424 177102 :sivoais!~zaki@199.19.225.239 JOIN :#esoteric < 1353790432 658013 :atriq!~nathan@host-78-146-163-47.as13285.net JOIN :#esoteric < 1353790480 408270 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that minks language has some awkward flow control < 1353790495 258996 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :More or less awkward than Fueue? < 1353790525 623242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :more i should think, although the paradigms are completely different so how to compare... < 1353790563 692445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there are enough registers to do a collatz function similar to the 3-cell bf, but i'm not sure whether it is possible to manipulate conditions in the right way < 1353790606 366550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't yet see a way to set a condition only if a register is 0 < 1353790660 853562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and you cannot clear conditions at all if both registers are far from 0 < 1353790865 643109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :however it is easy to set one register if another is set < 1353790879 340597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a inc a dec b < 1353790889 215628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*one condition < 1353790895 688162 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: it would be trivial to implement, but i don't feel like doing that or writing it up < 1353791135 695928 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The grad school funding thing that pays for my salary is called "Hecse". There are no hams involved, though. < 1353791562 541615 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1353791564 428240 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there any driver to emulate physical damage in a disk image? < 1353791567 378527 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hi < 1353791608 58014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: a screwdriver hth < 1353791760 358999 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is not what I mean. < 1353791769 114049 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1353791856 939629 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net JOIN :#esoteric < 1353791983 849490 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net QUIT :Quit: leaving < 1353792002 866472 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net JOIN :#esoteric < 1353793188 655591 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Linux device-mapper has a "dm-flakey" target. < 1353793199 932845 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"This target is the same as the linear target except that it exhibits unreliable behaviour periodically. It's been found useful in simulating failing devices for testing purposes." < 1353793254 800585 :atriq!~nathan@host-78-146-163-47.as13285.net QUIT :Quit: Leaving < 1353793262 987904 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, how else are you supposed to know if your code does the right thing in bad conditions without having bad hardware < 1353793285 917995 :atriq!~nathan@host-78-146-163-47.as13285.net JOIN :#esoteric < 1353793327 344520 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You give it numbers X and Y, and then it cycles so that it's available for X seconds, then it's broken for Y seconds, and so on. By default when it's broken it's totally broken, but you can also tell it to instead drop all writes but work correctly when reading, or to corrupt every N'th byte of each matching IO request data block. < 1353793381 916409 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you also tell it what parts of the disk are broken? < 1353793400 640423 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1353793417 234714 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1353793453 875324 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think it has an option for that, though it probably should be possible to do that too with device-mapper somehow. Possibly with some setup involving dm-delay too. < 1353793586 621888 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If nothing else, you should be able to make your "disk" by combining dm-linear's mapping to the non-broken parts and dm-flakeys for the broken ones. Some scripting would undoubtedly be involved. < 1353793975 40950 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hmmmm. < 1353794005 150555 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :OK so in DF, minecarts going quickly around sharp bends jump the tracks and spill their contents everywhere at high speed. < 1353794011 57666 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Minecarts can also carry magma. < 1353794044 75100 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Phantom_Hoover, did you do this by accident, or are you planning to do this delibrately < 1353794056 332757 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Deliberately. < 1353794084 636525 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Obviously, even in DF it'd be pretty ridiculous to accidentally build a magma linear accelerator. < 1353794144 632124 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :OTOH minecarts are also a much more practical way of transporting magma over long distances than pump stacks, so I was planning to do it anyway. < 1353794145 699414 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Maybe you accidentally built your magma forges miles away from lava < 1353794151 554743 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Because you sneezed < 1353794161 345901 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :And thought "let's be dorfy!" < 1353794173 622771 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :"MAGMA TRAIN!!!" < 1353794394 67175 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1353794433 186344 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1353794884 10125 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :atriq, that *is* what I'm thinking. < 1353795520 54999 :Sgeo__!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://ansuz.sooke.bc.ca/entry/254 < 1353796338 752167 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hello < 1353796339 100170 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Arc_Koen: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1353796344 322758 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@messages < 1353796344 610951 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan said 6h 28m ago: well the part about conditions starting True was also in the talk page; the other change was that only conditions before commands count for the loop checking, which your < 1353796344 886717 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :truth machine depends on. feel free to undo it but then you need to change both your implementation and your truth machine. < 1353796345 32276 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan said 6h 26m 32s ago: that is, the condition x is used as a target in the truth machine, but ignored for the loop check < 1353796345 32455 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan said 6h 23m 28s ago: also i certainly don't consider your use of bounded integers to be authoritative >:) < 1353796348 856819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah thinking of the devil... < 1353796355 884531 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 255 seconds < 1353796386 458619 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1353796397 479803 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :am I the devil to you? :( < 1353796413 610162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...it's a stock phrase, slightly modified. < 1353796613 910520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think the impossibility of clearing conditions while both registers are non-zero implies Minks is not TC < 1353796700 261525 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I was afraid you might say that < 1353797276 31794 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm actually the more serious problem is that there is no way to set one condition based on another _not_ being set. < 1353797336 288139 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait that's an oversimplification too < 1353797559 300823 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yeah hmm "there is no way to" doesn't seem like something easy to prove < 1353797716 736128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's not true when a register is close to 0 :P < 1353797758 668685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the actual argument is somewhat more complicated. < 1353797864 654597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you make a graph where the vertices are conditions, and there is an edge between conditions if there's a dec or DEC instruction causing the one to set the other < 1353798022 593176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :when both registers are set, conditions gradually get set to True along the paths of that graph, until there are no more edges to follow. this must happen in a number of loops <= the diameter of the graph. < 1353798072 696059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :once this happens, no conditions can change again until one of the registers reaches 0. < 1353798355 985591 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so the graph is one way of describing the program? < 1353798375 801527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well one aspect of it < 1353798544 559328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am having an annoying intuition not to try to explain this < 1353798585 607019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...maybe there's an error in the argument somewhere, then. < 1353798708 987092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is more inclined to think his intuition is just being an asshole.
< 1353799231 407528 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :How can I encode that in Haskell... < 1353799241 527923 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :AGE_AT_EVENT: = {Size=1:12} < 1353799241 673439 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :[ < | > | ] < 1353799241 673621 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :[ YYy MMm DDDd | YYy | MMm | DDDd | < 1353799241 673726 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :YYy MMm | YYy DDDd | MMm DDDd | < 1353799241 673833 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :CHILD | INFANT | STILLBORN ] < 1353799242 14926 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :] < 1353799247 808807 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :From the GEDCOM specs < 1353799302 202377 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :stillborn < 1353799309 240805 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :is that when you're dead before being born? < 1353799311 760168 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :Yes < 1353799338 650755 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I'm inclined to make the first part an Ordering < 1353799351 748944 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :can I ask why you're doing this? it sounds depressing < 1353799373 260534 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I'm writing a genealogy library in haskell < 1353799379 596373 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :It's a long term project < 1353799385 335360 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I'm not very far < 1353799479 730117 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :are stillborn that relevant for genealogy purposes? I don't think they get to have much offspring < 1353799488 271351 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :I don't know < 1353799494 547511 :atriq!~nathan@host-78-146-163-47.as13285.net PRIVMSG #esoteric :This is a standard that I'm trying to stick to < 1353800001 589436 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :uhhh < 1353800014 205805 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i let the vampire out so i could move her into a strand extraction facility < 1353800029 988064 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :she's already killed elliott < 1353800118 530275 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :did you at least give her suncream? < 1353800317 806533 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh she got Vorpal as well < 1353800331 692999 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i feel like this is some form of irony < 1353800372 633711 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh for-- < 1353800386 948622 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :every time she actually goes inside her little prison she immediately leaves and feeds again < 1353800415 894602 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :on her way to the bedrooms, she has passed the people carrying both elliott and Vorpal's bodies to the tombs < 1353800506 658636 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ohshit < 1353800527 680201 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :those 3 deaths alone were enough to make like 10 dorfs miserable < 1353800546 611299 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :this could get very messy indeed < 1353800613 694567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :time to exercise some exorcism < 1353800627 260584 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so three of your people have been killed because they were trying to rescue dead bodies? < 1353800637 967362 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and now there are 5 dead bodies and nobody to rescue them? < 1353800643 951780 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :No. < 1353800655 227809 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vampire kills elliott; body is discovered. < 1353800659 706658 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok < 1353800666 739584 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vampire kills Vorpal, body is discovered. < 1353800672 647254 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok < 1353800690 233401 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Bodies moved to tombs. Vampire moves to other section of fortress where I am vainly attempting to trap her. < 1353800699 520742 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oook < 1353800740 999074 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Tombs are also in this section. Vampire slips the net, moves back to bedrooms to feed again. People carrying Vorpal and elliott's bodies are going the other way and pass her in the corridor. < 1353800755 133988 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :wait < 1353800768 83058 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vampire kills third dorf, I follow her back and trap her properly this time. < 1353800769 287492 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :you said "vampire moves to other section" < 1353800788 703713 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I was assuming "other than the section the "moving bodies to tomb" action takes place in" < 1353800970 39273 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nah, they're the same < 1353800977 268540 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :also: the tantrums have started < 1353800997 662183 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i have a robust justice system and a lot of happiness boosters in place; i hope it's enough < 1353801048 152740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :famous last words < 1353801131 110856 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a robust system where the captain of the guard is asleep, preventing any crimes being reported < 1353801460 56977 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yeah, this has fortunately mostly blown over.