< 1259280005 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : damn oerjan with his leavings <-- MWAHAHAHA < 1259280010 0 :yiyus!i=12427124@je.je.je JOIN :#esoteric < 1259280504 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION realizes that norwegians have no humor, or no.no.no would exist < 1259280838 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259281070 0 :yiyus!unknown@unknown.invalid PRIVMSG #esoteric :he < 1259281232 0 :yiyus!unknown@unknown.invalid PRIVMSG #esoteric :mycroftiv: hi! i did not expect to find you here < 1259281605 0 :madbr!n=madbrain@modemcable175.136-81-70.mc.videotron.ca JOIN :#esoteric < 1259281606 0 :madbr!unknown@unknown.invalid PRIVMSG #esoteric :hey < 1259282620 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1259282728 0 :Pthing!unknown@unknown.invalid QUIT :Remote closed the connection < 1259283417 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh wait fuck :D < 1259283466 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :not being online is cruel < 1259283469 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :-> < 1259284284 0 :quantumEd!unknown@unknown.invalid QUIT :Remote closed the connection < 1259284308 0 :quantumEd!n=somebody@unaffiliated/fax JOIN :#esoteric < 1259289790 0 :Azstal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259291087 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :yiyus: hey yiyus, I ended up here fairly serendipitously, its a fascinating channel < 1259291096 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1259293326 0 :lament!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259293380 0 :lament!n=lament@S0106001b63f462cc.vc.shawcable.net JOIN :#esoteric < 1259297725 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1259298943 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1259298954 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1259299705 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259303904 0 :Slereah!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259303905 0 :Gracenotes!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259304459 0 :madbr!unknown@unknown.invalid QUIT :"Radiateur" < 1259305177 0 :quantumEd!unknown@unknown.invalid QUIT :"Leaving" < 1259306521 0 :quantumEd!n=somebody@unaffiliated/fax JOIN :#esoteric < 1259308799 0 :clog!unknown@unknown.invalid QUIT :ended < 1259308800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1259309823 0 :Slereah!n=Slereah@ANantes-259-1-141-115.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1259309823 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1259310977 0 :Asztal!n=asztal@host86-159-109-121.range86-159.btcentralplus.com JOIN :#esoteric < 1259313923 0 :Azstal!n=asztal@host86-172-5-155.range86-172.btcentralplus.com JOIN :#esoteric < 1259314640 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259315506 0 :quantumEd!unknown@unknown.invalid QUIT :"Leaving" < 1259316475 0 :Azstal!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259316475 0 :Slereah!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259316477 0 :Gracenotes!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259316571 0 :Azstal!n=asztal@host86-172-5-155.range86-172.btcentralplus.com JOIN :#esoteric < 1259316571 0 :Slereah!n=Slereah@ANantes-259-1-141-115.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1259316571 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1259322943 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh, http://klee.llvm.org is really amazing < 1259323020 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :though quite buggy still, and quite a pain to compile properly. Similar to the state clang was in about half a year ago < 1259323716 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1259323757 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : not being online is cruel <-- yes. yes it is. < 1259324561 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1259325256 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :no it isn't < 1259325297 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hello oklokok's evil twin < 1259325321 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i would say mwahahaha, but i'm not sure i'm *that* evil < 1259325330 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :MWAHAHAHA < 1259325347 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :anyway i think i should sleep, kind of did math all night < 1259325370 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sleep is good, if you can afford it < 1259325403 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, iwc! < 1259325415 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1259326015 0 :Pthing!n=pthing@77-100-194-169.cable.ubr04.pres.blueyonder.co.uk JOIN :#esoteric < 1259327841 0 :coppro!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1259331120 0 :Pthing!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259331121 0 :Azstal!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259331121 0 :Slereah!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259331121 0 :Gracenotes!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259331404 0 :Slereah!n=Slereah@92.139.164.115 JOIN :#esoteric < 1259331417 0 :Pthing!n=pthing@77.100.194.169 JOIN :#esoteric < 1259331418 0 :Asztal!n=asztal@host86-172-5-155.range86-172.btcentralplus.com JOIN :#esoteric < 1259331440 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1259332413 0 :BeholdMyGlory!n=behold@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1259334904 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm how many possible befunge-98 programs of length 10 is there? Assume for the sake of the discussion that only deterministic instructions defined in befunge-98 with no fingerprints loaded (or being loaded) are of interest (so [A-Zmlh?()] are forbidden, as is everything above codepoint 127 and anything below codepoint 32 (except codepoint 10, which is \n) < 1259334922 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :"length 10" here means input file length in bytes < 1259335078 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :n to the power 10, whatever n is < 1259335138 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :n = n.o. commands < 1259335140 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm right < 1259335148 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :except: string mode < 1259335156 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, what about ' then? < 1259335165 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which makes your exceptions unreasonable < 1259335168 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that is like a "one-off string mode" < 1259335207 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Example: 'x@ pushes x then exits < 1259335240 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which means you may need dataflow analysis to determine whether a program is legal < 1259335251 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, how so? < 1259335253 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1259335258 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well yeah with g and p < 1259335276 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because you don't know whether a particular character will be executed as a command < 1259335290 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, nor do you know if it will be replaced before you execute it or not < 1259335314 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1259335320 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so you essentially have to run the program candidates to count them < 1259335375 0 :MigoMipo!n=MigoMipo@84-217-10-8.tn.glocalnet.net JOIN :#esoteric < 1259335404 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :for large enough values of 10 you should hit the halting problem there < 1259335445 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, "for large enough values of 10" heh < 1259335520 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well if all programs were allowed instead that would be (127-31+1)^10 then? < 1259335533 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(all that are defined in funge-98 that is) < 1259335550 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :'å is well defined < 1259335559 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, not outside string mode < 1259335563 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1259335576 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :'å is well defined outside string mode; å isn't, yes < 1259335590 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, ah yes missed that ' < 1259335592 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well indeed < 1259335611 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : v < 1259335613 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, more than 127-31 < 1259335614 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :'å < 1259335629 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, for the sake of simplification (and not having to have a headache about if we use ISO-something or UTF-8 or whatever) however lets resume 127-31 right now < 1259335683 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :And still, actually, å is well defined; it's equivalent to r < 1259335685 0 :lament!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335686 0 :MizardX!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335686 0 :kar8nga!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335687 0 :Slereah!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335688 0 :puzzlet!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335688 0 :fungot!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335688 0 :fizzie!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335689 0 :Deewiant!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335689 0 :rodgort!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335689 0 :Rembane!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335690 0 :AnMaster!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335690 0 :Warrigal!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335691 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335691 0 :Asztal!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335692 0 :oerjan!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335692 0 :bsmntbombdood!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335693 0 :ineiros!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335693 0 :Gregor!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335694 0 :mtve!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335694 0 :Gracenotes!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335694 0 :Pthing!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335698 0 :sebbu2!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335698 0 :cal153!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335698 0 :SimonRC!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335698 0 :oklokok!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335698 0 :mycroftiv!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335698 0 :HackEgo!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335702 0 :olsner!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335702 0 :MigoMipo!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335703 0 :Ilari!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335704 0 :jix!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335708 0 :jix!n=jix@cyb0rg.org JOIN :#esoteric < 1259335730 0 :lament!n=lament@S0106001b63f462cc.vc.shawcable.net JOIN :#esoteric < 1259335740 0 :lament!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335752 0 :jix!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259335755 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1259335755 0 :Pthing!n=pthing@77.100.194.169 JOIN :#esoteric < 1259335755 0 :sebbu2!n=sebbu@ADijon-152-1-49-152.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1259335755 0 :cal153!n=cal@c-69-181-46-213.hsd1.ca.comcast.net JOIN :#esoteric < 1259335755 0 :SimonRC!n=sc@fof.durge.org JOIN :#esoteric < 1259335755 0 :oklokok!n=oklopol@a91-153-117-63.elisa-laajakaista.fi JOIN :#esoteric < 1259335755 0 :mycroftiv!n=infernus@h69-128-47-243.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1259335755 0 :HackEgo!n=HackEgo@codu.xen.prgmr.com JOIN :#esoteric < 1259335755 0 :olsner!n=salparot@h-60-96.A163.priv.bahnhof.se JOIN :#esoteric < 1259335778 0 :jix!n=jix@cyb0rg.org JOIN :#esoteric < 1259335779 0 :lament!n=lament@24.87.20.163 JOIN :#esoteric < 1259335798 0 :BeholdMyGlory!n=behold@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1259335798 0 :Asztal!n=asztal@host86-172-5-155.range86-172.btcentralplus.com JOIN :#esoteric < 1259335798 0 :Slereah!n=Slereah@92.139.164.115 JOIN :#esoteric < 1259335798 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1259335798 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1259335798 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1259335798 0 :Warrigal!n=warrie@lunch.normish.org JOIN :#esoteric < 1259335798 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1259335798 0 :Rembane!i=rembane@83.168.206.7 JOIN :#esoteric < 1259335798 0 :MizardX!i=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1259335798 0 :Gregor!n=gregor@65.183.185.22 JOIN :#esoteric < 1259335798 0 :ineiros!n=itniemin@james.ics.hut.fi JOIN :#esoteric < 1259335798 0 :bsmntbombdood!n=gavin@97-118-189-194.hlrn.qwest.net JOIN :#esoteric < 1259335798 0 :fizzie!n=fis@83.150.124.63 JOIN :#esoteric < 1259335798 0 :fungot!n=fungot@momus.zem.fi JOIN :#esoteric < 1259335798 0 :Deewiant!n=deewiant@130.233.228.12 JOIN :#esoteric < 1259335798 0 :rodgort!n=rodgort@64.71.152.39 JOIN :#esoteric < 1259335798 0 :mtve!n=nnnnnmtv@65.98.99.53 JOIN :#esoteric < 1259335809 0 :Ilari!n=user@a88-113-39-59.elisa-laajakaista.fi JOIN :#esoteric < 1259335819 0 :Ilari!unknown@unknown.invalid NICK :Ilari_ < 1259335820 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :if I'm right that means 73742412689492826049 or so. Which won't fit in a 64-bit variable (about 4 times too large) < 1259335891 0 :Ilari_!unknown@unknown.invalid NICK :Ilari < 1259336040 0 :mental!n=lament@S0106001b63f462cc.vc.shawcable.net JOIN :#esoteric < 1259336264 0 :MigoMipo!n=MigoMipo@84-217-10-8.tn.glocalnet.net JOIN :#esoteric < 1259337296 0 :quantumEd!n=somebody@unaffiliated/fax JOIN :#esoteric < 1259337616 0 :adam_d!n=Adam@AAnnecy-751-1-5-129.w90-52.abo.wanadoo.fr JOIN :#esoteric < 1259339337 0 :Slereah_!n=Slereah@ANantes-259-1-34-139.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1259339361 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1259339658 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1259340000 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1259341613 0 :adam_d_!n=Adam@AAnnecy-751-1-12-214.w90-52.abo.wanadoo.fr JOIN :#esoteric < 1259341688 0 :adam_d__!n=Adam@AAnnecy-751-1-8-122.w90-52.abo.wanadoo.fr JOIN :#esoteric < 1259342533 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1259342659 0 :adam_d!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259342859 0 :adam_d_!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1259343449 0 :sebbu!n=sebbu@ADijon-152-1-87-30.w81-49.abo.wanadoo.fr JOIN :#esoteric < 1259343627 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1259345260 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1259346314 0 :oklokok!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1259346787 0 :oklofok!n=oklopol@a91-153-117-63.elisa-laajakaista.fi JOIN :#esoteric < 1259346884 0 :oklofok!unknown@unknown.invalid TOPIC #esoteric :don't ask to ask. http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1259346943 0 :adam_d__!unknown@unknown.invalid NICK :adam_d < 1259348120 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1259348158 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, may I ask if I can ask to ask? < 1259348908 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1259348917 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :fine by me < 1259349024 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well are you gonna? < 1259349561 0 :Gracenotes!unknown@unknown.invalid QUIT :"Leaving" < 1259349835 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, no < 1259349853 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, I shall refuse to ask you to ask! < 1259349869 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :And never will I ask the actual question. < 1259349894 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :what is the actual question? < 1259349905 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :you don't have to ask it I just wonder what it is < 1259349911 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :You will _never_ know what it was! < 1259350331 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm are you new here quantumEd? Don't recall that nick in here before... < 1259350357 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :im fax < 1259350362 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1259350391 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :llvm asm sure is messy bte < 1259350392 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :btw* < 1259350639 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Not really < 1259350649 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Only compiler-generated stuff :-P < 1259350781 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, fair enough, but gcc generated x86 asm is quite easy to read for something like abs(), llvm asm for the same function is not < 1259350806 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Sounds like you're comparing a language you know and a language you don't < 1259350891 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, there is a lot of metadata in llvm asm < 1259350893 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it seems < 1259350935 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :define i32 @abs(i32 %x) nounwind readnone { < 1259350935 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :entry: < 1259350935 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric : %neg = sub i32 0, %x ; [#uses=1] < 1259350935 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric : %abscond = icmp sgt i32 %x, -1 ; [#uses=1] < 1259350935 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric : %abs = select i1 %abscond, i32 %x, i32 %neg ; [#uses=1] < 1259350938 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric : ret i32 %abs < 1259350940 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :} < 1259350956 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, what about stuff like: < 1259350968 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : tail call void @llvm.dbg.stoppoint(i32 34, i32 0, { }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*)) < 1259350979 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :That's debug info < 1259350986 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, strange, because I'm using -g0 < 1259351036 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh I blame clang, with llvm-gcc I get much more reasonable output < 1259351050 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Are you sure clang interprets -g0 the way you think it does? < 1259351084 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I'm using "clang" not "clang-cc". "clang" claims to be gcc-compatible for command line purposes < 1259351090 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :while clang-cc isn't < 1259351096 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Oh, I didn't know that < 1259351103 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, at least according to docs < 1259351108 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :how accruate they are I don't know < 1259351115 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :$ clang --help < 1259351115 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :OVERVIEW: clang "gcc-compatible" driver < 1259351119 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I do trust that however :P < 1259351123 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :It's in quotes, note :-P < 1259351136 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :As in "kinda" gcc-compatible < 1259351144 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :dropping -g0 didn't help either < 1259351161 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Well that's weird < 1259351201 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, on the other hand, I'm used to llvm being buggy. In fact: being buggy is one of the defining traits of llvm. (Another one is "being cool") < 1259351226 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :That doesn't sound buggy, that sounds completely messed up :-P < 1259351311 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, oh you mean like his output: http://sprunge.us/BjQS < 1259351315 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, another llvm tool < 1259351318 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cool but buggy < 1259351322 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and yeah partly messed up < 1259351333 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(can you spot the "wtf" in that?) < 1259351338 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Klee? Never used it, beats me < 1259351349 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, can you spot the wtf though? < 1259351350 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Not really, no < 1259351361 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, the wtf is embedding xml in a plain text file < 1259351369 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :inside some BEGIN ... END blockj < 1259351370 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Doesn't look like XML to me < 1259351372 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :block* < 1259351385 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, SGML maybe < 1259351388 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Just notation for what output comes from what searcher < 1259351392 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I wouldn't call it XML < 1259351393 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : < 1259351393 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : < 1259351399 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that thing looks XMLish at least < 1259351421 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, XMLish, sure < 1259351454 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, oh and clang's static analyzer wrote the output as a .plist XML file. Why this OS X-ism? < 1259351477 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you might as well use gcc-xml or something equally insane < 1259351492 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Because they're Apple devs? < 1259351510 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I'm pretty sure it didn't use plist to begin with. Also they aren't all apple devs iirc < 1259351634 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, also klee seems really cool. Very buggy still, and a pain to compile correctly (especially compiling the patched uclibc it uses was a pain). < 1259351641 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but cool. More so that clang even < 1259351708 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, http://klee.llvm.org/ < 1259351710 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Have you run cfunge through it yet? :-P < 1259351717 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yes, I am aware of klee < 1259351816 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, and yes I have been testing cfunge with it. Needed a lot of modifications though. Basically the modified version loads a symbolic-ised string directly into funge space instead, skipping the file completely. Because it seems mmap() isn't supported. Oh and I was unable to get the "symbolic file input" thing to work even with simple fopen() fread() < 1259351839 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, so far I only hit klee bugs however < 1259351872 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Not surprising, it's pretty beta from what I understand < 1259351925 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, oh and it will easily eat all your ram. How many do you have? On cfunge it passes 4 GB and starts wanting swap unless you cap it (in which case it tells you it skipped some paths due to that) < 1259351946 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I have 8 < 1259351961 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I'm pretty sure it would pass that too fairly quickly < 1259352007 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :for 5 random chars in the range 31-127 with mlh excluded < 1259352017 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :err 32-127 < 1259352021 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(inclusive) < 1259352089 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I think the "test failing system calls" mode will give more interesting results < 1259352094 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :haven't got around to trying that yet < 1259352120 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh and I'm fairly certain I hit a clang bug in how it handles certain warnings today. < 1259352128 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that's 2.6 clang not trunk clang though < 1259352140 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :What bug? < 1259352212 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, simple: make a function that doesn't return, annotate with __attribute__((noreturn)), turn on -Wmissing-noreturn (iirc that is how it is spelled), compile. Watch the warning about missing noreturn for the function that *has* the attribute show up < 1259352329 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Did you report it? < 1259352444 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :doesn't AnMaster consider not reporting stuff highly unethical < 1259352889 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Example? < 1259352954 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: (I can't make it fail) < 1259353507 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1259353912 0 :lament!unknown@unknown.invalid QUIT :Nick collision from services. < 1259353917 0 :mental!unknown@unknown.invalid NICK :lament < 1259354452 0 :Sgeo!n=Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1259354911 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : doesn't AnMaster consider not reporting stuff highly unethical <-- yes, but I don't have time to check out svn and build atm < 1259354954 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : AnMaster: Example? <-- compile cfunge bzr version with clang. Before it fails on inline asm due to pretending to be gcc and then refusing to accept gcc inline asm constraints it will report that < 1259354959 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or was it after? try make -k < 1259354974 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, and do you have 2.6 clang? < 1259355113 0 :pikhq!n=pikhq@75-106-100-139.cust.wildblue.net JOIN :#esoteric < 1259355364 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well, now I hidden the asm for it. so if you pull cfunge it should compile on clang out of box. Still the spurious warning though < 1259355387 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, oh and if Gregor can't reproduce the bug, it is probably a local issue only. < 1259355741 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1259355752 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Oh, clang :P < 1259355770 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Oh, I see, it's a problem with gcc that clang reproduces. < 1259355782 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Hypothetically. But I don't really want to go through that much work to repro it :P < 1259355912 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : Oh, I see, it's a problem with gcc that clang reproduces. <-- eh? < 1259355941 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, and gcc doesn't give that when the function is marked with the attribute < 1259355942 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :If it happens with clang but not with my simple test case, then it's some convoluted situation under which it's reproduced. < 1259355956 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, what version of clang do you have? < 1259355960 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :None < 1259355972 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well < 1259355975 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that explains it < 1259355975 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :duh < 1259355991 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as for simple test case, I didn't have time to try < 1259356000 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is writing one now < 1259356006 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I didn't read enough backlog :P < 1259356014 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I just saw some compiler warning, saw that GCC has that flag, and then tried :P < 1259356098 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :actually a simple test case with clang does it < 1259356162 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(horrible formatting for brevity on irc): < 1259356165 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :#include < 1259356165 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :__attribute__((noreturn)) void mynoret(void) { < 1259356165 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : exit(0); < 1259356165 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :} < 1259356165 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :int main(void) { < 1259356165 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : mynoret(); < 1259356168 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :} < 1259356182 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :clang-noret.c:2:46: warning: function could be attribute 'noreturn' [-Wmissing-noreturn] < 1259356182 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :__attribute__((noreturn)) void mynoret(void) { < 1259356182 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : ^ < 1259356186 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :is what I get from clang < 1259356194 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, did that explain it? < 1259356202 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :ACTION types "aptitude install clang" and is extremely surprised when nothing happens. < 1259356203 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :gcc has the same flag < 1259356209 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Right, hence my stupid :P < 1259356211 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but it does the right thing < 1259356267 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, what is the point of making your build system check if compiler claims to be gcc AND accepts a warning flag when other compilers claim to be gcc, accepts the flag but then reports the wrong thing < 1259356268 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1259356298 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Well, 's broken. < 1259356320 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, true, it is worse when a feature just isn't supported even when it claims it should be. < 1259356324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you end up with stuff like: < 1259356395 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(sorry got distracted by rl) < 1259356401 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :second try: < 1259356433 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :#if defined(__GNUC__) && !defined(__INTEL_COMPILER) && !defined(__clang__) < 1259356434 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and so on < 1259356453 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just because they claim to be gcc and then fail to handle inline asm constraints for gcc properly < 1259356458 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :That's always annoying < 1259356484 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I really wish other compilers would stop defining __GNUC__. ... I also wish there were defines for certain features, rather than compiler version. < 1259356495 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Yesh. < 1259356530 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :exactly. and in my experience even when the compiler claims to be gcc it means it supports __attribute__ and possibly a few more things, but almost never all the details of inline asm < 1259356543 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1259356552 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, ah yes iirc clang had a good idea < 1259356556 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :for that < 1259356580 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :In fact, I kinda consider a compiler defining __GNUC__ and not compiling something that GCC can a bug... < 1259356583 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :#if __has_builtin(__builtin_trap) < 1259356585 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, ^ < 1259356593 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and < 1259356602 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hooray, clang. < 1259356606 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :__has_feature < 1259356623 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, just remember to check if __has_builtin and __has_feature are supported first! < 1259356629 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :however they made it possible to do < 1259356634 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :#ifndef __has_feature < 1259356639 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and such < 1259356657 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, still, as long as other compilers doesn't support it, it is fairly useless < 1259356690 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :because clang is (not yet at least) the "standard" compiler on open source *nix systems < 1259356700 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(gcc is in practise) < 1259356701 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GCC ought to add that. < 1259356708 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well yeah < 1259356751 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, except what if almost all details of a feature are supported? < 1259356765 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :like, inline asm constraits, except the x87 floating point ones < 1259356771 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(this is a real world example!) < 1259356796 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Bug report. < 1259356812 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, llvm-gcc and clang both currently doesn't support that, due to some underlying issues in how x87 floating point is handled in llvm < 1259356832 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :iirc to be specific it is the "top of x87 stack" constraint that isn't handled < 1259356869 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, btw clang also added __has_include < 1259356887 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :are they trying to move the mess of autotools into the C source files instead? < 1259356906 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Maybe. < 1259356972 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://clang.llvm.org/docs/LanguageExtensions.html <-- a few good ideas, a few bad ones. IMO < 1259356993 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Language extensions tend to be like that. < 1259357008 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, why not just implement *good* ideas? < 1259357064 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Because people suck at distinguishing good from bad? < 1259357136 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :there is one icc extension I really really want in gcc. And that is the ability to say "hey! This pointer passed as a parameter points to block aligned on a n-byte boundary. So you don't need to consider generating code checking for that if you want to vectorize things based on it." < 1259357204 0 :ais523!n=ais523@92-236-187-64.cable.ubr08.king.blueyonder.co.uk JOIN :#esoteric < 1259357208 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hi ais523 < 1259357235 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1259357382 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :argh is there any way to force firefox to word wrap a plain text file? http://clang.llvm.org/docs/BlockLanguageSpec.txt is unreadable as it is < 1259357487 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm opened it in a text editor instead < 1259357568 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, that block extension in clang thing seems similar in aim to gcc's nested functions < 1259357592 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :err wait no < 1259357593 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure < 1259357613 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I can only find a spec for it, no introduction meant for people who doesn't know what it is already < 1259357661 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The block extension in Clang is lambda. < 1259357667 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1259357696 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, how does that interact with non-executable stacks? < 1259357698 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Google Chorme uses these styles when encountering text/plain:
 ... you could probably apply it with some bookmarklet
< 1259357707 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :since gcc trampolines doesn't interact well at all with that
< 1259357723 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's used by Apple's Grand Central Dispatch.
< 1259357727 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :MizardX, I suspect I could do it with firebug
< 1259357728 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tries
< 1259357732 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well yeah
< 1259357747 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Probably "poorly".
< 1259357751 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, Assume I don't own a mac, what is that thing you mentioned
< 1259357757 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or rather
< 1259357759 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I do own a mac
< 1259357761 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it has os 9
< 1259357778 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's the new parallelism API that Apple added to the most recent version of OS X.
< 1259357816 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, oh? so in some way this is used to implement a high level threading API?
< 1259357835 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The various functions in it take lambda expressions as arguments.
< 1259357837 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :from my experience with C I have the say that that seems pretty hard
< 1259357859 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, what about race conditions and mutexes and such then?
< 1259357874 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm not familiar with the details of it.
< 1259357899 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(I haven't bothered to set up a Darwin install to play with it.)
< 1259357984 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I won't believe you can hide the synchronization details for threads in C until I see it.
< 1259358029 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, so does this mean that apple switched their main compiler to be clang now?
< 1259358058 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :They intend to.
< 1259358062 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :if so, I pitty all OS X users. Sure clang is getting really good now, but it is still far from as stable as gcc
< 1259358070 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :maybe in a year or so for C
< 1259358073 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I think that Apple-GCC also has support for blocks.
< 1259358077 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah
< 1259358090 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :then I pitty those apple developers who had to implement that :P
< 1259358090 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :If it doesn't, then I *do* know that Grand Central Dispatch can also be used with function pointers.
< 1259358119 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, Apple *does* have a rather extensive patch set on GCC already...
< 1259358140 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, I'm aware. That is one of the reasons llvm-gcc is so messy to get working on Linux
< 1259358184 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, I had to rename the libstdc++ it compiled so it used the system one instead. Why? g++ wouldn't work otherwise.
< 1259358214 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Why? I'm not completely sure, but it was looking for some symbol not defined in the llvm version, but that was defined in the system one. The system one being slightly newer
< 1259358248 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but that also fixed an unrelated bug with gcc (which worked but gave a strange message on stderr every time)
< 1259358264 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :/home/arvid/local/llvm/2.6/libexec/gcc/x86_64-linux-gnu/4.2.1/cc1: Symbol
< 1259358264 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :`__gxx_personality_v0' causes overflow in R_X86_64_PC32 relocation
< 1259358276 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :No output.
< 1259358276 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(minus line break)
< 1259358282 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh and yes I reported that bug
< 1259358289 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :HackEgo, I'm not surprised
< 1259358358 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, a extremely silly clang extension IMO is http://clang.llvm.org/docs/LanguageExtensions.html#analyzerattributes
< 1259358391 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that analyzer_noreturn seems very strange.
< 1259358443 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and no I don't agree with the reasoning for it
< 1259358513 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, btw about klee, I had to implement a "FIXME: TEMPORARY HACK" thing to make it able to handle cfunge at all. However the way I implemented it is about as hackish, so I'm reluctant about sending it upstream
< 1259358536 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :plus I suspect it may run into issues with C++ memory handling
< 1259358541 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :*shudder*
< 1259358589 0 :MigoMipo!unknown@unknown.invalid QUIT :
< 1259363150 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection
< 1259364333 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving"
< 1259365745 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection
< 1259366231 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1259366311 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, there still?
< 1259366320 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, although not paying attention
< 1259366361 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, do you happen to remember if sizeof() returns multiples of CHAR_BIT or if it is multiples of 8 bits always? If you see what I mean.
< 1259366379 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :multiples of CHAR_BIT
< 1259366386 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :sizeof (char) is always always 1, even on a DS9K
< 1259366390 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah
< 1259366391 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but that doesn't necessarily mean 8 bits