< 1427847105 241660 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Fail. The lecture slides for my course, I just realized their mtime is in 2006, indicating this guy has been giving the same lectures with the same material for 9 years. < 1427847176 443616 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :
ACTION idly wonders if he makes new tests...
< 1427847198 960846 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :helloren. which course? < 1427847285 107006 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Knowledge Representation and Reasoning, i.e. the out-of-fashion kind of AI < 1427847341 314367 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oh, lucky! < 1427847344 769780 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1427847498 191383 :bb010g!uid21050@gateway/web/irccloud.com/x-fibpuostpherxgal QUIT :Quit: Connection closed for inactivity < 1427848473 953337 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, if it's out-of-fashion... < 1427848519 531656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the AIs are just keeping it out of fashion to prevent competition hth < 1427848525 647913 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I have a digital cable box (I don't need it, but someone else here uses it); I figured out how to access the diagnostics menu, user setting menu, and in the review configuration menu pushing the FAV button displays many additional screens of information; I don't know what all of them mean, but on some screens pushing A allows entering a command with the numbers, the GuideNet screen lists them. < 1427848538 638950 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :elliott: good point. perhaps not much work has been done beyond what is in the text. everyone and their mother is doing neural networks now < 1427848541 227116 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Some screens display IP addresses. Unfortunately I don't know what any of that is or how to use any of it < 1427848623 50623 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :couldn't you write a GUI in VB to track them? < 1427848638 6603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats boily -----###
< 1427848649 477040 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(evenoily) < 1427848670 381698 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :muah ah ah :D < 1427848684 295720 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(evoerjaning.) < 1427848687 418439 :Lymee!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427848696 531073 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Lymello! < 1427848712 657758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boillo < 1427848806 744110 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shellchellof! < 1427848825 302110 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't know what GuideNet means or what the IP address and other information under "interactive status" means either; Wikipedia has no information. I was able to look up DOCSIS and MoCA on Wikipedia though. < 1427848864 201045 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 265 seconds < 1427848910 178717 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :what happens if you put the ip into browser? < 1427848953 850437 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I tried connecting using netcat to various port numbers and found nothing. < 1427848991 127963 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :do you feel courageous enough to nmap the fungot out of those IPs? < 1427848991 760348 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: they make a movie out of " disk" space...) stuff. i just think you're an abomination" :) < 1427848997 801997 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: eille! < 1427848998 165943 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: discordianism is almost not a joke really, because the first < 1427849010 946870 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't have nmap though < 1427849047 816984 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :One of them seems to be a LAN address; even though my internet is on the same cable as the television, I cannot connect to it. < 1427849060 568850 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :weird. < 1427849092 592156 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I didn't try UDP though; I don't know if maybe that's what I need. < 1427849109 484443 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: on a completely off-topic subject, you know I still have PHHHMHSD? < 1427849137 496498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :>_> <_< < 1427849138 564935 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(Post Hej Hej Hemst Micket (sorry for the orthograph) Hej Syndrome Disorder) < 1427849146 925437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah! < 1427849201 992573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recommend exposure therapy hth < 1427849304 89304 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't know what that means though < 1427849309 436835 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Exposure_%28photography%29 ?! < 1427849322 76658 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :zzo38: you do well. continue not knowing. it's good for you. < 1427849345 296867 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-ello. I hope. < 1427849350 773843 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(hezzo38!) < 1427849389 319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :portmantello < 1427849431 11495 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :I recommend crazy frog therapy < 1427849475 131568 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I like the rick-roll-I-get-knocked-down mashup. < 1427849493 224873 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ribitt ribitt < 1427849549 831862 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Now I figured out the .XI so I am fixing AmigaMML to support loading .XI instruments when in Extended mode (you can't use .XI in Amiga mode though). < 1427849616 578910 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :zzo38: mods, trackers, chiptunes and generic 8-bit music and stuff like that? < 1427849643 795504 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :boily: I don't know what you are asking; can you please be more specific? < 1427849711 726991 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :sorry, I'm drawing a phantomatic blank here... I have this feeling I'm forgetting a word, but I'm not sure. < 1427849736 290037 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :you are doing stuff that has to do with playing music through an Amiga emulator? < 1427849746 866695 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :No. < 1427849749 239972 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ah! < 1427849758 1128 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :what's an .xi then? < 1427849772 793635 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Other than being able to output in .MOD format, it hasn't anything to do with Amiga. < 1427849796 248112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: is the word amortized hth < 1427849797 97202 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :A .xi is a instrument file for Fasttracker. AmigaMML has two modes, Amiga mode (which is the original mode), and Extended mode. < 1427849818 403152 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: no. tdnh, bio. < 1427849832 56961 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :zzo38: aaaaaaaaaaaah. ic. < 1427849864 841553 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :biowat < 1427849867 920432 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :AmigaMML is a program that you can write music and then compile into .MOD and .XM files. < 1427849902 63634 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: that did not help, but it's okay hth < 1427849913 520589 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :zzo38: neat. < 1427849920 285421 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tdh thx hand < 1427849978 690377 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :Does that stand for music markup language or music macro language? < 1427849987 54536 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :MDude: Music macro language < 1427849988 475701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? hand < 1427850003 751219 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :go HackEgo go! go HackEgo go! < 1427850012 670697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can do it! < 1427850013 206612 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hand? ¯\(°​_o)/¯ < 1427850034 189081 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :Thanks, I wasn't sure a quick search for AmigaMML dind't bring up much. < 1427850053 51373 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :Also also both of those languages exist, being cofusingly similarly named. < 1427850055 683684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`learn A hand in the bush is better than a stoned bird hth < 1427850059 434025 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'hand': A hand in the bush is better than a stoned bird hth < 1427850087 551782 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Well, this is the Redmine page for AmigaMML: https://devlabs.linuxassist.net/projects/amigamml < 1427850088 156567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo s/ hth$/./ < 1427850104 76512 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :In case it helps you at all. < 1427850110 758253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`learn A hand in the bush is better than a stoned bird. < 1427850114 383549 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'hand': A hand in the bush is better than a stoned bird. < 1427850120 603729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hthyaa < 1427850126 903576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: also what's with the drugz jokez lately < 1427850142 160463 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: did you just pluralise y'all? < 1427850158 750631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :y'all y'all need to stop doing that < 1427850162 319087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the plural of "y'all" is "all y'all" hth < 1427850173 303671 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hope this helps you at all < 1427850181 483908 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Isn't "y'all" already plural? < 1427850196 99197 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not when addressing one person hth < 1427850220 244186 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: you know of the euphemism threadmill? in english, second person pronouns have a plurality threadmill < 1427850225 676326 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :It does, I'll check this out. < 1427850235 145418 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: all of you are correct :P < 1427850276 666702 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :MDude: Yes I know, MML can refer to both, but in this case it is music macro language. There are other programs to do music macro language too, such as SakuraMML, ppMCK, CsoundMML, and probably others I don't know about. < 1427850277 198514 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which probably started as part of the euphemism threadmill, anyway < 1427850283 92087 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(To my mind, the "you" may be singular, the phrase isn't.) < 1427850314 290705 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I wonder how a threadmill works. < 1427850327 538161 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :it mills threads. next! < 1427850330 835132 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :I didn't know it was made for Windows, or that you made it. I am pleasantly surprised on both counts. < 1427850338 899381 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :int-e it makes nylon thread hth < 1427850345 446876 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Do you put threads in and grind them, or is it cleverly arranged such that threads come out? < 1427850367 810075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the way the mill cpu implements fork() will be revealed soon < 1427850384 155188 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :MDude: Well, it isn't only Windows; it should be possible to compile AmigaMML for other systems too, if you have a C compiler. I don't actually know if it will actually run on a Amiga computer though. < 1427850384 811101 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess it would also make an excellent name for a scheduler. < 1427850400 932492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :next weekend in amsterdam < 1427850435 674937 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :I was more worried it wouldn't run on anything but Amiga. Or Linux, since Linux was in the url. < 1427850441 43591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is a spaghetti machine a threadmill? < 1427850446 419581 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :But it turns out that isn't the case. < 1427850473 414848 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION suddenly regrets not spelling it spagetti
< 1427850488 945032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(which btw is the correct norwegian spelling.) < 1427850513 330811 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that would be a good pun for all the norwegian speakers in this channel < 1427850529 945718 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Linux Assist is just the Redmine server for FOSS projects; it isn't only for programs specific to Linux. < 1427850675 947705 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :oerjan: I would have pronounces that as /spædʒetī/ < 1427850757 1631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's not norwegian hth < 1427850785 30978 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :it's the correct pronounciation for that spelling if it were italian < 1427850802 859882 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :(up to my knowlege of italian) < 1427850812 363628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(we don't have /dʒ/ except in loanwords) < 1427850853 623696 :bb010g!uid21050@gateway/web/irccloud.com/x-qvzwmozywvcrsqnl JOIN :#esoteric < 1427850862 168453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why the bar over the i < 1427850883 923332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why the dot over the ı < 1427850897 933680 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :oh, I forgot in IPA long vowels are supposed to have : not overbar < 1427850929 281258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the i suffix is long? < 1427850933 568209 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :/spega:tsi/ :D < 1427850939 8180 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you learn something every day < 1427850956 708110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why is the i suffix long < 1427850963 962601 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: what language is that twh < 1427850976 171929 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s?! < 1427850977 740451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boilese < 1427850999 382997 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :shachaf: I don't know, but the one in spaghetti is when I hear italians say it... < 1427851022 314956 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :(I live in Little Italy in Toronto) < 1427851053 819352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i boilognese < 1427851066 33619 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: a parody of low-class country bums in then Eastern Townships. < 1427851070 329693 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :s/then/the/ < 1427851083 217765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1427851125 488176 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hyperloglog is p. nifty < 1427851164 843936 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: boilognese. he he he! I'll remember that one. < 1427851179 592992 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :p. nifty? is that the name of a rapper? < 1427851245 454434 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1427851290 169525 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :yo, ma name's p. nifty, an' i'm pretty shifty, watch me spit these riffs like a tokyo drift king. < 1427851462 161157 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Are Tokyo drifters known to spit riffs? < 1427851482 309200 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Do drifters drift? I suppose not.) < 1427851559 298168 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :I don't think so, but it makes about as much sense as many real reaps I've heard... < 1427851566 432088 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :s/ea/a < 1427851586 125309 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :shit s/har/hear < 1427851634 620050 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Jafet: does an otter ott? < 1427851647 40388 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :A ral rapper < 1427851678 295479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: they ott to < 1427851708 68968 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Hmm the oldest woman in the world died again < 1427851838 731436 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Wow it isn't in the English news yet < 1427851935 375156 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :hmm, I wonder how long it takes for a typical story to reach English-speaking news channels, and whether it depends on the language zone that the story comes from < 1427851935 517008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION badges boily
< 1427851965 520825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan is a badger? < 1427851987 614883 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION sings “mushroom mushroom ♪”
< 1427851999 22447 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :damn neat me to it < 1427852005 279638 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :s/neat/beat < 1427852012 64679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Hmm the oldest woman in the world died again <-- this keeps happening, they should do something to stop it hth < 1427852040 319429 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :In this case it was ookawa misao, 117. < 1427852049 604159 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :oerjan: Not necessarily. < 1427852058 895564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: tdnh < 1427852065 204310 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :RIP Ookawa Misao | I'm a fungot trapped in a channel full of weirdos | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1427852127 277670 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Having a cable box at least allow me to know what show is on at 3AM and stuff like that, because the TV guide doesn't list shows at that time. But when I watch television I use the VCR in the basement instead. < 1427852134 996469 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :So the question is when will it reach Google news search? < 1427852150 946960 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :But, I also like to learn how the diagnostics and stuff in the cable box is working anyways. < 1427852187 962591 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :zzo38: I'll be at my parents' this weekend. remind me to hack their cable box then ^^ < 1427852194 201556 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :meanwhile, 'night all! < 1427852198 960497 :boily!~alexandre@96.127.201.149 QUIT :Quit: PREMOLAR CHICKEN < 1427852202 260096 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it seems to be unconfirmed hth < 1427852203 103816 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :On this strange day... http://news.asiantown.net/r/47594/mexican-woman-dies-at < 1427852224 233031 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Unfortunately I don't know how to hack it, but I can tell what some of the undocumented functions are at least; that can still help < 1427852259 92577 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :("oldest person on earth" must be one of the most unreliable (and short-lived...) attributions) < 1427852261 922321 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :I have been noticing a significant delay between NHK and the anglospheric news when anything happens in Japan. < 1427852287 827045 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Are you in Japan these days? < 1427852311 820352 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Well, presumably. It's possible but unlikely you're watching NHK outside of Japan. < 1427852319 566728 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :No but reading NHK online is good practice < 1427852328 522223 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Ah. Fair enough. < 1427852379 327966 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :for example, I knew about the deal with Nintendo and DeNA five hours before it reached Google News < 1427852381 21863 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I am not at Japan but do want to order something; I bought a Famicom at a store locally and then I asked them next time if they can get the keyboard too so that I can buy from them, but they have not done. < 1427852402 143902 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :That keyboard is pretty rare, isn't it? < 1427852402 195746 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah, wikipedia half-knows... https://en.wikipedia.org/wiki/Misao_Okawa (lists date of death, but has not otherwise been updated) < 1427852414 244538 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't know how rare it is. < 1427852436 429233 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :At least it is relative to the Famicom. :) < 1427852495 510095 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Yeah but there are a ton of fake famicoms on the market < 1427852515 650950 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yeah, but not really any that are trying to pass themselves off as real ones. < 1427852522 657595 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :right < 1427852525 963914 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com JOIN :#esoteric < 1427852550 505585 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :wikipedia now says "was" < 1427852563 574340 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :RIP Misao Okawa | I'm a fungot trapped in a channel full of weirdos | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1427852601 76617 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :God, if you consider Famiclones the damned things might be the single most common computing device on the planet. < 1427852645 818923 :LordCreepity!~John@cpe-74-131-38-41.swo.res.rr.com JOIN :#esoteric < 1427852655 558715 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :6502 - the perfect eternal processor < 1427852685 814247 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :(technically they use a modified version) < 1427852710 938666 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Famicom uses 6502 with a few traces cut off so that decimal mode won't work. < 1427852724 446574 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :However, all other functions of NMOS 6502 including unofficial functions still work. < 1427852744 692621 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :I thought they had decimal mode on there? < 1427852758 629329 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :I coulda sworn the only modification was sticking some sound hardware on the die. < 1427852781 223946 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Oh, no, it is lacking. < 1427852782 175287 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :I thought they removed the decimal mode to make room of something < 1427852783 879035 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Decimal mode doesn't do anything on Famicom; you can turn it on and off but it doesn't affect operation of arithmetic. < 1427852783 879738 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Huh. < 1427852800 725044 :LordCreepity!~John@cpe-74-131-38-41.swo.res.rr.com PRIVMSG #esoteric :has anyone in here ever taken a look at the instruction set of the EDSAC? < 1427852810 854926 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :oren: No, all they did is cut a few traces so that decimal mode doesn't work. Other than that it actually is a 6502. < 1427852814 376184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm in 2-3 years there may not be anyone left alive born in the 19th century < 1427852821 150910 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :They use the same mask. < 1427852869 310173 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Ah, yep, they literally removed 5 transistors in the mask. < 1427852875 759674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :115 years old seems a particularly dangerous age < 1427852903 728416 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :*Aaaah!* < 1427852917 848094 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1427852926 827416 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :There was a patent on the decimal mode that Nintendo did not want to license. < 1427852929 392146 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: well 9 "confirmed" people left... https://en.wikipedia.org/wiki/List_of_living_supercentenarians < 1427852948 210126 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427852975 637968 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If I said Θ(f) ≤ Θ(g), would people understand what I mean? < 1427852986 279937 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :oerjan: i was recently like o_O upon seeing a pamphlet for a piano recital my grandmother gave in 1944 < 1427853033 692525 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :shachaf: if that is big theta notation yes. if that is an emoticon then no. < 1427853059 620902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It is big theta notation. < 1427853069 762546 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :If you look at the die shot you can see that it is literally a 6502's mask with apparently those transistors missing, and some sound hardware. That is really interesting. < 1427853073 388254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But a non-standard use of it. < 1427853081 641250 :Lymee!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427853109 556066 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: you could just write f \in O(g) ... < 1427853119 121426 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(f = O(g), but I dislike that notation) < 1427853132 416247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Yes, but then I have to remember what o/O/Θ/Ω/ω mean. < 1427853146 174549 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's ridiculous. Why invent a new letter for each of those things? < 1427853157 267630 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You have to do that anyway, at least the three capital things. < 1427853162 431893 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :big theta means a bound above and below right? < 1427853171 892745 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oren: right < 1427853183 429366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's much easier to remember what mean. < 1427853202 275626 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: not really, when it applies to sets. < 1427853204 796796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since I use those all the time. Why should this particular preorder get special symbols? < 1427853252 786292 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :O above, Omega below, Th both < 1427853253 783870 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1427853265 552721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :o/ω are useful too. < 1427853274 529611 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I would go as far as calling Θ(f) ≤ Θ(g) *wrong*, because the standard definition A <= B is a <= b for all a in A and b in B. < 1427853284 464466 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1427853293 500607 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That definition isn't very standard. < 1427853308 412233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At least I can't remember ever seeing it. < 1427853331 770910 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you want I can use a different symbol instead of Θ. The point is that I'm putting this partial order on the equivalence classes. < 1427853332 81714 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It's the standard way of extending relations to sets, if there is any standard way at all. < 1427853344 891166 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I would agree more with O(f) \subseteq O(g). < 1427853374 22569 :variable!~variable@freebsd/developer/variable NICK :trout < 1427853384 276606 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you gain over f ∈ O(g) there? < 1427853395 183425 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :I should get a LaTeX mode on my IME < 1427853404 555951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :↓{Θ(f)} can mean what O(f) means, though admittedly that notation is less common. < 1427853412 711825 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: you can use O(f) = O(g) for f \in \Theta(g) < 1427853488 716569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I see. You can just use ⊆ instead of ≤ and it gives you the order I want? < 1427853496 635004 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: So I think this would accomplish what you wanted: having only one of O/\Theta/\Omega to remember. < 1427853549 514650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you're saying, O(f) ⊂/⊆/=/⊇/⊃ O(g) < 1427853555 876202 :LordCreepity!~John@cpe-74-131-38-41.swo.res.rr.com PRIVMSG #esoteric :.-. < 1427853576 626363 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm not yet sure about o. < 1427853630 203605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"f ∈ o(g)" just means "f ∈ O(g) and f ∉ Θ(g)", doesn't it? < 1427853651 485729 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mainly because there are non-monotone functions like f(n) alternating between n (for even numbers) and 0... < 1427853683 888492 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No, f \in o(g) means that the limit of f(n)/g(n) as n goes to infinity is 0. < 1427853704 897712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. Maybe my other order was too simplistic too. < 1427853733 259199 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Which I currently believe is stronger that f \in O(g) and g \notin O(f). < 1427853777 87251 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :taking that alternating function as f, and g(n) = n. < 1427853984 349826 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are you saying about these f and g? < 1427854013 881552 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that f \in O(g) and g \notin O(g) and f \notin o(g). < 1427854031 448523 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1427854036 422719 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :g \notin O(f) < 1427854175 182911 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. I guess so. < 1427854179 142935 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Which demonstrates that f \in o(g) is different from O(f) \subsetneq O(g). < 1427854196 486496 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. Sigh. < 1427854211 8910 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sorry, I didn't make the definitions. < 1427854222 243017 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should be in #-lens or #-blah or one of the other channels that I was talking about this. < 1427854303 349023 :LordCreepity!~John@cpe-74-131-38-41.swo.res.rr.com QUIT :Quit: Leaving < 1427854339 770869 :LordCreepity!4a832629@gateway/web/freenode/ip.74.131.38.41 JOIN :#esoteric < 1427854470 687379 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Perhaps, but I'm on too many channels already, and neither -blah nor -lens really interest me. < 1427855298 358048 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :shachaf: Prismata is having an April Fools Day event < 1427855304 910073 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :With 9 fake new units and 1 real new unit < 1427855641 492068 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I must have made a mistake in the .XI loading code because it doesn't quite work properly. < 1427855882 950182 :LordCreepity!4a832629@gateway/web/freenode/ip.74.131.38.41 QUIT :Quit: Page closed < 1427856096 883775 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I fixed it < 1427856221 54458 :LordCreepity!4a832629@gateway/web/freenode/ip.74.131.38.41 JOIN :#esoteric < 1427856230 804835 :LordCreepity!4a832629@gateway/web/freenode/ip.74.131.38.41 QUIT :Client Quit < 1427856693 118485 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Now all of the updates are on the Redmine too. < 1427856933 646973 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1427856946 303709 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I love /r/todayilearned's CSS < 1427856988 367138 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :They're making every comment look like it's saying conspiracy stuff < 1427857090 216710 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu JOIN :#esoteric < 1427857138 980837 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu PRIVMSG #esoteric :!zjoust Iron_Will_and_a_Clear_Conscience >(-)*15>(+)*15(>++>--)*3>([(+)*15[-]]>)*21 < 1427857139 529267 :zemhill_!bfjoust@selene.zem.fi PRIVMSG #esoteric :infinitymaster.Iron_Will_and_a_Clear_Conscience: points -3.40, score 17.03, rank 35/47 < 1427857159 642421 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu PRIVMSG #esoteric :yissssss < 1427858084 302391 :MoALTz!~no@78.11.179.104 JOIN :#esoteric < 1427858181 571238 :heroux!sandroco@gateway/shell/insomnia247/x-bqqlciwidaydywfs QUIT :Ping timeout: 256 seconds < 1427858215 287257 :heroux!sandroco@gateway/shell/insomnia247/x-bosrdwigtbdciaar JOIN :#esoteric < 1427858234 312555 :MoALTz__!~no@78.11.179.104 QUIT :Ping timeout: 252 seconds < 1427859046 652127 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 264 seconds < 1427859117 651970 :Lyrr!Lyrr@pD95196E6.dip0.t-ipconnect.de JOIN :#esoteric < 1427859123 523983 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1427859155 202178 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hi infinitymaster < 1427859165 867311 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu PRIVMSG #esoteric :Hello quintopia. < 1427859362 507036 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Is it weird that I enjoy Internet April Fools so much? < 1427859406 793378 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: thx tdh < 1427859413 250619 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1427859419 517424 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :its super fun < 1427859577 807734 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDream < 1427859642 612344 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 248 seconds < 1427859678 58938 :Lyrr!Lyrr@pD95196E6.dip0.t-ipconnect.de PART :#esoteric < 1427860145 349720 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 265 seconds < 1427860158 770349 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :quintopia: What is thx tdh? < 1427860187 540070 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1427860222 983608 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427860306 301420 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1427860457 138587 :oren!~oren@65.94.97.99 QUIT :Quit: Lost terminal < 1427860618 684561 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Tagpro has an April Fools Day event, but it only runs the first 15 minutes of every hour < 1427860636 74743 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :It is driving me crazy, I'm timing my life around it right now < 1427860660 363596 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Which, I think, involves me playing less tagpro than usual, ironically enough < 1427860759 143230 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com QUIT :Quit: adu < 1427861278 297915 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1427861702 758914 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com JOIN :#esoteric < 1427861716 803786 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com QUIT :Client Quit < 1427861937 426269 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1427862176 94376 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 265 seconds < 1427862323 654220 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com JOIN :#esoteric < 1427862544 925843 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1427862616 957818 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 245 seconds < 1427863156 644464 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427863686 440856 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu QUIT :Quit: Leaving... < 1427863742 523429 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Uhn < 1427863774 630923 :MoALTz_!~no@78.11.179.104 JOIN :#esoteric < 1427863938 297479 :MoALTz!~no@78.11.179.104 QUIT :Ping timeout: 246 seconds < 1427864225 344610 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com QUIT :Quit: adu < 1427865767 705455 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 272 seconds < 1427865833 466079 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I think my graphics card's video decoding is broken < 1427865846 217233 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Videos stopped working for me until I told Chrome not to use hardware decoding < 1427866060 758156 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com JOIN :#esoteric < 1427866876 311791 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :https://com.google/ < 1427866895 578632 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427867309 723049 :Welcome!~hhs@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1427867309 828248 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1427867737 422048 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :"Think of Smartbox as Google’s attempt to reinvent physical mail. It has smart folders, filters, and even apps. Oh, and you can take Smartbox with you, wherever you go." < 1427867740 813171 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Ugh I want this for real < 1427868281 974911 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving < 1427869171 139096 :adu!~ajr@rrcs-65-34-31-2.se.biz.rr.com QUIT :Quit: adu < 1427869504 713081 :Welcome!~hhs@74-61-60-199.war.clearwire-wmx.net QUIT :Ping timeout: 255 seconds < 1427870842 727629 :zadock!~zadock@muscalu.tuiasi.ro JOIN :#esoteric < 1427872265 739338 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 272 seconds < 1427873452 722635 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427874512 945182 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1427875030 145447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :λ> typeRep (Proxy :: Proxy A) == typeRep (Proxy :: Proxy B) < 1427875030 268341 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :True < 1427875030 269044 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :λ> typeRep (Proxy :: Proxy (Proxy A)) == typeRep (Proxy :: Proxy (Proxy B)) < 1427875030 269092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :False < 1427875052 617746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e, oerjan: Any ideas for what to do with that? < 1427875420 969811 :cpressey!~cpressey@35.87.2.81.in-addr.arpa JOIN :#esoteric < 1427875438 715265 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :fungot: did you enjoy your outage? < 1427875438 960676 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :cpressey: scheffig is the scheme48 native compiler coming along? ( sorry, i didn't < 1427875500 249011 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :that's unfortunate < 1427875603 796756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cpresshey < 1427875617 774921 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://home.web.cern.ch/about/updates/2015/04/cern-researchers-confirm-existence-force < 1427875822 428997 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :yes happy april < 1427876201 701989 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, do you like april? < 1427876201 840317 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: what did you do < 1427876455 190505 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :haha < 1427876462 935255 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427876469 326026 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :b_jonas played a 1. April prank on fungot! < 1427876469 465967 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: i know im an asshole. < 1427876485 518812 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :o_O < 1427876581 908977 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: Well then you deserve the prank. < 1427876582 253354 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: ok, here's a *great* example. ( there was a roshambo bot called iocane. :) the interpreter i've used. < 1427877401 561986 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Remote host closed the connection < 1427877753 81212 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1427877814 627114 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 252 seconds < 1427878465 404904 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://imasheep.hurrdurr.org/ < 1427878476 571456 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :kernel.org redirects there ^^ < 1427878929 310549 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :why? < 1427879011 512866 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's because linux 4.0 is codenamed hurr durr ima sheep < 1427879029 403804 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :sounds legit < 1427879049 312624 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no really it's true < 1427879106 131054 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :linus started a test poll on google+ and one of the options was hurr durr ima sheep ^^ < 1427879186 180578 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=c517d838eb7d07bbe9507871fab3931deccff539 < 1427879186 677006 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=c517d838eb7d07bbe9507871fab3931deccff539 < 1427879192 913854 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :whoops. < 1427879200 521554 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :lifthrasiir: race condition < 1427879210 413100 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :cpressey: IRC needs mutex < 1427879214 217258 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :yes! < 1427879286 140269 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :irc has +m < 1427879519 536158 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, so that's why it redirects! < 1427879522 438141 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nice < 1427879531 465823 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and the title has changed too < 1427879537 878830 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it says "The Hurr Durr Archives" < 1427879803 905907 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Quit: ... < 1427880066 618168 :zzo38!~zzo38@24-207-84-223.eastlink.ca QUIT :Ping timeout: 246 seconds < 1427880113 177174 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1427881764 707166 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://en.wikipedia.org/wiki/List_of_Linux_kernel_names < 1427881879 287193 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :those need to be displayed prominently upon boot < 1427883039 502516 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: well, are those types actually different so that it breaks gcast in connection with a type family? < 1427883059 777327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They're different types with different kinds. < 1427883075 269458 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is why Proxy gets different TypeReps. < 1427883217 297423 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So it doesn't break gcast then. < 1427883231 168207 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I *believe* that's fine. < 1427883271 248635 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fsvo fine < 1427883280 970645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can't think of a way to write unsafeCoerce with it, at least. < 1427883496 969296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A is () :: *, b is () :: Constraint < 1427883506 28168 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'll post it on #9858. < 1427883606 196608 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :typeRep (Proxy :: Proxy (Proxy :: * -> *)) == typeRep (Proxy :: Proxy (Proxy :: (* -> *) -> *)) is also true. < 1427883623 422390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, hmm. < 1427883632 403959 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wait. wrong ghc < 1427883651 51918 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1427883654 209979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, it's False. < 1427883677 517490 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sorry, I have 7.10.1 installed but 7.8.3 is still my default. < 1427883994 944297 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1427886410 690411 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1427887254 952806 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :all i'm saying is that if we have codata we might as well redefine our entire foundation of mathematics to use it. clearly, 1/0 is a corational. clearly, - can be defined over the corationals, and 1/0 - 1/0 = 0. < 1427887257 333693 :roasted42!~appleseed@vc-nat-gp-s-41-13-28-89.umts.vodacom.co.za JOIN :#esoteric < 1427887284 475718 :roasted42!~appleseed@vc-nat-gp-s-41-13-28-89.umts.vodacom.co.za QUIT :Changing host < 1427887284 478271 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1427887284 507758 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1427887421 200856 :boily!~alexandre@96.127.201.149 QUIT :Quit: IDENTIFIABLE CHICKEN < 1427887433 891898 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: your use of "clearly" is clearly wrong, hth. < 1427887483 517680 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :int-e: you didn't find that entertaining? < 1427887519 491462 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No, because I tried to make sense of "1/0 is a corational". < 1427887545 352427 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Failing that, annoyance was the dominating reaction. < 1427887601 886675 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric ::( < 1427887643 392405 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :you make it sound like your failure to make sense of a concept is a bad thing < 1427887741 737993 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sorry I tend to overanalyze things. < 1427887911 625437 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh my. https://github.com/lambdabot/lambdabot/issues/114 < 1427887976 880720 :mhi^!~mhi@unaffiliated/mhi/x-9993184 PRIVMSG #esoteric ::) < 1427887995 155397 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I think I'll wait a day before closing that one :P < 1427888451 108397 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1427889174 295229 :Sgeo!~quassel@ool-44c2a85f.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1427889583 240470 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1427890967 136380 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1427891129 79544 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : https://com.google/ <-- it doesn't change the link targets DISAPPOINTED < 1427891212 880245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k A < 1427891213 917102 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: type constructor or class ‘A’ < 1427891235 873645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : typeRep (Proxy :: Proxy A) == typeRep (Proxy :: Proxy B) < 1427891239 393895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1427891261 309834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (() :: *)) == typeRep (Proxy :: Proxy (() :: Constraint)) < 1427891263 5990 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: type constructor or class ‘Constraint’ < 1427891263 333845 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant ‘Contains’ (imported from Control.Lens) < 1427891270 749554 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ff < 1427891337 407605 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i cannot say, i haven't installed 7.10 yet. what is preventing you from just slotting it into one of the versions at http://oerjan.nvg.org/haskell/TypeableExploits ? < 1427891355 430489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (() :: *)) < 1427891356 875278 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : () < 1427891414 45359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: import GHC.Exts.Constraint plz twh < 1427891494 184776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pesky sleeping americans < 1427891509 358309 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no such module < 1427891536 765125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GHC.Exts (Constraint) < 1427891546 895025 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The real problem is that GHC.Exts is not trustworthy. So I have to wrap it... haven't bothered yet. < 1427891552 588275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1427891573 553227 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(It's easy, that's what lambdabot-trusted is for. But it < 1427891594 892790 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :'s not limited to changing a single line in Pristine.hs.) < 1427891597 924397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm they should make a GHC.Exts.Safe then < 1427891651 661961 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://ghc.haskell.org/trac/ghc/ticket/9724 < 1427891688 399852 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that one fell through the cracks (I forgot about it myself, too) < 1427891835 817873 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :silly. https://com.google/ < 1427891855 30448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: 3rd time's the charm < 1427891886 714644 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@quote fugue < 1427891886 840415 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :monochrom says: Welcome to #haskell, where your questions are answered in contrapuntal fugues. < 1427891891 802158 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote fugue < 1427891893 116479 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1427891904 494281 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote canoon < 1427891906 85015 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote canon < 1427891908 965799 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1427891908 967225 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1427891919 158715 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote music < 1427891919 952314 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :475) mmm these music samples are still so tasteful \ 552) i am sorry to disappoint you, but my musical taste is on the side abba, verdi, and celine dion. i know this may not be popular and that you would have preferred me to be a satanist. \ 1235) boily: the proc is invoked. before or after the evaluator transfers control < 1427892171 973595 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anyway ... I need to stop procrastinating, there's a deadline (review for a conference, so not a flexible one) today. < 1427892368 107272 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1427892956 604210 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :"foo is a bar" is an inductive definition; "if B is a bar, expr(B) is a bar" is an inductive definition; if I and J are inductive definitions, "I; J" is an inductive definition < 1427893068 892182 :GeekDude!~GeekDude@unaffiliated/g33kdude NICK :GibVent < 1427893272 233069 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :that allows non-well-founded definitions, & could stand to be improved < 1427893343 147599 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :would be less snappy, tho < 1427893371 564765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if it's non-well-founded surely it must be coinductive. < 1427893440 841964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION might be half joking there
< 1427893450 583519 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Perhaps y'all should apply soundiness to math: http://soundiness.org/documents/InDefense2.pdf < 1427893467 882381 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I've seen very few april's fool things today < 1427893491 127579 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(That soundiness thing isn't an April's fool, I'm afraid.) < 1427893523 6105 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :oh they have their own domain now do they? < 1427893539 41567 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :"well, that escalated" i can't do it < 1427893643 164834 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :they have a Soundiness Statement Generator < 1427893704 253757 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :In case you are too lazy to write, yourself, "Our analysis does not soundly handle X, Y and Z" < 1427893780 679168 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :perhaps the next step is for them to write a Soundiness Analyzer which takes your analyzer and tells you just in what ways it is unsound < 1427893792 800427 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :We present a soundy (i.e., unsound and incomplete) analysis of Brainfuck program termination, building on previous work in random number generation. < 1427893883 288195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION briefly thinks it's a shame healthy ends with y already
< 1427893902 133877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess one could reverse the construction < 1427893942 992821 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427893956 869393 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ooh. Right, "sound" is a noun. So a soundy thing would have to make noises. They do that quite successfully, I suppose. < 1427894006 170987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: a very smarty deduction < 1427894119 119953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is there any way to get the type (() :: Constraint) without mentioning Constraint < 1427894155 359452 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1427894159 900831 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1427894216 890812 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1427894235 147428 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :i can't help thinking that if people were more used to the idea of a subset of a programming language, the whole soundiness thing would be moot. your analysis is sound on some subset of the language, that's all. not a hard concept, is it? < 1427894268 163104 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 272 seconds < 1427894296 428625 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :but people aren't UNused to that idea either, so i don't know. the various sub-industries, each has their own weirdness < 1427894305 310159 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :weirdnesses < 1427894313 544618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :weirdiness hth < 1427894328 451515 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the weird is strong in oerjan. < 1427894353 31893 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :HPC folks treat "code" as a count noun while almost everyone else treat it as a mass noun < 1427894362 236130 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :*treats < 1427894536 453401 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, I would've expected that of cryptographers, but not of HPC. < 1427894593 843340 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Or cryptologists, more generally. < 1427894603 385214 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k forall a. (Ord Int,a) ~ (Ord Int,()) => Proxy a < 1427894604 487530 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The second argument of a tuple should have kind ‘Constraint’, < 1427894604 488198 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : but ‘()’ has kind ‘*’ < 1427894604 633230 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In a type in a GHCi command: < 1427894631 859933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it looks impossible to get it to infer that () is a Constraint without putting it on explicitly :( < 1427894779 862360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION hopefully checks if they got the Platform out yet
< 1427894887 246646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(nope) < 1427895613 977368 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :seriously though i should probably look into codata more because it seems like you could do some really interesting things with reified codata < 1427895745 344354 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1427895790 786056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :It's annoying when you start writing an answer to a 1 hour old stackoverflow question and someone else beats you by 10 seconds :( < 1427895842 37 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 244 seconds < 1427895842 313973 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :to the victor, the rep points < 1427895861 763114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it _was_ a better answer than i was writing. < 1427895864 114799 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric : oerjan: You're just being a copycat! < 1427895882 635183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats mroman -----###
< 1427895883 729793 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`cats < 1427895897 659160 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat cat < 1427895898 801856 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :meow meow meow meow < 1427895899 13582 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Meow~~ < 1427895906 954036 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :they probably could've hopped on IRC and gotten an answer in 5 minutes (if they were willing to put up with the belittling) < 1427895944 807206 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe. it was a little subtle. < 1427895946 269836 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :and the "why do you want to do that, anyway?" < 1427895988 189204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's actually sort of a type bug in the API interface of the haskeline interface, that means you have to give a stupid type annotation for a type you're about to throw away... < 1427895997 925331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*haskeline package < 1427896057 37883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://stackoverflow.com/questions/29390884/ambiguous-type-variable-with-haskeline-auto-completion#29392412 fwiw < 1427896108 138040 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: Can you cook with a water cooker? < 1427896108 480787 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: neither one of these days. but rack is close enough to programming any features you want, and what we still need more optimizations. < 1427896132 934939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am not sure fungot understands the concept of water < 1427896133 241193 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: esoerl for esoteric and erlang maybe?) < 1427896140 595587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, fungot, that is not it. < 1427896140 843819 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: you just don't take them if you used block for begin) depending on the ordering of the for clauses...) < 1427896148 933545 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`? water < 1427896151 532710 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :water? ¯\(°​_o)/¯ < 1427896187 487285 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`learn Water is a squishy substance that creeps along the floor and can suddenly fall from the heavens. < 1427896195 702196 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'water': Water is a squishy substance that creeps along the floor and can suddenly fall from the heavens. < 1427896207 480851 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :ah well, the best part of stackoverflow is the list of trending questions on the right < 1427896245 885617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i rarely look at that < 1427896549 536511 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :There's rice cookers. < 1427896582 498913 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and steamers < 1427896583 791174 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :interesting < 1427896604 508502 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :You can get a fully functional kitchen with 200CHF. < 1427896648 528129 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :That is, if you hand wash your dishes . < 1427896671 93936 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: Do you hand wash your dishes? < 1427896671 200265 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: http://paste.lisp.org/ display/ fnord < 1427896675 758780 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :uhm. ok < 1427896684 131473 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :^style < 1427896684 138037 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1427896703 256649 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :^style darwin < 1427896703 294377 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: darwin (Books by Charles Darwin -- you know, that evilution guy) < 1427896715 584359 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: Your thoughts about morphic fields? < 1427896716 606045 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: dr., on corals fnord themselves." " 27. on this account i went in yesterday, and was recopied before being sent to/ lacrymal glands. this salt was first exported in 1830: in one mid-styled plant, but was withdrawn on/ appointment :) royal commissioners, that ordinary doctors know little or nothing to tell you a fnord, not by means :) its ferment, 94, 95, and generally to/ male. < 1427896724 750353 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :morphic fields even explain evolution! < 1427896781 237604 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`morphic field < 1427896782 338415 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: morphic: not found < 1427896787 492856 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`? morphic field < 1427896794 89246 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :morphic field? ¯\(°​_o)/¯ < 1427896795 960031 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :nts nts < 1427896953 27985 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427897000 599735 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :^style irc < 1427897000 638685 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) < 1427897012 938829 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: Who's douglas adams? < 1427897013 85289 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: right... it's gonna be. < 1427897180 801814 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1427898020 115845 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds < 1427898064 443286 :MDream!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDude < 1427898955 860249 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zom3one point me to the best pranks < 1427899004 275713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :see #esoteric logs hth < 1427899016 170312 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ugh < 1427899018 968297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean, http://home.web.cern.ch/about/updates/2015/04/cern-researchers-confirm-existence-force < 1427899033 906149 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i need a filter < 1427899108 727020 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nope nothing good in todays log < 1427899147 615711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too critical for the world < 1427899328 993013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh typeRep already takes a Proxy of course < 1427899375 690155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok that does seem like unsafeCoerce is hard to get from this. < 1427899519 893418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's too damn hard to find flags from inside ghci < 1427900544 913543 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1427901374 555014 :zadock!~zadock@muscalu.tuiasi.ro QUIT :Quit: Leaving < 1427901453 182083 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :what flags? < 1427901677 910952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in this case it was -fprint-explicit-kinds < 1427901716 246081 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Ping timeout: 255 seconds < 1427901743 355096 :clog!~nef@bespin.org QUIT :Ping timeout: 264 seconds < 1427901888 341585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oh my. https://github.com/lambdabot/lambdabot/issues/114 <-- you just have to tell them the truth; that haskell has been surpassed by befunge for this use. < 1427902151 644274 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Sad but true < 1427902226 283471 :clog!~nef@bespin.org JOIN :#esoteric < 1427902657 794049 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :fungot is actually a UFAI that is simulating you. true fact < 1427902657 917167 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :cpressey: it's done there just to show that < 1427902664 299789 :roasted42!~appleseed@vc-nat-gp-s-41-13-2-94.umts.vodacom.co.za JOIN :#esoteric < 1427902664 431439 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :... see? < 1427902689 845728 :roasted42!~appleseed@vc-nat-gp-s-41-13-2-94.umts.vodacom.co.za QUIT :Changing host < 1427902689 846874 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1427902689 895342 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1427903403 307419 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: what is your favourite joke today? < 1427903403 310985 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :FireFly: given a list, a sublist isn't the same as its argument a quantified noun < 1427903434 973937 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: I'm.. I'm not sure if I get it < 1427903435 263928 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :FireFly: it does seem to be fnord. < 1427903542 203288 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1427903574 295058 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427903626 329476 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :look, if the singularity told you a joke, do you think you'd be able to understand it? of course you wouldn't. < 1427903650 43665 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Which singularity? < 1427903651 402244 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :we are as like ants etc < 1427903657 580016 :cpressey!~cpressey@35.87.2.81.in-addr.arpa PRIVMSG #esoteric :mroman: well, fungot, obviously < 1427903657 849667 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :cpressey: most of the stuff i do at work, and it seems i do :-o dear me. < 1427903894 379387 :bb010g!uid21050@gateway/web/irccloud.com/x-qvzwmozywvcrsqnl QUIT :Quit: Connection closed for inactivity < 1427903945 933949 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: how about this? (I commented on that #114) < 1427904102 953613 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427904221 724876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1427904267 487813 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: pity, I can't assign the issue to the lambdabot organization :) < 1427904649 467535 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :*grin* < 1427904652 935030 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :http://com.google/ < 1427905144 772786 :cpressey!~cpressey@35.87.2.81.in-addr.arpa QUIT :Quit: leaving < 1427905532 522378 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427905938 814584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :4 hth < 1427905962 949642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :happy april fools day < 1427905981 376883 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is there any particular set of april 1 festivities I should be looking at? < 1427906012 517483 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well people keep linking http://com.google/ < 1427906068 583802 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, Google got their TLD after all? < 1427906083 291137 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IIRC they applied for like five or six TLDs for internal use only < 1427906125 361306 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :com.google's their first use of it for much of anything. < 1427906132 991609 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :(publicly, at least) < 1427906185 786771 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Microsoft announced MS-DOS Mobile. < 1427906522 326339 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Oh yeah, gentoo.org was pretty good too. < 1427906609 372012 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :And it'll be to zzo's liking too... < 1427906616 252332 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :gopher://gopher.gentoo.org/ < 1427906748 911151 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Latër < 1427906803 343948 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1427907114 414115 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1427907124 762962 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427907194 52915 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :pikhq: I'm not sure, serving html + css + javascript over gopher just doesn't feel right < 1427907226 51616 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the only thing that's "proper" gopher are the directory listings) < 1427907271 820306 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1427907276 578081 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427907322 617316 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427907419 271514 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :int-e: Alas. < 1427907527 287488 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1427909050 340054 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Ping timeout: 272 seconds < 1427909291 455006 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427909302 669746 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1427909315 980825 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427909421 82895 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1427909587 281014 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427909611 409141 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1427909729 495139 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1427909738 582985 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427909951 417011 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Ping timeout: 255 seconds < 1427909980 926716 :^v^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 QUIT :Read error: Connection reset by peer < 1427910007 322402 :^v^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 JOIN :#esoteric < 1427910105 647884 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=42254&oldid=42233 5* 03Rottytooth 5* (+15) 10/* T */ added Time Out < 1427910136 616633 :zadock!~zadock@81.180.210.87 JOIN :#esoteric < 1427910186 768323 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427910200 3317 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1427910208 183542 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427910333 414826 :roasted42!~appleseed@vc-nat-gp-s-41-13-2-94.umts.vodacom.co.za JOIN :#esoteric < 1427910347 904683 :roasted42!~appleseed@vc-nat-gp-s-41-13-2-94.umts.vodacom.co.za QUIT :Changing host < 1427910347 905527 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1427910348 59322 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1427910403 277291 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 265 seconds < 1427910652 417111 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427910843 430424 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 248 seconds < 1427910851 991431 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427911419 80490 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hehe. "reason for data loss: guru meditation #00000025.65045338 press left mouse button to continue" < 1427911454 416660 :oren!~oren@public-251-185.nat.utoronto.ca JOIN :#esoteric < 1427912093 311330 :oren!~oren@public-251-185.nat.utoronto.ca QUIT :Read error: Connection reset by peer < 1427912172 374671 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427912188 613739 :ais523!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net JOIN :#esoteric < 1427912195 105127 :ais523!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net QUIT :Changing host < 1427912195 106030 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427913679 5448 :oren!~oren@public-245-9.nat.utoronto.ca JOIN :#esoteric < 1427913927 74129 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427913938 486033 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427914131 397178 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427914143 296597 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427914160 358926 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Quit: l8r, about 30m < 1427914251 760627 :variable!~variable@freebsd/developer/variable NICK :trout < 1427914755 389886 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427914956 371831 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds < 1427915083 927340 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1427915476 239721 :oren!~oren@public-245-9.nat.utoronto.ca QUIT :Quit: Lost terminal < 1427915518 981017 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: All of the unsafeCoerces I know how to write involve taking the TypeRep of something other than the problematic type itself. < 1427915548 108143 :cpressey!~cpressey@31.55.94.145 JOIN :#esoteric < 1427915549 622140 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :E.g. F (Proxy A) vs. F (Proxy B), which is really F (Proxy * A) vs. F (Proxy Constraint B) < 1427915766 492929 :cpressey!~cpressey@31.55.94.145 PRIVMSG #esoteric :ais523: a coworker of mine really liked the products ThinkGeek is advertising today, but I failed to distinguish them from their regular fare < 1427915788 446056 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cpressey: I seem to remember that at least one of their joke products was popular enough that they figured out how to manufacture it < 1427915814 437580 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1427916399 593201 :cpressey!~cpressey@31.55.94.145 QUIT :Ping timeout: 256 seconds < 1427916447 390487 :cpressey!~cpressey@31.55.94.145 JOIN :#esoteric < 1427916601 139111 :cpressey!~cpressey@31.55.94.145 PRIVMSG #esoteric :fungot: want to hear a joke? not april fool's-related, i promise < 1427916601 831748 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :cpressey: gimme link! _") will put a string into an s-exp ( the kind which is planted in the garden < 1427916658 371083 :cpressey!~cpressey@31.55.94.145 PRIVMSG #esoteric :great, now i have to write it into a pastebin somewhere i guess < 1427916691 546061 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is what happens when you ask fungot things, sometimes it gives you an answer you don't want < 1427916691 662316 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ais523: i only found at the top level, should a woodchuck chuck if a woodchuck could chuck and would chuck some amount of attention to the details. < 1427916692 989772 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: do you plant strings in your garden? < 1427916693 486211 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :FireFly: that's fine. that's what i mean is, you can probably get a good idea if it still sleeps < 1427916719 945497 :cpressey!~cpressey@31.55.94.145 PRIVMSG #esoteric :except now i'm distracted about thinkinzg about what kind of s-exps are planted in the garden. < 1427916724 364326 :cpressey!~cpressey@31.55.94.145 PRIVMSG #esoteric :some kind of riddle, obviously < 1427916729 49684 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the sort that you use to protect strings < 1427916769 924327 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i kind of want to implement tge EnCounter using fitbit's data streams < 1427916770 401923 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I find the idea of "chucking some amount of attention to the details" quite eery. < 1427916773 467397 :cpressey!~cpressey@31.55.94.145 PRIVMSG #esoteric :support for some sort of convoluted scarecrow, maybe < 1427916778 97102 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: eerily < 1427916778 291643 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: not many resources in scheme48's vm are shared, other than miranda and unlambda? < 1427916798 84232 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: you got that right < 1427916798 357001 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: prefer html? if so, that's fine, i'm sure < 1427916816 786469 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cpressey: now you have to paste your joke in HTML, for int-e < 1427916837 411120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: I want plain text. < 1427916837 600501 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: even though i reported it. multiple times. :p they claim that not wanting a on the end < 1427916862 380686 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess that means I'm being overruled. By a bot. *pouts* < 1427916907 540082 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, have you ever cut your finger when trying to wash up a kitchen knife and you held the blade to wash the handle? < 1427916907 764650 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: or get a stamp. like " hey, i'm using safari 3.1.1 < 1427916932 477484 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: on what operating system? < 1427916932 689257 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: i don't see where it transforms non-tail calls into tail calls if possible. don't force awkward programs on yourself to do some ffi stuff with it and need to be < 1427917026 917055 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :fungot: need to be what? < 1427917027 17520 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: ( letrec ( ( a () < 1427917034 528126 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :`thanks fungot < 1427917034 649441 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: shy gypsy slyly spryly tryst by my crypt < 1427917034 650640 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: with the blue squares on the cover of the book is solely based on scheme < 1427917034 969849 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: here's my article in english ( as in, a java system doesn't map nicely onto scheme. < 1427917044 979686 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, fungot. Thungot. < 1427917099 8408 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`thanks funk < 1427917104 600130 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, funk. Thunk. < 1427917158 466685 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`thanks whistle < 1427917159 449005 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, whistle. Thistle. < 1427917259 458404 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :`thankx manx < 1427917260 411970 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: thankx: not found < 1427917261 318103 :cpressey!~cpressey@31.55.94.145 QUIT :Ping timeout: 252 seconds < 1427917271 728320 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :`thanks manx < 1427917272 667170 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, manx. Thanx. < 1427917319 879440 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :`found < 1427917320 689310 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: found: not found < 1427917337 265593 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`thanks blunder < 1427917338 604660 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, blunder. Thunder. < 1427917371 341986 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com JOIN :#esoteric < 1427917379 61954 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :This might become worse than edirc. < 1427917394 23793 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+,p < 1427917394 268600 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :? < 1427917407 418268 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :`thanks, Thursday < 1427917409 87965 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: thanks,: not found < 1427917418 653101 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`thanks 5 < 1427917419 482014 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, 5. T. < 1427917436 801997 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :`thanks Thursday < 1427917437 624688 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, Thursday. Thursday. < 1427917443 535097 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :haha, I was wondering what would happen if the argument was shorter than 2 chars < 1427917446 913640 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run thanks "" < 1427917452 17129 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err < 1427917452 839861 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, biblegia. Thiblegia. < 1427917459 97069 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` thanks "" < 1427917463 540059 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, wim. Thim. < 1427917468 130036 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :`thanks cat < 1427917470 423060 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, cat. That. < 1427917471 9278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, is it picking random `words? < 1427917473 237645 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`words 20 < 1427917475 61931 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cary ency acet mare brodworf aam jaokson overe paliquitin marta sre oee ymblicl hical ric smarque fini alto fig nisti < 1427917483 377625 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` ls -a bin/\` < 1427917493 589646 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/` < 1427917499 479627 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` ls -la bin/\` < 1427917500 655730 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-rwxr-xr-x 1 5000 0 18 Jan 6 17:40 bin/` < 1427917526 741233 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+0a < 1427917548 69246 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :++++ATH0 < 1427917549 391689 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+. < 1427917558 680910 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+,p < 1427917558 907856 :edirc!~edirc@unaffiliated/izabera/bot/edirc PRIVMSG #esoteric :+++ATH0 < 1427917722 833644 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 250 seconds < 1427918429 684292 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427918434 771498 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe, modem codes < 1427918469 755747 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1427918565 383402 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 244 seconds < 1427918566 166819 :scarf!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427918572 38590 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427918864 630224 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :consider a universal turing machine U; it reads a turing machine description T, and simulates it, but while it is simulating it it also searches for a proof that T does not terminate; U terminates if T terminates OR if U finds a proof. < 1427918910 547228 :scarf!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cpressey: we already have basically that on the wiki, I think < 1427918914 162931 :scarf!~ais523@unaffiliated/ais523 NICK :ais523 < 1427918930 67691 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :leading to a language which contains no provably nonterminating programs < 1427918935 152101 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1427918960 373036 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but which is still probably TC despite that? < 1427918976 153265 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :good, good < 1427918996 680459 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :it's certainly TC, it just terminates "more often" than a naive UTM does < 1427919285 296666 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com QUIT :Ping timeout: 252 seconds < 1427919467 993744 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net QUIT :Ping timeout: 245 seconds < 1427919478 410381 :ais523!~ais523@unaffiliated/ais523 NICK :no < 1427919481 751455 :no!~ais523@unaffiliated/ais523 NICK :ais523 < 1427919774 894541 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com JOIN :#esoteric < 1427919789 307837 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :ok, not technically TC < 1427919814 93201 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :to make it strictly-dotted-i's-crossed-t's-TC, make it loop forever once it's found the proof < 1427919851 660719 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1427919862 476479 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :but if you're willing to accept "It doesn't terminate and here's why" as a substitute for not terminating, it's definitely close enough < 1427919879 302276 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cpressey: ah, that's a slightly different idea from the language I'm thinking of < 1427919917 616171 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :i don't know which one you're thinking of, but it did sound similar... only non-provably-non-terminating programs don't terminate < 1427919924 345491 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cpressey: http://esolangs.org/wiki/Onoz < 1427919934 245833 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :ty < 1427919977 135351 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :btw, it occurs to me that if we have flexibility in how turing machines are defined, we can't avoid flexibility in what counts as "turing-complete" < 1427920001 182900 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"turing-complete" is a badly defined concept as-is < 1427920008 725558 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are some things that definitely fall on one side or the other of the line < 1427920012 469065 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but there are also things that are much clsoer < 1427920083 981522 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :well, "does the TM 'take input'" is one of the big obvious points of flexibility < 1427920119 348550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we have the phrase "bf-complete" < 1427920125 18220 :FrogLeg!~Frog@rrcs-98-101-157-150.midsouth.biz.rr.com JOIN :#esoteric < 1427920126 701879 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :and yeah, onoz is... close... but not exactly what i was thinking... i think < 1427920140 208180 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, it doesn't match your description exactly < 1427920180 188992 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :ok, so, brainfuck <-> turing machines with input and output tapes < 1427920245 266456 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :even that is a bit dicey < 1427920284 710822 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :well... ok... maybe not; what i was thinking of was unary. i think that just affects complexity, not computability < 1427920297 199656 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :but wow does it ever affect complexity, ftr < 1427920313 985120 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1427920327 606693 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427920418 97903 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427920427 611935 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427920618 441981 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :anyway, now that i have the construction, all i need to do is... find the proof it's used in < 1427920739 881256 :FrogLeg!~Frog@rrcs-98-101-157-150.midsouth.biz.rr.com QUIT :Excess Flood < 1427920763 581058 :FrogLeg!~Frog@rrcs-98-101-157-150.midsouth.biz.rr.com JOIN :#esoteric < 1427920796 208962 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1427920912 369209 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 246 seconds < 1427920922 643439 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1427921628 691423 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :I do not understand this "GLooP" language. none of the wikis describe it (except to say it goes along with BLooP and FLooP.) the CLooP page seems to suggest it has an infinite parallel operation. < 1427921698 496214 :FrogLeg!~Frog@rrcs-98-101-157-150.midsouth.biz.rr.com TOPIC #esoteric :This Topic is now Hot. B===D~ B===D~ B===D~ B===D~ B===D~ < 1427921774 737075 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :yeah thanks < 1427921816 603159 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :specifically, I don't see what the conditions for CLooP's infinite parallel "join" are. do all the (infinite number of) "threads" have to terminate? < 1427921823 99743 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cpressey: GLooP was defined by Douglas Hofstader as "more powerful than FLooP, but computable" < 1427921829 905032 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :if not, how many threads have to terminate? < 1427921833 299755 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :he concluded it didn't exist < 1427921855 309196 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :if it's "all threads", the CLooP implementation of http://esolangs.org/wiki/Brainhype will... just not work < 1427921865 811304 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427921884 805736 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427921928 462792 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :can someone put the topic back to something containing the log URLs? < 1427921933 592157 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I tried to but my client crashed < 1427921954 22219 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com TOPIC #esoteric :RIP Misao Okawa | I'm a fungot trapped in a channel full of weirdos | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ < 1427921955 698209 :FrogLeg!~Frog@rrcs-98-101-157-150.midsouth.biz.rr.com TOPIC #esoteric :http://meatspin.com/ < 1427921959 92894 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, FrogLeg, Freenode has a rule about being open about logging in channels < 1427921962 685086 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com TOPIC #esoteric :RIP Misao Okawa | I'm a fungot trapped in a channel full of weirdos | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ < 1427921964 193154 :ChanServ!ChanServ@services. MODE #esoteric +o :ais523 > 1427921964 589836 NAMES :#esoteric < 1427921971 83184 :ais523!~ais523@unaffiliated/ais523 MODE #esoteric +b :FrogLeg!*@* > 1427921971 93888 NAMES :#esoteric < 1427921972 528633 :ais523!~ais523@unaffiliated/ais523 KICK #esoteric FrogLeg :trolling < 1427921974 530679 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds < 1427921978 463217 :ais523!~ais523@unaffiliated/ais523 MODE #esoteric -o :ais523 > 1427921978 473785 NAMES :#esoteric < 1427921993 643242 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :
ACTION hello
< 1427921997 961278 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com TOPIC #esoteric :RIP Misao Okawa | I'm a fungot trapped in a channel full of weirdos | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1427921999 909814 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :benefit of the doubt with one relatively harmless topic change < 1427922006 452539 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :hope i got that right < 1427922013 158122 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no benefit of the doubt with shock site links < 1427922027 617526 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Good policy < 1427922090 333631 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :ais523: so DH *defined* GLooP to be "more powerful" without actually, uh, constructively defining how it was intended to go about that? < 1427922104 744864 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :that would explain absence of descriptions of it < 1427922154 505427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cpressey: I think he intended it to not exist < 1427922161 369723 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and brought it up as a teaser < 1427922170 299953 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :yeah, ok < 1427922243 636095 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427922249 904301 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :i posit that CLooP's "GLooP mode" does not actually add any more power to the language, and specifically, it can't be used to implement Brainhype, and i guess i'll edit the page at some point if i feel like putting in the effort, ugh < 1427922261 463079 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It has been a while since I have read GEB < 1427922268 694416 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: that non-termination proving TM is interesting, but it still runs afoul of diagonalization. (let U(x,y) be a TM that terminates with 1 if the TM x accepts y, and with 0 if it could prove that x(y) does not terminate. Then consider M(x) that first executes U(x,x), terminates if it halts with 0, and loops forever if it halts with 1. Then U(M,M) will not terminate, assuming that th... < 1427922274 833546 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...e formal system used by U for proving nontermination is sound. < 1427922305 72432 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess you have the escape hatch that soundness of that system is not provable < 1427922355 576303 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But in that sense we cannot hope to prove anything of interest (so, at least as strong as Peano arithmetic) at all. < 1427922540 602400 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com QUIT :Ping timeout: 272 seconds < 1427922594 650878 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com JOIN :#esoteric < 1427922724 594157 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1427922761 909415 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :int-e: I'm not sure what you're getting at < 1427922803 491521 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :As I said, if T doesn't terminate, and there if no proof of this fact, U doesn't terminate < 1427922803 762692 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Ping timeout: 250 seconds < 1427922827 167380 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: "only non-provably-non-terminating programs don't terminate" <-- the notion of nonprovability also exists on a meta level. < 1427922830 202118 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :*is no proof < 1427922890 136053 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :I have no idea what you mean by "a meta level", sorry. < 1427922901 740251 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :My wording there may've been sloppy < 1427922905 479699 :augur_!~augur@c-71-57-177-235.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1427922929 729465 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It's the same kind of reasoning that says that Gödel's sentence is false in the standard model of Peano arithmetic, provided that Peano arithmetic is consistent. < 1427922940 238997 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :The only T's for which U doesn't terminate are those for which U cannot find a proof (of T's non-termination) < 1427923020 135605 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :I'm still not sure what you're getting at, and I'm getting the impression you think I think U is more powerful than it actually is...? < 1427923065 358472 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No. The whole point here is that I can reason about programs in ways that U can't. < 1427923112 985632 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :int-e: that would seem to be a dreadfully strong claim w.r.t. the computationalist theory of mind... < 1427923124 333100 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :That's what I did, I described a program that will not terminate (under consistency assumptions), but that U cannot prove nonterminating. < 1427923149 871820 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com PRIVMSG #esoteric :and for that program, U doesn't terminate -- as per my definition -- and...? < 1427923165 307393 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 N10 02http://esolangs.org/w/index.php?oldid=42255 5* 03SuperJedi224 5* (+960) 10Created page with "The '''Hexadecimal Stacking Pseudo-Assembly Language''' (HSPAL) is a programming language by [[User:SuperJedi224|SuperJedi224]] in which a program is represented by a list of ..." < 1427923203 521306 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: But we can prove that it doesn't terminate, whereas U can't. (Honestly, it's the consistency assumption that will bite me in the end.) < 1427923215 107435 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 10 02http://esolangs.org/w/index.php?diff=42256&oldid=42255 5* 03SuperJedi224 5* (+11) 10 < 1427923287 943546 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Mmmm()14]]4 10 02http://esolangs.org/w/index.php?diff=42257&oldid=42235 5* 03SuperJedi224 5* (+18) 10 < 1427923311 902557 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 10 02http://esolangs.org/w/index.php?diff=42258&oldid=42256 5* 03SuperJedi224 5* (+45) 10 < 1427923371 481140 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Turing Script14]]4 10 02http://esolangs.org/w/index.php?diff=42259&oldid=42141 5* 03SuperJedi224 5* (+18) 10 < 1427923403 776631 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07GridScript14]]4 10 02http://esolangs.org/w/index.php?diff=42260&oldid=41337 5* 03SuperJedi224 5* (+16) 10 < 1427923414 385776 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: And no, it doesn't contradict the computationalist theory of mind either. We can implement that reasoning in a Turing machine, but it will be a different one from U. < 1427923427 349160 :AnotherTest!~turingcom@d51A4C6F4.access.telenet.be JOIN :#esoteric < 1427923437 653856 :cpressey!~cpressey@host86-187-161-44.range86-187.btcentralplus.com QUIT :Ping timeout: 256 seconds < 1427923458 853986 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :int-e: it's not necessarily meta-logic < 1427923485 298017 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you can just throw in more axioms to any logical system < 1427923505 674023 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :since any TM will only include finitely many axioms encoded, you can always make a "stronger" termination-checker TM < 1427923536 942215 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07HSPAL14]]4 N10 02http://esolangs.org/w/index.php?oldid=42261 5* 03SuperJedi224 5* (+59) 10Redirected page to [[Hexadecimal Stacking Pseudo-Assembly Language]] < 1427923558 668194 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=42262&oldid=42254 5* 03SuperJedi224 5* (+12) 10/* H */ < 1427923619 860858 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 10 02http://esolangs.org/w/index.php?diff=42264&oldid=42258 5* 03SuperJedi224 5* (+0) 10 < 1427923652 523311 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :int-e: groan < 1427923665 11739 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 10 02http://esolangs.org/w/index.php?diff=42265&oldid=42264 5* 03SuperJedi224 5* (+6) 10 < 1427923807 60597 :cpressey_!~cpressey@109.144.191.252 JOIN :#esoteric < 1427923852 713122 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric : cpressey: But we can prove that it doesn't terminate, whereas U can't. <-- yes, U just tries forever, and fails to find a proof, consistent with its definition < 1427923911 164376 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :other than thinking you've misread my definition, I can't see what the problem is here. < 1427923940 817346 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :what about U makes it incapable of taking any proof strategy that an arbitrary TM could take? < 1427923954 336988 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :I honestly can't see anything stopping it from that < 1427923997 45975 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ultimately it's because soundness of formal systems is so elusive. < 1427924013 531852 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :U is no more sound than any other UTM < 1427924035 566438 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :it just terminates on some T's that a naive UTM wouldn't terminate on < 1427924053 431273 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :apologies if I was giving some other impression. I didn't think I was. < 1427924099 39501 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : <-- yes, U just tries forever, and fails to find a proof, consistent with its definition ← that was the basic idea behind onoz too < 1427924101 636123 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Look, all I did was take your innocent use of "provable" and apply it to a formal system that is not embedded in U. < 1427924121 890414 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :sorry, should've said "provable by Turing machine", I guess < 1427924154 940641 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :ais523: yes, onoz is basically this with a few small twists (it checks inside loops only, for example) < 1427924160 410193 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Though it could be embedded in a different Turing machine, U') < 1427924168 644083 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :int-e: there, I disagree < 1427924328 831420 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :BT certainly isn't helping, tonight < 1427924342 62742 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sorry, but then you're missing the point of Gödel's incompleteness. < 1427924397 87275 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :Can you phrase it in terms of the Halting Problem, instead of Goedel's incompleteness? < 1427924421 668059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's no concept of "provable by Turing machine" without saying _which_ Turing machine. < 1427924422 32528 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :U will either have embedded an inconsistent nontermination prover (and thus there will be Turing machines that actually halt, but that U will declare as non-terminating) or one can *construct* a non-terminating program from U that U cannot show non-terminating, because non-provability rests on a consistency assumption, and consistency of the systems can't be proved inside the system. < 1427924481 49028 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey_: I did that already above: < 1427924484 29264 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Let U(x,y) be a TM that terminates with 1 if the TM x accepts y, and with 0 if it could prove that x(y) does not terminate. Then consider M(x) that first executes U(x,x), terminates if it halts with 0, and loops forever if it halts with 1. Then U(M,M) will not terminate, assuming that the formal system used by U for proving nontermination is sound. < 1427924564 925308 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey_: Note that this implies that M(M) does not terminate, but U cannot prove that fact. < 1427924644 733451 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :OK -- give me a second < 1427924644 734538 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :"one can *construct* a non-terminating program from U" -- let's call this Y < 1427924644 734592 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :you feed Y to U < 1427924658 841182 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Y is M(M). < 1427924672 600928 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :at 22:43 I said "OK -- give me a second" but BT is just awful tonight < 1427924698 272431 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1427924743 395919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@time cpressey_ < 1427924746 935178 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for cpressey_ is Wed Apr 1 22:47:42 2015 < 1427924759 109655 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :test < 1427924782 410336 :^v^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 QUIT :Read error: Connection reset by peer < 1427924785 222078 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :ok < 1427924786 794370 :cpressey_!~cpressey@109.144.191.252 PRIVMSG #esoteric :hi < 1427924789 306447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :cpressey_: you're not that lagged accordingly to lambdabot < 1427924804 628868 :^v^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 JOIN :#esoteric < 1427924835 609089 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@time cpressey_ < 1427924836 854258 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :23:47:44 @time cpressey_ ==> Local time for cpressey_ is Wed Apr 1 22:47:42 2015 <-- time travel, but maybe *I*'m lagging... < 1427924856 755936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok _now_ it is lagging. < 1427924863 261444 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@time oerjan < 1427924864 392667 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for oerjan is Wed Apr 1 23:49:44 2015 < 1427924867 396906 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1427924892 47131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :CTCP PING reply from int-e: 0.855 seconds < 1427924900 312050 :cpressey_!~cpressey@109.144.191.252 QUIT :Read error: Connection reset by peer < 1427924941 123689 :cpressey!~cpressey@109.144.144.63 JOIN :#esoteric < 1427924959 808732 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :int-e: let's assume uses ZFC for its proof system. we don't know it's consistent, of course < 1427924961 666978 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :FireFly: I'm sorry btw, I intended it to be an innocent remark, I didn't expect this to result in such a lengthy string of misunderstandings on various levels. < 1427924980 377517 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :int-e: i'm also going to assume we both know what Y refers to < 1427924985 218713 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :now, you feed Y into U < 1427924987 447860 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :what happens? < 1427925030 425425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the "we don't know it's consistent, of course" rather ruins it, i think. < 1427925072 939323 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :look, if ZFC's inconsistent we'll just find a ZFC' that we think is probably not inconsistent and carry on < 1427925085 640502 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :if ZFC's inconsistent, 1 = 0 < 1427925096 44012 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: Well, U either terminates because Y terminates, or it terminates because it has proven that Y doesn't terminate, or it runs forever. < 1427925103 178038 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :so if you're going to say "ah but ZFC might be inconsistent" there's no bloody point < 1427925125 842468 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :int-e: and that was not captured by my definition... how exactly? < 1427925152 61232 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: but in the first case Y cannot terminate. and in the second case Y actually terminates (so either the system is inconsistent or this cannot happen). < 1427925186 764178 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I refined your definition: "Let U(x,y) be a TM that terminates with 1 if the TM x accepts y, and with 0 if it could prove that x(y) does not terminate." < 1427925244 144699 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I also spearated the Turing machine from its input because it's technically more convenient. This is not essential.) < 1427925271 728216 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :why would U prove that Y doesn't terminate (the second case, as you called it) if Y does in fact terminate? < 1427925342 408091 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cpressey: because the formal system used for proving non-termination might be inconsistent; classically that means it can prove anything at all; I expect that intuitionistically it's almost as bad (but I'd have to think about this a bit more) < 1427925373 447798 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1427925386 634523 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :ok, I am, for practical purposes, assuming it's using ZFC and assuming that ZFC is consistent. so the second case cannot happen. < 1427925402 471212 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Right. Then only the third case remains. < 1427925418 295835 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :Right. < 1427925427 536283 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I.e., Y doesn't terminate and U(M,M) cannot prove this. < 1427925437 74810 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :I still fail to see the problem. Unless the problem is "Oh noes, ZFC might not be consistent." < 1427925438 77469 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(In its internal non-termination prover.) < 1427925538 902516 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :There is no problem, just a strange tangle that is not quite a loop: We have a program that we know (provably, assuming consistency; this is and will always be the weak point) doesn't terminate, but the formal system embedded in U is too weak to show that. < 1427925627 945400 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :OK, then there's no problem. < 1427925713 777063 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :I mean, I might be a brain in a vat, too. I don't usually worry about such things. < 1427926040 334779 :AnotherTest!~turingcom@d51A4C6F4.access.telenet.be QUIT :Remote host closed the connection < 1427926160 737926 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :int-e: are you *sure* you can't rephrase your point in terms of the HP? because I would find that a lot easier to understand. < 1427926257 328842 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1427926362 334647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> flip showsTypeRep "" $ typeRep (Proxy :: Proxy ()) < 1427926363 546094 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "()" < 1427926380 752129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> flip showsTypeRep "" $ typeRep (Proxy :: Proxy (Proxy ())) < 1427926382 839783 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "Proxy * ()" < 1427926387 221490 :cpressey!~cpressey@109.144.144.63 PRIVMSG #esoteric :http://www.scottaaronson.com/blog/?p=710 seems to strongly suggest this sort of thing can all be done with TM's. i've only skimmed it so far though. < 1427926441 191934 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1427926443 506360 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No, I think I need diagonalization, i.e. the proof method used for showing that the halting problem is undecidable. < 1427926493 389223 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In any case I generally find the former easier than trying to shoe-horn proofs to only use the latter. < 1427926519 761240 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@time tswett < 1427926520 154145 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for tswett is Wed Apr 1 22:17:21 2015 < 1427926535 272040 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :[18:17:21] Local time for tswett is Wed Apr 1 22:17:21 2015 < 1427926556 286095 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nice, your client replies in UTC :) < 1427926558 224155 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Apparently my IRC client disagrees with itself as to the time. < 1427926592 307957 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@time djanatyn < 1427926592 544157 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for djanatyn is Wed, 01 Apr 2015 15:18:33 -0700 < 1427926593 875399 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION needs a script to hook into the ctcp time replies.
< 1427926601 118031 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hmmm. < 1427926603 669320 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@time NickServ < 1427926638 401867 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, you know lenses in functional programming? < 1427926644 633789 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Those can be interpreted in any category, right? < 1427926676 162429 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, any category with... binary products? < 1427926693 163725 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Has anyone actually studied those? < 1427926741 111139 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: are you thinking of products or tensors? < 1427926765 930278 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Just plain ol' categorical products, I'm pretty sure. < 1427926778 570997 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A lens consists of arrows A -> B and (A * B) -> A such that blah blah blah. < 1427926853 565372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lenses can be lots of things. < 1427926855 501221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i think the above question is for you ^ < 1427926881 369473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But type-changing lenses are much nicer than the other kind. < 1427926894 437007 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And type-changing is really some sort of naturality. < 1427926909 425244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway this has been discussed in #haskell-lens < 1427926982 170825 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote lens < 1427926988 391706 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :895) Taneb: STOP TRYING TO GET LENS INTO EVERYTHING Bike: You should use lens! NEVER shachaf: i'm getting mixed messages here \ 984) Bike: I think you're ready to learn about lens. oh god fiora help somebody help anybody \ 1186) in that thread Taneb admits to his sins < 1427927157 665156 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Arrows g : A -> B and s : (A * B) -> A such that g . s : (A * B) -> B is the right projection, s . (A * g) . (\x -> (x,x)) : A -> A is the identity, and s . (s * B) . (\(x,y) -> (x,y,y)) : (A * B) -> A is s. < 1427927178 298806 :cpressey!~cpressey@109.144.144.63 QUIT :Quit: leaving < 1427927454 389779 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 264 seconds < 1427927756 285134 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@ask Bike where are you? < 1427927757 357963 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1427927857 609429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he seems to be online < 1427927881 934031 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1427928073 394189 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 246 seconds < 1427928184 291420 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net JOIN :#esoteric < 1427929159 271594 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Vriskanon14]]4 M10 02http://esolangs.org/w/index.php?diff=42266&oldid=42224 5* 03Vriskanon 5* (+0) 10/* Vriskanon */ Typo < 1427930490 577220 :oren!~oren@65.94.97.99 JOIN :#esoteric < 1427930720 853565 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :today my only achievement was eating 500g of bacon < 1427930838 381880 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :i wonder how many calores that is. < 1427930892 1480 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :> 541 * 5 < 1427930893 503677 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2705 < 1427930901 881086 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :excellent < 1427931333 667584 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1427931413 672612 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :helloren. baconinging? < 1427931419 809964 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(bacon binge. baconinge.) < 1427931463 912856 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1427931484 670428 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427931538 657194 :Lymee!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427931582 541428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good evening, boily. < 1427931639 649735 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Good evening, shachaf. < 1427931724 739213 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427932549 710626 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427932617 671258 :Lymee!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 265 seconds < 1427932730 891542 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Remote host closed the connection < 1427932775 7552 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric