< 1468109698 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1468110405 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`unicode INSULAR < 1468110441 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+1D79 LATIN SMALL LETTER INSULAR G \ UTF-8: e1 b5 b9 UTF-16BE: 1d79 Decimal: ᵹ \ ᵹ (Ᵹ) \ Uppercase: U+A77D \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \ \ U+1DD8 COMBINING LATIN SMALL LETTER INSULAR D \ UTF-8: e1 b7 98 UTF-16BE: 1dd8 Decimal: ᷘ \ ᷘ \ Category: Mn (Mark, Non-Spacing) \ Bidi: NSM (Non-Spacing < 1468110454 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hellꙫrjan! < 1468110603 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1468110811 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :今boilyは < 1468111096 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :안녀랜하심니카! < 1468111369 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok I see the "eoraen" in there < 1468111402 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :(after looking up a chart) < 1468111554 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-fkeqqtflbgcjhxdx QUIT :Excess Flood < 1468111658 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-lncozajuvnlveihm JOIN :#esoteric < 1468111681 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hellꙫren < 1468111719 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boheily < 1468111823 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1468112070 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :բարի իրիգըռյա՛ն: < 1468112088 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :`unidecode ꙫ < 1468112090 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz JOIN :#esoteric < 1468112094 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+A66B CYRILLIC SMALL LETTER BINOCULAR O] < 1468112139 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :`unidecode ⚇ < 1468112141 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2687 WHITE CIRCLE WITH TWO DOTS] < 1468112192 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Շնորհակալություն Աստծուն, Google թարգմանել < 1468112262 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :Hey < 1468112268 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :`relcome Shubshub < 1468112276 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :I'm not new :P < 1468112282 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :aaaargh! < 1468112286 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​04Shubshub: 07Welcome 08to 09the 02international 06hub 13for 04esoteric 07programming 08language 09design 02and 06deployment! 13For 04more 07information, 08check 09out 02our 06wiki: 13. 04(For 07the 08other 09kind 02of 06esoterica, 13try 04#esoteric 07on 08EFnet 09or 02DALnet.) < 1468112294 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a rare Shubshub sighting < 1468112298 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :Shellobshellob it is then! < 1468112300 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :https://esolangs.org/wiki/Gopher < 1468112302 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :Thats mine < 1468112308 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: just pretend it means rare welcome hth < 1468112336 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :OKAY < 1468112341 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :I'm gonna do some code golf < 1468112369 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION sends boily an invoice for an OKAY license
< 1468112939 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: how much < 1468113011 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's a trade secret hth < 1468113122 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1468113242 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OKAY < 1468113300 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Ping timeout: 276 seconds < 1468113807 0 :Melvar`!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de JOIN :#esoteric < 1468113838 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de QUIT :Disconnected by services < 1468113844 0 :Melvar`!?@? NICK :Melvar < 1468114107 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :Attempting to write a new esolang :D < 1468115960 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what kind? < 1468116019 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Quit: Leaving < 1468116038 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1468116261 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :Shubshub: is it going to be minimal? line or character based? will it use [REDACTED] and with them twist the fabric of the Universe? < 1468116948 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :obviously it should use [RETRACTED] instead. < 1468116972 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :You'll see < 1468116975 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :Once I get it working first < 1468116988 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: good opportunity to make a section-retraction pun < 1468116991 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but i can't think of one < 1468117206 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :indeed, it's hard to think of an epic pun in a split moment < 1468117252 0 :ybden!~ybden@unaffiliated/ybden QUIT :Remote host closed the connection < 1468117440 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :why does the retraction have to be the left inverse, the opposite would have been more mnemonic < 1468117506 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a lection and a retraction? < 1468117599 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well a section would have been sinister < 1468117600 0 :ybden!~ybden@unaffiliated/ybden JOIN :#esoteric < 1468117615 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and r* is obvious < 1468117637 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ah, of course < 1468117656 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION had to check his mnemonic for free and underlying adjoints again
< 1468117708 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: that would have been a good mnemonic < 1468117710 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's also latin-based < 1468117717 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but reality detracts from it < 1468117728 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*sinister trombone* < 1468117739 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's your menmonic for free and underlying? < 1468117746 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"liberty" hth < 1468117774 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hah i spent so long typing that word correctly and then you botched it :P < 1468117776 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can always go with 12:42 tswett: often a forgetful functor is called 'U'; if the free functor is called F then it reads like F -| U which in English sounds like a crude insult. "You can't remember which way around a free-forgetful adjunction goes? Well, F -| U !" < 1468117794 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1468117803 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :shachaf: do you ever try to explain monads using join rather than bind? < 1468117815 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :alercah: Only to myself. < 1468117823 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :I wonder if it would be helpful < 1468117830 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :alercah: I used to not think it was a good approach, but then thinking about Applicative for a while made me think it would be good. < 1468117854 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You want to write your do-expressions using Applicative as much as possible, and only using join where you're forced to. < 1468117868 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :E.g. join (f <$> x <*> y <*> z) < 1468117872 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :yeah < 1468117879 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since join is expensive and special. < 1468117879 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ApplicativeDo hth < 1468117887 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can think of it as a "choke point" or something. < 1468117894 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@djinn forall a.a < 1468117894 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1468117896 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I know, I was a proponent of ApplicativeDo years before it was written. < 1468117902 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :it's the "special" that really gets me there < 1468117904 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sweet < 1468117922 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin proposed it in #haskell originally, if I remember correctly. < 1468117925 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi copumpkin < 1468117937 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And then I proposed a jammed up version that doesn't use tuples. < 1468117942 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know how it actually gets translated... < 1468117958 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :because maybe it would be easier to explain the magicness of IO with join < 1468117964 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :me neither but i think they wrote a paper about it < 1468117992 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? ørjan < 1468117999 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i didn't hth < 1468118008 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sounds like we know who the paper expert here is < 1468118031 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :is it noah bennett < 1468118039 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers without noticing it. < 1468118052 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I write up my ideas as papers rather than blabbering in IRC? < 1468118057 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How does one write papers, anyway? < 1468118059 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@djinn forall a. a -> a < 1468118059 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f a = a < 1468118065 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've had some good ideas occasionally. < 1468118065 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh it does support forall < 1468118072 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I was hoping it'd answer undefined < 1468118077 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It supports forall, but only in a boring way. < 1468118079 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which I believe is the only term with that type < 1468118083 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but maybe it considers it cheating < 1468118088 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: That's the one thing I'd hope that djinn wouldn't answer. hht < 1468118092 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1468118101 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess my coin flipped badly < 1468118119 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually there are many things I'd hope that it wouldn't answer. Like f = f < 1468118175 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: with LaTeX hth < 1468118208 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: djinn will not give answers containing bottoms, afaik < 1468118210 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Djinn is a theorem prover for a consistent logic. < 1468118218 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i it can even generate a proof of that fact < 1468118231 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats shachaf -----###
< 1468118326 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: somewhere, there's a bullet with your gödel number on it hth < 1468118344 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1468118355 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's a pretty big bullet, i guess. < 1468118418 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :food -> < 1468118452 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: perhaps https://upload.wikimedia.org/wikipedia/commons/4/4b/DexterAndSinister_HeraldicEscutcheon.png can help with your mnemonic hth < 1468118472 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s is on the right < 1468118669 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468118961 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :http://prntscr.com/bqyvw4 Sneak Peek :D < 1468119400 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i assume that's viewed from the shield carrier, then. < 1468119428 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: the point is, just think of that picture and your mnemonic will be fine < 1468119439 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oKaY < 1468119441 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :alternatively all your mnemonics will be permanently messed up < 1468119456 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` rgrep sinister wisdom < 1468119479 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468119498 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also do you recommend the book _Bend Sinister_ twh < 1468119577 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no hth < 1468119593 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dystopias is so last century < 1468119633 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what book do you recommend instead < 1468119727 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :winnie the pooh hth < 1468119739 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :already read it hth < 1468119745 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1468119762 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also here's your mnemonic: retractions are free < 1468119793 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :eek < 1468119793 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sections are forgetful < 1468119797 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which is why you need a retraction < 1468119814 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if you don't like that one, how about: retractions are forgetful, and sections are cofree < 1468119851 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: also, if you compose them in the opposite order -- s . r -- you get an idempotent < 1468119859 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and it's the idempotent which is split < 1468119860 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn Cafreine is the favorite drug of category theorists. < 1468119868 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'cafreine': Cafreine is the favorite drug of category theorists. < 1468119880 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so it's perfectly legitimate to consider the retraction to be on the right and the section on the left < 1468119882 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wat < 1468119949 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also a retraction has a right inverse < 1468119953 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :how is a retraction free, anyway < 1468119961 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and a section has a sinister inverse < 1468119964 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, it's a left adjoint < 1468119970 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in a boring way < 1468119980 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :myname: problem? < 1468120005 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: IRON CHICKEN < 1468120031 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( did trollface get into unicode yet? ) < 1468120037 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unicode TROLLFACE < 1468120055 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468120059 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unicode TROLL < 1468120067 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+1F68E TROLLEYBUS \ UTF-8: f0 9f 9a 8e UTF-16BE: d83dde8e Decimal: 🚎 \ 🚎 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F6D2 SHOPPING TROLLEY \ UTF-8: f0 9f 9b 92 UTF-16BE: d83dded2 Decimal: 🛒 \ 🛒 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) < 1468120091 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's probably in the norwegian section hth < 1468120104 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i retract that statement < 1468120116 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait, does this mean every idempotent is also a monad in a boring way < 1468120182 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` unicode TROLL | grep -i face < 1468120188 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468120258 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :...probably. < 1468120422 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-bnmxxwwubbqmqjfn JOIN :#esoteric < 1468120489 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: hmm, i was thinking the answer was yes, but maybe there's something wrong with my reasoning < 1468120520 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since in a discrete category I imagine the only monad is the identity monad. < 1468120525 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm did my stackoverflow answer get linked somewhere? < 1468120528 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So what category was I even talking about? < 1468120536 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which one? < 1468120540 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :stackoverfloerjan < 1468120556 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :http://stackoverflow.com/questions/32931549/to-what-extent-are-applicative-monad-instances-uniquely-determined/32932140#32932140 < 1468120575 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i just got a bunch of new votes on it < 1468120584 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :your stack overfloweth < 1468120748 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :The number of monads on a category with more than one object is at least one more than the number of final objects of that category. < 1468120754 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: The same questioner asked a duplicate of the same question, and linked to the previous one. < 1468120758 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://stackoverflow.com/users/1333025/petr-pudl%C3%A1k < 1468120767 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can find it in the google cache if you know what search term to use < 1468120782 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1468120812 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://encrypted.google.com/search?q=cache:stackoverflow.com/questions/38272545/are-monad-instances-uniquely-determined-by-their-applicative-instances < 1468120843 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess the questioner read your addendum and deleted the question or something. < 1468120844 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i found it from that pudlak link anyway. < 1468120905 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :duplicates aren't deleted, although this particular one might be so close it just as well might be < 1468120908 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: do you feel that it's unfair that your answer was voted higher than pigworker's fancy dependent type answer < 1468120924 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That duplicate seems to have been turned into a redirect. < 1468120925 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: not really. < 1468120929 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is as good as deleting. < 1468120964 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: possibly you don't have enough rep to see the original. < 1468120975 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I'm not even logged in < 1468120976 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(neener neener) < 1468121029 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I logged in and now I can see the duplicate question. < 1468121035 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you pleased with yourself? < 1468121088 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i expect people with slightly less than pigworker's brain (me included) will find my answer more enlightening to start with. < 1468121101 0 :Reece`!~Ner@host-92-13-213-128.as43234.net QUIT :Read error: Connection reset by peer < 1468121106 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, pigworker is doing the container thing. < 1468121113 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As in http://www.cs.nott.ac.uk/~psztxa/publ/tlca03.pdf < 1468121142 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i said ME INCLUDED, thx < 1468121143 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was all about those things a while ago. < 1468121163 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah you were a functor pro < 1468121176 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pigworker is too good < 1468121214 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Pledge: I will stop doing edits to fix obvious bugs in other people's answers. They're never accepted and I just lose my temper. (Sorry about that last one.)" < 1468121218 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :look who's retired < 1468121234 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Are you pleased with yourself? <-- . o O ( darn, missed ) < 1468121274 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1468121279 0 :augur!~augur@76-218-206-38.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1468121291 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that was long before i retired. also my stackoverflow retirement could in theory be temporary. if i ever catch up with /r/haskell < 1468121316 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and if Haskell doesn't implode before i do it. < 1468121318 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why would you want to catch up with /r/haskell < 1468121326 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i haven't even looked at it in months < 1468121330 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i assume it's gone down the drain < 1468121334 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :just like everything in the world < 1468121348 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :things were all better in the good old days, when there was no one on my lawn < 1468121350 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well i heard rumors it had. < 1468121384 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :then i continued catching up anyway. < 1468121481 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i do see traces of trolls, mostly deleted. < 1468121507 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and of course i only read a small fraction. < 1468121563 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think i'm getting to the point where i should start seeing if the rumors are overblown or not. < 1468121592 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(aka mid May) < 1468121637 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google neverhood drain < 1468121638 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://www.youtube.com/watch?v=S4MARAsx1Vo < 1468121670 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :just like that < 1468121696 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe you should join #haskell if you want evidence hth < 1468121964 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh i have no doubt _some_ haskell fora have gone down the drain. i've heard rumors bout twitter... < 1468121975 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, *read < 1468121984 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*+a < 1468122062 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn bout < 1468122064 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "bout" wn "WordNet (r) 3.0 (2006)" < 1468122064 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :bout < 1468122064 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : n 1: (sports) a division during which one team is on the < 1468122064 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : offensive [syn: {turn}, {bout}, {round}] < 1468122064 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2: a period of illness; "a bout of fever"; "a bout of < 1468122066 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[5 @more lines] < 1468122071 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@more < 1468122071 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : depression" < 1468122071 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3: a contest or fight (especially between boxers or wrestlers) < 1468122072 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 4: an occasion for excessive eating or drinking; "they went on a < 1468122074 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : bust that lasted three days" [syn: {bust}, {tear}, {binge}, < 1468122076 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : {bout}] < 1468122090 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :None of those are the meaning of "bout" I know. < 1468122094 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess 2 is the closest. < 1468122109 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's a bout of right < 1468124182 0 :ybden!~ybden@unaffiliated/ybden QUIT :Ping timeout: 272 seconds < 1468124317 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :Is the bot that interprets esolangs still in this chan? < 1468124372 0 :ybden!~ybden@unaffiliated/ybden JOIN :#esoteric < 1468124731 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no, but HackEgo has a port of most of it < 1468124751 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`! unlambda ``.H.ii < 1468124753 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi < 1468124796 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh and fungot does brainfuck and underload, of course < 1468124796 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: and you call yourself a frog, and ayla... i will not betray my friends! filthy medal! i won't forget this! < 1468124813 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fungot: i don't think i generally do, no < 1468124813 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: but, we are far outnumbered! clear, too! ayla have fun! i heard you were to be executed, dear! < 1468124829 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ul ``.H.ii < 1468124829 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: url pl < 1468124834 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :^ul (Hi)S < 1468124834 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Hi < 1468124834 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1468124844 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :didn't lambdabot have unlmabda at one point < 1468124846 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as written by oerjan < 1468124851 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@unlambda ``.H.ii < 1468124851 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Hi < 1468124855 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ah < 1468124858 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :too easy < 1468124879 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@unlamba `.øi < 1468124879 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : unlambda: Unknown operator '\184' < 1468124913 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't think it's utf-8 clean. < 1468124943 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which was a good thing for my self-interpreter... < 1468124965 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot has a Self interpreter too? < 1468124987 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that pun was also too easy hth < 1468125022 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's ok, i have two swats in my scrollback < 1468125030 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but does it have a c interpreter? < 1468125031 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :they'll keep me going < 1468125043 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1468125065 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`! c printf("Hi!\n"); < 1468125066 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\oren\: do you have any exciting computer science for me today < 1468125093 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Does not compile. < 1468125097 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*sigh* < 1468125120 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess that feature was removed. < 1468125128 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cc printf("Hi!\n"); < 1468125129 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: not really, trying, possibly in vain, to generate a ttf that windows thinks is valid < 1468125130 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:1:1: error: missing terminating " character \ compilation terminated due to -Wfatal-errors. < 1468125140 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cc printf("Hi!\\n"); < 1468125143 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:1:1: error: missing terminating " character \ compilation terminated due to -Wfatal-errors. < 1468125148 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :gah < 1468125167 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't think that one has been very well written. < 1468125171 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/cc < 1468125173 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ echo "$@" | sed 's/\\/\n/g' | gcc -w -Wfatal-errors -std=c11 -O2 -x c - -o /tmp/a.out && /tmp/a.out < 1468125204 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1468125224 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :...it replaces \ by \n? < 1468125227 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1468125232 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/c < 1468125232 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: bin/c: No such file or directory < 1468125250 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :I think it's intending to replace "\\" by '\n'. < 1468125253 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there may have been yet another variant. < 1468125276 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :pikhq: yes. that still doesn't sound like a good idea. < 1468125299 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :`cc int puts(const char*);int main(){puts("Hello, world!");} < 1468125307 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hello, world! < 1468125321 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :pikhq: the point is you cannot get an actual \ in there... < 1468125334 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which is rather bad for c. < 1468125342 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` gcc -o/tmp/a.out -x c - <<<"int main(){puts("hello\n")}"; /tmp/a.out < 1468125349 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​: In function ‘main’: \ :1:17: error: ‘hellon’ undeclared (first use in this function) \ :1:17: note: each undeclared identifier is reported only once for each function it appears in \ :1:24: error: expected ‘;’ before ‘}’ token \ /hackenv/bin/`: line 4: /tmp/a.out: No such file or directory < 1468125359 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` gcc -o/tmp/a.out -x c - <<<"int main(){puts("hello\\n")}"; /tmp/a.out < 1468125361 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it should be s/ \\\\ /\n/, obviously. < 1468125364 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​: In function ‘main’: \ :1:1: error: stray ‘\’ in program \ :1:17: error: ‘hello’ undeclared (first use in this function) \ :1:17: note: each undeclared identifier is reported only once for each function it appears in \ :1:23: error: expected ‘)’ before ‘n’ \ :1:25: error: expected < 1468125365 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :isn't there always digraphs? < 1468125375 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` gcc -o/tmp/a.out -x c - <<<"int main(){puts(\"hello\\n\")}"; /tmp/a.out < 1468125376 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\: `! already handles that case. < 1468125381 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​: In function ‘main’: \ :1:27: error: expected ‘;’ before ‘}’ token \ /hackenv/bin/`: line 4: /tmp/a.out: No such file or directory < 1468125393 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` gcc -o/tmp/a.out -x c - <<<"int main(){puts(\"hello\\n\");}"; /tmp/a.out < 1468125401 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`! c int main(){puts("hello\n")} < 1468125407 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello < 1468125411 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Does not compile. < 1468125417 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dammit < 1468125420 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`! c int main(){puts("hello\\n")} < 1468125422 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :which one compiled? < 1468125424 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Does not compile. < 1468125431 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :NOW WHAT < 1468125446 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`! c int main(){puts("hello\\n");} < 1468125451 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello < 1468125454 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :your `! c dhould print the error message < 1468125485 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\: it's ported from old EgoBot, which had a feature that made the error message useless. < 1468125499 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(namely, it tried to compile in two different ways) < 1468125591 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` gcc -o/tmp/a.out -x c - <<<'int main(){puts("hello\n");}'; /tmp/a.out < 1468125595 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello < 1468125631 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` tcc -v < 1468125633 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/`: line 4: tcc: command not found < 1468125637 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :bah < 1468125655 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :with tcc you can have it compile and run in one command < 1468125677 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i like tcc < 1468125705 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i don't like the ttc < 1468125737 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` cd bin; ls c* < 1468125739 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :calc \ card-by-name \ cAt \ catcat \ cats \ cc \ cd \ cdecl \ c++decl \ chroot \ ciol \ ciolf \ cmd \ cmds \ coins \ complain \ complaints \ ctof \ culprits \ culprits-c \ culprits-ng \ cwlprits < 1468125766 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`file bin/ciol < 1468125768 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/ciol: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0xac2b92fce7be4950dcebbfde3bfe866b1c1fb9aa, not stripped < 1468125779 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i _think_ that's an esolang < 1468125788 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` cd bin; ls *c < 1468125790 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :calc \ cc \ culprits-c \ ftoc \ gs2c \ luac \ qc \ rec \ runc < 1468125801 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aha < 1468125810 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`runc printf("Hi!\n"); < 1468125813 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468125817 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or not. < 1468125825 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`file bin/runc < 1468125826 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/runc: Bourne-Again shell script, ASCII text executable < 1468125830 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/runc < 1468125831 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ t=`tempfile` \ echo -e "$@" | gcc -trigraphs -o $t -x c - 2>/dev/null && $t \ rm $t < 1468125848 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`runc printf("Hi!\\n"); < 1468125850 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468125853 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1468125872 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course that one doesn't allow single instructions either. or print errors. < 1468125898 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so we have 3 variants, none of which do that thing. < 1468125915 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(at least) < 1468125925 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION sits back in lawn chair.
< 1468127731 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Ping timeout: 240 seconds < 1468128263 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1468130392 0 :mtve!~mtve@10130.x.rootbsd.net QUIT :*.net *.split < 1468130392 0 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :*.net *.split < 1468130392 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com QUIT :*.net *.split < 1468130392 0 :trn!jhj@trnsz.com QUIT :*.net *.split < 1468130392 0 :catern!~catern@catern.com QUIT :*.net *.split < 1468130392 0 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net QUIT :*.net *.split < 1468130392 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :*.net *.split < 1468130392 0 :tswett!~tswett@192.241.237.138 QUIT :*.net *.split < 1468130393 0 :Froo!~Frooxius@194.108.5.201 QUIT :*.net *.split < 1468130393 0 :^v!~v^@me.pxtst.com QUIT :*.net *.split < 1468130393 0 :myname!~myname@84.200.43.57 QUIT :*.net *.split < 1468130393 0 :Cale!~Cale@2607:fea8:9840:324:40b:704e:d648:8268 QUIT :*.net *.split < 1468130393 0 :yorick!~yorick@oftn/oswg-member/yorick QUIT :*.net *.split < 1468130393 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :*.net *.split < 1468130394 0 :rodgort!~rodgort@68.ip-149-56-14.net QUIT :*.net *.split < 1468130394 0 :digitalcold!~redacted@192.73.232.206 QUIT :*.net *.split < 1468130394 0 :espes!~espes@205.185.120.132 QUIT :*.net *.split < 1468130394 0 :Tiktalik!~tiktalik@unaffiliated/tiktalik QUIT :*.net *.split < 1468130394 0 :xfix!~xfix@unaffiliated/xfix QUIT :*.net *.split < 1468130394 0 :sewilton!sid32560@gateway/web/irccloud.com/x-froxskwkssibuhvk QUIT :*.net *.split < 1468130394 0 :Xe!znc@infoforcefeed/Xe QUIT :*.net *.split < 1468132662 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oh geez, #KSPOfficial just became the trainspotting channel < 1468132717 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\oren\: isn't that #trains < 1468132744 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it is, but for some reason KSPOfficial isn't talking about KSP < 1468133272 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468133568 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1468140301 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1468140879 0 :augur!~augur@76-218-206-38.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1468141386 0 :TellsTogo!d458f1c0@gateway/web/freenode/ip.212.88.241.192 JOIN :#esoteric < 1468141664 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :https://esolangs.org/wiki/Gopher Add an Interpreter to one of the bots :3 < 1468142360 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl JOIN :#esoteric < 1468143194 0 :TellsTogo!d458f1c0@gateway/web/freenode/ip.212.88.241.192 QUIT :Ping timeout: 250 seconds < 1468143404 0 :fizzie!?@? PRIVMSG #esoteric :Yeah, our set of C-running things is pretty deficient. < 1468143456 0 :fizzie!?@? PRIVMSG #esoteric :That said, `! c *does* allow for "single instructions", sometimes. < 1468143459 0 :fizzie!?@? PRIVMSG #esoteric :`! c printf("hello"); < 1468143464 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello < 1468143524 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1468143535 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :why didn't my version work... < 1468143572 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`! printf("Hi!\n"); < 1468143574 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/!: 4: exec: ibin/printf("Hi!: not found < 1468143579 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`! c printf("Hi!\n"); < 1468143582 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Does not compile. < 1468143585 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`! c printf("Hi!\\n"); < 1468143591 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi! < 1468143604 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i somehow never tried that with that command. < 1468143661 0 :fizzie!?@? PRIVMSG #esoteric :Any objections to fetching the https://github.com/izabera/candide stuff and replacing `cc with that? < 1468143672 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no lol < 1468143682 0 :fizzie!?@? PRIVMSG #esoteric :`fetch https://raw.githubusercontent.com/izabera/candide/master/configure < 1468143691 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2016-07-10 08:41:24 URL:https://raw.githubusercontent.com/izabera/candide/master/configure [863/863] -> "configure" [1] < 1468143697 0 :fizzie!?@? PRIVMSG #esoteric :`fetch https://raw.githubusercontent.com/izabera/candide/master/candide-to-conf < 1468143699 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` type -a cc < 1468143700 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2016-07-10 08:41:34 URL:https://raw.githubusercontent.com/izabera/candide/master/candide-to-conf [755/755] -> "candide-to-conf" [1] < 1468143702 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cc is /hackenv/bin/cc \ cc is /usr/bin/cc < 1468143710 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cc doesn't seem like a good name hth < 1468143715 0 :kuroro_!~kuroro@69.165.253.74 JOIN :#esoteric < 1468143716 0 :fizzie!?@? PRIVMSG #esoteric :It's fine. < 1468143722 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well there's also runc < 1468143724 0 :fizzie!?@? PRIVMSG #esoteric :Nobody needs the actual cc for anything. < 1468143733 0 :fizzie!?@? PRIVMSG #esoteric :Yes, but it's called ,cc on ##c. :p < 1468143739 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1468143751 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i can think of a use for the actual cc < 1468143760 0 :fizzie!?@? PRIVMSG #esoteric :Then you can put in the full path. < 1468143776 0 :fizzie!?@? PRIVMSG #esoteric :`` bash ./configure < 1468143780 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok one objection: does it save files frequently < 1468143787 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/dev/fd/0:31:19: fatal error: uchar.h: No such file or directory \ compilation terminated. < 1468143795 0 :TellsTogo!d458f1c0@gateway/web/freenode/ip.212.88.241.192 JOIN :#esoteric < 1468143822 0 :fizzie!?@? PRIVMSG #esoteric :I don't think it does. < 1468143855 0 :fizzie!?@? PRIVMSG #esoteric :It has this fancy precompiled-headers trick that needs doing first. And also needs a bit of editing to get stuff from the command line. < 1468143855 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well that went well. < 1468143880 0 :fizzie!?@? PRIVMSG #esoteric :I'll fix it. But I need to do breakfast now, apparently. < 1468143892 0 :kuroro!~kuroro@69-165-253-74.cable.teksavvy.com QUIT :Ping timeout: 260 seconds < 1468143940 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Bite < 1468144065 0 :fizzie!?@? PRIVMSG #esoteric :(We've got some houseguests.) < 1468144268 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@time fizzie < 1468144271 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for fizzie is Sun Jul 10 09:51:08 2016 < 1468144424 0 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1468144424 0 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1468144445 0 :Cale!~Cale@2607:fea8:9840:324:40a1:9df4:882d:d800 JOIN :#esoteric < 1468144445 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1468144445 0 :tswett!~tswett@192.241.237.138 JOIN :#esoteric < 1468144445 0 :Froo!~Frooxius@194.108.5.201 JOIN :#esoteric < 1468144445 0 :^v!~v^@me.pxtst.com JOIN :#esoteric < 1468144445 0 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1468144445 0 :yorick!~yorick@oftn/oswg-member/yorick JOIN :#esoteric < 1468144445 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1468144445 0 :rodgort!~rodgort@68.ip-149-56-14.net JOIN :#esoteric < 1468144445 0 :digitalcold!~redacted@192.73.232.206 JOIN :#esoteric < 1468144445 0 :espes!~espes@205.185.120.132 JOIN :#esoteric < 1468144445 0 :Tiktalik!~tiktalik@unaffiliated/tiktalik JOIN :#esoteric < 1468144445 0 :xfix!~xfix@unaffiliated/xfix JOIN :#esoteric < 1468144445 0 :sewilton!sid32560@gateway/web/irccloud.com/x-froxskwkssibuhvk JOIN :#esoteric < 1468144445 0 :Xe!znc@infoforcefeed/Xe JOIN :#esoteric < 1468144446 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1468144446 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1468144446 0 :trn!jhj@trnsz.com JOIN :#esoteric < 1468144446 0 :catern!~catern@catern.com JOIN :#esoteric < 1468144446 0 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net JOIN :#esoteric < 1468144675 0 :fizzie!?@? PRIVMSG #esoteric :`` mv configure candide-to-conf share/ < 1468144679 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468144694 0 :fizzie!?@? PRIVMSG #esoteric :`` sed -i -e '/uchar.h/d' share/configure < 1468144697 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468144710 0 :fizzie!?@? PRIVMSG #esoteric :`` ( cd share; bash ./configure ) < 1468144727 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468144728 0 :TellsTogo!d458f1c0@gateway/web/freenode/ip.212.88.241.192 QUIT :Ping timeout: 250 seconds < 1468144788 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :good thing you did it in a subshell < 1468144790 0 :fizzie!?@? PRIVMSG #esoteric :`` chmod a+x share/candide < 1468144792 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :think of the consequences < 1468144792 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468144857 0 :fizzie!?@? PRIVMSG #esoteric :`` sed -i -e /^c=/s/.*/c="$*"/ share/candide < 1468144861 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed: -e expression #1, char 24: unknown option to `s' < 1468144881 0 :fizzie!?@? PRIVMSG #esoteric :`` sed -i -e '/^c=/s/.*/c="$*"/' share/candide < 1468144885 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468144908 0 :fizzie!?@? PRIVMSG #esoteric :`` ./share/candide 'printf("hello");' < 1468144911 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :gcc: error: printf("hello");: No such file or directory < 1468144947 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :u breakd it < 1468144986 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`paste ./share/candide < 1468144989 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/share/candide < 1468145006 0 :fizzie!?@? PRIVMSG #esoteric :Oh, it also uses the args on the command line. < 1468145063 0 :fizzie!?@? PRIVMSG #esoteric :Would be nice to support stuff like `cc -x -y --bloo printf("meh"); < 1468145119 0 :fizzie!?@? PRIVMSG #esoteric :But that'd involve actual work, so I think I'll just drop that. < 1468145136 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :do you want to pass those options to the compiler or to the compiled program? < 1468145145 0 :fizzie!?@? PRIVMSG #esoteric :The compiler. < 1468145149 0 :fizzie!?@? PRIVMSG #esoteric :That's how ,cc works. < 1468145168 0 :fizzie!?@? PRIVMSG #esoteric :`` sed -i -e 's/"${@--O0}"/-O0/' share/candide < 1468145171 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468145176 0 :fizzie!?@? PRIVMSG #esoteric :It'd look different, anyway, so can be done later. < 1468145182 0 :fizzie!?@? PRIVMSG #esoteric :`` ./share/candide 'printf("hello");' < 1468145190 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello < 1468145308 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why not build in /tmp? < 1468145325 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :All these commits seem unnecessary. < 1468145332 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh well, at least it's not autoconf. < 1468145339 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By /tmp I mean tmp/. < 1468145340 0 :fizzie!?@? PRIVMSG #esoteric :I think you mean /hackenv/tmp. < 1468145342 0 :fizzie!?@? PRIVMSG #esoteric :Right. < 1468145350 0 :fizzie!?@? PRIVMSG #esoteric :Because it sticks the $PWD inside the resulting "binary". < 1468145366 0 :fizzie!?@? PRIVMSG #esoteric :As the location of the precompiled headers. < 1468145424 0 :fizzie!?@? PRIVMSG #esoteric :And `` mv tmp/foo share/foo is probably still the same as `` rm tmp/foo, which I probably would've forgotten when finished. < 1468145511 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think you`d´ve remembered. < 1468145755 0 :fizzie!?@? PRIVMSG #esoteric :`` c='-O2 --std=c99 printf("muh")'; args=""; while [[ "$c" =~ ^(-[^ ]*)\ (.*) ]]; do args="$args ${BASH_REMATCH[1]}"; c="${BASH_REMATCH[2]}"; done; echo "code [$c] args [$args]" < 1468145756 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :code [printf("muh")] args [ -O2 --std=c99] < 1468145803 0 :fizzie!?@? PRIVMSG #esoteric :That looks at least plausible, if not particularly pretty. Though maybe a shifty thing would be better. < 1468146136 0 :fizzie!?@? PRIVMSG #esoteric :`` sed -i -e '12s/^/args=""; while [[ "$c" =~ ^(-[^ ]*)\\ (.*) ]]; do args="$args ${BASH_REMATCH[1]}"; c="${BASH_REMATCH[2]}"; done\n/' -e 's/-O0/${args--O0}/' share/candide # bleh < 1468146140 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468146157 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why not sled < 1468146198 0 :fizzie!?@? PRIVMSG #esoteric :`` ./share/candide -O2 --std=c99 printf("I'm C99"); < 1468146199 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/`: eval: line 4: syntax error near unexpected token `(' \ /hackenv/bin/`: eval: line 4: `./share/candide -O2 --std=c99 printf("I'm C99");' < 1468146208 0 :fizzie!?@? PRIVMSG #esoteric :`` ./share/candide '-O2 --std=c99 printf("I'm C99");' < 1468146209 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `"' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file < 1468146217 0 :fizzie!?@? PRIVMSG #esoteric :I brokeded it again. < 1468146244 0 :fizzie!?@? PRIVMSG #esoteric :Oh, no -- I just can't quote. < 1468146252 0 :fizzie!?@? PRIVMSG #esoteric :`` ./share/candide '-O2 --std=c99 printf("whatever");' < 1468146258 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/dev/fd/0:1:48: error: one or more PCH files were found, but they were invalid \ /dev/fd/0:1:48: error: use -Winvalid-pch for more information \ /dev/fd/0:1:48: fatal error: headers: No such file or directory \ compilation terminated. < 1468146265 0 :fizzie!?@? PRIVMSG #esoteric :That's nice. < 1468146303 0 :fizzie!?@? PRIVMSG #esoteric :In retrospect, I'm not entirely sure about this precompiled trickery. At least it should have the fallback. < 1468146428 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yeah, the fox and the grapes < 1468146442 0 :fizzie!?@? PRIVMSG #esoteric :`` sed -e '1,+2d' -e '/SOURCE/,$d' share/configure > share/headers < 1468146446 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468146457 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :y u no write it on your machine < 1468146467 0 :fizzie!?@? PRIVMSG #esoteric :`` ./share/candide '-O2 --std=c99 printf("whatever");' < 1468146490 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :whatever < 1468146491 0 :fizzie!?@? PRIVMSG #esoteric :I didn't think there'd be this much to do, honestly. < 1468146559 0 :fizzie!?@? PRIVMSG #esoteric :The one thing it still needs is some way to do newlines (for preprocessor stuff) but one that fires only outside string/character literals. < 1468146634 0 :fizzie!?@? PRIVMSG #esoteric :`` rm share/configure share/candide-to-conf # hopefully won't need these any more < 1468146640 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468147028 0 :fizzie!?@? PRIVMSG #esoteric :`` c='#include \n #include \n printf("zuul\nbuul");'; echo "$c" | sed -e 's/\("[^"]*\)\\n\([^"]*"\)/\1~n\2/g' -e 's/\\n/\n/g' -e 's/\("[^"]*\)~n\([^"]*"\)/\1\\n\2/g' < 1468147029 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#include \ #include \ printf("zuul\nbuul"); < 1468147034 0 :fizzie!?@? PRIVMSG #esoteric :Wonder if that would be good enough. < 1468147081 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1468147246 0 :fizzie!?@? PRIVMSG #esoteric :Wouldn't work with multiple \n's inside a string literal, though. :/ < 1468147585 0 :TellsTogo!d458f1c0@gateway/web/freenode/ip.212.88.241.192 JOIN :#esoteric < 1468148118 0 :augur!~augur@2602:304:cdac:e260:55fb:7f32:cd73:cb04 JOIN :#esoteric < 1468148127 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1468148399 0 :augur!~augur@2602:304:cdac:e260:55fb:7f32:cd73:cb04 QUIT :Ping timeout: 250 seconds < 1468149113 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468149366 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1468149448 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can i get some feedback? https://github.com/izabera/inutility < 1468149480 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :24 mini programs so far, 1625 lines of code including the makefile < 1468149515 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( why are you reinventing busybox? ) < 1468149522 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :for fun! < 1468149535 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and profit if someone wants to pay me for it < 1468149694 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1468149707 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :somebody please stop me from playing that euclid game. < 1468149719 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :int-e: stop playing that euclid game < 1468149794 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(progress: http://int-e.eu/~bf3/tmp/euclid.png ... and I'm not sure that all of these gold medels are actually possible since there is a bug that can be exploited to count fewer moves than have actually been made.) < 1468149802 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :medals. < 1468149846 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(red numbers were added with gimp and indicate the target score) < 1468149947 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am surprised how it steadily gets better < 1468150018 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :there was a state where you could actually produce a perpendicular line by dividing a straight line in half < 1468150037 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, "it". < 1468150043 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. < 1468150091 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so there *is* reason to distrust those records, thanks. < 1468150133 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you could also find the center of a circle by copying the cirle two times < 1468150150 0 :atehwa_!atehwa@aulis.sange.fi QUIT :Remote host closed the connection < 1468150322 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :though irritatingly the records I'm missing are the ones using just primitive tools... you'd think those would be more reliable. (I have not seriously thought about the regular pentagon yet) < 1468151878 0 :TellsTogo!d458f1c0@gateway/web/freenode/ip.212.88.241.192 QUIT :Ping timeout: 250 seconds < 1468151940 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :U-A684 HOW CAN I DRAW THIS < 1468152175 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a combination of з and ж isn't it. < 1468152232 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Zhwe agrees < 1468152342 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ørꚅn < 1468152362 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(that's intended to be oerjan, not \oren\, of course) < 1468152375 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(maybe it's distorted enough to be ambiguous) < 1468152419 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`unidecode ꚅ < 1468152453 0 :Shubshub!~IceChat9@25.70.252.27.dyn.cust.vf.net.nz QUIT :Quit: On the other hand, you have different fingers. < 1468152474 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+A685 CYRILLIC SMALL LETTER ZHWE] < 1468152495 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjwhen? < 1468152518 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :børgeois < 1468152614 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :beware of the børg < 1468152828 0 :Reece`!~Ner@host-92-13-213-128.as43234.net JOIN :#esoteric < 1468153995 0 :kuroro!~kuroro@69.165.253.74 JOIN :#esoteric < 1468154182 0 :kuroro_!~kuroro@69.165.253.74 QUIT :Ping timeout: 260 seconds < 1468155371 0 :augur!~augur@2602:304:cdac:e260:61b6:a27e:4930:df9 JOIN :#esoteric < 1468155653 0 :augur!~augur@2602:304:cdac:e260:61b6:a27e:4930:df9 QUIT :Ping timeout: 250 seconds < 1468156463 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x3220 0x3230 < 1468156520 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​㈠㈡㈢㈣㈤㈥㈦㈧㈨㈩㈪㈫㈬㈭㈮㈯ \ ㈰ < 1468157103 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did they add (character) for every possible character? < 1468157137 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :no, just a lot of them < 1468157142 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :also circles < 1468157170 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.unicode.org/charts/PDF/U3200.pdf < 1468157223 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.unicode.org/charts/PDF/U3300.pdf < 1468157280 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :those are the two blocks of "ridiculous characters for compatibility with JIS and KS standards" < 1468159279 0 :kuroro_!~kuroro@69-165-253-74.cable.teksavvy.com JOIN :#esoteric < 1468159443 0 :kuroro!~kuroro@69.165.253.74 QUIT :Ping timeout: 264 seconds < 1468159990 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I'm going to generate a new ttf now < 1468160092 0 :fizzie!?@? PRIVMSG #esoteric :int-e: "GeoGebra - Error: Please check your input: Undefined variable pointRight" < 1468160346 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yeah int-e fix yo shit < 1468160379 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: you can click those away and continue playing. (also it's not my code) < 1468160394 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but yes, these popups are really annoying. < 1468160474 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(since they basically appear every time you click) < 1468160507 0 :fizzie!?@? PRIVMSG #esoteric :So far it's only been happening in one level. < 1468160521 0 :fizzie!?@? PRIVMSG #esoteric :Also I'm going to be unhappy if I end up getting equally hooked up on this game. < 1468160604 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1468160726 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1468162087 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Quit: Leaving < 1468162422 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1468162626 0 :augur!~augur@2602:304:cdac:e260:f190:b271:9536:a746 JOIN :#esoteric < 1468162798 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468162906 0 :augur!~augur@2602:304:cdac:e260:f190:b271:9536:a746 QUIT :Ping timeout: 250 seconds < 1468163266 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wee I broke a record < 1468163417 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1468163508 0 :newbie!1f269658@gateway/web/freenode/ip.31.38.150.88 JOIN :#esoteric < 1468163641 0 :newbie!1f269658@gateway/web/freenode/ip.31.38.150.88 PRIVMSG #esoteric :hello? < 1468163684 0 :newbie!1f269658@gateway/web/freenode/ip.31.38.150.88 QUIT :Client Quit < 1468164273 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :AAAAAAAAAAAARGH! < 1468164283 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :missed a `relcopportunity... < 1468165138 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so borry < 1468165400 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1468165645 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-bnmxxwwubbqmqjfn QUIT :Quit: Connection closed for inactivity < 1468165697 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468166177 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ugh, damn fontforge < 1468166732 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :he\\oren\. what are red characters? < 1468166794 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :also, there's something fishy going on with 南 and 西 in your mahjongcharacters hth < 1468167337 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`unidecode  < 1468167361 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+F813 - No such unicode character name in database \ UTF-8: ef a0 93 UTF-16BE: f813 Decimal:  \  () \ Uppercase: U+F813 \ Category: Co (Other, Private Use) \ Bidi: L (Left-to-Right) < 1468167391 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: perhaps all red characters are private use ones < 1468167427 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`unidecode 𝔆 < 1468167437 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+1D506 - No such unicode character name in database \ UTF-8: f0 9d 94 86 UTF-16BE: d835dd06 Decimal: 𝔆 \ 𝔆 (𝔆) \ Uppercase: U+1D506 \ Category: Cn (Other, Not Assigned) < 1468167451 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, not that one. < 1468167477 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :red could also be a fading out green :P < 1468167566 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :they're all either private use or nonexistent < 1468167779 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :`unidecode 𐀀 < 1468167782 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+10000 LINEAR B SYLLABLE B008 A] < 1468168247 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :AAAAAA WHY IS FONTFORGE HATING ME < 1468168253 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :IT CRASHED < 1468168291 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :maybe you drew a bad character that needed to be punished < 1468168886 0 :idris-bot!~idris-bot@dslb-088-066-188-188.088.066.pools.vodafone-ip.de JOIN :#esoteric < 1468169659 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1468169885 0 :augur!~augur@2602:304:cdac:e260:7047:d9dc:2a97:6d1d JOIN :#esoteric < 1468170020 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Wow. SGDQ amazing this summer. < 1468170044 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Seriously good runs. < 1468170050 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :(Also a few bad ones.) < 1468170083 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net JOIN :#esoteric < 1468170160 0 :augur!~augur@2602:304:cdac:e260:7047:d9dc:2a97:6d1d QUIT :Ping timeout: 250 seconds < 1468170996 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: DECAY CHICKEN < 1468171175 0 :Reece`!~Ner@host-92-13-213-128.as43234.net QUIT :Read error: Connection reset by peer < 1468171612 0 :papa10!~papa10@15.ip-164-132-106.eu JOIN :#esoteric < 1468171726 0 :papa10!~papa10@15.ip-164-132-106.eu QUIT :Remote host closed the connection < 1468171762 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :YAY FONTFORGE DID NOT CRASH! < 1468171768 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 258 seconds < 1468172049 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :...this is april 1st, right? < 1468172458 0 :carado!~carado@savhon.org QUIT :Ping timeout: 258 seconds < 1468172587 0 :carado!~carado@savhon.org JOIN :#esoteric < 1468173282 0 :Froox!~Frooxius@194.108.5.201 JOIN :#esoteric < 1468173290 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I think not. < 1468173395 0 :fizzie!?@? PRIVMSG #esoteric :int-e: Bluh. Is there any way to see of your existing medals whether they're primitive or not? < 1468173417 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :what medals? < 1468173456 0 :augur!~augur@76-218-206-38.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1468173475 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: only when you have two of them < 1468173488 0 :Froo!~Frooxius@194.108.5.201 QUIT :Ping timeout: 250 seconds < 1468173492 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(then the left one is the all tools one) < 1468173514 0 :fizzie!?@? PRIVMSG #esoteric :Meh. I can't remember whether I've done some primitives-only. Though I guess most likely not. < 1468173681 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh and for most levels you can compare the scores to the best known ones < 1468173723 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :um, what's this? < 1468173732 0 :fizzie!?@? PRIVMSG #esoteric :wob_jonas: http://euclidthegame.com/ < 1468173766 0 :fizzie!?@? PRIVMSG #esoteric :I have a 3-move medal for level 4 but also no recollection of how it happened, and when I went to revisit it again, I always seem to take 4 moves now. < 1468173930 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :how does that thing work? < 1468173975 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I mean, how do you draw a circle with a given length? < 1468173979 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :click click click curse click click click < 1468174009 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you have to pick a radius by selecting two points (or creating them) < 1468174036 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: um, but I select three points in what order? < 1468174045 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I want a center and a distance that doesn't start from the center < 1468174048 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :to copy a segment < 1468174054 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: you'll get that later < 1468174077 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :wait, I need to unlock a tool to get a fucking compass? < 1468174078 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the primitive circle is a collapsing circle... it can't copy lengths. < 1468174081 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :how is it even euclid that way? < 1468174090 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I mean, I know it can be emulated with a collapsing compass < 1468174090 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err, compass. < 1468174095 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :but then they shouldn't call it euclid < 1468174103 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :because that's not the primitives Euclid decided are canon < 1468174225 0 :fizzie!?@? PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Compass-and-straightedge_construction "The compass is assumed to collapse when lifted from the page, so may not be directly used to transfer distances." < 1468174230 0 :fizzie!?@? PRIVMSG #esoteric :See, even Wikipedia thinks that's canon. < 1468174238 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :whoa... < 1468174239 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :strang < 1468174252 0 :fizzie!?@? PRIVMSG #esoteric :"The modern compass generally does not collapse and several modern constructions use this feature. It would appear that the modern compass is a "more powerful" instrument than the ancient collapsing compass. However, by Proposition 2 of Book 1 of Euclid's Elements, no power is lost by using a collapsing compass." < 1468174276 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ok < 1468174282 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I didn't know Euclid worked that way < 1468174295 0 :fizzie!?@? PRIVMSG #esoteric :int-e: There's something wrong. I did level 4 with "all tools" in 3 moves, and it said "perfect, minumum number of moves", but my medals still say "(3) (4)". < 1468174325 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :this is giving me error messages < 1468174330 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :on level 5 < 1468174333 0 :fizzie!?@? PRIVMSG #esoteric :Two of the levels did. < 1468174344 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: the bar only updates when you switch levels < 1468174376 0 :fizzie!?@? PRIVMSG #esoteric :int-e: I did. It's still that way. But I guess the (3) is then the all-tools, and maybe I got confused and thought otherwise. < 1468174402 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :crazy game < 1468174407 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :thank you for linking to it < 1468174409 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: the first one is the all tools number, yes < 1468174495 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(which, irritatingly, requires at least one of the advanced tools to be used) < 1468174556 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :level 6 is the first where I'd really want to use a non-collapsing compass < 1468174559 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :would be so much easier < 1468174638 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wait till you get to level 11 < 1468174659 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de QUIT :Quit: WeeChat 1.4 < 1468174673 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de JOIN :#esoteric < 1468174693 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I can't imagine how I do this level 6 without a collapsible compass in only 4 moves of primitives (probably pretty obvious in hindsight) < 1468174724 0 :idris-bot!~idris-bot@dslb-088-066-188-188.088.066.pools.vodafone-ip.de QUIT :Ping timeout: 244 seconds < 1468174772 0 :fizzie!?@? PRIVMSG #esoteric :I just tried to add a primitive-moves solution to 6, and used 7 moves. I'm not sure I can be bothered to finish all-primitives. < 1468174824 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :also, can't I make a full line through two points in one step? < 1468174828 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :that's just strange < 1468174839 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: agreed < 1468175045 0 :fizzie!?@? PRIVMSG #esoteric :Also presumably from Euclid's list of postulates. < 1468175048 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :the interface is quite well done though < 1468175068 0 :fizzie!?@? PRIVMSG #esoteric :It's well done when it's not throwing up error messages on every operation. < 1468175072 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :yes < 1468175125 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: the lines thing leads to some awkward moments, for example in level 8, where the optimal solution, as far as I can tell, requires moving the initial points around < 1468175162 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: you can move the canvas, and even zoom, it seems < 1468175178 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you can move the points themselves < 1468175262 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :panning and zooming was to be expected... < 1468175284 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I've uploaded a new version < 1468175306 0 :fizzie!?@? PRIVMSG #esoteric :It links to https://www.geogebra.org/ which is I guess the toolkit it's built on. < 1468175315 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :huih, it says "well done" but doesn't offer me to move to the next level < 1468175319 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :from level 8 < 1468175351 0 :fizzie!?@? PRIVMSG #esoteric :It says "well done" occasionally for individual points, if that's what you're seeing. < 1468175368 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah! < 1468175373 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I actually have to draw the segment < 1468175383 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :even if there's already a half-line there < 1468175399 0 :fizzie!?@? PRIVMSG #esoteric :Well, that's a bit silly. < 1468175421 0 :fizzie!?@? PRIVMSG #esoteric :I wouldn't know, the only way I've done level 8 is the silly way. < 1468175555 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :thenew characters: < 1468175557 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :㋀㋁㋂㋃㋄㋅㋆㋇㋈㋉㋊㋋㉈㉉㉊㉋㉌㉍㉎㉏㉐㍿㎍㎎㎏㎐㎑㎒㎓㎔㎕㎖㎗㎘ < 1468175560 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :㏠㏡㏢㏣㏤㏥㏦㏧㏨㏩㏪㏫㏬㏭㏮㏯㏰㏱㏲㏳㏴㏵㏶㏷㏸㏹㏺㏻㏼㏽㏾ < 1468175563 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :㊀㊁㊂㊃㊄㊅㊆㊇㊈㊉㊊㊋㊌㊍㊎㊏㊐㈠㈡㈢㈣㈤㈥㈦㈧㈨㈩㈪㈫㈬㈭㈮㈯㈰ < 1468175566 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ꝽꝾꝿꞀꞁꞂꞃꞄꞅꞆꞇꞈ꞉꞊ꞋꞌꞍꞎꞏꞐꞑꞒꞓꞔꞕꞖꞗꞘꞙꞚꞛꞜꞝꞞꞟꞠꞡꞢꞣꞤꞥꞦꞧꞨꞩꞪꞫꞬꞭꞮꞰꞱꞲꞳꞴꞵꞶꞷꟷꟸꟹꟺꟻꟼꟽꟾꟿ < 1468175570 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ꙞꙟꙠꙡꙢꙣꙤꙥꙦꙧꚀꚁꚂꚃꚄꚅꚆꚇꚈꚉꚊꚋꚌꚍꚎꚏꚐꚑꚒꚓꚔꚕꚖꚗꚘꚙꚚꚛ։֊ՙ՚՛՜՝՞՟ < 1468175573 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :⎾⎿⏀⏁⏂⏃⏄⏅⏆⏇⏈⏉⏊⏋⏌⏍⏎⏏⏐⏑⏒⏓⏔⏕⏖⏗⏘⏙⏚⏛⏜⏝⏞⏟⏠⏡⏢⏣ < 1468175589 0 :fizzie!?@? PRIVMSG #esoteric :Théoden Ednew. < 1468175596 0 :fizzie!?@? PRIVMSG #esoteric :(Just free-associating from "thenew".) < 1468175675 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah great, so level 9 is to do a non-collapsible compass < 1468175680 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I hope it gives that as a tool then < 1468175798 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :argh! why isn't the reset button on the toolbar? it keeps putting down points when I try to click there < 1468175801 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes it does, fully functional after level 11 < 1468176116 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :with these characters you can give the date: ㍻28年㋆㏩㈰ < 1468176140 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1468176169 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1468176233 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :gold medal is difficult < 1468176284 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :um < 1468176292 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :is there an interface to go to the first level I haven't solved yet? < 1468176301 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :because it lists only the levels I solved on the left sidebar < 1468176336 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you can guess the link: http://euclidthegame.com/Tutorial/ http://euclidthegame.com/Level/ < 1468176337 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I can type the number in the url, but there should be an easier way < 1468176342 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes! < 1468176359 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it assumes that you can only reach a level if you have solved the previous one < 1468176372 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I initially missed the tutorial that way. < 1468176627 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :is there a midpoint or mid-perpendicular level? there could be one early < 1468176662 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hmm, level 16 doesn't say "well done" when I construct the center of the circle < 1468176685 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I can't resize the canvas, right? < 1468176719 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you can... shift+scroll wheel of the mouse? < 1468176728 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oh, there is a midpoint < 1468176744 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: that seems to zoom for me < 1468176751 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :not resize the area on the screen < 1468176771 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sorry. < 1468176781 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I'm using a lot of non-primitives. it feels like cheating < 1468176792 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :too much geometry; the effect is "similar" ;-) < 1468176886 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :actually zooming the whole page works for me (firefox) < 1468176895 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah < 1468177015 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Ping timeout: 252 seconds < 1468177076 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah, first interesting level < 1468177184 0 :augur!~augur@76-218-206-38.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1468177342 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1468177394 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1468177576 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :second interesting level < 1468177738 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the one that was most rewarding to solve, so far, was the primitive version of the incircle one < 1468177761 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(level 15) < 1468177771 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: I see < 1468177801 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I'm doing level 24, any any of these so far are easy if you just want any solution, not a low move count one < 1468177829 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :but I think that will change in higher levels < 1468177871 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :are there keyboard shortcuts for the tools? < 1468177926 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah! regular pentagon (level 25) < 1468177929 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :getting nontrivial < 1468177949 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :25 is the last one though < 1468178018 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :is it? aren't there like 60 levels? < 1468178099 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hmm... let me think, how do I construct one of these beasts < 1468178122 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there are 50 medals, 2 per level (minus 1 for level 1, plus 1 for the tutorial) < 1468178153 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I did get a medal for level 1 < 1468178157 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :or at least it shows up < 1468178163 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :a gold medal in fact < 1468178241 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I'm still trying to think of how to construct a regular pentagon without going insane with a hundred of points on the screen < 1468178250 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :(don't spoil it) < 1468178337 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :the record is 10, so there has to be a way < 1468178476 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1468178503 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :If I look up something in a geometry book for it, is that cheating? < 1468178518 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I mean, it's on my shelf just right here < 1468179009 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's up to you < 1468179027 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I remembered a construction, that's not really better than looking one up :P < 1468179055 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I could do this procedure, but then I wouldn't naturally end up with the pentagon in the given circle, so I'd have to copy the angle < 1468179143 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :no wait, I could construct it so the angle appears there < 1468179165 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :is this one of those levels that give an error message each step? < 1468179170 0 :fizzie!?@? PRIVMSG #esoteric :Yes. < 1468179179 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :damn < 1468179205 0 :fizzie!?@? PRIVMSG #esoteric :5 and 25. < 1468179788 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I'm still trying to beat 2 < 1468179789 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :25 < 1468179819 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :do you have any opinion on solvability of level 14 (tangent at a point) in 4 primitive steps? < 1468179835 0 :fizzie!?@? PRIVMSG #esoteric :(I didn't realize until now that you could move the initial points.) < 1468179851 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: that says the record is 4 < 1468179851 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err, in 3... I can do 4. < 1468179852 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :um < 1468179855 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :the record is 3 < 1468179856 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :that yes < 1468179878 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1468179895 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And I'm having a really hard time believing that is possible. < 1468179908 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: let me see < 1468179934 0 :fizzie!?@? PRIVMSG #esoteric :I haven't really managed any optimal primitive solutions ('cept levels 2 and 3). < 1468179941 0 :fizzie!?@? PRIVMSG #esoteric :So I don't feel qualified to have an opinion. < 1468179985 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Does it give any obvious feedback somewhere for whether I've used only primitive tools? < 1468179995 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :It prints the number of moves, but not whether they're primitive < 1468180007 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no, it doesn't. < 1468180084 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://int-e.eu/~bf3/tmp/euclid.png is my progress (I've been on this since Tuesday, I think... spent way too many hours thinking about these things) < 1468180125 0 :fizzie!?@? PRIVMSG #esoteric :int-e: What does the red scribbled 5 mean for level 12? < 1468180142 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that the official record is worse than my own solution < 1468180188 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but I moved one of the initial points... if one doesn't, it's one more step) < 1468180221 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(otoh, some of the best solutions seem to require moving the initial points... so... I guess 4 would be accepted) < 1468180239 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468180255 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I have moved points, but I haven't done solutions where that's required yet < 1468180286 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the best primitve solution for level 8 would be my first candidate... pretty sure it's required there < 1468180287 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :and if you have a mouse that can move to complex coordinates, you probably never need to move < 1468180322 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but the branching factor of these constructions is surprisingly big so my intuition may have pruned some viable route of attack) < 1468180341 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :there's one level where you would have to move, but the default placement is good so you don't have to < 1468180399 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(in level 8 the problem is that you only have a short segment of what ought to be a line... and the final result needs to be an actual segment. you can save one ray by moving the initial points) < 1468180421 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :hm, I think I've played this before < 1468180451 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah, I see, level 8 might be helped by moving I guess < 1468180452 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :let me try < 1468180577 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I dunno < 1468180582 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I should solve the pentagon first < 1468180881 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :argh! I keep not getting a pentagon < 1468180928 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oh right < 1468181334 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :no, this doesn't work either < 1468181338 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I have to find some other way < 1468181389 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oh I see, I'm stupid, it can't work < 1468181512 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1468182001 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :argh! frustrating < 1468182108 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468182180 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Boyss 5* 10New user account < 1468182266 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :25 is HARD! < 1468182275 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I know there's supposed to be an easy way, but I can't figure it out < 1468182293 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 JOIN :#esoteric < 1468182344 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :Hello < 1468182408 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1468182599 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`relcome Boyss < 1468182657 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :I have created a language but my skills in english aren't great. Will it be very bad if article on the wiki will contain some issues? < 1468182679 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's a wiki, people can fix it < 1468182694 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1468182728 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :k thx < 1468182794 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :HackEgo: YOU TRAITOR < 1468182848 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` ls bin/relcome < 1468182853 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/relcome < 1468182862 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` cat bin/relcome < 1468182864 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ welcome "$@" | rainwords < 1468182871 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oren: it's just timeout, redo it < 1468182879 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`relcome Boyss < 1468182880 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oren: process was killed for timeout, that's why no output < 1468182883 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​06Boyss: 13Welcome 04to 07the 08international 09hub 02for 06esoteric 13programming 04language 07design 08and 09deployment! 02For 06more 13information, 04check 07out 08our 09wiki: 02. 06(For 13the 04other 07kind 08of 09esoterica, 02try 06#esoteric 13on 04EFnet 07or 08DALnet.) < 1468182888 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ARGH MY EYES < 1468182934 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :THE GOGGLES, THEY DO NOTHING < 1468182962 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I remember "is it a good idea to microwave this" < 1468182966 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :myname: yes < 1468183688 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :Is it a good idea to microwave the server on which HackEgo runs on as punishment for the rainbow? < 1468183773 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it sure can't slow it down < 1468183930 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: I'm not sure there's an easy way... all constructions of the regular pentagon that I've seen do something with the golden ratio. < 1468184007 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 276 seconds < 1468184017 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: I mean look at this list: http://mathworld.wolfram.com/TrigonometryAnglesPi5.html < 1468184135 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :is there yet a language where the whole code is only names of variables? < 1468184152 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: well sure it has to do with the golden ratio < 1468184688 0 :spiette!~spiette@198-200-116-42.cpe.distributel.net JOIN :#esoteric < 1468184692 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :Boyss: Make one up. < 1468184696 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :(If you know how) < 1468184735 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Boyss: do the one-instruction computers where all the arguments are memory addresses count? < 1468184742 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :s/argument/operand/ < 1468184773 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :@zzo38 that's the plan i was only wondering if it would be cool to name it like "only names of variables" < 1468184773 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1468184812 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :zzo38: that's the plan i was only wondering if it would be cool to name it like "only names of variables" < 1468184824 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :wob_jonas: I thought of that, but that includes jumps too, so I don't know if it is how Boyss wants; also if they have self-modifying codes < 1468184891 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :wob_jonas: idk (yet) but thanks for trace < 1468184897 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :zzo38: you can get one without jumps if there's an implicit loop around the whole thing (and possible conditional execution but that's not necessary), though it might be ugly and feel cheating (such as if it's based on a single instruction that does too many things or uses magical memory addresses) < 1468184904 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :Also if it uses relative addressing, it look like it isn't really just variable names, to me. < 1468184932 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :However, I do believe that such a programming language that Boyss is asking for would be a OISC, just not the existing one. < 1468184932 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :zzo38: my undocumented stupid single-instruction language uses absolute addressing, but it also has special registers < 1468184954 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :um, special memory-mapped registers that is < 1468184959 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :Document it please. < 1468184971 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :nah, it's a stupid one < 1468184973 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I should make a better one < 1468184986 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :O, OK, then make a better one and document the better one please. < 1468184990 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :maybe < 1468185051 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :doesn't one of ais's languages, like 3SP or those permutation thingies, already work though? < 1468185097 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Boyss: does it have to be Turing-complete or something? or would a language with the power level of about HQ9+ count? < 1468185112 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I like TOGA computer, but that one must include instruction labels as well as variable names < 1468185132 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :wob_jonas: ofc it would be pretty easy if it didn't have to be TC < 1468185242 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :However I think that a harvard TOGA computer could be implemented by 74xx series without so much difficulty (it won't be Turing-complete of course); you need a presettable binary counter, the ROM, RAM, clock input, and a few other gates. < 1468185304 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :wait < 1468185313 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1468185355 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Boyas: would it count if the source code is all variables separated by spaces or newlines, so that there are multiple instructions that are chosen from how many variables are on a line? like, a one-arg instruction, a two-arg instruction, a three-arg instruction, and a four-arg instruction? < 1468185421 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :O, so in that case then it isn't OISC < 1468185440 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :zzo38: yes, but OISC isn't strictly what Boyss asked < 1468185461 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :you could also have non-oisc by having the first appearance of the variable be special (like it's a definition, and later it's a use) < 1468185564 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I know that < 1468185567 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :more easily, if there are pre-defined primitives, but none have special syntax, so each could be defined in the language under another name, and maybe even the name can be shadowed by other names, then do those names count as variables? < 1468185576 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I made a mistake by saying it must be OISC < 1468185631 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :But I was thinking that the program would simply consist of a list of variable names, where a variable name is like a JavaScript symbol value < 1468185632 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :let the first variable be application, the second be S and the third be K... < 1468185654 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(cheating... but what, exactly, is the definition of a variable name?) < 1468185784 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you could even make it a bit more interesting by allowing definitions of new combinators A S K I A A S K K (A=application, S = S, K = K, I = S K K, ...) < 1468185848 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :also, something forth-like could work < 1468185887 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: I was thinking of First, but it has too much syntax built-in to make me count everything a variable < 1468185919 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hmm, is First not on the wiki? or do I know the name wrong? < 1468185940 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :name's first, and it's not on the wiki yet because it's in the todo at http://esolangs.org/wiki/User:B_jonas < 1468186307 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: otoh, eodermdrone without input would need two different separators, but it would still count as an oisc < 1468186326 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I mean eodermdrone without input or output < 1468186361 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :those permutation thingies? MiniMAX? < 1468186398 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :wait < 1468186429 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :how about a non-self-modifying string rewriting language? still two separators, but you could count the characters in the strings variables, and it's still an oisc < 1468186445 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :with fixed string replacement < 1468186552 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: is the rot13 of ø ̷b ? < 1468186606 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :are we trying to minimize number of symbols? < 1468186659 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh trting to make it all variable names < 1468186660 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: I think the rot13 of ø is ø and if you have a text with lots of numbers or ø or other characters that rot13 passes through then you should use a different substitution cipher < 1468186677 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :id say 3sp does qualify < 1468186696 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> map (\x -> (x + 13) `mod` 10) [0..9] < 1468186698 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [3,4,5,6,7,8,9,0,1,2] < 1468186710 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Obviously that's how you rot13 digits. < 1468186749 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :obvi < 1468186793 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :quintopia: 3SP is not known to be Turing-complete, but I think it might not count even if we know it was < 1468186794 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :although, rot5 would more in the spirig of the cipher < 1468186849 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why not bjonas? < 1468186855 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Boyss: I think you nerd sniped me with that simple question < 1468186881 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :quintopia: I'm not sure, maybe it would actually count < 1468186910 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :wob_jonas sorry I'll try to make it easy soon < 1468186964 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :quintopia: ok, I guess I'm stupid, 3SP would count if we knew it was Turing-complete < 1468187004 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wob_jonas: its totally a semantic question. do we distinguish between "variable name" and "memory address" or not? < 1468187103 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it is almost certainly tc < 1468187114 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :quintopia: I dunno < 1468187246 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i think alex has like 95% of a bct to 3sp compiler < 1468187274 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :"95%" hehe < 1468187358 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :is there a proper name for binary "digits" in english? < 1468187371 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :bits < 1468187374 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :oh < 1468187384 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :or do you mean digit numerals? < 1468187385 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :thanks thats the one < 1468187414 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net QUIT :Ping timeout: 272 seconds < 1468187545 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :some people call hexadecimal digits "hexits" so maybe we could call binary ones "binits" < 1468187607 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol @ name for binary digits < 1468187616 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :I'd just call them digits < 1468187787 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :thanks < 1468187908 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :@tell fizzie people said you wrote this, can you explain it? #define container_of(ptr, type, member) (type *)((char *)(1 ? (ptr) : &((type *)0)->member) - offsetof(type, member)) < 1468187909 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1468188039 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell boily I've forgotten. What are your approximate coördinates and body weigh? < 1468188039 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1468188098 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :@tell fizzie nevermind, they showed me the logs < 1468188098 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1468188329 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i alsondisagree with rot5. since 13 and 5 are both relatively örime, there should be an X with rotX satisfying both digits and letters < 1468188462 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :seriously, you want rot-65? < 1468188680 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :Is there an easy way to format my whole code to code on wiki (with spaces at the left)? Should i even paste the implementation in the article? < 1468188803 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :int-e: why not? < 1468189313 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm sure there's a good reason, give me a couple of years to come up with one... < 1468189349 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468189383 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Boyss: just put a space before each line? usually works, depending on what's in your code. if it's not enough, add some around parts that are interpreted as wiki syntax < 1468189484 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :thank you i meant like without clicking bc it's not that short. I have done that by hand but in the preview it doesn't show my double ' < 1468189519 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Boyss: use for that < 1468189547 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :i get it now thanks < 1468189618 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1468189845 0 :kozisyr!~KVIrc@216.227.112.67 JOIN :#esoteric < 1468189854 0 :kozisyr!~KVIrc@216.227.112.67 PRIVMSG #esoteric :How does one choose a programming paradigm that best solves a problem---what's a good strategy, method, to follow? < 1468189894 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :don't do oop. done. < 1468189896 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :kozisyr: just use the latest and greatest fancy magic bullet paradigm, it solves everything < 1468189952 0 :kozisyr!~KVIrc@216.227.112.67 PRIVMSG #esoteric :heh heh < 1468189964 0 :kozisyr!~KVIrc@216.227.112.67 PRIVMSG #esoteric :but seriously < 1468189983 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I dunno < 1468189990 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :maybe you need a good meta-paradigm < 1468189997 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I don't have those < 1468189997 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :in a article I made a list of steps like how does the language work and in the preview all my newlines are gone doesn't help. How to fix that? I looked at other articles and there it worked < 1468190032 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Boyss: do not indent if you want newlines to work < 1468190052 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :just use starting * for bullet list, or starting # for numbered list < 1468190060 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :or some html tags work too < 1468190164 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :I'll try that < 1468190288 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :Could you please show me an example of a numbered list? < 1468190300 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :#foo < 1468190301 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :#bar < 1468190390 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :oh god sorry i forgot to erase my from there ... Thank you for help < 1468190797 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Onov14]]4 N10 02https://esolangs.org/w/index.php?oldid=47342 5* 03Boyss 5* (+3712) 10There is a language called ONOV < 1468190939 0 :kozisyr!~KVIrc@216.227.112.67 QUIT : < 1468191081 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Onov14]]4 10 02https://esolangs.org/w/index.php?diff=47343&oldid=47342 5* 03Boyss 5* (+0) 10Added more information about which lenghts of code will produce infinite cat programs < 1468191215 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468191218 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 PRIVMSG #esoteric :Thank you all for helping me I finished the article it would be cool if you checked it out < 1468191776 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1468191779 0 :augur_!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468191832 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1468192100 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1468192995 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468193025 0 :augur_!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1468193054 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1468193063 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468193067 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1468193152 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1468193165 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468193262 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1468193267 0 :adu!~ajr@pool-71-178-208-237.washdc.fios.verizon.net JOIN :#esoteric < 1468193314 0 :Boyss!5948380b@gateway/web/freenode/ip.89.72.56.11 QUIT :Quit: Page closed < 1468193886 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de QUIT :Ping timeout: 246 seconds < 1468193962 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Motoku 5* 10New user account < 1468193966 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1468194118 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck implementations14]]4 10 02https://esolangs.org/w/index.php?diff=47344&oldid=47298 5* 03Motoku 5* (+99) 10added link to brainfuck interpreter < 1468194464 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : I think you`d´ve remembered. <-- my experience says one always remembers - 1-10 seconds too late. < 1468194566 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan `neener´ < 1468194570 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :: < 1468194715 0 :vifino!vifino@tty.sh QUIT :Quit: Who turned this off?! D:< < 1468194716 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1468194805 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de JOIN :#esoteric