←2014-03-11 2014-03-12 2014-03-13→ ↑2014 ↑all
00:01:05 -!- Bike_ has changed nick to Bike.
00:06:43 -!- tromp has joined.
00:09:10 -!- siruf has joined.
00:10:42 <oerjan> hm...
00:11:41 <oerjan> 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 <elliott> that *is* weird
00:15:02 <oerjan> siruf: fix your connection thx
00:15:15 -!- oerjan has set channel mode: -o oerjan.
00:15:37 <oerjan> 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 <oerjan> perhaps the * is necessary somehow
00:19:26 <ion> My client hides that kind of stuff.
00:21:07 <ion> Also, you might want to append $##fix_your_connection to the ban hostmask.
00:22:22 <oerjan> 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 <zzo38> Is there a way to define a time limit for bans?
00:24:05 <zzo38> (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 <Sgeo> Oh hey the name of a Portal 2 OST song is in Common Lisp
03:18:22 <Sgeo> (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 <Sgeo> (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 <kmc> what
04:06:04 <kmc> oh that is the name of the song?
04:07:15 <Sgeo> yes
04:08:20 <Sgeo> "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 <Sgeo> Didn't notice until now
04:10:51 <kmc> what
04:14:02 <Sgeo> Portal 2 has characters that are AIs
04:14:23 <Sgeo> 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 <kmc> i see
04:27:31 <kmc> `coins
04:27:33 <HackEgo> 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 <fizzie> `run sed -e 's/coin/lisp/' bin/coins | . /dev/fd/0 # lisps
06:32:39 <HackEgo> sefelisp olutionlisp moletlisp stboxlisp rocilisp minglisp poslisp percelisp waidictiolisp pavlisp boarentrolisp ///lisp oozlylisp rocklisp teillisp tritylisp tzundrillgelisp varlisp twicleishlisp mounlisp
06:36:22 <fizzie> `run . <(sed -e 's/coin/lisp/' bin/coins) # maybe clearer
06:36:24 <HackEgo> lentlylisp frienlisp ahwlisp brechalisp mazellolisp arcolatescrimlisp allincliclisp thredlisp michlisp figulisp kvilllisp podonkencompulmlisp tinglisp stauralisp redcloodlisp franderlotypoxypholoutercuterowghlisp lictagnlisp smolisp wikindlisp throlisp
06:36:55 <fizzie> (Hadn't really realized you can modify-and-execute like that.)
06:36:56 <kmc> ". /dev/fd/0" wow
06:37:02 <Bike> wait, what's . again
06:37:11 <fizzie> Alias for "source".
06:37:12 <kmc> you are wrapping a mobius strip of videotape around the math/porn part of my mind
06:39:19 <Bike> followup question: waht's source
06:39:27 <fizzie> It's approximately "read commands from a file instead of prompting for them, and run them in this shell".
06:39:53 <Bike> oh, i see.
06:40:00 <kmc> you can also just pipe to sh, but that starts a new shell
06:40:05 <kmc> but that's usually fine?
06:40:05 <Bike> so you're sedding the coins script and then sending that script to shell.
06:40:19 <fizzie> `run sed -e 's/coin/lisp/' bin/coins | bash /dev/fd/0 # would also work, yes
06:40:21 <HackEgo> reuthlisp hellengelisp onodlisp thismlisp unconlisp puisionlisp rallisp dussitalisp monlisp spinglisp receslisp cyanlisp falserlisp :lisp curringlisp babcdlisp befolisp pinallisp connlisp abbermdrlisp
06:40:32 <fizzie> It's pretty much that except with one bash less.
06:40:59 <fizzie> And the command line argument for bash was perhaps a bit superfluous.
06:41:53 <olsner> ah, cool trick
06:42:27 <kmc> lispcoin
06:42:56 <fizzie> Lispcoin is like Bitcoin except the scripts are in a Lisp dialect?
06:43:40 <Bike> proof of work is in the form of "original" parenthesis jokes
06:46:23 <kmc> :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 <Sgeo> If, given proposition P, I can prove P, then I can prove P.
06:53:07 <Bike> 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 <kmc> so the CIA is hacking Congress now? http://www.motherjones.com/politics/2014/03/dianne-feinstein-cia-intelligence-committee-constitutional-crisis
07:33:35 <kmc> that seems bad
07:48:57 -!- Slereahphone_ has joined.
07:49:54 <Jafet> 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 <b_jonas> what's your favourite sport, fungot?
09:34:33 <fungot> b_jonas: mr president, the asylum system caused by abuses of the various production sectors, cost savings and the structural and cohesion policies? the fourans 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 <b_jonas> hmm, he's still talking politics
09:40:44 <fizzie> fungot: Stop talking politics, it's time to relax.
09:40:44 <fungot> 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 <ais523> ^style nethack
09:45:01 <fungot> Selected style: nethack (NetHack 3.4.3 data.base, rumors.tru, rumors.fal)
09:45:11 <ais523> I think fungot's more relaxed in this style
09:45:11 <fungot> 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 <Jafet> The Oracle of Delphi (fungot remix)
09:53:28 <fungot> Jafet: demi-gods don't need a mirror. in a fountain will not rust.
09:53:57 <Jafet> I'm guessing those are from .fal.
09:57:35 <fizzie> 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 <fizzie> Whoops, I somehow misread the into/in part.
09:58:32 <fizzie> 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 <fizzie> fungot: Why don't you compose a #esoteric theme song or something?
10:00:34 <fungot> 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 <ais523> "we're going to eat when it gets hungry" sounds pretty song-like
10:04:16 <ais523> "there is no law firm" works too, but I think it's from a different song
10:05:47 <Jafet> 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 <boily> @massages-loud
10:18:39 <lambdabot> oerjan said 23h 10m 46s ago: technically usenet hasn't passed, ais523 somehow manages to still be there, for one
10:19:04 <ais523> most of usenet has died, I hang out in a couple of newsgroups that haven't (also a couple that have)
10:19:26 <ais523> even the spambots have given up on alt.lang.intercal
10:19:33 <ais523> but I still read it almost every day
10:19:34 <boily> there are stil newgroups that haven't transmuted to spam?
10:19:39 <boily> s/l\b/ll/
10:19:39 <ais523> (it doesn't take long to read an empty newsgroup)
10:20:08 <ais523> actually Usenet has some of its lowest spam levels ever
10:20:09 <boily> ah. the barren emptiness of them made the spambots go away in their search of more fertile land.
10:20:48 <boily> lesson of the day: Usenet is weird and wonderful.
10:21:31 <ais523> comp.lang.c has managed to stay relevant for years
10:21:57 <b_jonas> I never got into newsgroups. I stick to IRC and mailing lists.
10:22:08 <b_jonas> Not many mailing lists though.
10:23:47 <boily> 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 <b_jonas> I usually just read a mailing list for a few days after I write something to it, then ignore it.
10:30:34 <b_jonas> sometimes I even unsubscribe.
10:32:34 -!- itsy has joined.
10:34:20 -!- MindlessDrone has joined.
10:35:10 <boily> 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 <oerjan> <Sgeo> 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 <ais523> there isn't a backwards Weakening rule
11:35:49 <ais523> you can't just get rid of premises whenever you feel like it
11:36:19 <ais523> (and "given P you can prove P" is just Identity)
11:36:45 <oerjan> i'm not sure Sgeo is currently awake.
11:41:24 -!- aergus has joined.
11:46:29 <Sgeo> :t fix
11:46:29 <lambdabot> (a -> a) -> a
11:46:43 <oerjan> :t get fix
11:46:44 <lambdabot> MonadState s ((->) ((a -> a) -> a)) => s
11:47:55 <oerjan> :t gets fix
11:47:56 <lambdabot> MonadState (a -> a) m => m a
11:49:09 <oerjan> Sgeo: half the point of löb's theorem is that "P" is _not_ the same proposition as "P is provable".
11:49:33 <Sgeo> Oh
11:50:29 <Sgeo> So the a's in fix just represent ... hmm
11:50:35 <Sgeo> fix is still illogical?
11:51:26 <Sgeo> How would it be stated?
11:51:31 <ais523> :t fix id
11:51:31 <lambdabot> a
11:51:37 <ais523> Sgeo: that should give you a clue as to what's wrong
11:52:56 <oerjan> yes, fix is a curry-howard "proof" that haskell's type system is inconsistent.
11:54:04 <ais523> I think the point is that the type system isn't meant to enforce totality
11:54:13 <ais523> so in addition to useful proofs, you get the occasional infinite loop
11:54:21 <oerjan> yep
11:54:29 <Jafet> "useful" proofs
11:54:53 <Jafet> @quote kmc Curry-Howard
11:54:53 <lambdabot> 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 <oerjan> Jafet: haskell programs which _don't_ use general recursion presumably stay within the consistent part.
11:55:30 <ais523> I assume Agda doesn't have fix?
11:55:33 <ais523> :t undefined
11:55:34 <lambdabot> a
11:55:48 <ais523> a nicely inconsistent constant right there :-)
11:55:50 <oerjan> (there have of course been occasional bugs in extensions to the type system)
11:56:58 <ais523> hmm, Haskell needs a "defined" too, which returns an arbitrary value and can take any inhabited type
11:57:12 <ais523> I'm going to use it to solve the halting probem
11:57:13 <ais523> *problem
11:57:43 <Jafet> Isabelle/HOL has such a term, but it's named "undefined"
11:58:19 <oerjan> 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 <oerjan> 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 <oerjan> (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 <Jafet> Try adding instance Monad a
12:05:31 -!- Slereahphone has joined.
12:05:54 <oerjan> i _suspect_ that may be overlapping.
12:06:51 <Jafet> Unfortunately, you cannot refuse to import other instances
12:08:42 <oerjan> after enabling enough extensions to make it _try_, it gives "<interactive>: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 <oerjan> i suppose they may not have been trying very hard to make that case work.
12:10:14 <Jafet> I wonder if RebindableSyntax will make ghc try to derive an instance for some other class named Monad
12:10:42 <Jafet> They probably wouldn't have tried to make that work, either.
12:11:54 <oerjan> Jafet: um GeneralizedNewtypeDeriving doesn't know anything specific about Monad, i think, so just hiding the Prelude identifier should be enough...
12:13:35 <oerjan> it's just a generic way of "inserting" newtype conversions for whatever class you want.
12:15:13 <oerjan> with some newly added restrictions that the newtype can only appear in "parametric" roles, or thereabouts.
12:15:37 <oerjan> (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 <oerjan> 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 <olsner> `coins --finnish
17:30:21 <HackEgo> käskellyttäväcoin
17:33:02 -!- itsy has quit (Ping timeout: 246 seconds).
17:53:42 <oklopol> i like kskellyttv
17:55:25 <ion> Käskell Kärry
17:55:43 <int-e> `coins
17:55:45 <HackEgo> breusnecoin movecoin justrovecoin tyncoin madbalmoicoin brainfuckcoin flumpcoin resolcoin shanemcoin ypsilacoin arcacoin limpcoin bestflcoin discoin menshacoin plumpcoin graticoin face1.0coin secitcoin maniccoin
17:55:53 <int-e> plumpcoin
17:56:04 <int-e> this will not fly.
18:16:25 -!- conehead has joined.
18:19:53 <quintopia> maniccoin sounds accurate
18:21:52 -!- aergus has joined.
18:23:34 <FireFly> `cat bin/coins
18:23:34 <HackEgo> words ${1---eng-1M --esolangs 20} | sed -re 's/( |$)/coin\1/g'
18:24:32 <FireFly> `ls
18:24:32 <HackEgo> 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 <FireFly> `paste 98076
18:24:42 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/98076
18:25:18 <FireFly> (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 <Melvar> `cat :-D
18:51:24 <HackEgo> ​☺
18:52:02 <Melvar> `cat dog
18:52:03 <HackEgo> ​ヽ༼ຈل͜ຈ༽ノ
18:52:44 <Melvar> `cat cat
18:52:45 <HackEgo> Meow~~
18:57:28 -!- w00tles has quit (Quit: quit).
18:59:55 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
19:06:26 <myname> `cat UNPA
19:06:27 <HackEgo> ​/* \ UTF-to-VLQ \ Public domain \ */ \ \ #include <stdio.h> \ #include <stdlib.h> \ \ #ifdef _WIN32 \ #include <fcntl.h> \ #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 <fizzie> `` cat ate the canary
19:45:39 <HackEgo> 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 <olsner> `help
20:32:37 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" 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 <Taneb> I had an idea for a C obfuscation idea but it does not really work
22:19:48 <kmc> http://i.imgur.com/sM8lCRb.png HTML5 tokenizer state graph
22:20:00 <kmc> not including tokenizer state changes caused by the tree builder
22:22:04 <Taneb> Looks fun
22:24:31 -!- shikhin has quit (Ping timeout: 264 seconds).
22:27:44 <FireFly> Taneb: what was the idea?
22:27:59 <Taneb> 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.
←2014-03-11 2014-03-12 2014-03-13→ ↑2014 ↑all