00:01:05 -!- Bike_ has changed nick to Bike. 00:06:43 -!- tromp has joined. 00:09:10 -!- siruf has joined. 00:10:42 hm... 00:11:41 wtf isn't the ban working 00:13:55 -!- ChanServ has set channel mode: +o oerjan. 00:14:13 -!- oerjan has set channel mode: -b *!siruf@unaffiliated/motley. 00:14:47 that *is* weird 00:15:02 siruf: fix your connection thx 00:15:15 -!- oerjan has set channel mode: -o oerjan. 00:15:37 maybe servers are being inconsistent? 00:16:38 * elliott blames gremlins 00:17:18 -!- siruf has quit (Read error: Connection reset by peer). 00:17:25 -!- nooodl has quit (Quit: Ik ga weg). 00:17:27 -!- siruf has joined. 00:18:06 -!- ChanServ has set channel mode: +o oerjan. 00:18:18 -!- oerjan has set channel mode: +b *!*siruf@unaffiliated/motley. 00:18:18 -!- oerjan has kicked siruf I said, fix your connection. 00:18:30 -!- oerjan has set channel mode: -o oerjan. 00:18:48 perhaps the * is necessary somehow 00:19:26 My client hides that kind of stuff. 00:21:07 Also, you might want to append $##fix_your_connection to the ban hostmask. 00:22:22 fancy 00:22:28 -!- ChanServ has set channel mode: +o oerjan. 00:22:50 -!- oerjan has set channel mode: -b *!*siruf@unaffiliated/motley. 00:23:01 -!- oerjan has set channel mode: +b *!*siruf@unaffiliated/motley$##fix_your_connection. 00:23:27 -!- oerjan has set channel mode: -o oerjan. 00:23:57 Is there a way to define a time limit for bans? 00:24:05 (and other channel modes) 00:28:28 -!- x^2 has joined. 00:33:32 -!- Phantom_Hoover has joined. 00:33:47 -!- Slereah__ has joined. 00:33:50 -!- Slereah_ has quit (Ping timeout: 246 seconds). 00:39:36 -!- oerjan has quit (Quit: Nite). 00:41:04 -!- Sgeo has joined. 00:43:47 -!- w00tles_ has quit (Quit: quit). 00:50:49 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 00:53:22 -!- Phantom_Hoover has joined. 00:55:49 -!- elliott_ has joined. 00:57:47 -!- Froo has joined. 00:58:18 -!- ggherdov_ has quit (Ping timeout: 240 seconds). 00:58:20 -!- elliott has quit (Ping timeout: 240 seconds). 00:58:21 -!- Froox has quit (Ping timeout: 240 seconds). 00:58:21 -!- FireFly has quit (Ping timeout: 240 seconds). 00:58:22 -!- ion has quit (Ping timeout: 240 seconds). 00:59:14 -!- ion has joined. 00:59:16 -!- FreeFull has quit (Ping timeout: 240 seconds). 01:00:54 -!- FreeFull has joined. 01:01:37 -!- nortti_ has joined. 01:02:04 -!- nortti has quit (Ping timeout: 240 seconds). 01:12:34 -!- ggherdov_ has joined. 01:12:35 -!- b_jonas has quit (Ping timeout: 252 seconds). 01:14:26 -!- b_jonas has joined. 01:19:27 -!- FireFly has joined. 01:21:03 -!- FireFly has quit (Max SendQ exceeded). 01:22:18 -!- FireFly has joined. 01:29:45 -!- HackEgo has quit (Remote host closed the connection). 01:35:39 -!- tertu has joined. 01:39:01 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 01:48:22 -!- tertu_ has joined. 01:49:57 -!- tertu has quit (Ping timeout: 264 seconds). 01:57:27 -!- tertu_ has quit (Read error: Connection reset by peer). 01:57:34 -!- tertu has joined. 02:00:21 -!- HackEgo has joined. 02:13:25 -!- copumpkin has joined. 02:23:12 -!- TodPunk has joined. 02:26:27 -!- yorick has quit (Remote host closed the connection). 02:27:04 -!- shikhout has joined. 02:29:34 -!- TodPunk has quit (Ping timeout: 245 seconds). 02:29:55 -!- shikhin has quit (Ping timeout: 264 seconds). 02:29:56 -!- shikhout has changed nick to shikhin. 02:33:45 -!- TodPunk has joined. 02:34:43 -!- Slereah__ has quit (Read error: Connection reset by peer). 02:35:01 -!- Slereah_ has joined. 02:37:44 -!- Slereah__ has joined. 02:39:45 -!- Slereah_ has quit (Ping timeout: 264 seconds). 02:42:36 -!- Slereah_ has joined. 02:45:32 -!- Slereah__ has quit (Ping timeout: 252 seconds). 02:52:40 -!- Sorella has quit (Quit: It is tiem!). 02:52:47 -!- Slereah__ has joined. 02:54:09 -!- Slereah_ has quit (Ping timeout: 264 seconds). 02:54:53 -!- TodPunk has quit (Ping timeout: 252 seconds). 02:58:53 -!- TodPunk has joined. 03:02:48 -!- nisstyre has joined. 03:18:03 Oh hey the name of a Portal 2 OST song is in Common Lisp 03:18:22 (Or another language that looks like common lisp in at least one case) 03:18:49 -!- zzo38 has quit (Remote host closed the connection). 03:19:26 (defun botsbuildbots () (botsbuildbots)) 03:26:57 -!- impomatic has quit (Remote host closed the connection). 03:27:10 -!- itsy has quit (Read error: Connection reset by peer). 03:31:37 -!- prooftechnique has joined. 03:36:18 -!- coppro_ has changed nick to coppro. 03:36:45 -!- tromp_ has joined. 04:05:49 what 04:06:04 oh that is the name of the song? 04:07:15 yes 04:08:20 "LISP is a programming language that has been heavily used in AI research since being developed in 1958." I assume that's why Lisp, the stereotype 04:08:24 Didn't notice until now 04:10:51 what 04:14:02 Portal 2 has characters that are AIs 04:14:23 Which may be why that song's name is in Lisp, because Lisp has a reputation of being used for AI stuff 04:14:29 i see 04:27:31 `coins 04:27:33 wakecoin bracoin toplincoin beacoin arcancoin pletticoin matimewhacoin tnditcoin vcoin 294coin creturnotiacoin iinbrecoin pingpersoncoin jactcoin rangcoin ciacoin nutantcoin chargfrcoin mancoin etchiliacoin 04:32:09 -!- Slereah__ has quit (Remote host closed the connection). 04:32:23 -!- Slereah_ has joined. 04:37:19 -!- variable has changed nick to constant. 04:42:54 -!- tromp_ has quit (Remote host closed the connection). 04:48:44 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 05:10:57 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 05:43:31 -!- nortti_ has changed nick to nortti. 05:45:30 -!- Slereah_ has quit (Remote host closed the connection). 05:47:53 -!- Slereah_ has joined. 06:12:28 -!- Slereah__ has joined. 06:13:57 -!- Slereah_ has quit (Ping timeout: 264 seconds). 06:16:29 -!- prooftechnique has quit (Ping timeout: 246 seconds). 06:21:53 -!- w00tles has joined. 06:28:34 -!- not^v has joined. 06:31:02 -!- ^v has quit (Ping timeout: 252 seconds). 06:32:37 `run sed -e 's/coin/lisp/' bin/coins | . /dev/fd/0 # lisps 06:32:39 sefelisp olutionlisp moletlisp stboxlisp rocilisp minglisp poslisp percelisp waidictiolisp pavlisp boarentrolisp ///lisp oozlylisp rocklisp teillisp tritylisp tzundrillgelisp varlisp twicleishlisp mounlisp 06:36:22 `run . <(sed -e 's/coin/lisp/' bin/coins) # maybe clearer 06:36:24 lentlylisp frienlisp ahwlisp brechalisp mazellolisp arcolatescrimlisp allincliclisp thredlisp michlisp figulisp kvilllisp podonkencompulmlisp tinglisp stauralisp redcloodlisp franderlotypoxypholoutercuterowghlisp lictagnlisp smolisp wikindlisp throlisp 06:36:55 (Hadn't really realized you can modify-and-execute like that.) 06:36:56 ". /dev/fd/0" wow 06:37:02 wait, what's . again 06:37:11 Alias for "source". 06:37:12 you are wrapping a mobius strip of videotape around the math/porn part of my mind 06:39:19 followup question: waht's source 06:39:27 It's approximately "read commands from a file instead of prompting for them, and run them in this shell". 06:39:53 oh, i see. 06:40:00 you can also just pipe to sh, but that starts a new shell 06:40:05 but that's usually fine? 06:40:05 so you're sedding the coins script and then sending that script to shell. 06:40:19 `run sed -e 's/coin/lisp/' bin/coins | bash /dev/fd/0 # would also work, yes 06:40:21 reuthlisp hellengelisp onodlisp thismlisp unconlisp puisionlisp rallisp dussitalisp monlisp spinglisp receslisp cyanlisp falserlisp :lisp curringlisp babcdlisp befolisp pinallisp connlisp abbermdrlisp 06:40:32 It's pretty much that except with one bash less. 06:40:59 And the command line argument for bash was perhaps a bit superfluous. 06:41:53 ah, cool trick 06:42:27 lispcoin 06:42:56 Lispcoin is like Bitcoin except the scripts are in a Lisp dialect? 06:43:40 proof of work is in the form of "original" parenthesis jokes 06:46:23 :3 06:47:46 -!- Slereahphone has joined. 06:47:50 -!- Slereah__ has quit (Remote host closed the connection). 06:48:05 -!- Slereah_ has joined. 06:48:33 If, given proposition P, I can prove P, then I can prove P. 06:53:07 if, given your proof of proposition P, i can plagiarize your proof of proposition P, then i can prove P 06:54:07 -!- chaiomanot has quit (Quit: Leaving). 06:56:03 -!- ais523 has joined. 07:13:46 -!- not^v has quit (Quit: Leaving). 07:33:32 so the CIA is hacking Congress now? http://www.motherjones.com/politics/2014/03/dianne-feinstein-cia-intelligence-committee-constitutional-crisis 07:33:35 that seems bad 07:48:57 -!- Slereahphone_ has joined. 07:49:54 Something something shadow state 07:51:20 -!- Slereahphone has quit (Ping timeout: 252 seconds). 07:51:21 -!- Slereahphone_ has changed nick to Slereahphone. 07:59:02 -!- tertu has quit (Ping timeout: 246 seconds). 08:03:08 -!- Slereahphone has quit (Remote host closed the connection). 08:03:54 -!- Slereahphone has joined. 08:08:56 -!- aergus has quit (Ping timeout: 252 seconds). 08:19:55 -!- MoALTz has joined. 08:26:44 -!- Slereahphone has quit (Remote host closed the connection). 08:27:05 -!- Slereahphone has joined. 08:27:21 -!- shikhout has joined. 08:30:31 -!- shikhin has quit (Ping timeout: 264 seconds). 08:30:31 -!- shikhout has changed nick to shikhin. 08:43:56 -!- MoALTz has quit (Read error: Connection reset by peer). 08:45:21 -!- MoALTz has joined. 08:49:06 -!- MoALTz_ has joined. 08:49:38 -!- MoALTz has quit (Ping timeout: 252 seconds). 08:50:45 -!- FreeFull has quit. 08:52:12 -!- MoALTz_ has quit (Client Quit). 08:52:23 -!- MoALTz has joined. 08:56:47 -!- oklopol has quit (Ping timeout: 252 seconds). 08:57:24 -!- oklopol has joined. 09:17:29 -!- mr45 has joined. 09:22:30 -!- Slereah__ has joined. 09:24:09 -!- Slereah_ has quit (Ping timeout: 245 seconds). 09:27:55 -!- Slereah_ has joined. 09:29:14 -!- Slereah__ has quit (Ping timeout: 252 seconds). 09:34:31 what's your favourite sport, fungot? 09:34:33 b_jonas: mr president, the asylum system caused by abuses of the various production sectors, cost savings and the structural and cohesion policies? the fourçans report is very important. the underlying implication which is, after all, we should indicate to our partner that we do not establish a collaborative network to monitor racism and xenophobia by adopting a paragraph which, under provocation certainly, immediately takes up 09:34:42 hmm, he's still talking politics 09:40:44 fungot: Stop talking politics, it's time to relax. 09:40:44 fizzie: mr president, the rapporteurs from different committees, the interparliamentary delegations and the delegations of the recipient countries. countries that do not enable them to be more enthusiastic. and you cannot convince me that this is one of the longest traditions in my country's internal affairs, mr bouwman, who is also a senior belgian judge, has just called on the committee that he too was concerned about human r 09:43:05 -!- Slereahphone_ has joined. 09:43:57 -!- Slereahphone has quit (Ping timeout: 264 seconds). 09:43:58 -!- Slereahphone_ has changed nick to Slereahphone. 09:45:00 ^style nethack 09:45:01 Selected style: nethack (NetHack 3.4.3 data.base, rumors.tru, rumors.fal) 09:45:11 I think fungot's more relaxed in this style 09:45:11 ais523: polymorph into an unknown material. it is bad manners to use the word that the wizard jumped back, squeezing and contorting with great distrust, as he approached the base, the armed instincts of nails and jaws which have for source and aim the belly, glare and smell out work for the weak of heart, and heard the oracle of delphi ( q.v.) 09:53:28 The Oracle of Delphi (fungot remix) 09:53:28 Jafet: demi-gods don't need a mirror. in a fountain will not rust. 09:53:57 I'm guessing those are from .fal. 09:57:35 The latter part is [spoiler warning] a combination of two true rumours: "They say that dropping coins into a fountain will not grant you a wish." and "A crystal plate mail will not rust." 09:58:15 Whoops, I somehow misread the into/in part. 09:58:32 There's actually both a true and a false rumour that both contain "in a fountain", so I don't know which one was used. 09:59:02 -!- conehead has quit (Quit: Computer has gone to sleep.). 10:00:34 fungot: Why don't you compose a #esoteric theme song or something? 10:00:34 fizzie: they say that going to eat when it gets hungry? there is no law firm. picturesque meant he decided after careful observation of the same thing. then, who has met a gluttonous, nude, angry ogre, will not grant you a gentleman? 10:03:59 "we're going to eat when it gets hungry" sounds pretty song-like 10:04:16 "there is no law firm" works too, but I think it's from a different song 10:05:47 I don't remember law firms being mentioned in the encyclopedia... 10:12:19 -!- aergus has joined. 10:12:52 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 10:15:58 -!- boily has joined. 10:16:38 -!- Slereah__ has joined. 10:17:54 -!- Slereah_ has quit (Ping timeout: 245 seconds). 10:18:39 @massages-loud 10:18:39 oerjan said 23h 10m 46s ago: technically usenet hasn't passed, ais523 somehow manages to still be there, for one 10:19:04 most of usenet has died, I hang out in a couple of newsgroups that haven't (also a couple that have) 10:19:26 even the spambots have given up on alt.lang.intercal 10:19:33 but I still read it almost every day 10:19:34 there are stil newgroups that haven't transmuted to spam? 10:19:39 s/l\b/ll/ 10:19:39 (it doesn't take long to read an empty newsgroup) 10:20:08 actually Usenet has some of its lowest spam levels ever 10:20:09 ah. the barren emptiness of them made the spambots go away in their search of more fertile land. 10:20:48 lesson of the day: Usenet is weird and wonderful. 10:21:31 comp.lang.c has managed to stay relevant for years 10:21:57 I never got into newsgroups. I stick to IRC and mailing lists. 10:22:08 Not many mailing lists though. 10:23:47 I know I have subscribed to mailing lists, as I see them pop in my inbox. some day I'll read one of them. 10:26:28 -!- Slereah_ has joined. 10:28:21 -!- Slereah__ has quit (Ping timeout: 264 seconds). 10:30:30 I usually just read a mailing list for a few days after I write something to it, then ignore it. 10:30:34 sometimes I even unsubscribe. 10:32:34 -!- itsy has joined. 10:34:20 -!- MindlessDrone has joined. 10:35:10 dun dun dun! 10:37:47 -!- Slereah_ has quit (Read error: Connection reset by peer). 10:38:04 -!- Slereah_ has joined. 10:40:43 -!- Slereah__ has joined. 10:42:23 -!- Slereah_ has quit (Ping timeout: 252 seconds). 10:45:17 -!- aergus has quit (Ping timeout: 246 seconds). 11:03:00 -!- Slereahphone has joined. 11:03:12 -!- boily has quit (Quit: CUBICAL CHICKEN). 11:20:52 -!- oerjan has joined. 11:33:59 If, given proposition P, I can prove P, then I can prove P. <-- you need more precise thinking than that if you're going to tackle Löb's theorem, pal. 11:35:42 there isn't a backwards Weakening rule 11:35:49 you can't just get rid of premises whenever you feel like it 11:36:19 (and "given P you can prove P" is just Identity) 11:36:45 i'm not sure Sgeo is currently awake. 11:41:24 -!- aergus has joined. 11:46:29 :t fix 11:46:29 (a -> a) -> a 11:46:43 :t get fix 11:46:44 MonadState s ((->) ((a -> a) -> a)) => s 11:47:55 :t gets fix 11:47:56 MonadState (a -> a) m => m a 11:49:09 Sgeo: half the point of löb's theorem is that "P" is _not_ the same proposition as "P is provable". 11:49:33 Oh 11:50:29 So the a's in fix just represent ... hmm 11:50:35 fix is still illogical? 11:51:26 How would it be stated? 11:51:31 :t fix id 11:51:31 a 11:51:37 Sgeo: that should give you a clue as to what's wrong 11:52:56 yes, fix is a curry-howard "proof" that haskell's type system is inconsistent. 11:54:04 I think the point is that the type system isn't meant to enforce totality 11:54:13 so in addition to useful proofs, you get the occasional infinite loop 11:54:21 yep 11:54:29 "useful" proofs 11:54:53 @quote kmc Curry-Howard 11:54:53 kmc says: "Haskell is great, because Curry-Howard! Proving things in the type system. We can prove that, uh, Ints exist, unless they're ⊥." 11:55:17 Jafet: haskell programs which _don't_ use general recursion presumably stay within the consistent part. 11:55:30 I assume Agda doesn't have fix? 11:55:33 :t undefined 11:55:34 a 11:55:48 a nicely inconsistent constant right there :-) 11:55:50 (there have of course been occasional bugs in extensions to the type system) 11:56:58 hmm, Haskell needs a "defined" too, which returns an arbitrary value and can take any inhabited type 11:57:12 I'm going to use it to solve the halting probem 11:57:13 *problem 11:57:43 Isabelle/HOL has such a term, but it's named "undefined" 11:58:19 the GeneralizedNewtypeDeriving [sp?] extension just last year had its bugginess fixed after several years of being inconsistent. 12:02:10 -!- Slereahphone has quit (Remote host closed the connection). 12:02:27 -!- Sgeo has quit (Read error: Connection reset by peer). 12:02:30 -!- Slereahphone has joined. 12:03:37 oh i tried "newtype Fnord a = Fnord a deriving Monad" to get ghci to tell me what the extension name was, but that didn't work because it didn't have the precise right form 12:04:00 (newtype Fnord a = Fnord (Maybe a) deriving Monad worked) 12:04:28 -!- AnotherTest has joined. 12:05:09 -!- Slereahphone has quit (Remote host closed the connection). 12:05:24 Try adding instance Monad a 12:05:31 -!- Slereahphone has joined. 12:05:54 i _suspect_ that may be overlapping. 12:06:51 Unfortunately, you cannot refuse to import other instances 12:08:42 after enabling enough extensions to make it _try_, it gives ":43:36: Can't make a derived instance of `Monad Fnord' (even with cunning newtype deriving): cannot eta-reduce the representation type enough In the newtype declaration for `Fnord' " 12:09:35 i suppose they may not have been trying very hard to make that case work. 12:10:14 I wonder if RebindableSyntax will make ghc try to derive an instance for some other class named Monad 12:10:42 They probably wouldn't have tried to make that work, either. 12:11:54 Jafet: um GeneralizedNewtypeDeriving doesn't know anything specific about Monad, i think, so just hiding the Prelude identifier should be enough... 12:13:35 it's just a generic way of "inserting" newtype conversions for whatever class you want. 12:15:13 with some newly added restrictions that the newtype can only appear in "parametric" roles, or thereabouts. 12:15:37 (actually i'm not sure if that's in the latest haskell platform yet) 12:25:47 -!- aergus has quit (Ping timeout: 252 seconds). 12:31:26 -!- yorick has joined. 12:37:43 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 12:40:17 -!- Slereahphone has joined. 12:57:15 -!- Slereahphone has quit (Remote host closed the connection). 12:57:33 -!- Slereahphone has joined. 13:10:53 -!- Slereahphone has quit (Ping timeout: 252 seconds). 13:14:24 -!- Bike has quit (Ping timeout: 252 seconds). 13:16:23 -!- Slereahphone has joined. 13:22:34 -!- aergus has joined. 13:23:05 -!- spiette has joined. 13:26:03 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 13:28:10 -!- Slereahphone has joined. 13:35:44 -!- aergus has quit (Ping timeout: 246 seconds). 13:52:41 -!- Sprocklem has quit (Ping timeout: 252 seconds). 14:00:42 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 14:08:53 -!- Phantom_Hoover has joined. 14:12:19 -!- FreeFull has joined. 14:26:04 -!- Sprocklem has joined. 14:27:21 -!- shikhout has joined. 14:29:48 * oklopol has spent half a day proving that a function is continuous 14:30:25 -!- Slereah__ has quit (Read error: Connection reset by peer). 14:30:31 -!- shikhin has quit (Ping timeout: 264 seconds). 14:30:31 -!- shikhout has changed nick to shikhin. 14:30:41 -!- Slereah_ has joined. 14:43:58 -!- Slereahphone has joined. 14:57:40 -!- MoALTz_ has joined. 14:58:52 -!- Slereahphone has quit (Remote host closed the connection). 14:59:56 -!- Slereahphone has joined. 15:00:47 -!- MoALTz has quit (Ping timeout: 246 seconds). 15:02:41 -!- Slereah_ has quit (Remote host closed the connection). 15:02:49 -!- Slereah_ has joined. 15:06:36 -!- Slereah__ has joined. 15:09:31 -!- Slereah_ has quit (Ping timeout: 264 seconds). 15:18:16 oklopol: as long as it wasn't a whole day to prove it semi-continuous 15:28:45 -!- nisstyre has joined. 15:31:15 -!- aergus has joined. 15:35:51 -!- Slereah_ has joined. 15:38:35 -!- Slereah__ has quit (Ping timeout: 246 seconds). 15:49:50 -!- Slereah_ has quit (Ping timeout: 252 seconds). 15:50:09 -!- Slereah_ has joined. 15:52:03 -!- oerjan has quit (Quit: leaving). 16:04:08 -!- Sprocklem has quit (Ping timeout: 246 seconds). 16:09:51 -!- ais523 has quit. 16:10:36 -!- Sprocklem has joined. 16:12:31 -!- Slereah_ has quit (Ping timeout: 264 seconds). 16:32:19 -!- Sprocklem has quit (Ping timeout: 264 seconds). 16:34:44 -!- constant has changed nick to function. 16:45:09 -!- myndzi has quit (Quit: .). 16:47:02 -!- myndzi has joined. 16:48:41 -!- aergus has quit (Ping timeout: 252 seconds). 16:53:08 -!- nooodl has joined. 16:55:58 -!- Bike has joined. 16:56:35 -!- ^v has joined. 17:30:20 `coins --finnish 17:30:21 käskellyttäväcoin 17:33:02 -!- itsy has quit (Ping timeout: 246 seconds). 17:53:42 i like käskellyttävä 17:55:25 Käskell Kärry 17:55:43 `coins 17:55:45 breusnecoin movecoin justrovecoin tyncoin madbalmoicoin brainfuckcoin flumpcoin resolcoin shanemcoin ypsilacoin arcacoin limpcoin bestflcoin discoin menshacoin plumpcoin graticoin face1.0coin secitcoin maniccoin 17:55:53 plumpcoin 17:56:04 this will not fly. 18:16:25 -!- conehead has joined. 18:19:53 maniccoin sounds accurate 18:21:52 -!- aergus has joined. 18:23:34 `cat bin/coins 18:23:34 words ${1---eng-1M --esolangs 20} | sed -re 's/( |$)/coin\1/g' 18:24:32 `ls 18:24:32 98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ UNPA \ wisdom \ wisdom.pdf 18:24:41 `paste 98076 18:24:42 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/98076 18:25:18 (actually, I were looking for the link to the repo web interface) 18:35:02 -!- mr45 has quit (Remote host closed the connection). 18:51:23 `cat :-D 18:51:24 ​☺ 18:52:02 `cat dog 18:52:03 ​ヽ༼ຈل͜ຈ༽ノ 18:52:44 `cat cat 18:52:45 Meow~~ 18:57:28 -!- w00tles has quit (Quit: quit). 18:59:55 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 19:06:26 `cat UNPA 19:06:27 ​/* \ UTF-to-VLQ \ Public domain \ */ \ \ #include \ #include \ \ #ifdef _WIN32 \ #include \ #endif \ \ typedef unsigned char byte; \ typedef unsigned long long ULL; \ \ typedef ULL(*in_func_t)(void); \ typedef void(*out_func_t)(ULL); \ \ char in_mode; \ char out_mode; \ int options[128]; \ ULL translation[ 19:11:11 -!- w00tles has joined. 19:36:20 -!- yorick has quit (Quit: No Ping reply in 180 seconds.). 19:40:01 -!- yorick has joined. 19:45:39 `` cat ate the canary 19:45:39 cat: ate: No such file or directory \ cat: the: No such file or directory \ chirp 19:49:13 -!- yorick has quit (Read error: Connection reset by peer). 19:52:16 -!- yorick has joined. 19:59:05 -!- Sprocklem has joined. 20:14:12 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:26:18 -!- shikhin has quit (Read error: Connection reset by peer). 20:27:30 -!- shikhin has joined. 20:27:58 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 20:28:25 -!- aergus has quit (Ping timeout: 240 seconds). 20:32:37 `help 20:32:37 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 21:22:49 -!- Sprocklem has quit (Ping timeout: 240 seconds). 21:27:57 -!- w00tles has quit (Quit: quit). 21:32:13 -!- itsy has joined. 21:36:51 -!- oerjan has joined. 21:47:33 -!- AnotherTest has quit (Ping timeout: 264 seconds). 21:56:51 -!- atslash has joined. 22:02:06 -!- chaiomanot has joined. 22:16:26 I had an idea for a C obfuscation idea but it does not really work 22:19:48 http://i.imgur.com/sM8lCRb.png HTML5 tokenizer state graph 22:20:00 not including tokenizer state changes caused by the tree builder 22:22:04 Looks fun 22:24:31 -!- shikhin has quit (Ping timeout: 264 seconds). 22:27:44 Taneb: what was the idea? 22:27:59 Using scanf, &&, and || to make a fun parser 22:28:46 -!- shikhin has joined. 22:48:04 -!- Sprocklem has joined. 22:52:50 -!- Sgeo has joined. 23:02:35 -!- MoALTz_ has quit (Quit: Leaving). 23:03:08 -!- vravn has joined. 23:12:33 -!- vravn has quit (Excess Flood). 23:14:38 -!- vravn has joined. 23:27:13 -!- atslash has quit (Quit: This computer has gone to sleep). 23:36:16 -!- nycs has joined. 23:37:38 -!- `^_^v has quit (Read error: Operation timed out). 23:37:43 -!- nooodl has quit (Quit: Ik ga weg). 23:40:02 -!- augur has quit (Remote host closed the connection). 23:40:29 -!- augur has joined. 23:42:08 -!- augur has quit (Read error: Connection reset by peer). 23:43:31 -!- augur has joined. 23:55:39 -!- function has changed nick to trout.