< 1429574444 505241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :=> is kind of strange. < 1429574459 248354 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it boils down to a type restricted version of typeRep that explicitly _avoids_ using the evidence for the whole type. < 1429574485 57575 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, that's the same sort of thing. < 1429574510 616393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Except for the non-obvious fact that (k => t) is of the form (a b), I guess. < 1429574520 11661 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1429574540 646731 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they should sort of change that, if they really want it to count as impredicative < 1429574552 718782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Calling it impredicative is kind of strange too. < 1429574565 703827 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But so is instantiating a type variable to (k => t). < 1429574567 787538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well spj seems to like doing that < 1429574591 438999 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :
ACTION looks at shachaf
< 1429574712 368938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :variable: Who are you, anyway? < 1429574725 829973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're in all these channels and you have all these nicks. < 1429574752 366678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clearly variable is secretly Lilax < 1429574764 259770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tdnh hth < 1429574775 145311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1429574789 829789 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :"ACME is a protocol for automating the management of domain-validation certificates, based on a simple JSON-over-HTTPS interface. This repository contains the specification for ACME. < 1429574789 904809 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :" < 1429574797 971328 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Words more informative than 'API'? What is this madness? < 1429577243 424797 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :the new way to spell "and" is amp < 1429577278 154452 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 272 seconds < 1429577361 537095 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :∧ < 1429577557 855607 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1429578884 957741 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1429579214 910233 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :While watching a show recorded on a VHS tape I noticed that the tape counter's hours and minutes showed the same time as the time I was watching it. < 1429580059 732446 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's bound to happen if you start watching at noon. (and if it's the minutes and seconds that match...well it's pretty much guaranteed to happen once per movie) < 1429580180 901882 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Yes, but I didn't start watching at noon (and the tape wasn't started from the beginning either; it was from where it left off) < 1429580513 496483 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1429581809 98140 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Now I invented RDF-survey specification; it is pretty simple and here is the full specification: < 1429581811 537178 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :A single URI is defined for this purpose: This will be the predicate of a triple where the subject is the person/agent answering the survey and the object is the node identifying the answer set; the rdf:type of that node is the URI identifying the survey itself. < 1429581974 271783 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1429582006 139632 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Ok so like what programs other than minghc from the haskell site can run haskell or is that all < 1429582150 264948 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :There are other Haskell implementations but most programs are meant for GHC < 1429582189 295748 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :iirc GHC is considered the defqcto standard < 1429582272 177246 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :If no extensions are used then you can use a different implementation but the GHC extensions are very useful to have. < 1429582354 250226 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Ah ok < 1429582442 678956 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :You know what would be nice? A version of CPP that expands macros but not includes. < 1429582531 784467 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Possibly with AWK you can make it to comment out all of the includes and then you can make it like that < 1429583089 61225 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :/^#include/{$0="//"$0}1 < 1429583118 684848 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :That's one way < 1429583191 533911 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Cool < 1429583220 274899 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :AWK is very good for that kind of stuff. < 1429583249 527448 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :As it turns out, AWK is also good for implementing Deadfish. < 1429583753 563589 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Did someone say deadfish! < 1429583775 422519 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Yes....?? Isn't it? < 1429583809 704470 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Yes < 1429583814 509411 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Good language < 1429583880 279183 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :We can implement Deadfish with everything including C and AWK and dc and assembly language and TeX and so on but not Deadfish (but it is possible to implement Deadfish while sitting in the Deadfish cafe) < 1429583927 556209 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Ok < 1429584001 349051 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Even on Nintendo Family Computer, with more than 16-bits. < 1429584031 419904 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Do you know how to program a Famicom? < 1429584291 42702 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I've heard of it < 1429584294 607014 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :But no < 1429584331 505858 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I do know how < 1429584645 564377 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429584890 687275 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Cool! < 1429585365 872424 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I also worked a lot making the Z-machine implementation in Famicom. It is faster than Commodore 64 (almost twice as much) < 1429585847 64657 :variable!~variable@freebsd/developer/variable NICK :function < 1429585901 442702 :function!~variable@freebsd/developer/variable NICK :executes < 1429585907 24430 :executes!~variable@freebsd/developer/variable NICK :function < 1429586245 545314 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I have not quite decided how to implement vocabulary lookup though < 1429586282 505223 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Nick changes? < 1429586293 255636 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Idk either < 1429586303 105695 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I'm looking into famicom < 1429587258 494160 :bb010g!uid21050@gateway/web/irccloud.com/x-nubkvnghcpbkbape JOIN :#esoteric < 1429587819 128672 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 244 seconds < 1429589158 178741 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net QUIT :Remote host closed the connection < 1429589309 217380 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1429589887 545979 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :This is I made up most of the Famicom Z-machine implementation http://sprunge.us/PjUc http://sprunge.us/YLZE Do you think is OK, do you have other complain about it please? < 1429590596 998692 :jsilver!~jsilver@174-29-58-217.hlrn.qwest.net QUIT :Ping timeout: 252 seconds < 1429590642 623775 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: 'Tis time to say goodbye, as I bid y'all farewell, my time for sleep is nigh, and bed seems oh so swell < 1429590663 477001 :function!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1429590679 147238 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429591268 472544 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1429594223 663189 :sebbu!~sebbu@83.194.172.120 JOIN :#esoteric < 1429594260 667410 :sebbu!~sebbu@83.194.172.120 QUIT :Changing host < 1429594260 720811 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1429594328 766731 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1429594544 399324 :AndoDaan!~AndoDaan@188.189.90.157 JOIN :#esoteric < 1429595099 569387 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 250 seconds < 1429596012 405239 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b QUIT :Ping timeout: 272 seconds < 1429596067 788753 :rdococ!5219f1b7@gateway/web/freenode/ip.82.25.241.183 JOIN :#esoteric < 1429596347 606481 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 250 seconds < 1429597151 858410 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving < 1429599375 379433 :zadock!~zadock@muscalu.tuiasi.ro JOIN :#esoteric < 1429600290 290765 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com JOIN :#esoteric < 1429600512 517174 :iamevn_!~evn@c-67-201-217-24.reshall.wwu.edu JOIN :#esoteric < 1429600710 263534 :variable!~variable@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1429600725 437032 :wieldablesquid!~evn@c-67-201-217-24.reshall.wwu.edu QUIT :Ping timeout: 265 seconds < 1429601080 52513 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com QUIT :Quit: Leaving. < 1429601093 490379 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com JOIN :#esoteric < 1429601356 481501 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com QUIT :Ping timeout: 256 seconds < 1429601418 937827 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 JOIN :#esoteric < 1429601739 564142 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 256 seconds < 1429601775 679947 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1429602266 465927 :AndoDaan!~AndoDaan@188.189.90.157 QUIT :Read error: Connection reset by peer < 1429602319 875159 :AndoDaan!~AndoDaan@188.189.90.157 JOIN :#esoteric < 1429603028 240469 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> it < 1429603029 386379 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘it’ < 1429603029 492555 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1429603029 546255 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘id’ (imported from Data.Function), < 1429603339 381625 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com JOIN :#esoteric < 1429603575 989493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> lеt it be 5 іn it < 1429603577 469288 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 5 < 1429603987 255491 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ghci has it as "last result" < 1429605010 489738 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com PART :#esoteric < 1429605835 590077 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429606112 348741 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1429606129 674082 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429606668 470552 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[0742014]]4 10 02http://esolangs.org/w/index.php?diff=42673&oldid=42671 5* 03Vriskanon 5* (+4962) 10/* Sample programs */ Added Hello, world! program (copied from Chicken's page) < 1429606762 724691 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :seriously why ^ < 1429607177 824018 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hahaha < 1429607202 682589 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :s/Chicken/blaze it/? < 1429607828 833880 :orin!~oren@209.105.212.59 QUIT :Ping timeout: 250 seconds < 1429607950 775102 :orin!~oren@209.105.212.59 JOIN :#esoteric < 1429608470 174856 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :
ACTION hello
< 1429608855 844785 :orin!~oren@209.105.212.59 QUIT :Ping timeout: 264 seconds < 1429608936 406716 :orin!~oren@209.105.212.59 JOIN :#esoteric < 1429609301 825245 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: hi < 1429609325 695184 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yo Taneb < 1429609329 208195 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :we missed you < 1429609346 137698 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :
ACTION missed Taneb
< 1429609352 691449 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::O < 1429609411 628396 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :fungot, is it true that to remain binary compatible with user-space context/coroutine switching, ABIs cannot designate new registers in future CPUs as callee-saved, but must keep them as either scratch registers or registers you must restore at all boundaries? < 1429609411 834364 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :b_jonas: that's why i learned to get hugged without feeling strange. but the same idea < 1429609456 248992 :AndoDaan!~AndoDaan@188.189.90.157 PRIVMSG #esoteric :That's beautiful, fungot. < 1429609456 557499 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :AndoDaan: i don't plan to enter it, the full range of 256 values per channel is lessened understand why cons should have two loop variables, then... wait... uhm... < 1429609515 428247 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :fungot: no, we actually support 16 bit depth here, and in fact some of our channels have over 9000 nicks joined < 1429609515 736730 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :b_jonas: laml is two things in te second statement of a program written in scheme < 1429609539 982887 :rdococ!5219f1b7@gateway/web/freenode/ip.82.25.241.183 QUIT :Ping timeout: 246 seconds < 1429609615 189154 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com JOIN :#esoteric < 1429609629 618599 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's somehow weird that movies claim the world has gone bad < 1429609639 139003 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like it was better 500 years ago < 1429609666 875975 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :500 years ago serfs could be serfs, lords can be lords, and everyone knew what there place was < 1429609688 99687 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Nowadays it's all mixed up < 1429609706 294902 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com PART :#esoteric < 1429610041 301610 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: what do yout think about the mix-up?å < 1429610041 416899 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and Tanebs could be Tanebs < 1429610041 865783 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :FireFly: kuribas, because syntax-rules doesn't integrate scheme the pattern language can include, e.g. ( blah :some 3 ( something) is instance local ( afaik) < 1429610045 468740 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :without å, even < 1429610096 246204 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :(blah :some 3 (something) is instance local (afaik)), got it < 1429610377 971340 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Would you like the domain "fungot.sucks"? < 1429610378 215311 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :mroman: the swingle singers... which may be what you're looking for? :) that just makes you look like that. < 1429611029 441419 :orin!~oren@209.105.212.59 QUIT :Ping timeout: 245 seconds < 1429611141 411966 :orin!~oren@209.105.212.59 JOIN :#esoteric < 1429611144 721789 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, I seem to have ended up with a tendency to write emoticons with multiple mouths < 1429611147 878773 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :For example: :))) < 1429611456 960018 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[0742014]]4 M10 02http://esolangs.org/w/index.php?diff=42674&oldid=42673 5* 03Vriskanon 5* (+1) 10/* Commands */ Changed 'Chicken' name name < 1429611504 562038 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: That's just your double-chin acting out. < 1429611515 250533 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::P < 1429611537 794937 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Are you a fitness trainer? < 1429611538 150541 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :mroman: of course. thanks. it'll need a few temp cells need to be specified in a certain time of year" is the name < 1429611608 811831 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Would you train me? < 1429611609 23975 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :mroman: nobel watchers say neither mr bush nor mr blair has much chance of that before... < 1429611669 319038 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm trying to beat 15 pull-ups < 1429611673 798121 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I'm stuck at around 12 :( < 1429612519 785517 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1429613554 344512 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, that's about 11 more than I can do! < 1429613564 814768 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hey, boily < 1429613574 844963 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :AAAAAAAAAAAAAH! < 1429613585 16518 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bon matanebin! < 1429613620 316755 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :How're you doing? < 1429613678 123845 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :taking it quieter and slower after a week of social life. < 1429613682 612954 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1429613686 426443 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :how's it on your end? < 1429613708 882701 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, last night I tried out a board game I bought recently < 1429613711 441508 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I found it pretty fun < 1429613716 439811 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(Avalon is the game) < 1429613727 461063 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(It's essentially The Resistance in Camelot) < 1429613760 588020 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :still boardgaming :D < 1429613763 227895 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: then you should start training ;) < 1429613894 253871 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Taneb: recently I played a few new games. I think I'm a deckbuilding addict. < 1429613929 570518 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :M:tG? < 1429613942 4085 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've challenged myself to see how good I can get at Magic without paying any money < 1429613984 597530 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :we play Magic every lunch at work. I have Dominion, Tanto Cuore, Mage Wars, Space Realms, Quarriors... < 1429614004 311037 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :going to buy Race for the Galaxy soon, but then there's Roll for the Galaxy too. < 1429614028 744147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: whoa, jamming < 1429614189 325675 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, ??? < 1429614209 330834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :never mind, i need to go to sleep < 1429614233 109059 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no time to jam < 1429614339 343245 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: the real secret is actually that it's not really hard nor does it take up a lot of time. < 1429614357 840651 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You just need to devote like 15min of your day to fitness and that's really all there is. < 1429614396 890126 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :People seem to think you need to train for hours to get 30 push-ups, 15 pull-ups and the like which is utterly wrong. < 1429614424 502656 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I sit in front of my computer all day except like 15min where I do some body weight exercises. < 1429614560 337057 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, my problem is more space than time < 1429614579 979622 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> maxBound :: Int < 1429614581 383309 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 9223372036854775807 < 1429614591 683608 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> 2^31 < 1429614593 2593 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2147483648 < 1429614849 448675 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :let's try not falling asleep in the shower. < 1429614864 193481 :boily!~alexandre@96.127.201.149 QUIT :Quit: OTOLITHIC CHICKEN < 1429614908 778756 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1429614931 828218 :AndoDaan!~AndoDaan@188.189.90.157 QUIT :Ping timeout: 256 seconds < 1429614989 420943 :orin!~oren@209.105.212.59 QUIT :Ping timeout: 246 seconds < 1429615114 578222 :orin!~oren@209.105.212.59 JOIN :#esoteric < 1429615122 564291 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: go outside :p? < 1429615128 302320 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Never! < 1429615136 439957 :Lymia!~lymia@magical.girl.lyrical.lymia.moe QUIT :Changing host < 1429615136 493616 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1429615140 664677 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Also that doesn't really help with my pull-ups < 1429615166 977375 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no trees around? No bars? < 1429615264 380576 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Most of the trees around lack low branches < 1429615318 5534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :use a ladder hth < 1429615360 2066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION finds himself literally laughing maniackally
< 1429615372 275599 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that means it must be a very good idea. < 1429615393 995039 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, and I can't install a bar because this is rented accomodation and I'll only be here for another 2 months or so < 1429615423 727296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just make it a minibar hth < 1429615485 500694 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm too tall for a minibar < 1429615589 460982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but too short for the branches < 1429615608 404163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :solution, put the minibar under the branches and stand on it. < 1429615657 626874 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Good thinking < 1429615929 735020 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Unfortunately I don't have a minibar < 1429615942 424244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :curses < 1429616093 994190 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If you live in a city there's gotta be something you can do pull ups on < 1429616100 502233 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :even if it's a street sign :D < 1429616232 776567 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, I'm damn near the edge of the city < 1429616255 656299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think they usually have a sign at the edge of a city hth < 1429616278 594304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i guess it might be crowded. < 1429617293 648333 :zadock!~zadock@muscalu.tuiasi.ro QUIT :Quit: Leaving < 1429617857 233761 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://www.youtube.com/watch?v=upUUWuJhvXk hth < 1429618107 874788 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 255 seconds < 1429619620 553281 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1429619654 641740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fternooniott < 1429619868 602650 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this has gone too far < 1429619884 457042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we am play gods? < 1429619926 574730 :AndoDaan!~AndoDaan@188.189.84.156 JOIN :#esoteric < 1429620305 30109 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :go to a playground < 1429620312 151158 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :use the monkey bars < 1429620605 216247 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pull-ups are impossible < 1429620612 28368 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nobody has ever done one, ever < 1429620629 312377 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :orin, I do not know any playground with monkey bars around here < 1429620940 739714 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :elliott: right. < 1429621145 625306 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Λιμπ14]]4 10 02http://esolangs.org/w/index.php?diff=42675&oldid=11870 5* 03Esowiki201529A 5* (+14) 10 < 1429621436 692754 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1429621510 732473 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 10 02http://esolangs.org/w/index.php?diff=42676&oldid=42672 5* 03Esowiki201529A 5* (+14) 10/* Hello, world! program */ < 1429622369 353301 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"Powered by SumoMe < 1429622371 155547 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :18 Reasons Why You Don’t Get Laid" < 1429622380 668876 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I see. < 1429622394 217324 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Can't I even read news know without these fucking pop-ups < 1429622404 809529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thanks, now i'm wondering if sumo wrestler get laid (probably) < 1429622405 695003 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that aren't really the good old pop-ups from the old days < 1429622406 809829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+s < 1429622416 425234 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*news now < 1429622431 971183 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :pop-ups used to be windows. < 1429622450 256467 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :now they are "static divs" injected into pages with javascript < 1429622481 189369 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although I wonder what those 18 reasons could be... < 1429622501 9489 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can only think of one. And that one is enough so I don't even need the other 17 reasons. < 1429622504 714268 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :1. you spend all your time browsing web < 1429622541 93247 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well.. not quite < 1429622551 365648 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I guess that could be one of those 17 other reasons. < 1429622573 958897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :2. you're butt ugly < 1429622587 66832 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah :( < 1429622589 800043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :3. drooling < 1429622606 970564 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :1.) I'm ugly as fuck. < 1429622625 118012 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Not fat, but ugly. < 1429622636 329221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: did that fetish society have any people wearing paper bags on their heads < 1429622639 618868 :AndoDaan!~AndoDaan@188.189.84.156 PRIVMSG #esoteric :All humans are ugly as fuck. < 1429622647 68042 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I do not believe so < 1429622651 933359 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But I did not stay very long < 1429622657 529265 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess there's no hope then < 1429622676 605364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait, blind people exist < 1429622678 211879 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :What would a paper bag over your head do? < 1429622682 294289 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You can still have an ugly body. < 1429622683 321927 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I know exactly why I don't get laid < 1429622690 466315 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Besides having an ugly face/head. < 1429622701 132751 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Are you ugly too? < 1429622701 186182 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :mroman: how are you doing there? :p) < 1429622711 738398 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is it mocking me??!?!?!? < 1429622732 728726 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :fungot: give me test data because it's hard to write a program without it < 1429622732 940917 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :b_jonas: may i add that? since only " the result(s) of the objections about plt-specificness we need to know ( my " behaviors" you mentioned < 1429622765 437750 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: you're butt ugly too? < 1429622770 576964 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, nah, I'm asexual < 1429622781 683472 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That's my reason number 2. < 1429622800 633184 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Are you on AVEN? < 1429622806 35437 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I do not believe so < 1429622873 637226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay an asexual pairing < 1429623187 778487 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I actually have no idea if I'm butt ugly. I just assume so. < 1429623199 858393 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's something that you can't really judge by yourself I think. < 1429623269 906184 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1429623292 735870 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Judging by the reflection in the mirror and other people I'm at least ugly but not necessarily butt ugly. < 1429623625 104211 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Hm. Theres 402 - Payment required. < 1429624025 167408 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think it sees much use. < 1429624059 282673 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :mroman: that's just the temporary name assigned to the reserved code in earlier versions of the standard. the more correct localized message these days is 402 Virgin sacrifice required < 1429624122 524152 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: what? < 1429624126 854206 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Apple uses it apparentely < 1429624127 66397 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :mroman: anywhere but sweden, apparently. i won't actually pay 50 cents for that :p < 1429624131 443411 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :damn < 1429624136 432154 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: Apple uses it apparentely. < 1429624147 540892 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: BUT PAYMENT IS REQUIRED! I WANT THOSE 50 CENTS! < 1429624158 653578 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :damn < 1429624169 984909 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that should've been directed to fungot < 1429624170 408554 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :mroman: http://www.99-bottles-of-beer.net/ language-malbolge-995.html the last comment in http://esolangs.org/ wiki/ quadtree work, would just be better to have names like that < 1429624201 23191 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's also the "418 I'm a teapot" response. < 1429624226 547417 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :mroman: the HTTP/1.1 rfc specifically says "reserved for future use" "http://www.w3.org/Protocols/rfc2616/rfc2616-sec10.html#sec10.4.3" < 1429624251 764883 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :I think HTTP/2 defines the meaning correctly and calls it its proper name < 1429624300 210029 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :only that's one of those w3c standards that are always under development and never released, like HTTP 5 or the new CSS standard < 1429624311 391428 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :um < 1429624314 413814 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :HTML5? < 1429624316 981145 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :s/HTTP 5/HTML 5/ < 1429624317 466447 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :yes < 1429624320 563221 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hasn't that been released? < 1429624339 323852 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :wow < 1429624341 61466 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :it seems it has < 1429624351 698042 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's also a "living standard". < 1429624365 756026 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :28. Oct 2014 < 1429624367 814438 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or the version by WHATWG, anyway. < 1429624370 725848 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :apparently I'm not relaly following this junk < 1429624405 69770 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :now the question is, which response header gives the bounds for the age of the virgin? < 1429624418 551113 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I got the impression that W3C released some particular fixed version, while the WHATWG standard is just... living. < 1429624472 295713 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And the W3C standard doesn't exactly match WHATWG.) < 1429624525 314208 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :probably WWW-Authenticate with some approperiate challenge typ < 1429624717 196724 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 TOPIC #esoteric : Stenosteganography | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ | http://esolangs.org/ < 1429625088 464048 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whatwg's standard is just "HTML" with no version < 1429625093 736088 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there's politics < 1429625196 943347 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 272 seconds < 1429626086 605316 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1429626482 999452 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Duh, "claptrap" is what the hostname should be. < 1429626606 582964 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :fungot, why does this function have so many arguments?\ < 1429626606 902171 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :b_jonas: i came across srfi-83 last night, couldn't get to sleep now. goodnight everybody!! i've flown in leslie gore and two dozen < 1429626617 549851 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 PRIVMSG #esoteric :good night, fungot < 1429626617 762343 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :b_jonas: sarahbot is very much in the recursive call must be optimized. just a non-american living in american indeed. < 1429626751 16251 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :fungot: wait, what's *your* opinion of what the hostname should be? < 1429626751 228163 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :tswett: no clue really.) the name with a < 1429626775 772107 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I guess "claptrap" is, in fact, a "name with 'a'". < 1429627347 233537 :AndoDaan_!~AndoDaan@188.189.84.156 JOIN :#esoteric < 1429627534 574106 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1429627547 688295 :AndoDaan!~AndoDaan@188.189.84.156 QUIT :Ping timeout: 246 seconds < 1429627815 44964 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1429627961 434990 :orin!~oren@209.105.212.59 QUIT :Quit: Lost terminal < 1429628030 655701 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 246 seconds < 1429628038 996607 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1429628219 841320 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1429628427 89889 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 272 seconds < 1429628457 404292 :rdococ!5219f1b7@gateway/web/freenode/ip.82.25.241.183 JOIN :#esoteric < 1429629126 727381 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Quit: Leaving < 1429629952 903399 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b JOIN :#esoteric < 1429631179 800135 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 245 seconds < 1429631181 83300 :Vorpal!~Vorpal@81-230-124-237-no185.bredband.skanova.com JOIN :#esoteric < 1429631181 248761 :Vorpal!~Vorpal@81-230-124-237-no185.bredband.skanova.com QUIT :Changing host < 1429631181 302644 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1429631446 17657 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429631892 856715 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Remote host closed the connection < 1429631920 167026 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1429631995 196120 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1429632148 175757 :fractal!~fractal@2001:41d0:a:fab8::1 JOIN :#esoteric < 1429632528 53642 :bb010g!uid21050@gateway/web/irccloud.com/x-nubkvnghcpbkbape QUIT :Quit: Connection closed for inactivity < 1429632671 531776 :vifino!vifino@tty.sh QUIT :Remote host closed the connection < 1429632734 339160 :vifino!vifino@tty.sh JOIN :#esoteric < 1429633310 416665 :zzo38!~zzo38@24-207-84-223.eastlink.ca QUIT :Remote host closed the connection < 1429633653 817989 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07SMETANA14]]4 10 02http://esolangs.org/w/index.php?diff=42677&oldid=35747 5* 0362.216.211.203 5* (+39) 10 < 1429633899 909234 :zadock!~zadock@81.180.210.87 JOIN :#esoteric < 1429634374 168662 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com JOIN :#esoteric < 1429634388 442731 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com PART :#esoteric < 1429634732 468851 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1429635064 714312 :AndoDaan_!~AndoDaan@188.189.84.156 QUIT :Read error: Connection reset by peer < 1429635095 27468 :AndoDaan!~AndoDaan@188.189.84.156 JOIN :#esoteric < 1429636076 473321 :b_jonas!5984c526@gateway/web/cgi-irc/kiwiirc.com/ip.89.132.197.38 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1429637856 231826 :bb010g!uid21050@gateway/web/irccloud.com/x-yjzmjslnlvnlirnt JOIN :#esoteric < 1429638087 572369 :AndoDaan!~AndoDaan@188.189.84.156 QUIT :Read error: Connection reset by peer < 1429638090 698908 :AndoDaan_!~AndoDaan@188.189.84.156 JOIN :#esoteric < 1429638624 785981 :TieSoul!~quassel@86.89.119.147 NICK :TieSoul_ < 1429638627 118928 :TieSoul_!~quassel@86.89.119.147 NICK :TieSoul < 1429639789 218807 :supay!sid47179@gateway/web/irccloud.com/x-sgdclvexxgwmndlv QUIT :Ping timeout: 272 seconds < 1429640076 388375 :supay!sid47179@gateway/web/irccloud.com/x-ibsulycemntmifwz JOIN :#esoteric < 1429640296 592317 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1429640733 264339 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1429640739 455099 :b_jonas!~x@5400CFDB.dsl.pool.telekom.hu JOIN :#esoteric < 1429641112 719606 :AndoDaan_!~AndoDaan@188.189.84.156 QUIT :Ping timeout: 256 seconds < 1429642176 28648 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1429642230 865727 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1429642408 219533 :AndoDaan!~AndoDaan@188.188.82.157 JOIN :#esoteric < 1429642441 325059 :nortti!~juhani@ayu.smar.fi NICK :nortiecat < 1429642449 383330 :nortiecat!~juhani@ayu.smar.fi NICK :nortti < 1429642480 37932 :nortti!~juhani@ayu.smar.fi NICK :hvidiecat < 1429642485 900994 :hvidiecat!~juhani@ayu.smar.fi NICK :hvidie < 1429642494 633808 :hvidie!~juhani@ayu.smar.fi NICK :nortti < 1429643169 409588 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429644624 937017 :rdococ!5219f1b7@gateway/web/freenode/ip.82.25.241.183 QUIT :Quit: Page closed < 1429645102 937221 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1429645285 273427 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 256 seconds < 1429647059 42076 :roasted42!~appleseed@vc-gp-s-41-26-17-94.umts.vodacom.co.za JOIN :#esoteric < 1429647298 457036 :roasted42!~appleseed@vc-gp-s-41-26-17-94.umts.vodacom.co.za QUIT :Changing host < 1429647298 510462 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1429647298 510506 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1429648562 819528 :daria!~me@unaffiliated/daria JOIN :#esoteric < 1429648999 756484 :perrier!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1429649013 180211 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1429649073 582665 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1429649313 467423 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1429649536 451800 :AnotherTest!~turingcom@d51A4C79C.access.telenet.be JOIN :#esoteric < 1429649555 331430 :AndoDaan!~AndoDaan@188.188.82.157 QUIT :Ping timeout: 272 seconds < 1429649610 984134 :nortti!~juhani@ayu.smar.fi NICK :lawspeaker < 1429649629 747335 :lawspeaker!~juhani@ayu.smar.fi NICK :nortti < 1429650125 391717 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429650185 526935 :b_jonas!~x@5400CFDB.dsl.pool.telekom.hu QUIT :Remote host closed the connection < 1429650863 318104 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1429650977 328966 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1429651426 402105 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1429651480 403090 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 255 seconds < 1429651730 113515 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Ping timeout: 245 seconds < 1429652120 335027 :AndoDaan!~AndoDaan@188.189.85.169 JOIN :#esoteric < 1429652300 199431 :daria!~me@unaffiliated/daria QUIT :Ping timeout: 244 seconds < 1429652684 355291 :AnotherTest!~turingcom@d51A4C79C.access.telenet.be QUIT :Remote host closed the connection < 1429652704 472539 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1429652728 121835 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1429652782 959776 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429652853 91693 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1429652881 213465 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1429654328 570418 :MoALTz!~no@78.11.179.104 QUIT :Ping timeout: 250 seconds < 1429654374 857874 :MoALTz!~no@78.11.179.104 JOIN :#esoteric < 1429654753 732277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: your fame grows every day hth < 1429655536 312199 :staffehn!~quassel@2001:41d0:52:d00::1d3 QUIT :Ping timeout: 265 seconds < 1429655539 458638 :staffehn_!~quassel@2001:41d0:52:d00::1d3 JOIN :#esoteric < 1429656115 513970 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1429656154 466100 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think I like Object Oriented Thue. < 1429656168 218270 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I definitely like the idea. I'm not sure about the implementation. < 1429656187 778638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: yay < 1429656233 199096 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's not clear from the specification (excluding the Libraries section) that it's actually possible to create objects. < 1429656265 608894 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Whoops, there's the part where it says you can do that. < 1429656399 562735 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yes, I think I do like it. < 1429656624 238527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: the fix was one of the things i suggested in comment 92, too. < 1429656738 403411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: now i'm vaguely wondering if any of this will break your constraints package < 1429656748 721145 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :wut < 1429656762 684758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you been following #9858? < 1429656763 501728 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :breaking the constraints package would kinda suck < 1429656765 531166 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :no < 1429656784 579340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: a => b will no longer unify with t u < 1429656793 308668 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is the last change < 1429656807 210064 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i don't use a => b explicitly as a type anywhere < 1429656811 108372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good < 1429656896 453935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A previous change was to make Constraints un-Typeable. < 1429656901 347789 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(But not very well.) < 1429656935 215436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i suspect you'd be happy if they implement what spj mentions in https://ghc.haskell.org/trac/ghc/ticket/9858#comment:95 < 1429657015 605650 :staffehn_!~quassel@2001:41d0:52:d00::1d3 QUIT :Ping timeout: 256 seconds < 1429657015 699164 :fractal!~fractal@2001:41d0:a:fab8::1 QUIT :Ping timeout: 256 seconds < 1429657018 593525 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :k < 1429657023 301406 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i like it < 1429657030 143739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the previous comment is something i know you've complained about before < 1429657031 773612 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :been too busy playing with fractions to notice =) < 1429657047 418266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fractions? < 1429657063 563025 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :working on exact real arithmetic using nested linear fractional transformations and continued fractions < 1429657066 80507 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: see #haskell-lens hth < 1429657091 88859 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :but really its all just really fancy lazyish fractions < 1429657140 305590 :staffehn!~quassel@2001:41d0:52:d00::1d3 JOIN :#esoteric < 1429657142 759642 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :pi = 3, no 3 + 1/7 no 3 + 1/(7 + 1/15), no... < 1429657186 294326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vaguely thought exact arithmetic with continued fractions was something that had already been done in haskell < 1429657194 34578 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :it has < 1429657196 424669 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :this is fancier < 1429657201 738619 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i'm not using continued fractions per se < 1429657208 730282 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :but rather "nested linear fractional transformations" < 1429657210 527098 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1429657214 232114 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :which has _also_ been done in haskell < 1429657217 899537 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :back pre 98 even < 1429657227 11915 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :in fact, SPJ has a paper on continued fractions. < 1429657230 668284 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :back in 84 < 1429657243 457684 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :what i'm working on is extending the scope of what we can compute with exactly < 1429657254 164401 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :by extending the work here to so called "Hurwitz numbers" < 1429657260 785471 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and then generalizing the notion of hurwitz numbers < 1429657263 767723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :linear fractional transformations, is that like möbius transformations except with integers/rationals < 1429657263 979708 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :to include pi. < 1429657267 149862 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :yep < 1429657275 584294 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :f(x) = (ax+b)/(cx+d) < 1429657278 832678 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :integer coefficients < 1429657290 929191 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :matrix representation used instead multiply matrices to compose. < 1429657302 244583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1429657313 881283 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :now we represent numbers as potentially infinite sequences of linear fractional transformations < 1429657349 67759 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :an LFT with all positive (or all negative, they are the same up to scalar multiples) coefficients takes the interval from [0,infinity) to a small interval. < 1429657351 875065 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :they 'zoom' < 1429657363 999519 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :composition zooms more < 1429657405 712380 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :you can view a continued fraction [a;b,c,d,e...] as the composition of matrices [a 1; 1 0]*[b 1; 1 0]* .... < 1429657436 207544 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :quadratic irrationals (e.g. sqrt 2) have repeating representations as continued fractions < 1429657466 239227 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :"hurwitz numbers" have near-repeating representations. the representations repeat with a polynomial in the number of times you've repeated < 1429657480 895276 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :2;1,2,1,1,4,1,1,6,1,1,8,1... < 1429657484 301609 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :is e < 1429657487 904458 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :clear pattern < 1429657498 444513 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :2;(1,2k,1) < 1429657533 881681 :fractal!~fractal@2001:41d0:a:fab8::1 JOIN :#esoteric < 1429657534 199456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1429657546 904831 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :so i can write that out the repeating part as a matrix with polynomial coefficients: the product [1 1; 1 0] * [2k 1; 1 0] * [1 1; 1 0] < 1429657556 118771 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and we can convert the prefix to another ft < 1429657557 680403 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :er lft < 1429657593 957191 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :so it is [ 2 1; 1 0] * Pi_k^{1..infinity} [1 1; 1 0] * [2k 1; 1 0] * [1 1; 1 0] < 1429657612 235844 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :which if you truncate it at any point takes the range from [0..infinity) to a window very very close to e. < 1429657635 552286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this zooming with matrices reminds me of some of my PhD work < 1429657637 560599 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :then we can use algorithms for adding and multiplying/dividing such numbers, etc. < 1429657672 444508 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :the algorithms for adding/multiplying uses a 3d tensor to merge results from two different sources into one output < 1429657710 469436 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and then finally i can represent a meromorphic function like 'exp x' or 'log x' as a funny infinite tensor chain, where i've got the coefficients as polynomials like the hurwitz case. < 1429657722 834796 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and put all that into one number type and i can compute fast nice reals. < 1429657746 679914 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and hopefully still get things like e/e = 1 to cancel exactly because of a small closed form. < 1429657789 900834 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i can get computations that never step outside of quadratic surds to cancel, but now i want computations that never step outside of hurwitz numbers to cancel. < 1429657799 480654 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429657803 34701 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :data SmallReal where { toSmallReal :: Stream Bit -> SmallReal; mid :: cons Zero (repeat One) = cons One (repeat Zero); down :: forall (b :: Bit, x :: Stream Bit, y :: Stream Bit). (toSmallReal x = toSmallReal y) -> (toSmallReal (cons b x) = toSmallReal (cons b y)) } < 1429657810 740576 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Real numbers in the interval [0, 1], in Homotopy Haskell. < 1429657811 608392 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :basically looking for 'not-symbolic' but close enough representations where you can compare them nicely. < 1429657817 31326 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :(NB: there's no such thing as Homotopy Haskell.) < 1429657829 282612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh so you are keeping finite representations as far as possible < 1429657836 752499 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :yeah < 1429657844 915703 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :rather than unrolling them into a lazy mess like everyone else < 1429657847 221630 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :here i have < 1429657888 138815 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1429657907 331184 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :LF = Rat Integer Integer | Hom Integer :* LF | Hurwitz (Hom Poly) | Meromorphic (Bihom Poly) LF < 1429657912 614283 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :where Hom is a homographic transformation < 1429657941 255018 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1429657958 647035 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and Bihom is a bihomographic transformation which is a 3d analogue. or equivalently z(x,y) = (axy+bx+cy+d)/(exy+fx+gy+z) which can be viewed as z(x) in Z[y] or z(y) in Z[x] < 1429658006 818641 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :oh I missed a case < 1429658017 565934 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :LF = Rat Integer Integer | Hom Integer :* LF | Hurwitz (Hom Poly) | Meromorphic (Bihom Poly) LF | Tensor (Bihom Integer) LF LF < 1429658021 481527 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :for the binary case < 1429658026 585807 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :because i can't apparently cancel that < 1429658057 171759 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and the finite form simplifies whenever it can < 1429658104 425750 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :phi = Hurwitz (Hom 1 1 1 0) gives the golden ratio, sqrt2 = Hom 1 1 1 0 :* Hurwitz (Hom 2 1 1 0) < 1429658122 188807 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Language? < 1429658126 766036 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :Haskell < 1429658137 524065 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I see < 1429658148 719989 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Sorry Im just dead < 1429658184 662230 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :anyways i have algorithms now for 'spigoting' off partial matrices from each of those forms < 1429658191 571450 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and modifying the remainder < 1429658225 402244 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and ways to construct them from continued fractions, redundant binary, decimal, etc. < 1429658239 963926 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and to read off digits < 1429658278 116064 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric ::0 < 1429658280 687477 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :basically the only requirement is that every homographic transformation after the first 'contracts' some interval. < 1429658283 62126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the z(x,y) makes me think vaguely of quaternions < 1429658310 211914 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :What's Brainfuck used for? < 1429658327 38049 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hobbies. < 1429658356 942802 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I know but what are its general purposes or is it just a fun language < 1429658389 393794 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :As far as I know, the sole purpose of Brainfuck is to be interesting. < 1429658399 718527 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :k < 1429658404 837738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: can you differentiate with this too? < 1429658423 22594 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i can treat these as raw numbers for AD < 1429658435 393531 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and you can build pade approximants using the same techniques < 1429658446 620963 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and those are used as good forms for differentiation/integration < 1429658452 33967 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :You are cool < 1429658472 44528 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Well in general all of you are pretty neat < 1429658496 720003 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Except that one guy >_> < 1429658507 823277 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i got started with pade approximants when jacques carette earwormed me with the idea that they would be the best form for dealing with more or less "automatic integration" < 1429658519 704633 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :as that is what all the big boys use in things like Mathematica / Maple, etc. < 1429658547 626541 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :but then put it away for a couple years < 1429658556 589222 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :until now, when i now have more of the groundwork in place < 1429658571 301593 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Please teach at our school, Ill pay you like a dollar < 1429658744 839096 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :A second < 1429658820 504967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Duodecim < 1429658821 158309 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Why the hell did I decide I wanted to go into industry instead of academia... < 1429659014 861002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably involved money < 1429659477 340525 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Did you want to teach tswett < 1429659483 376352 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Also gnight < 1429659488 827099 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Night, Decim. < 1429659497 997259 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :No, I'm not really interested in teaching professionally. < 1429659537 545868 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1429659561 797855 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net QUIT :Remote host closed the connection < 1429659599 713221 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Only in research. < 1429659680 222451 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bohily < 1429660133 483413 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hell御rjan!