< 1423872115 280387 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, it's not real. < 1423872121 618918 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Unless, of course, its preimage is an even function. < 1423872260 780557 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Quit: adu < 1423872955 394640 :kcm1700_!~kcm1700@175.117.8.72 JOIN :#esoteric < 1423873199 908820 :kcm1700!~kcm1700@175.117.8.72 QUIT :Ping timeout: 246 seconds < 1423873656 172505 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1423873836 897484 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1423874149 95325 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1423874568 417754 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1423874661 683007 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1423876261 387591 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1423876273 994473 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan. < 1423876277 373961 :dorei!~n_i_l@ppp141255067004.access.hol.gr QUIT : < 1423876306 363779 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1423876306 614616 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 140100Z 25007KT 15SM SKC M22/M30 A3012 RMK SLP204 < 1423876307 371376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ach*oily < 1423876341 885816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for once, the outside weather is immaterial. < 1423876342 441995 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :the sickness disprovement worsened again? < 1423876345 772738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1423876346 66616 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ENVA 140050Z 13002KT 1000 R09/P2000N R27/P2000N SN VV003 M01/M01 Q1012 RMK WIND 670FT 17001KT < 1423876361 771767 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :the outside weather is the kind where your eyelids try to freeze together. < 1423876368 696374 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(seriously. no joke.) < 1423876406 981415 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: are you still mainly oerjan, or has the flu made a coup and installed a new government in you body? < 1423876413 655312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the _flu_ isn't getting that much worse now, but my back is really longing for an outside walk. and then there had to pop up a canker sore just for completeness. < 1423876517 836252 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily! < 1423876519 929157 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how goes? < 1423876532 52984 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :quinthellopia! < 1423876534 831969 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :cold! < 1423876537 407357 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: sounds bad < 1423876546 297552 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :cold as in temperature or illness? < 1423876548 566313 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: yuck. < 1423876559 534369 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :temperature. re the previous @metar. < 1423876594 596406 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :> (-21) * 9/5 + 32 < 1423876596 322828 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -5.799999999999997 < 1423876628 825598 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :quintopia: it's -21 °C (-6 °F) outside. much fun. < 1423876645 343492 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the last one sort of interfers with plans to gorge on comfort pizza and chocolate < 1423876665 760069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that's generally the right thing to do with a flu, right?) < 1423876685 357216 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :feed a flu, starve an eating disorder? < 1423876689 450003 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait that's not right < 1423876690 380417 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :for me it's large doses of chicken noodle soup and OJ. < 1423876696 343330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION fetches some chocolate anyway
< 1423876708 428189 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :thank goodness they invented kanka eh < 1423876721 409300 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i always buy some and can never find it when i need it next < 1423876735 588845 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :speaking of pizza, today we ordered a special gigantic oversized poutine, with sausage, ham, mushrooms and bell peppers in it. < 1423876743 964603 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :quintopia: what's a kanka? < 1423876745 507599 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i _have_ had OJ, although i only drink half a cup per day as my stomach doesn't hold well with too much sour < 1423876748 265018 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that sounds like a good approach to cold weather < 1423876756 1440 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: medication for canker sores < 1423876794 317936 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i probably wouldn't need it if i brushed more regularly eh < 1423876806 350553 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so what you gotta do tonight boilyface < 1423876808 663574 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ah! something like anbesol! < 1423876814 276772 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1423876816 574328 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :no? < 1423876817 104154 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my understanding is that chicken soup for healing is an american thing, possibly jewish in origin. < 1423876826 875766 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :don't care; has chicken. < 1423876827 572455 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :anbesol is not waterproof < 1423876834 526836 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :its for external sores < 1423876868 42448 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hm... I'll have to investigate that mysterious product. < 1423876888 342630 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :meanwhile, tonight is the night where nothing happens much. < 1423876975 193922 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so...gaming? < 1423877002 707974 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :uhm... <_<'... mainly reddit browsing hth < 1423877026 92650 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh :( < 1423877039 958495 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so hard to find people who want to game with me < 1423877065 571772 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :sorry, completely exhausted. I don't know how many hours I worked this week. < 1423877248 173799 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1423877323 340635 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1423877323 984021 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :games are work to you? < 1423877367 635547 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1423877411 941605 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Depends on the game and how you play it. < 1423877434 244744 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :When I play Starcraft, if I'm trying hard to win, it's pretty stressful. < 1423877463 998195 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh i like co-ops < 1423877477 92349 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net PRIVMSG #esoteric :EU IV feels a lot like a job. < 1423877481 416727 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :just fucking around and messing with stuff < 1423877660 206050 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :If you don't like Starcraft then play game "I don't know"craft < 1423877739 425843 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i don't know if i like starcraft, but i'll play "I don't know"craft when you finish writing it. < 1423877823 286047 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Or, try to play Washizu mahjong by internet if you have any software to do so. < 1423877851 904152 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :I already beat and 100%ed that game < 1423878819 381497 :boily!~alexandre@96.127.201.149 QUIT :Quit: SPLIT CHICKEN < 1423879334 418001 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423879908 868564 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 252 seconds < 1423879957 721976 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423880647 711989 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1423884067 131388 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: ZNC - http://znc.in < 1423885488 176610 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1423885638 645264 :bb010g!uid21050@gateway/web/irccloud.com/x-ugptndpecqswffwy JOIN :#esoteric < 1423886282 279290 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Why is it permitted for names of elements and attributes in XML to contain non-ASCII characters? My opinion is this is stupid and it shoudln't be. Non-ASCII characters should only be allowed in text (both normal and CDATA), values of attributes, and comments. < 1423886331 412415 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :XML is overly complex as a rule. < 1423886448 372616 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes it is too complex, although it presumably is doing what it needs to do. Still a few things are a bit stupid. < 1423886477 92098 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Take a quick look at the processing instructions. :) < 1423886714 128203 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :While it does have a lot of extensions, most of them are optional (and does not affect the syntax of the document) so it is not a problem. If you can ignore unknown processing instructions then it might work in some cases. < 1423886826 23256 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It does have a few good ideas such as namespaces, although the method of doing this might be a bit more complicated than it should be. < 1423886947 506183 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It does have far more complexity than it should have, although some files/services are using XML so a XML parser would be needed. < 1423887168 370023 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1423887565 174742 :dulla_!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1423887569 369790 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 264 seconds < 1423887576 846675 :dulla_!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net NICK :dulla < 1423887648 199833 :shikhin_!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1423887660 236631 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: wasn't "overly complex" a design goal? < 1423887767 40343 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :also related: oh my god I cannot wait for HHTP/2 < 1423887834 899247 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hyperhyped transfer protocol < 1423887911 873410 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :coppro: Not really. < 1423887921 177387 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :It was supposed to be a simplified subset of SGML. < 1423887962 464782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then they forgot to shoot the enterprise people before they started designing. < 1423888008 96413 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*HTTP/2 < 1423888996 711051 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1423889329 143046 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :oerjan: Common problem. < 1423890078 800658 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Clearly the proper answer is to murder enterprises. < 1423891556 365958 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I want to read XML files in SQLite. I don't need DTD and encryption and fancy stuff like that, although I do want namespaces, and it would also help to support queries. < 1423891851 898158 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is there suitable C library to do it with? With simple one file and don't need a configure script and so on < 1423891910 904121 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 246 seconds < 1423892888 327023 :bb010g!uid21050@gateway/web/irccloud.com/x-ugptndpecqswffwy QUIT :Quit: Connection closed for inactivity < 1423893019 965265 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1423894162 277711 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net QUIT :Remote host closed the connection < 1423894737 890616 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1423895544 388367 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1423895545 121256 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hi < 1423895687 701335 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Hi < 1423895706 811289 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :whats up < 1423895861 231651 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :I keep getting distracted from writing things, and need to go to bed. < 1423895910 713927 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Also, I got a microSD card but immediatley forgot the adapter to plug it into normal sized SD slots. < 1423895963 114275 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Maybe I left that downstars actually. < 1423896073 228998 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :But yeah, I should write about ideas on chatbots and AI and stuff already instead of waiting until I implement stuff to write about it. < 1423896102 242234 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Since getting my idea down somewhere probably helps get to work actually following through with it. < 1423896173 347733 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1423896452 442707 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1423897075 617477 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What is your idea about it? < 1423897561 458477 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1423897637 492391 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1423897705 190244 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Client Quit < 1423897720 285599 :bb010g!uid21050@gateway/web/irccloud.com/x-eqssnkrplgeinrzq JOIN :#esoteric < 1423897848 654803 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :MDude < 1423897852 483308 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :tell em < 1423898053 415911 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1423898242 795315 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :I don't want to distract myself from sleeping currently. < 1423898283 892608 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :I'll try to get some stuff written down tomorrow, I'll try to do that first and then link the posts to talk about them. < 1423898299 41829 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDream < 1423898346 139984 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :dammit MDream < 1423898376 2964 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :It's all very simple stuff. < 1423898390 916478 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :well shit < 1423898397 771175 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :I'm still interested < 1423898420 131158 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1423898539 180419 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :I think I mentioned some of it before, about making variants of chatbots. < 1423898561 96530 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :But yeah, I need to make sure I'm not up too late. < 1423898572 377559 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :variants? < 1423898601 633742 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :they do something < 1423898603 158490 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :but < 1423898605 892643 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :they suck less < 1423898617 310203 :NihilistDandy!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1423898629 458302 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Of the general idea of how they work. < 1423898659 335235 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :or they have more general functionality < 1423898681 250170 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :but that'd require run-time reloading/factoring, or a dynamic structure which is a pain nin the cock < 1423898688 661196 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :The first idea I had on it was when thinking about how chatbots left in public tend to pick up rude behavior. < 1423898744 983006 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :If you string two chatbots together, the first one can do the learning, but isntead of speaking directly to the user it can pass it message through a more hardcoded chatbot that paraphrases it. < 1423898775 210161 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :And from there I came up with other ideas in which a chatbot is considered a node in a larger network. < 1423898819 815253 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :so more or less a multi-layer ANN for information representation < 1423898825 463266 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :So that shit stays pg < 1423898836 633673 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :and that they can't teach your dog to respond to a retarded name < 1423898847 61608 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Yeah. < 1423898860 858737 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :With multiple inputs, it can gather more data in the long run < 1423898878 93855 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Though you'd need to enforce some kind of channel-locality to some of the endpoints < 1423898886 852435 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :*.net *.split < 1423898887 134491 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :*.net *.split < 1423898887 295149 :paul2520!~paul2520@unaffiliated/paul2520 QUIT :*.net *.split < 1423899244 369309 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :This seems like a good place to leave it for now, rather than stringing things along further. < 1423899356 699918 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric < 1423900002 571771 :vanila!~vanila@unaffiliated/vanila QUIT :Quit: Leaving < 1423900548 195601 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 245 seconds < 1423900799 165476 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1423905604 584953 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io QUIT :Ping timeout: 250 seconds < 1423905739 386884 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1423906210 641538 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1423906210 840317 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1423906386 675006 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1423906398 237208 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1423906604 376435 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1423906604 537445 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1423907249 939549 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1423908079 956330 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1423909403 935803 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 246 seconds < 1423910112 118989 :heroux!sandroco@gateway/shell/insomnia247/x-ifgqebgwkdjgvnii JOIN :#esoteric < 1423910286 992176 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1423911077 830314 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1423911563 940922 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 246 seconds < 1423912442 588983 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1423912471 788713 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1423912593 65298 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1423912953 239021 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 256 seconds < 1423913353 366832 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1423913353 899336 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1423914917 661196 :^v!~^v@2601:4:680:104c:45e7:219d:3559:25 QUIT :Read error: Connection reset by peer < 1423914944 272001 :^v!~^v@2601:4:680:104c:45e7:219d:3559:25 JOIN :#esoteric < 1423915394 961079 :AndoDaan!~AndoDaan@188.188.79.253 JOIN :#esoteric < 1423916233 542096 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 255 seconds < 1423918515 653878 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1423919615 349782 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1423923132 403481 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1423923668 253595 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1423924347 629500 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1423927041 273199 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1423928142 879249 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1423928176 549829 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1423928478 925553 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423928486 154609 :AndoDaan!~AndoDaan@188.188.79.253 QUIT :Read error: Connection reset by peer < 1423928514 877614 :AndoDaan!~AndoDaan@188.188.79.253 JOIN :#esoteric < 1423928738 314182 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds < 1423929753 262542 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 265 seconds < 1423929848 889635 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 252 seconds < 1423930484 472562 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1423931493 28886 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 246 seconds < 1423932471 448260 :boily!~alexandre@96.127.201.149 QUIT :Ping timeout: 250 seconds < 1423932643 690590 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1423932681 934515 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423932984 235645 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1423933300 238050 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1423933391 206068 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Read error: Connection reset by peer < 1423933591 711234 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: ZNC - http://znc.in < 1423934156 536256 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca QUIT :Quit: Lost terminal < 1423934934 455109 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1423935209 567342 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Read error: Connection reset by peer < 1423935255 239905 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1423935714 351181 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423936546 633572 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1423936674 322594 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423936840 469850 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch JOIN :#esoteric < 1423936866 530223 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :This irc client eats 20% cpu < 1423936883 281363 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :lol < 1423936884 961771 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :I wonder what it is doing < 1423936921 749465 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :AndroIRC < 1423936941 337903 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :Most cpu consuming client ever < 1423937061 658039 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :Is there yet an or-typesystem? < 1423937148 168979 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :(List (if p 5 5.0) "hi") has the type 《int or double or string》 < 1423937317 148209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mrohman: i've seen such a system for lambda calculus but damn if i can manage to google it < 1423937367 35528 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mrohman: I was working on this in my thesis < 1423937369 321893 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there are type systems like that. i forget the name. gradual typing systems often have it. typed racket is like that i think < 1423937372 688068 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the normal search term is "intersection types" < 1423937378 373825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1423937387 275884 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i tried "disjunctive" or "conjunctive" :P < 1423937413 372378 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my favourite prior work on the subject was by Kfoury < 1423937421 123451 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me see if there's a publicly available link < 1423937446 883697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems rather obscure to find regardless < 1423937490 409091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually i'm not sure this is the same thing < 1423937500 48655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what i remember was _untagged_ types < 1423937525 194061 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :here we go: http://hdl.handle.net/2144/1597 < 1423937538 623622 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a technical report, so should be available even if you don't have subscriptions to every journal in existence < 1423937543 762393 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I like technical reports for that reason) < 1423937555 41032 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's very close to the stuff I was doing in my thesis, btw < 1423937558 169083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. \f x -> f (f x) had a type like ((x -> y) /\ (y -> z)) -> x -> z < 1423937596 816407 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: that's exactly the type it gets in my bounded intersection types < 1423937603 441608 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and regular intersection types also give it the same type < 1423937621 354570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, if you added an omega type that everything belonged to, you could characterize terminating terms in untyped LC as those that could be typed with the omega in only negative positions < 1423937688 734276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(where negative position corresponds roughly to "you can take this as an argument but not return it") < 1423937708 327740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and also to contravariance in functor terms < 1423937713 182161 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423937727 526465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :note also that there was no quantification in this type system < 1423937728 239454 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423937782 119441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh and you didn't need omega for strongly normalizing terms < 1423937808 642412 :^v!~^v@2601:4:680:104c:45e7:219d:3559:25 QUIT :Read error: Connection reset by peer < 1423937834 333171 :^v!~^v@2601:4:680:104c:45e7:219d:3559:25 JOIN :#esoteric < 1423937848 677640 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :come to think of it, this was precisely the subject which got me to make my first SO post, way back < 1423937853 991792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc < 1423938118 553441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess "top" type mentioned in that report abstract is the same as omega < 1423938974 586415 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :intersections < 1423939051 142991 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :Hm < 1423939095 737379 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :I thought intersection types had something to do with value ranges < 1423939136 591838 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :Certain expressions in my type system would bind a type < 1423939141 907826 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's probably interval types < 1423939143 447778 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :For example < 1423939148 241901 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :? < 1423939204 580825 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :(If (isint q) (add 1 q) (strreverse q)) < 1423939225 30936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah < 1423939240 335738 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :This would imply that q is (int ot str) < 1423939241 903936 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :? < 1423939242 143704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pattern matching is so much more elegant < 1423939258 18210 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :So the add wouldnt typecheck < 1423939310 909360 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :However you can add a rule that the if check binds q in subexpressions to a specific type < 1423939351 757073 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :Which allows that add there typechecks statically as well < 1423940067 837898 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch PRIVMSG #esoteric :So in an essence the only reason for dynamic typed languages is being too lazy to write a typechecker < 1423940565 281948 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1423940565 442683 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Changing host < 1423940565 442832 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1423940570 684963 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Read error: Connection reset by peer < 1423940648 229361 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :mrhello.. mrohello? mrohmhellon??? hmm... hellohman, perhaps? < 1423940738 362780 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :mrhelloman. I guess dynamic typed languages are "it works until it doesn't and you hit some runtime error", and static are "it doesn't compile until it does". < 1423940786 652190 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think you can write programs in dynamic languages that can't be decidably type-checked (without rewording them) < 1423940910 987469 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1423940916 977380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :f(n) = if n == 1 then "hi" / 0 else if odd n then f(3*n+1) else f(n `div` 2) < 1423940986 995228 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I'm not sure ghc will accept a blatant use of ‘"hi" / 0’. < 1423941074 582214 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> f(n) = if n == 1 then "hi" / 0 else if odd n then f(3*n+1) else f(n `div` 2) < 1423941075 925366 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:6: parse error on input ‘=’ < 1423941087 488106 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> let f(n) = if n == 1 then "hi" / 0 else if odd n then f(3*n+1) else f(n `div` 2) < 1423941088 817670 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : not an expression: ‘let f(n) = if n == 1 then "hi" / 0 else if odd n then f(... < 1423941091 319275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: this is supposed to be a dynamical language hth < 1423941092 767297 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1423941092 941077 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1423941098 92895 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> let f(n) = if n == 1 then "hi" / 0 else if odd n then f(3*n+1) else f(n `div` 2) in 0 < 1423941099 401679 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (GHC.Real.Fractional [GHC.Types.Char]) < 1423941099 562455 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘GHC.Real./’ < 1423941099 562584 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (GHC.Num.Num a) < 1423941103 331343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there we go < 1423941103 557072 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1423941124 801014 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think that would work in a hypothetical dynamically typed Haskell < 1423941138 327060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but it cannot be typechecked then < 1423941138 608412 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it has to end in either type mismatch error, or an infinite loop < 1423941174 327037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i assume the point is to have a typechecking that is equivalent to "only err if the program would dynamically do so" < 1423941200 859233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because otherwise, what's the question really. < 1423941233 995909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1423941239 762375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in which case it's obviously undecidable due to TCness < 1423941254 369765 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, due to halting problem < 1423941448 163622 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: ZNC - http://znc.in < 1423941865 93873 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let f n = if n == 1 then "hi" 0 else if odd n then f (3*n+1) else f (n `div` 2) in 0 < 1423941866 339368 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘a0 -> t’ < 1423941866 500980 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘[GHC.Types.Char]’ < 1423941866 501123 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Relevant bindings include f :: a1 -> t (bound at :1:5) < 1423941884 917370 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let f n = if n == 1 then 1337 else if odd n then f (3*n+1) else f (n `div` 2) in 0 < 1423941886 355777 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0 < 1423941894 961934 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let f n = if n == 1 then 1337 else if odd n then f (3*n+1) else f (n `div` 2) in f 0 < 1423941898 674681 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1423941904 809212 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let f n = if n == 1 then 1337 else if odd n then f (3*n+1) else f (n `div` 2) in f 1 < 1423941906 920721 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1337 < 1423941910 719287 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1423941911 96759 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :neat < 1423941933 143034 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let f n = if n == 1 then 1337 else if odd n then f (3*n+1) else f (n `div` 2) in f 3 < 1423941934 617176 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1337 < 1423941942 581762 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let f n = if n == 1 then 1337 else if odd n then f (3*n+1) else f (n `div` 2) in f 9 < 1423941943 923879 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1337 < 1423942225 924065 :boily!~alexandre@96.127.201.149 QUIT :Quit: ACORN CHICKEN < 1423942678 165892 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423943547 964981 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Quit: mitchs < 1423944288 157577 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1423945013 326114 :mrohman!~androirc@155.138.61.188.dynamic.wline.res.cust.swisscom.ch QUIT :Read error: Connection reset by peer < 1423945110 917084 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423945152 255834 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1423945724 791813 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423945795 102184 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423946395 884742 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1423946665 197135 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1423946739 58987 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1423946861 14888 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net JOIN :#esoteric < 1423946863 439637 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net NICK :Guest87001 < 1423946924 766296 :Guest87001!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net QUIT :Changing host < 1423946924 927023 :Guest87001!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1423946932 134850 :Guest87001!~GeekDude@unaffiliated/g33kdude NICK :GeekDude < 1423947724 259660 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423948166 888147 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1423948481 585173 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1423948846 261155 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1423948995 349473 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch JOIN :#esoteric < 1423948999 783451 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :Whaat < 1423949041 34060 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :Of course i can typecheck it even if its tc < 1423949110 174546 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not in such a way that exactly the non-erring programs fail to typecheck < 1423949115 692271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1423949143 611685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :PLEASE ADD/REMOVE A NEGATION AS APPROPRIATE < 1423949144 486338 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :Hm? < 1423949199 460036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mrohman: you cannot make a typechecker that accepts all programs that wouldn't give a dynamic error and none that would, and does so before running the program < 1423949223 427027 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :Oh < 1423949266 694495 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :You mean (if p a b ) where b produces a runtime type error < 1423949276 709281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1423949284 966092 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :But you cant decide p < 1423949295 639382 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :True < 1423949311 478515 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :But thats not what i'm aiming for < 1423949370 70010 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :It's just that i want the style of such languages with static typechecking < 1423949398 868913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think the word "hybrid" belongs in there somewhere then hth < 1423949456 156728 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :Which means that you have to account for ifs not always returning the same type < 1423949485 729052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did you know that "hybrid types" gives you a lot of information on cars tdnh unless that's what you're looking for i guess < 1423949517 667561 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :You wont need runtime typechecks then < 1423949552 415844 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch PRIVMSG #esoteric :But runtime type info < 1423949621 139545 :mrohman!~androirc@0.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch QUIT :Remote host closed the connection < 1423949972 396298 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423950446 515565 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :You could make the compiler to defer the error until runtime, although this doesn't seems like very good in most cases (although maybe in some cases it might help, if it is possible at all in such case). < 1423950592 828177 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423950785 647733 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1423951102 240652 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423951741 265173 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca QUIT :Quit: Lost terminal < 1423952525 478329 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423953574 865489 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423953608 933353 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 246 seconds < 1423953944 957690 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1423954953 579990 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I can't tell if this soundfont has piano keys that last too long or if this music is just bad < 1423955988 56359 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423956370 61558 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1423956442 15694 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423956466 701092 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1423957008 253150 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Sgeo, you could say that is a key question < 1423957174 329404 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :
ACTION goes to buy all Ray Lynch music on Amazon
< 1423957563 482106 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Quit: Leaving... < 1423957934 944217 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection