00:14:58 -!- oerjan has joined. 00:26:45 <\oren\> `unicode INSULAR 00:27:21 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 00:27:34 <\oren\> hellꙫrjan! 00:30:03 -!- boily has joined. 00:33:31 <\oren\> 今boilyは 00:38:16 안녀랜하심니카! 00:42:49 <\oren\> ok I see the "eoraen" in there 00:43:22 <\oren\> (after looking up a chart) 00:45:54 -!- Lord_of_Life has quit (Excess Flood). 00:47:38 -!- Lord_of_Life has joined. 00:48:01 hellꙫren 00:48:39 boheily 00:50:23 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:54:30 բարի իրիգըռյա՛ն: 00:54:48 `unidecode ꙫ 00:54:50 -!- Shubshub has joined. 00:54:54 [U+A66B CYRILLIC SMALL LETTER BINOCULAR O] 00:55:39 `unidecode ⚇ 00:55:41 [U+2687 WHITE CIRCLE WITH TWO DOTS] 00:56:32 Շնորհակալություն Աստծուն, Google թարգմանել 00:57:42 Hey 00:57:48 `relcome Shubshub 00:57:56 I'm not new :P 00:58:02 aaaargh! 00:58:06 Shubshub: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 00:58:14 a rare Shubshub sighting 00:58:18 Shellobshellob it is then! 00:58:20 https://esolangs.org/wiki/Gopher 00:58:22 Thats mine 00:58:28 boily: just pretend it means rare welcome hth 00:58:56 OKAY 00:59:01 I'm gonna do some code golf 00:59:29 * oerjan sends boily an invoice for an OKAY license 01:08:59 oerjan: how much 01:10:11 that's a trade secret hth 01:12:02 -!- augur has quit (Remote host closed the connection). 01:14:02 OKAY 01:15:00 -!- MoALTz has quit (Ping timeout: 276 seconds). 01:23:27 -!- Melvar` has joined. 01:23:58 -!- Melvar has quit (Disconnected by services). 01:24:04 -!- Melvar` has changed nick to Melvar. 01:28:27 Attempting to write a new esolang :D 01:59:20 <\oren\> what kind? 02:00:19 -!- Sgeo has quit (Quit: Leaving). 02:00:38 -!- Sgeo has joined. 02:04:21 Shubshub: is it going to be minimal? line or character based? will it use [REDACTED] and with them twist the fabric of the Universe? 02:15:48 obviously it should use [RETRACTED] instead. 02:16:12 You'll see 02:16:15 Once I get it working first 02:16:28 oerjan: good opportunity to make a section-retraction pun 02:16:31 but i can't think of one 02:20:06 indeed, it's hard to think of an epic pun in a split moment 02:20:52 -!- ybden has quit (Remote host closed the connection). 02:24:00 why does the retraction have to be the left inverse, the opposite would have been more mnemonic 02:25:06 a lection and a retraction? 02:26:39 well a section would have been sinister 02:26:40 -!- ybden has joined. 02:26:55 and r* is obvious 02:27:17 ah, of course 02:27:36 * oerjan had to check his mnemonic for free and underlying adjoints again 02:28:28 oerjan: that would have been a good mnemonic 02:28:30 it's also latin-based 02:28:37 but reality detracts from it 02:28:48 *sinister trombone* 02:28:59 What's your menmonic for free and underlying? 02:29:06 "liberty" hth 02:29:34 hah i spent so long typing that word correctly and then you botched it :P 02:29:36 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 !" 02:29:54 O KAY 02:30:03 shachaf: do you ever try to explain monads using join rather than bind? 02:30:15 alercah: Only to myself. 02:30:23 I wonder if it would be helpful 02:30:30 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. 02:30:54 You want to write your do-expressions using Applicative as much as possible, and only using join where you're forced to. 02:31:08 E.g. join (f <$> x <*> y <*> z) 02:31:12 yeah 02:31:19 Since join is expensive and special. 02:31:19 shachaf: ApplicativeDo hth 02:31:27 You can think of it as a "choke point" or something. 02:31:34 @djinn forall a.a 02:31:34 -- f cannot be realized. 02:31:36 oerjan: I know, I was a proponent of ApplicativeDo years before it was written. 02:31:42 it's the "special" that really gets me there 02:31:44 sweet 02:32:02 copumpkin proposed it in #haskell originally, if I remember correctly. 02:32:05 hi copumpkin 02:32:17 And then I proposed a jammed up version that doesn't use tuples. 02:32:22 I don't know how it actually gets translated... 02:32:38 because maybe it would be easier to explain the magicness of IO with join 02:32:44 me neither but i think they wrote a paper about it 02:33:12 `? ørjan 02:33:19 i didn't hth 02:33:28 sounds like we know who the paper expert here is 02:33:51 is it noah bennett 02:33:59 Ø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. 02:34:12 Should I write up my ideas as papers rather than blabbering in IRC? 02:34:17 How does one write papers, anyway? 02:34:19 @djinn forall a. a -> a 02:34:19 f a = a 02:34:25 I've had some good ideas occasionally. 02:34:25 huh it does support forall 02:34:32 oerjan: I was hoping it'd answer undefined 02:34:37 It supports forall, but only in a boring way. 02:34:39 which I believe is the only term with that type 02:34:43 but maybe it considers it cheating 02:34:48 ais523: That's the one thing I'd hope that djinn wouldn't answer. hht 02:34:52 hth 02:35:01 i guess my coin flipped badly 02:35:19 Actually there are many things I'd hope that it wouldn't answer. Like f = f 02:36:15 shachaf: with LaTeX hth 02:36:48 ais523: djinn will not give answers containing bottoms, afaik 02:36:50 ais523: Djinn is a theorem prover for a consistent logic. 02:36:58 i,i it can even generate a proof of that fact 02:37:11 * oerjan swats shachaf -----### 02:38:46 shachaf: somewhere, there's a bullet with your gödel number on it hth 02:39:04 whoa whoa whoa 02:39:15 it's a pretty big bullet, i guess. 02:40:18 food -> 02:40:52 oerjan: perhaps https://upload.wikimedia.org/wikipedia/commons/4/4b/DexterAndSinister_HeraldicEscutcheon.png can help with your mnemonic hth 02:41:12 s is on the right 02:44:29 -!- tromp_ has joined. 02:49:21 http://prntscr.com/bqyvw4 Sneak Peek :D 02:56:40 shachaf: i assume that's viewed from the shield carrier, then. 02:57:08 oerjan: the point is, just think of that picture and your mnemonic will be fine 02:57:19 oKaY 02:57:21 alternatively all your mnemonics will be permanently messed up 02:57:36 `` rgrep sinister wisdom 02:57:59 No output. 02:58:18 also do you recommend the book _Bend Sinister_ twh 02:59:37 no hth 02:59:53 dystopias is so last century 03:00:33 what book do you recommend instead 03:02:07 winnie the pooh hth 03:02:19 already read it hth 03:02:25 ah. 03:02:42 also here's your mnemonic: retractions are free 03:03:13 eek 03:03:13 sections are forgetful 03:03:17 which is why you need a retraction 03:03:34 if you don't like that one, how about: retractions are forgetful, and sections are cofree 03:04:11 oerjan: also, if you compose them in the opposite order -- s . r -- you get an idempotent 03:04:19 and it's the idempotent which is split 03:04:20 `learn Cafreine is the favorite drug of category theorists. 03:04:28 Learned 'cafreine': Cafreine is the favorite drug of category theorists. 03:04:40 so it's perfectly legitimate to consider the retraction to be on the right and the section on the left 03:04:42 wat 03:05:49 also a retraction has a right inverse 03:05:53 how is a retraction free, anyway 03:06:01 and a section has a sinister inverse 03:06:04 well, it's a left adjoint 03:06:10 in a boring way 03:06:20 myname: problem? 03:06:45 -!- boily has quit (Quit: IRON CHICKEN). 03:07:11 . o O ( did trollface get into unicode yet? ) 03:07:17 `unicode TROLLFACE 03:07:35 No output. 03:07:39 `unicode TROLL 03:07:47 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) 03:08:11 it's probably in the norwegian section hth 03:08:24 i retract that statement 03:08:36 wait, does this mean every idempotent is also a monad in a boring way 03:09:42 `` unicode TROLL | grep -i face 03:09:48 No output. 03:10:58 ...probably. 03:13:42 -!- Akaibu has joined. 03:14:49 oerjan: hmm, i was thinking the answer was yes, but maybe there's something wrong with my reasoning 03:15:20 Since in a discrete category I imagine the only monad is the identity monad. 03:15:25 hm did my stackoverflow answer get linked somewhere? 03:15:28 So what category was I even talking about? 03:15:36 Which one? 03:15:40 stackoverfloerjan 03:15:56 http://stackoverflow.com/questions/32931549/to-what-extent-are-applicative-monad-instances-uniquely-determined/32932140#32932140 03:16:15 i just got a bunch of new votes on it 03:16:24 your stack overfloweth 03:19:08 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. 03:19:14 oerjan: The same questioner asked a duplicate of the same question, and linked to the previous one. 03:19:18 http://stackoverflow.com/users/1333025/petr-pudl%C3%A1k 03:19:27 you can find it in the google cache if you know what search term to use 03:19:42 oh 03:20:12 https://encrypted.google.com/search?q=cache:stackoverflow.com/questions/38272545/are-monad-instances-uniquely-determined-by-their-applicative-instances 03:20:43 I guess the questioner read your addendum and deleted the question or something. 03:20:44 i found it from that pudlak link anyway. 03:21:45 duplicates aren't deleted, although this particular one might be so close it just as well might be 03:21:48 oerjan: do you feel that it's unfair that your answer was voted higher than pigworker's fancy dependent type answer 03:22:04 That duplicate seems to have been turned into a redirect. 03:22:05 shachaf: not really. 03:22:09 Which is as good as deleting. 03:22:44 shachaf: possibly you don't have enough rep to see the original. 03:22:55 Well, I'm not even logged in 03:22:56 (neener neener) 03:23:49 oerjan: I logged in and now I can see the duplicate question. 03:23:55 Are you pleased with yourself? 03:24:48 shachaf: i expect people with slightly less than pigworker's brain (me included) will find my answer more enlightening to start with. 03:25:01 -!- Reece` has quit (Read error: Connection reset by peer). 03:25:06 Oh, pigworker is doing the container thing. 03:25:13 As in http://www.cs.nott.ac.uk/~psztxa/publ/tlca03.pdf 03:25:42 i said ME INCLUDED, thx 03:25:43 I was all about those things a while ago. 03:26:03 yeah you were a functor pro 03:26:16 pigworker is too good 03:26:54 "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.)" 03:26:58 look who's retired 03:27:14 Are you pleased with yourself? <-- . o O ( darn, missed ) 03:27:54 ? 03:27:59 -!- augur has joined. 03:28:11 shachaf: that was long before i retired. also my stackoverflow retirement could in theory be temporary. if i ever catch up with /r/haskell 03:28:36 and if Haskell doesn't implode before i do it. 03:28:38 why would you want to catch up with /r/haskell 03:28:46 i haven't even looked at it in months 03:28:50 i assume it's gone down the drain 03:28:54 just like everything in the world 03:29:08 things were all better in the good old days, when there was no one on my lawn 03:29:10 well i heard rumors it had. 03:29:44 then i continued catching up anyway. 03:31:21 i do see traces of trolls, mostly deleted. 03:31:47 and of course i only read a small fraction. 03:32:43 i think i'm getting to the point where i should start seeing if the rumors are overblown or not. 03:33:12 (aka mid May) 03:33:57 @google neverhood drain 03:33:58 https://www.youtube.com/watch?v=S4MARAsx1Vo 03:34:30 just like that 03:34:56 maybe you should join #haskell if you want evidence hth 03:39:24 oh i have no doubt _some_ haskell fora have gone down the drain. i've heard rumors bout twitter... 03:39:35 well, *read 03:39:44 *+a 03:41:02 @wn bout 03:41:04 *** "bout" wn "WordNet (r) 3.0 (2006)" 03:41:04 bout 03:41:04 n 1: (sports) a division during which one team is on the 03:41:04 offensive [syn: {turn}, {bout}, {round}] 03:41:04 2: a period of illness; "a bout of fever"; "a bout of 03:41:06 [5 @more lines] 03:41:11 @more 03:41:11 depression" 03:41:11 3: a contest or fight (especially between boxers or wrestlers) 03:41:12 4: an occasion for excessive eating or drinking; "they went on a 03:41:14 bust that lasted three days" [syn: {bust}, {tear}, {binge}, 03:41:16 {bout}] 03:41:30 None of those are the meaning of "bout" I know. 03:41:34 I guess 2 is the closest. 03:41:49 it's a bout of right 04:16:22 -!- ybden has quit (Ping timeout: 272 seconds). 04:18:37 Is the bot that interprets esolangs still in this chan? 04:19:32 -!- ybden has joined. 04:25:31 no, but HackEgo has a port of most of it 04:25:51 `! unlambda ``.H.ii 04:25:53 Hi 04:26:36 oh and fungot does brainfuck and underload, of course 04:26:36 oerjan: and you call yourself a frog, and ayla... i will not betray my friends! filthy medal! i won't forget this! 04:26:53 fungot: i don't think i generally do, no 04:26:53 oerjan: but, we are far outnumbered! clear, too! ayla have fun! i heard you were to be executed, dear! 04:27:09 @ul ``.H.ii 04:27:09 Maybe you meant: url pl 04:27:14 ^ul (Hi)S 04:27:14 Hi 04:27:14 help 04:27:24 didn't lambdabot have unlmabda at one point 04:27:26 as written by oerjan 04:27:31 @unlambda ``.H.ii 04:27:31 Hi 04:27:35 ah 04:27:38 too easy 04:27:59 @unlamba `.øi 04:27:59 unlambda: Unknown operator '\184' 04:28:33 i don't think it's utf-8 clean. 04:29:03 which was a good thing for my self-interpreter... 04:29:25 lambdabot has a Self interpreter too? 04:29:47 that pun was also too easy hth 04:30:22 it's ok, i have two swats in my scrollback 04:30:30 <\oren\> but does it have a c interpreter? 04:30:31 they'll keep me going 04:30:43 good, good 04:31:05 `! c printf("Hi!\n"); 04:31:06 \oren\: do you have any exciting computer science for me today 04:31:33 Does not compile. 04:31:37 *sigh* 04:32:00 i guess that feature was removed. 04:32:08 `cc printf("Hi!\n"); 04:32:09 <\oren\> shachaf: not really, trying, possibly in vain, to generate a ttf that windows thinks is valid 04:32:10 :1:1: error: missing terminating " character \ compilation terminated due to -Wfatal-errors. 04:32:20 `cc printf("Hi!\\n"); 04:32:23 :1:1: error: missing terminating " character \ compilation terminated due to -Wfatal-errors. 04:32:28 gah 04:32:47 i don't think that one has been very well written. 04:32:51 `cat bin/cc 04:32:53 #!/bin/sh \ echo "$@" | sed 's/\\/\n/g' | gcc -w -Wfatal-errors -std=c11 -O2 -x c - -o /tmp/a.out && /tmp/a.out 04:33:24 oh hm 04:33:44 ...it replaces \ by \n? 04:33:47 sheesh 04:33:52 `cat bin/c 04:33:52 cat: bin/c: No such file or directory 04:34:10 I think it's intending to replace "\\" by '\n'. 04:34:13 there may have been yet another variant. 04:34:36 pikhq: yes. that still doesn't sound like a good idea. 04:34:59 `cc int puts(const char*);int main(){puts("Hello, world!");} 04:35:07 Hello, world! 04:35:21 pikhq: the point is you cannot get an actual \ in there... 04:35:34 which is rather bad for c. 04:35:42 <\oren\> `` gcc -o/tmp/a.out -x c - <<<"int main(){puts("hello\n")}"; /tmp/a.out 04:35:49 : 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 04:35:59 <\oren\> `` gcc -o/tmp/a.out -x c - <<<"int main(){puts("hello\\n")}"; /tmp/a.out 04:36:01 it should be s/ \\\\ /\n/, obviously. 04:36:04 : 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 04:36:05 isn't there always digraphs? 04:36:15 <\oren\> `` gcc -o/tmp/a.out -x c - <<<"int main(){puts(\"hello\\n\")}"; /tmp/a.out 04:36:16 \oren\: `! already handles that case. 04:36:21 : In function ‘main’: \ :1:27: error: expected ‘;’ before ‘}’ token \ /hackenv/bin/`: line 4: /tmp/a.out: No such file or directory 04:36:33 <\oren\> `` gcc -o/tmp/a.out -x c - <<<"int main(){puts(\"hello\\n\");}"; /tmp/a.out 04:36:41 `! c int main(){puts("hello\n")} 04:36:47 hello 04:36:51 Does not compile. 04:36:57 dammit 04:37:00 `! c int main(){puts("hello\\n")} 04:37:02 <\oren\> which one compiled? 04:37:04 Does not compile. 04:37:11 NOW WHAT 04:37:26 `! c int main(){puts("hello\\n");} 04:37:31 hello 04:37:34 <\oren\> your `! c dhould print the error message 04:38:05 \oren\: it's ported from old EgoBot, which had a feature that made the error message useless. 04:38:19 (namely, it tried to compile in two different ways) 04:39:51 <\oren\> `` gcc -o/tmp/a.out -x c - <<<'int main(){puts("hello\n");}'; /tmp/a.out 04:39:55 hello 04:40:31 <\oren\> `` tcc -v 04:40:33 /hackenv/bin/`: line 4: tcc: command not found 04:40:37 <\oren\> bah 04:40:55 <\oren\> with tcc you can have it compile and run in one command 04:41:17 <\oren\> i like tcc 04:41:45 <\oren\> i don't like the ttc 04:42:17 `` cd bin; ls c* 04:42:19 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 04:42:46 `file bin/ciol 04:42:48 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 04:42:59 i _think_ that's an esolang 04:43:08 `` cd bin; ls *c 04:43:10 calc \ cc \ culprits-c \ ftoc \ gs2c \ luac \ qc \ rec \ runc 04:43:21 aha 04:43:30 `runc printf("Hi!\n"); 04:43:33 No output. 04:43:37 or not. 04:43:45 `file bin/runc 04:43:46 bin/runc: Bourne-Again shell script, ASCII text executable 04:43:50 `cat bin/runc 04:43:51 #!/bin/bash \ t=`tempfile` \ echo -e "$@" | gcc -trigraphs -o $t -x c - 2>/dev/null && $t \ rm $t 04:44:08 `runc printf("Hi!\\n"); 04:44:10 No output. 04:44:13 oh. 04:44:32 of course that one doesn't allow single instructions either. or print errors. 04:44:58 so we have 3 variants, none of which do that thing. 04:45:15 (at least) 04:45:25 * oerjan sits back in lawn chair. 05:15:31 -!- Kaynato has quit (Ping timeout: 240 seconds). 05:24:23 -!- tromp_ has quit (Remote host closed the connection). 05:59:52 -!- mtve has quit (*.net *.split). 05:59:52 -!- Vorpal has quit (*.net *.split). 05:59:52 -!- pdxleif has quit (*.net *.split). 05:59:52 -!- trn has quit (*.net *.split). 05:59:52 -!- catern has quit (*.net *.split). 05:59:52 -!- deltab has quit (*.net *.split). 05:59:52 -!- Sgeo has quit (*.net *.split). 05:59:52 -!- tswett has quit (*.net *.split). 05:59:53 -!- Froo has quit (*.net *.split). 05:59:53 -!- ^v has quit (*.net *.split). 05:59:53 -!- myname has quit (*.net *.split). 05:59:53 -!- Cale has quit (*.net *.split). 05:59:53 -!- yorick has quit (*.net *.split). 05:59:53 -!- Lymia has quit (*.net *.split). 05:59:54 -!- rodgort has quit (*.net *.split). 05:59:54 -!- digitalcold has quit (*.net *.split). 05:59:54 -!- espes has quit (*.net *.split). 05:59:54 -!- Tiktalik has quit (*.net *.split). 05:59:54 -!- xfix has quit (*.net *.split). 05:59:54 -!- sewilton has quit (*.net *.split). 05:59:54 -!- Xe has quit (*.net *.split). 06:37:42 <\oren\> oh geez, #KSPOfficial just became the trainspotting channel 06:38:37 \oren\: isn't that #trains 06:39:04 <\oren\> it is, but for some reason KSPOfficial isn't talking about KSP 06:47:52 -!- tromp has joined. 06:52:48 -!- tromp has quit (Ping timeout: 272 seconds). 08:45:01 -!- ais523 has quit. 08:54:39 -!- augur has quit (Remote host closed the connection). 09:03:06 -!- TellsTogo has joined. 09:07:44 https://esolangs.org/wiki/Gopher Add an Interpreter to one of the bots :3 09:19:20 -!- MoALTz has joined. 09:33:14 -!- TellsTogo has quit (Ping timeout: 250 seconds). 09:36:44 Yeah, our set of C-running things is pretty deficient. 09:37:36 That said, `! c *does* allow for "single instructions", sometimes. 09:37:39 `! c printf("hello"); 09:37:44 hello 09:38:44 wat 09:38:55 why didn't my version work... 09:39:32 `! printf("Hi!\n"); 09:39:34 /hackenv/bin/!: 4: exec: ibin/printf("Hi!: not found 09:39:39 `! c printf("Hi!\n"); 09:39:42 Does not compile. 09:39:45 `! c printf("Hi!\\n"); 09:39:51 Hi! 09:40:04 hm i somehow never tried that with that command. 09:41:01 Any objections to fetching the https://github.com/izabera/candide stuff and replacing `cc with that? 09:41:12 no lol 09:41:22 `fetch https://raw.githubusercontent.com/izabera/candide/master/configure 09:41:31 2016-07-10 08:41:24 URL:https://raw.githubusercontent.com/izabera/candide/master/configure [863/863] -> "configure" [1] 09:41:37 `fetch https://raw.githubusercontent.com/izabera/candide/master/candide-to-conf 09:41:39 `` type -a cc 09:41:40 2016-07-10 08:41:34 URL:https://raw.githubusercontent.com/izabera/candide/master/candide-to-conf [755/755] -> "candide-to-conf" [1] 09:41:42 cc is /hackenv/bin/cc \ cc is /usr/bin/cc 09:41:50 cc doesn't seem like a good name hth 09:41:55 -!- kuroro_ has joined. 09:41:56 It's fine. 09:42:02 well there's also runc 09:42:04 Nobody needs the actual cc for anything. 09:42:13 Yes, but it's called ,cc on ##c. :p 09:42:19 OKAY 09:42:31 i can think of a use for the actual cc 09:42:40 Then you can put in the full path. 09:42:56 `` bash ./configure 09:43:00 ok one objection: does it save files frequently 09:43:07 /dev/fd/0:31:19: fatal error: uchar.h: No such file or directory \ compilation terminated. 09:43:15 -!- TellsTogo has joined. 09:43:42 I don't think it does. 09:44:15 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. 09:44:15 well that went well. 09:44:40 I'll fix it. But I need to do breakfast now, apparently. 09:44:52 -!- kuroro has quit (Ping timeout: 260 seconds). 09:45:40 -!- oerjan has quit (Quit: Bite). 09:47:45 (We've got some houseguests.) 09:51:08 @time fizzie 09:51:11 Local time for fizzie is Sun Jul 10 09:51:08 2016 09:53:44 -!- mtve has joined. 09:53:44 -!- Vorpal has joined. 09:54:05 -!- Cale has joined. 09:54:05 -!- Sgeo has joined. 09:54:05 -!- tswett has joined. 09:54:05 -!- Froo has joined. 09:54:05 -!- ^v has joined. 09:54:05 -!- myname has joined. 09:54:05 -!- yorick has joined. 09:54:05 -!- Lymia has joined. 09:54:05 -!- rodgort has joined. 09:54:05 -!- digitalcold has joined. 09:54:05 -!- espes has joined. 09:54:05 -!- Tiktalik has joined. 09:54:05 -!- xfix has joined. 09:54:05 -!- sewilton has joined. 09:54:05 -!- Xe has joined. 09:54:06 -!- AnotherTest has joined. 09:54:06 -!- pdxleif has joined. 09:54:06 -!- trn has joined. 09:54:06 -!- catern has joined. 09:54:06 -!- deltab has joined. 09:57:55 `` mv configure candide-to-conf share/ 09:57:59 No output. 09:58:14 `` sed -i -e '/uchar.h/d' share/configure 09:58:17 No output. 09:58:30 `` ( cd share; bash ./configure ) 09:58:47 No output. 09:58:48 -!- TellsTogo has quit (Ping timeout: 250 seconds). 09:59:48 good thing you did it in a subshell 09:59:50 `` chmod a+x share/candide 09:59:52 think of the consequences 09:59:52 No output. 10:00:57 `` sed -i -e /^c=/s/.*/c="$*"/ share/candide 10:01:01 sed: -e expression #1, char 24: unknown option to `s' 10:01:21 `` sed -i -e '/^c=/s/.*/c="$*"/' share/candide 10:01:25 No output. 10:01:48 `` ./share/candide 'printf("hello");' 10:01:51 gcc: error: printf("hello");: No such file or directory 10:02:27 u breakd it 10:03:06 `paste ./share/candide 10:03:09 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/share/candide 10:03:26 Oh, it also uses the args on the command line. 10:04:23 Would be nice to support stuff like `cc -x -y --bloo printf("meh"); 10:05:19 But that'd involve actual work, so I think I'll just drop that. 10:05:36 do you want to pass those options to the compiler or to the compiled program? 10:05:45 The compiler. 10:05:49 That's how ,cc works. 10:06:08 `` sed -i -e 's/"${@--O0}"/-O0/' share/candide 10:06:11 No output. 10:06:16 It'd look different, anyway, so can be done later. 10:06:22 `` ./share/candide 'printf("hello");' 10:06:30 hello 10:08:28 Why not build in /tmp? 10:08:45 All these commits seem unnecessary. 10:08:52 Oh well, at least it's not autoconf. 10:08:59 By /tmp I mean tmp/. 10:09:00 I think you mean /hackenv/tmp. 10:09:02 Right. 10:09:10