00:01:30 -!- Sgeo has quit (Ping timeout: 244 seconds). 00:02:16 For the fixed-position case, "(numb << K) >> K" is possibly the simplest thing to do, but only if you happen to have access to a >> that's reliably an arithmetic right shift. <-- what about (numb << K) / (1 << K) ? 00:02:55 might need casts 00:03:35 -!- jaboja has joined. 00:05:34 -!- MDude has quit (Ping timeout: 252 seconds). 00:06:22 `cat bin/weather 00:06:41 cat: bin/weather: No such file or directory 00:06:42 ....... 00:06:48 wat 00:06:52 oh 00:06:58 `? bin/weather 00:07:00 bin/weather? ¯\(°​_o)/¯ 00:07:06 `? weather 00:07:10 lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK 00:07:14 CYUL 152200Z 31013G23KT 15SM BKN045 OVC100 07/M03 A2965 RMK SC5AC3 SLP043 \ ENVA 152250Z 33007KT 9999 BKN037 06/02 Q1016 RMK WIND 670FT 30007KT \ ESSB 152250Z AUTO 35017G29KT 9999 -DZ BKN013/// OVC015/// 07/04 Q1001 \ KOAK 152253Z 25015KT 10SM FEW020 FEW200 20/12 A2997 RMK AO2 SLP148 T02000122 00:07:14 * oerjan swats his brain -----### 00:08:06 `mkx bin/metar//echo lambdabot: @metar $1 00:08:12 >_> 00:08:12 bin/metar 00:08:19 `metar ENVA 00:08:20 lambdabot: @metar ENVA 00:08:20 ENVA 152250Z 33007KT 9999 BKN037 06/02 Q1016 RMK WIND 670FT 30007KT 00:10:36 @tell \oren\ <\oren\> ITS HAILING WTFOMGBBQ <-- i am not sure this is ideal for BBQ but whatever floats your boat. 00:10:36 Consider it noted. 00:11:18 oerjan: you're probably thinking of a barbecue, i.e. bbc 00:13:49 * oerjan waves the swatter in shachaf's general direction and mumbles something about elderberries -----### 00:14:53 -!- tromp_ has joined. 00:17:34 -!- hppavilion[1] has joined. 00:18:36 `? manometer 00:18:39 manometer? ¯\(°​_o)/¯ 00:19:03 -!- tromp_ has quit (Ping timeout: 246 seconds). 00:19:30 oerjan: à la , i'm sure 00:20:57 `learn A manometer is a device for testing real men by putting them under pressure. 00:21:03 Learned 'manometer': A manometer is a device for testing real men by putting them under pressure. 00:21:27 shachaf: APPROXIMATELY 00:35:12 oerjan: / truncates negative numbers to the wrong direction. Consider the case where (numb << K) == -1 -- then the result should be -1 as well, but it's 0 for any K > 0. 00:35:40 fizzie: but it can't be - it's always divisible by 2^K 00:36:01 Oh, that's a-true. 00:39:17 Yeah, I guess that'll work. Although I wonder if compilers are going to be clever enough to realize that. (They quite often seem to implement division by 2^K by shifting + extra adjustments for the rounding.) 00:40:14 -!- hppavilion[2] has joined. 00:40:30 Huh. At least clang did. Fancy stuff. 00:40:43 gcc didn't. :) 00:42:19 http://sprunge.us/ffTA for the dirt. 00:43:31 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 00:44:46 * oerjan downvotes a reddit post solely because the link started playing audio automatically. 00:44:48 (The latter is essentially "t = x << 6; if (t < 0) t += 63; return t >> 6;") 00:45:05 sadly, it already had thousands of upvotes. 00:52:38 `? OS/2 00:52:52 OS/2? ¯\(°​_o)/¯ 00:55:46 `le//rn OS/2//OS/2 was an OS, too. 00:56:03 ​/hackenv/le//rn: line 1: wisdom/os/2: Not a directory 00:56:12 wat 00:56:24 `? plan 9 00:56:26 `? plan9 00:56:28 `? plan-9 00:56:30 `? os2 00:56:32 `? os-2 00:56:36 `? os 2 00:56:47 please don't spamckego like that twh 00:56:53 * oerjan swats b_jonas for spamming while he's trying to debug -----### 00:57:06 `? os 00:57:20 good luck 00:57:27 -!- ChanServ has set channel mode: +o oerjan. 00:57:36 sorry 00:57:44 -!- oerjan has kicked b_jonas. 00:57:51 -!- oerjan has set channel mode: -o oerjan. 00:58:40 No output. 00:58:41 ? 00:59:25 -!- evalj has joined. 00:59:41 shachaf: i say it's still overloaded. 01:00:54 No output. 01:00:54 No output. 01:00:54 No output. 01:00:55 os2? ¯\(°​_o)/¯ 01:00:56 No output. 01:00:58 Os is the accusative plural of us. Also a municipality in Norway. 01:01:17 thought so. alas there cannot be both a file and a directory by the same name... 01:06:23 -!- lambda-11235 has quit (Quit: Bye). 01:06:43 -!- lambda-11235 has joined. 01:13:19 -!- idris-bot has quit (Ping timeout: 244 seconds). 01:14:25 -!- Melvar` has joined. 01:14:29 -!- Melvar has quit (Ping timeout: 260 seconds). 01:18:33 -!- Melvar`` has joined. 01:20:50 -!- Melvar` has quit (Ping timeout: 250 seconds). 01:47:28 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:00:10 -!- ybden has joined. 02:13:19 -!- ybden has quit (Quit: :)rando:)Get :) to Mars(). 02:14:56 -!- tromp_ has joined. 02:19:27 -!- tromp_ has quit (Ping timeout: 260 seconds). 02:25:04 -!- jaboja has quit (Ping timeout: 260 seconds). 02:35:59 -!- b_jonas has joined. 02:36:56 b_jonas: sorry if i insulted you. it was meant as a joke. 02:37:25 oerjan: I know. (I started a jevalbot instance to watch the channel, in case it wasn't obvious.) 02:38:03 oh. i didn't connect that. 02:39:09 -!- drdanmaku has joined. 02:41:09 -!- tromp_ has joined. 02:42:51 `randomcard d.*(r.*(o.*m|m.*o)|o.*(r.*m|m.*r)|m.*(r.*o|o.*r)).*ka 02:42:58 `random-card d.*(r.*(o.*m|m.*o)|o.*(r.*m|m.*r)|m.*(r.*o|o.*r)).*ka 02:43:34 -!- Kaynato has quit (Ping timeout: 265 seconds). 02:43:56 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: randomcard: not found 02:44:07 Dromoka Captain \ 2W \ Creature -- Human Soldier \ 1/1 \ First strike \ Whenever Dromoka Captain attacks, bolster 1. (Choose a creature with the least toughness among creatures you control and put a +1/+1 counter on it.) \ DTK-U 02:44:14 `random-card d.*(r.*(o.*m|m.*o)|o.*(r.*m|m.*r)|m.*(r.*o|o.*r)).*ka 02:44:28 `random-card fury 02:44:37 Dromoka Warrior \ 1W \ Creature -- Human Warrior \ 3/1 \ DTK-C 02:44:38 Vampiric Fury \ 1R \ Instant \ Vampire creatures you control get +2/+0 and gain first strike until end of turn. \ ISD-C 02:45:01 `random-card multikick 02:45:05 Lightkeeper of Emeria \ 3W \ Creature -- Angel \ 2/4 \ Multikicker {W} (You may pay an additional {W} any number of times as you cast this spell.) \ Flying \ When Lightkeeper of Emeria enters the battlefield, you gain 2 life for each time it was kicked. \ WWK-U, CMD-U 02:46:31 -!- evalj has quit (Remote host closed the connection). 02:56:36 -!- hppavilion[2] has quit (Ping timeout: 265 seconds). 03:00:13 -!- tromp_ has quit (Remote host closed the connection). 03:07:56 -!- zzo38 has joined. 03:26:08 What does "free ranging moons" means? 03:26:31 Left adjoint to forgetful ranging moons, presumably? 03:26:56 O, that's what it means. OK 03:36:00 more likely it means moons yanked from their orbits and turned into comets or dwarf planets or, even more free ranging, sent hurtling out into interstellar space 03:36:46 O, OK, but what is containing it anyways? 03:39:27 I was at Victoria today and also yesterday. 03:47:19 Were you ever in Bellingham? 03:48:08 No 03:48:21 (Possibly; I don't actually remember, but I do not think so) 03:49:21 -!- oerjan has quit (Quit: Nite). 03:52:31 Were you ever in the United States? 03:53:53 Yes I was, but I do not know what name of places they are. The food is better in Canada though. 03:55:08 Are you sure it's not better in California? 03:56:48 I think I have been in California, and I think the food is better in Canada, even if it is the same restaurant chain. 04:00:45 -!- tromp_ has joined. 04:02:51 Which restaurant chain? 04:03:13 I forgot, but it is any of them I have tried. 04:04:24 Canada and California are very similar. 04:04:46 At least the first two letters (and also the last letter) is similar. 04:04:52 They both start with "ca" and in fact that's used as the standard abbreviaton. 04:04:53 They both have a place called Ontario. 04:04:57 They both have poutine. 04:05:24 -!- tromp_ has quit (Ping timeout: 260 seconds). 04:05:42 It is a different use for country code or state code though. 04:15:03 -!- hppavilion[2] has joined. 04:19:18 -!- Kaynato has joined. 04:37:06 Do not grow the grass by pulling it. 04:52:51 -!- \oren\ has quit (Ping timeout: 276 seconds). 05:01:59 -!- MDude has joined. 05:15:52 -!- drdanmaku has quit. 05:16:17 -!- xkapastel has joined. 05:54:56 -!- u0_a201 has joined. 05:55:01 hi 05:55:08 -!- u0_a201 has changed nick to moon_. 05:55:43 -!- tromp_ has joined. 06:00:20 -!- tromp_ has quit (Ping timeout: 250 seconds). 06:17:21 Renku is just the Japanese version of Rap Battles, isn't it? 06:18:33 `danddreclist 78 06:19:12 danddreclist 78: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 06:19:48 lynn: should that file be adjusted hth 06:21:46 -!- hppavilion[2] has quit (Ping timeout: 252 seconds). 06:29:30 -!- Kaynato has quit (Quit: Leaving). 06:40:40 I expect the next one would involve Drusila and Zeux Agem and so on. 06:45:26 Do you like this? 06:47:17 What is this theorem called: If a category has at least two objects, and has n final objects, then the number of monads on that category is greater or equal to n+1. 06:58:18 :I was writing ideas for a specification of a new kind of computer I may make in future. One of the things is that the main processor and video processor both have exclusive access to video memory. There are also many others, including some hardware and software features I have seen nowhere before (although I have seen similar things). 07:00:10 I am writing it into the computer in the intention to be unpatentable. How exactly does this work anyways? 07:01:42 -!- tromp_ has joined. 07:06:30 -!- tromp_ has quit (Ping timeout: 265 seconds). 07:12:52 zzo38: I don't think it has a name. 07:13:08 zzo38: Do people care about monads and terminal objects more than just up to isomorphism, anyway? 07:13:49 I don't know? 07:14:45 -!- lambda-11235 has quit (Quit: Bye). 07:15:23 shachaf: hahaha, I can think of a weird case where it matters 07:16:57 Cale: What case do you think of? 07:19:05 shachaf: Given a ring R and a small category C, you can define R[C] to be the free R-module whose basis is the set of arrows of C, and you can define a multiplication on it in a convolution-y way where you define the product of arrows which don't compose to be 0, and define it to be their composite when they do. 07:19:15 oh, and zzo38 07:19:56 and then if you take the indiscrete category on n objects, this is the ring of n-by-n matrices with coefficients in R 07:20:30 So, you care about the distinction between your terminal objects in that case 07:21:13 If it's the discrete category on n objects, this the same as R^n 07:21:39 If it's the preorder category for the natural numbers, it's the polynomial ring R[x] 07:22:00 I've made a similar complaint about distinguishability for both indiscrete categories and indiscrete topologies. 07:22:43 The full subcategory of Top of discrete spaces is equivalent to Set. That makes sense, because discrete spaces behave like sets. 07:23:12 But the full subcategory of Top of indiscrete spaces is isomorphic to it. What's that all about? 07:23:31 Well, any function between indiscrete spaces is continuous 07:23:34 Sure. 07:23:50 You're not taking equivalence classes of topologically indistinguishable maps 07:23:56 But it seems to me that an indiscrete space "ought" to behave in such a way that you can't distinguish its elements. 07:24:00 Clearly it doesn't here. 07:24:11 People talk about equivalence of categories rather than isomorphism of categories because of this issue. 07:24:25 Maybe I want the same thing for topological spaces. 07:24:44 Anyway you can make the same complaint about e.g. discrete/indiscrete categories, or discrete/indiscrete preorders. 07:24:56 Those are really all the same sort of thing. 07:26:54 You can replace the arrows in Top with equivalence classes of arrows where if f and g are cts. maps X -> Y, then f ~ g whenever for all x in X, you have f(x) and g(x) are topologically indistinguishable in Y. 07:27:13 I think that'll sort things out 07:27:40 Right. Does that category have a name? Why don't people use it instead of Top? 07:27:40 Alternately, you can restrict Top to not have shitty topological spaces in it 07:28:09 Do homotopies relate to this? Since category equivalence is defined in terms of natural transformations. 07:28:14 This is why people work with Hausdorff spaces instead 07:28:35 But lots of interesting spaces aren't Hausdorff. 07:28:44 well, yeah 07:28:56 Even the Sierpinski space isn't Hausdorff. 07:29:05 That space seems pretty fundamental to me. 07:29:13 Where "lots", is "mostly Zariski topologies" 07:29:22 and yeah, the computational synthetic topology stuff 07:30:19 Topology without the Sierpinski space seems like set theory without Bool. 07:30:22 The Sierpinski space is usually more relevant as a counterexample for topologists, than as something which is used as the foundation to build more stuff. 07:30:36 But I'm probably not thinking about it from the typical topology perspective. 07:30:37 At least, that's my impression 07:32:20 Homotopy can't distinguish it from a point, so once you get to any of the algebraic topology stuff, it's not so relevant either. 07:33:09 Probably I should learn about algebraic topology. 07:35:17 Anyway what you said reminded me of a question I was asking the other day. 07:36:36 In convolution there are three operations, right? (f * g)(z) = \A_{i,j | b(i,j) = z}{ c(f(i)g(j)) } 07:36:40 You have A, b, c 07:36:49 Er, c(f(i),g(j)) 07:37:18 So say A is integral, b is addition, c is multiplication. 07:37:26 heh, sure 07:37:40 People vary all three of those, don't they? 07:37:42 -!- hppavilion[2] has joined. 07:37:45 yep 07:37:50 Anyway, is there a case where c is something like composition in a category? 07:38:01 I described that a moment ago 07:38:16 Well, you were just assigning 0 where the composition doesn't exist. 07:38:17 That's... literally how we began this discussion 07:38:24 Well, I guess that has the same effect. 07:38:30 yeah, and the composite otherwise :) 07:38:41 It's basically just "avoid the things you can't compose" 07:39:05 OK, then you answered my question from last week, rather than just reminded me of it. 07:39:18 I'd rather say that you don't sum over those things in the first than that the sum is 0, but whatever. 07:39:27 There's a different way to do it too 07:39:39 The other question I asked was what requirements people usually put on b. 07:39:53 -!- hppavilion[2] has set topic: The international hub of solid matrices | Contains only freely-mooned ranges | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | The overdone city meme has RISEN from its burial place in Truth or Consequences (not Hot Springs) in search of BRAINS. 07:40:17 Often people require it to be a group, which is way too much, of course (you don't need inverses). 07:40:34 But can it be a non-associative operation? I saw something that at least resembled a convolution with a non-associative operation. 07:40:35 R[[C]] is similar, but we require C to be a small category with finite factorisation, i.e. for any f: A -> C, there exist finitely many pairs of arrows g: B -> C and h: A -> B such that f = g . h 07:40:55 and then instead of just taking the free R-module on the arrows, we can take all functions Arr(C) -> R 07:40:56 -!- shachaf has set topic: The international hub of solidity matrices | Contains only freely-mooned ranges | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 07:41:11 and the convolution still works out because there are only finitely many ways to factor any given arrow 07:41:24 So we can still take the sum 07:41:41 This is a generalisation of Gian-Carlo Rota's incidence algebras 07:42:04 (where you get incidence algebras when the category is a preorder category) 07:42:47 and now if you take C to be the preorder category on the naturals, you get the power series ring R[[X]] 07:43:18 You mean the totally ordered preorder category? 07:43:34 The preorder category for omega 07:43:49 (first infinite ordinal) 07:45:09 Hmm, this incidence algebra convolution looks unusual. 07:45:45 (f * g)(a,b) = \Sum_{a ≤ x ≤ b} { f(a,x)g(x,b) } 07:47:02 When you do convolutions of two discrete sequences, you get something that operates over the antidiagonals, right? 07:53:49 Yeah, if I understand what you mean correctly, you get something like polynomials 07:54:06 or power series 07:54:40 I mean, say you have [a,b,c] [d,e,f] 07:55:07 You can make the multiplication table 07:55:10 ad ae af 07:55:10 bd be bf 07:55:10 cf ce cf 07:55:21 And you have the antidiagonals [ad] [ae,bd] [af,be,cf] etc. 07:55:23 right 07:55:44 Is that something like polynomials? 07:55:45 If you pick [a,b,c] = [d,e,f] = [0,1,2] 07:55:51 and multiplication to be addition 07:56:37 x^n * x^m = x^(n+m) 07:58:01 Someone was talking about the convolution where A is min and b/c are addition. 07:58:42 sounds tropical 07:59:30 https://en.wikipedia.org/wiki/Tropical_geometry 08:00:09 Anyway, if you pick b=(-), you get diagonals instead of antidiagonals. 08:00:25 {i,j | i-j=0} and so on. 08:01:33 Cale: That must be why the person who asked this question is going to Hawaii. 08:03:18 So is convolution with (-) still convolution? What properties should the three different operators satisfy? 08:03:20 "The adjective tropical in this context was coined by French mathematicians in honor of the Hungarian-born Brazilian mathematician Imre Simon, who wrote on the field." 08:03:54 Presumably you want c to be associative, otherwise you'd end up with something strange. 08:05:38 Well, perhaps we could compromise, and make it x^a x^b = (1/2) (x^(a-b) + x^(b-a)) 08:05:47 Well, I was actually thinking about A when I said that, so that doesn't make sense anyway. 08:06:36 Day convolution also shows some extra structure that you don't see in typical convolution. 08:06:39 (with the exponentiation being a little inappropriate now) 08:07:31 Where you have something like \(Co)End { f(x)g(y)Hom(xy,-) } 08:07:57 _{x,y} 08:08:36 Now, for all these wildly different kinds of convolution, we need a Fourier theory 08:09:20 That's one of those things I never learned much about that I really should. 08:11:37 If f and g are integrable functions with Fourier transforms F and G respectively, and the convolution f * g is defined by (f * g)(x) = integral over R of f(t) g(x - t) dt 08:12:15 Then the Fourier transform of f * g is given by the pointwise product F G 08:12:45 i.e. the Fourier transform turns convolution into multiplication 08:13:00 Also the Dirac delta is apparently the identity for convolution. What does that mean in all these contexts? 08:13:57 (Or even in any context?) 08:14:02 Well, that's because (f * delta)(x) = integral over R of f(t) delta(x-t) dt = f(x) pretty much by definition of Dirac delta. 08:14:25 Right. 08:14:46 I guess there's a better-behaved equivalent in discrete contexts. 08:15:31 Oh, right, I missed your actual question 08:15:39 which is what's the analogous thing in the other contexts 08:16:20 Though, Dirac delta is even only a thing in the original context if you pretty much go out of your way to force it to be 08:27:49 -!- AnotherTest has joined. 09:03:07 -!- tromp_ has joined. 09:07:37 -!- tromp_ has quit (Ping timeout: 244 seconds). 09:31:09 -!- Akaibu has quit (Quit: Connection closed for inactivity). 09:58:30 -!- ybden has joined. 10:43:41 -!- variable has joined. 10:45:35 -!- xkapastel has quit (Quit: Connection closed for inactivity). 11:05:59 -!- Melvar`` has quit (Ping timeout: 260 seconds). 11:14:55 -!- hppavilion[2] has quit (Ping timeout: 252 seconds). 11:20:42 -!- Melvar`` has joined. 11:32:25 -!- boily has joined. 11:37:02 -!- puckipedia has quit (Ping timeout: 250 seconds). 11:41:17 -!- puckipedia has joined. 11:48:42 -!- Melvar`` has changed nick to Melvar. 11:53:48 @metar CYUL 11:53:48 CYUL 161000Z 27018G25KT 15SM FEW025 OVC050 03/M03 A2978 RMK SC2SC6 SLP087 11:53:52 @metar ENVA 11:53:52 ENVA 161020Z 28005KT 9999 SCT043 09/01 Q1013 NOSIG RMK WIND 670FT 31004KT 11:56:03 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 12:00:26 @metar EGLL 12:00:28 EGLL 161050Z AUTO 26006KT 200V290 9999 BKN033 14/06 Q1021 NOSIG 12:08:08 `random-card \Bshro 12:08:17 `random-card [a-x]kni 12:09:58 No output. 12:09:58 No output. 12:10:11 what? 12:10:24 `random-card ykn 12:10:31 Kjeldoran Skyknight \ 2W \ Creature -- Human Knight \ 1/1 \ Flying; first strike; banding (Any creatures with banding, and up to one without, can attack in a band. Bands are blocked as a group. If any creatures with banding you control are blocking or being blocked by a creature, you divide that creature's combat damage, not its controller, among a 12:10:40 `random-card nkshr 12:10:43 Cephalid Inkshrouder \ 2U \ Creature -- Cephalid \ 2/1 \ Discard a card: Cephalid Inkshrouder gains shroud until end of turn and can't be blocked this turn. (A creature with shroud can't be the target of spells or abilities.) \ JUD-U 12:10:50 why doesn't \Bshro match that? 12:11:21 `random-card \Bshro 12:11:25 Skyshroud Sentinel \ 2G \ Creature -- Elf \ 1/1 \ When Skyshroud Sentinel enters the battlefield, you may search your library for up to three cards named Skyshroud Sentinel, reveal them, and put them into your hand. If you do, shuffle your library. \ NE-C 12:11:30 ah, better 12:11:35 `random-card [a-x]kni 12:11:38 Tuknir Deathlock \ RRGG \ Legendary Creature -- Human Wizard \ 2/2 \ Flying \ {R}{G}, {T}: Target creature gets +2/+2 until end of turn. \ LE-R, ME3-U 12:11:41 maybe it timed out or got killed or something 12:11:53 ``` cat bin/random-card 12:11:56 ​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print $c[rand(@c)];' "$1" 12:13:12 ``` perl -pe 's/( \$c[rand(\@c)])/($1||"No card found.")/' bin/random-card 12:13:14 ​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print $c[rand(@c)];' "$1" 12:13:38 ``` perl -pe 's/( \$c\[rand(\@c)])/($1||"No card found.")/' bin/random-card 12:13:40 ​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print $c[rand(@c)];' "$1" 12:13:48 ``` perl -pe 's/( \$c\[rand\(\@c\)])/($1||"No card found.")/' bin/random-card 12:13:50 ​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print( $c[rand(@c)]||"No card found.");' "$1" 12:13:57 ``` perl -pe 's/ (\$c\[rand\(\@c\)])/($1||"No card found.")/' bin/random-card 12:13:59 ​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print($c[rand(@c)]||"No card found.");' "$1" 12:14:06 ``` perl -pi e 's/ (\$c\[rand\(\@c\)])/($1 || "No card found.")/' bin/random-card 12:14:08 Can't open perl script "e": No such file or directory 12:14:13 ``` perl -pi -e 's/ (\$c\[rand\(\@c\)])/($1 || "No card found.")/' bin/random-card 12:14:20 No output. 12:14:22 `random-card [a-x]kni 12:14:25 `random-card kk 12:14:26 Tuknir Deathlock \ RRGG \ Legendary Creature -- Human Wizard \ 2/2 \ Flying \ {R}{G}, {T}: Target creature gets +2/+2 until end of turn. \ LE-R, ME3-U 12:14:33 Sekki, Seasons' Guide \ 5GGG \ Legendary Creature -- Spirit \ 0/0 \ Sekki, Seasons' Guide enters the battlefield with eight +1/+1 counters on it. \ If damage would be dealt to Sekki, prevent that damage, remove that many +1/+1 counters from Sekki, and put that many 1/1 colorless Spirit creature tokens onto the battlefield. \ Sacrifice eight Spirits 12:14:36 `random-card thsh 12:14:39 Earthshaker \ 4RR \ Creature -- Spirit \ 4/5 \ Whenever you cast a Spirit or Arcane spell, Earthshaker deals 2 damage to each creature without flying. \ CHK-U 12:14:45 `random-card thshr 12:14:50 No card found. 12:14:53 good 12:15:06 now if it prints "No output." then something went wrong 12:15:28 `card-by-name lavas 12:15:33 Lavastep Raider \ R \ Creature -- Goblin Warrior \ 1/2 \ {2}{R}: Lavastep Raider gets +2/+0 until end of turn. \ BFZ-C 12:15:44 `random-card spike 12:15:46 Lava Spike \ R \ Sorcery -- Arcane \ Lava Spike deals 3 damage to target player. \ CHK-C, MMA-C 12:15:54 `random-card spook 12:15:56 No card found. 12:16:15 `random-card cuttlefish 12:16:18 No card found. 12:18:49 `random-card ch.*th 12:18:52 Stonehorn Chanter \ 5W \ Creature -- Rhino Cleric \ 4/4 \ {5}{W}: Stonehorn Chanter gains vigilance and lifelink until end of turn. (Attacking doesn't cause it to tap. Damage dealt by it also causes you to gain that much life.) \ M14-U 12:22:24 -!- boily has quit (Quit: DIFFICULT CHICKEN). 12:28:13 -!- Human_61 has joined. 12:51:04 -!- LewisMCYoutube has joined. 12:55:25 -!- LewisMCYoutube has quit (Client Quit). 13:04:28 -!- tromp_ has joined. 13:09:17 -!- tromp_ has quit (Ping timeout: 260 seconds). 13:39:40 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=47040&oldid=46982 * M654 * (+16) 13:48:09 -!- MDude has quit (Ping timeout: 265 seconds). 13:48:21 -!- MDude has joined. 13:53:18 `? many time pad 13:53:32 `wisdom 13:53:45 -!- Naraka has quit (Read error: Connection timed out). 13:54:22 copumpkin//copumpkin is categorically incapable of being president. 13:54:22 No output. 13:54:56 -!- oerjan has joined. 13:58:51 -!- ^v has quit (Ping timeout: 276 seconds). 13:59:52 president of anything at all? 14:00:03 -!- ^v has joined. 14:05:53 -!- tromp_ has joined. 14:09:02 -!- Naraka has joined. 14:10:06 -!- Naraka has quit (Max SendQ exceeded). 14:10:23 -!- tromp_ has quit (Ping timeout: 244 seconds). 14:10:53 -!- Naraka has joined. 14:14:16 * variable does a jig 14:14:29 * oerjan plays the hornpipe 14:14:45 any occasion? 14:17:36 weed? 14:18:02 I don't think weed generally causes people to dance 14:19:04 * oerjan wouldn't know one way or the other 14:19:22 1quote 14:19:24 `quote 14:19:26 `quote 14:19:27 `quote 14:19:43 628) if the halting problem was solved, as a placebo.. would it benefit people? 14:19:45 729) nortti: fizzie has done some impressive stuff in befunge, which is essentially the two-dimensional version of finnish politics. 14:19:45 279) i actually do like sucking 14:20:05 oh itidus 14:22:56 -!- tromp_ has joined. 14:26:30 -!- variable has quit (Quit: 1 found in /dev/zero). 14:37:22 *sigh* heavy beats penetrating the building. 14:37:52 Ok. 14:37:52 i expected a party today but had hoped it'd not get this bad this early. 14:37:57 Ok. 14:38:50 -!- tromp_ has quit (Remote host closed the connection). 14:38:58 (it's 3:38 in the afternoon.) 14:40:26 `? interactive toxic waste exhibit 14:40:27 just the beats, mind you. i cannot hear the actual _tunes_. the building only lets through the sounds it know i hate tdnh 14:40:30 interactive toxic waste exhibit? ¯\(°​_o)/¯ 14:40:35 *knows 14:40:44 b_jonas: good idea 14:40:56 throw in some radioactivity. 14:40:58 oerjan: http://russell2.math.bme.hu/~ambrus/sc/comic/millie/comic?n=20070302 and following strip 14:41:08 it's not my idea 14:42:30 do you have a full mirror 14:42:39 (clicking next worked) 14:42:45 oerjan: yes 14:42:55 oerjan: http://russell2.math.bme.hu/~ambrus/sc/comic/millie/index 14:47:58 -!- Melvar` has joined. 14:49:03 -!- `^_^v has joined. 14:49:45 `? ozy and mille 14:49:47 ozy and mille? ¯\(°​_o)/¯ 14:49:50 `? ozy and millie 14:49:52 ozy and millie? ¯\(°​_o)/¯ 14:50:09 -!- Akaibu has joined. 14:50:59 -!- Melvar has quit (Ping timeout: 265 seconds). 15:07:53 oh I actually read that to the end... 15:09:20 int-e: good. I like that comic strip. 15:09:31 (I don't put up mirrors of just anything. O&M is great.) 15:10:54 -!- Human_61 has quit (Ping timeout: 250 seconds). 15:11:46 The direct links to images on the original site from my mirror are broken though, because they changed the url. Let me try to fix that. 15:19:46 I should also figure out what to do with the House Rules site, which has been down for a while. Let me check if some pages of it are on archive.org 15:22:03 yup, https://web.archive.org/web/20120904022248/http://houserules.org.uk/index.php?page=archive&date=19980429 15:22:20 I'll have to change the House Rules links to archive.org then 15:22:57 -!- lambda-11235 has joined. 15:29:43 -!- spiette has joined. 15:30:52 [wiki] [[CUTLASS]] https://esolangs.org/w/index.php?diff=47041&oldid=37058 * 160.44.230.213 * (-11) Updated to reflect E.ON organisational changes. 15:34:47 -!- alandipert has joined. 15:34:56 hi alandipert 15:35:52 hi 15:36:14 i heard fizzie emailed you 15:36:39 he did 15:36:47 going to attempt transferring the domain to him 15:37:07 it's a delicate operation 15:37:23 i think he's idle at the moment. 15:38:37 cool. i'll stick around 15:39:20 -!- tromp_ has joined. 15:43:45 -!- tromp_ has quit (Ping timeout: 246 seconds). 15:46:37 -!- IRIXUser has quit (Changing host). 15:46:37 -!- IRIXUser has joined. 15:46:39 -!- IRIXUser has changed nick to JX7P. 16:28:58 In http://www.questionablecontent.net/view.php?comic=1461 , Marten says to Faye and Hannelore “You to befriended me via bullying and stalking respectively.” I know Faye stalked Marten near the start of the comic, when Faye burned down her house them moved in with Marten then persuaded Marten to move to a larger place, 16:29:09 but what's he trying to say about Marigold? I don't recall any of that. 16:42:42 -!- Naraka has quit (Quit: Leaving). 16:43:30 -!- Opodeldoc has joined. 16:59:14 -!- jaboja has joined. 17:10:46 -!- zadock has joined. 17:13:47 `random-card pl.*n 17:14:03 `random-card \A.*pl.*n 17:14:48 Replenish \ 3W \ Sorcery \ Return all enchantment cards from your graveyard to the battlefield. (Auras with nothing to enchant remain in your graveyard.) \ UD-R 17:14:48 Duplicant \ 6 \ Artifact Creature -- Shapeshifter \ 2/4 \ Imprint -- When Duplicant enters the battlefield, you may exile target nontoken creature. \ As long as a card exiled with Duplicant is a creature card, Duplicant has the power, toughness, and creature types of the last creature card exiled with Duplicant. It's still a Shapeshifter. \ MRD-R, 17:14:51 -!- zadock has quit (Remote host closed the connection). 17:20:40 -!- jaboja has quit (Ping timeout: 252 seconds). 17:24:05 -!- jaboja has joined. 17:24:24 -!- oerjan has quit (Quit: Later). 17:27:00 -!- jaboja64 has joined. 17:29:01 -!- jaboja has quit (Ping timeout: 265 seconds). 17:32:07 sadly, web.archive.org doesn't seem to have archived most of the Ozy and Millie House Rules strips 17:33:05 oh hey look 17:33:10 has #1036 been olisted yet? 17:33:12 shachaf: 17:33:26 let me check the logs 17:33:28 not by me 17:33:32 please see logs in the topic 17:33:41 but now i'm going to be double-pinged :'( 17:33:43 `olist 1036 17:33:53 olist 1036: shachaf oerjan Sgeo FireFly boily nortti b_jonas 17:34:05 shachaf: sadly the logs don't seem to be up to date 17:34:15 The tunes logs are. 17:34:17 let me check the other logs 17:35:27 hmm, where had I heared that name before? 17:35:32 oh right, the Fairy Queen 17:35:38 `random-card fairy queen 17:35:42 No card found. 17:35:46 um 17:36:04 `random-card queen of the fae 17:36:06 Oona, Queen of the Fae \ 3(u/b)(u/b)(u/b) \ Legendary Creature -- Faerie Wizard \ 5/5 \ Flying \ {X}{(u/b)}: Choose a color. Target opponent exiles the top X cards of his or her library. For each card of the chosen color exiled this way, put a 1/1 blue and black Faerie Rogue creature token with flying onto the battlefield. \ SHM-R, MMA-R, V11-M 17:38:31 -!- Lord_of_Life has quit (Changing host). 17:38:31 -!- Lord_of_Life has joined. 17:38:31 -!- Lord_of_Life has quit (Changing host). 17:38:31 -!- Lord_of_Life has joined. 17:39:28 -!- tromp_ has joined. 17:40:41 `? zero wing 17:41:05 zero wing? ¯\(°​_o)/¯ 17:44:01 -!- tromp_ has quit (Ping timeout: 265 seconds). 17:45:08 `? bugbear 17:45:09 `? owlbear 17:45:11 bugbear? ¯\(°​_o)/¯ 17:45:12 owlbear? ¯\(°​_o)/¯ 17:47:20 -!- gamemanj has joined. 17:48:09 -!- Kaynato has joined. 17:48:45 . o O ( a bugbear is a teddy bear that you can explain your bugs to. ) 17:49:06 int-e: oh, nice one 17:49:14 `learn A bugbear is a teddy bear that you can explain your bugs to. 17:49:22 Learned 'bugbear': A bugbear is a teddy bear that you can explain your bugs to. 17:49:27 * gamemanj hugs his bugbear 18:28:57 -!- Opodeldoc has quit (Read error: Connection timed out). 18:32:56 -!- oren has joined. 18:33:52 except that ca 18:34:41 canada is cold and california is a horrible burning desert hellscape 18:35:09 with a water table below sea level 18:35:47 whereas canada has huge amounts[of fresh water 18:38:15 -!- Opodeldoc has joined. 18:39:02 `? ca 18:39:19 ca? ¯\(°​_o)/¯ 18:39:47 ...burning desert hellscape doesn't sound like a good place to be 18:40:04 @metar KOAK 18:40:05 KOAK 161653Z 20003KT 10SM FEW012 16/11 A3000 RMK AO2 SLP160 T01610106 18:40:07 @metar CYYZ 18:40:10 CYYZ 161700Z 27010G24KT 210V300 15SM FEW045 FEW095 SCT230 14/03 A3004 RMK CU1AC2CI1 CU TR SLP179 18:40:20 I hope their implementation of INhs is up to spec... though spec version 2006, not spec version 2016... 18:40:50 -!- tromp_ has joined. 18:45:41 -!- tromp_ has quit (Ping timeout: 276 seconds). 18:56:34 @metar KATL 18:56:37 KATL 161752Z 12008KT 10SM FEW080 SCT150 BKN250 22/04 A3018 RMK AO2 SLP216 T02220044 10228 20139 58011 19:15:37 -!- jaboja64 has quit (Ping timeout: 252 seconds). 19:22:55 -!- Phantom_Hoover has joined. 19:33:38 Cale: Are there names for the three different operations of convolutions? 19:33:45 Or a more general way to talk about them or something? 19:34:28 I don't really know if anyone's attempted to really try to abstract over what's going on there -- at least, any more than the category algebra definition. 19:35:25 Cale: I'm starting to understand your advice about baking in the monad stack 19:35:59 [wiki] [[Cryptoleq]] https://esolangs.org/w/index.php?diff=47042&oldid=46449 * Ditihala * (+30) /* External Resources */ 19:36:19 shachaf: I had the thought the other night that perhaps if our category had additional structure, we could integrate over the choices of factorisations. 19:37:10 since, for instance, I want to be able to tack on additional structure sometimes (a la Reader) but don't want to risk confusing things more 19:37:25 coppro: The fact that I never use the word "stack" in reference to monads should tell you something about the way I think about it :) 19:38:20 Cale is giving advice about baking in the monad stack? 19:38:33 That sounds like something Eugenia Cheng would do. 19:38:38 hah 19:38:55 I think he's referring to my advice to always newtype 19:39:11 and hide the fact that you're using monad transformers to implement whatever it is you're implementing 19:39:17 yep 19:39:34 `rot13 Cale 19:39:38 I think I may still use the monad classes, to get standard combinators 19:39:43 Pnyr 19:40:04 but I'm definitely seeing the value in baking things together 20:00:21 -!- ybden has changed nick to hive. 20:01:03 -!- hive has changed nick to ybden. 20:03:45 What is "baking in the monad stack"? 20:04:19 i,i ybden is now known as molum 20:04:34 shachaf: Haha 20:04:48 shachaf: That's actually what my nick was derived from 20:05:02 I figured. 20:05:03 -!- ybden has changed nick to molum. 20:05:24 zzo38: using a newtype or the like to hide your monad transformer stack 20:05:33 shachaf: thanks for the other nick :) 20:17:41 -!- Melvar` has changed nick to Melvar. 20:28:38 -!- molum has changed nick to ybden. 20:30:29 molybdenum? i 'ardly know 'em! 20:33:16 -!- hppavilion[1] has joined. 20:52:58 -!- LewisMCYoutube has joined. 20:56:08 i like pie. 20:57:27 mmmm pie 20:58:01 @unpl (\a b -> b a) (\b -> b) u 20:58:01 (u (\ b -> u)) 20:59:00 yay, variable capture. 20:59:01 int-e: oops 20:59:17 (it's been reported: https://github.com/lambdabot/lambdabot/issues/142 ) 20:59:30 spot of the alpha conversion, governor? 20:59:41 Actually you don't need alpha conversion for this case. 20:59:49 @unpl (\a a -> a) b 20:59:49 (\ a -> b) 20:59:50 But you need it for more complicated cases. 20:59:55 I guess that's the simplest. 21:00:12 Well, that's just an error. 21:00:23 @unpl (\a -> \a -> a) b 21:00:24 (\ a -> b) 21:00:32 > (\a a -> a) 0 0 21:00:34 Conflicting definitions for ‘a’ 21:00:34 Bound at: :1:3 21:00:34 :1:5 21:00:40 didn't know that. 21:00:46 > (\a -> \a -> a) 0 0 21:00:49 0 21:01:03 are you testing it with 0 and 0 to be confusing on purpose hth 21:01:05 but as far as @unpl is concerned that makes no difference. 21:01:06 s/confusing/ambiguous/ 21:01:12 YES! 21:01:19 > (\a -> \a -> a) a a 21:01:21 a 21:05:27 What was the case where alpha conversion is really necessary? 21:05:30 I always forget it. 21:06:02 shachaf: no, that's (\a -> \a -> a) a b 21:06:14 > (\a -> \a -> a) 0 1 21:06:15 1 21:06:23 ? 21:06:43 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 21:06:44 I once wrote a lambda expression interpreter that got that exact thing wrong, so the inner binding couldn't successfully shadow the outer binding, and it used the outer binding 21:07:16 The a a thing was a joke, modeled after int-e's joke. 21:07:34 hey, what's a good BrainFuck program that isn't Lost Kingdom as a good test for a BrainFuck interpreter? 21:07:59 b_jonas: But you don't actually need alpha conversion for that, do you? 21:08:15 (To be more precise, one that isn't on the order of several MiB and uses tons of cycles... it's not a fast interpreter) 21:08:59 bye 21:09:01 -!- LewisMCYoutube has left. 21:09:33 shachaf: \x -> (\f x -> f) (\y -> x) ~> \x -> (\x -> \y -> x) 21:09:35 there's something simpler, but for example, (\f x. f (f (f (f x)))) (\a y z. a (y z)) has (\x y z z1 z2 z3. x (y z z1 z2 z3)) as its normal form. 21:09:40 -!- hppavilion[1] has joined. 21:10:00 which has more bound variables then you started out with. 21:10:25 dolio's example is pretty simple. 21:11:21 dolio's is not fully named apart. 21:11:33 ? 21:11:47 there are two bound variables called 'x' in there. 21:12:30 (I'm looking for something stronger where doing alpha only up front doesn't work) 21:12:31 -!- jaboja64 has joined. 21:12:42 Ah, fair enough. 21:21:11 shachaf: no, you just need to keep the bindings in order, appending new bindings to the start of the binding list, and look up the first binding to a given name every time. 21:21:41 Aren't the two lines posted above counterexamples to that? 21:22:24 dunno 21:23:09 `unidecode ’ 21:23:58 ​[U+2019 RIGHT SINGLE QUOTATION MARK] 21:29:34 @unpl (\c -> c c) (\a b -> b (a b)) 21:29:34 (\ c -> c c) (\ a b -> b (a b)) 21:30:55 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 21:31:25 @pl (\c -> c c) (\a b -> b (a b)) 21:31:25 ap id (ap id) 21:31:33 given no suggestions... this is really slow and mostly untested, but it should interpret the code correctly: 21:31:34 @unpl ap id (ap id) 21:31:34 (\ f -> return ((\ a -> a) f ((\ m h -> (m >>= \ i -> return ((\ b -> b) h i)) h) f)) f) 21:31:35 https://dl.dropboxusercontent.com/u/21184720/bp-brainfuck-jonripleylostkng.BytePusher 21:32:01 -!- `^_^v has quit (Quit: This computer has gone to sleep). 21:33:12 expect weirdness and perhaps a "Yield Failure" - that means I made the interpreter too fast. 21:34:30 -!- hppavilion[1] has joined. 21:34:30 -!- Opodeldoc has quit (Ping timeout: 276 seconds). 21:42:48 -!- tromp_ has joined. 21:46:24 -!- zzo38 has quit (Remote host closed the connection). 21:47:10 -!- tromp_ has quit (Ping timeout: 250 seconds). 21:49:11 -!- `^_^v has joined. 21:53:07 hmm no fizzie today? 21:53:16 No fizzie? 21:53:41 (this was a ping in disguise) 21:54:04 (what if mine was too) 21:54:20 that woyld be too subtle for me 21:54:24 fungot, how many? 21:54:24 b_jonas: r5rs is the de facto standard 21:54:30 or would. 21:54:30 heh 21:54:48 ^style 21:54:48 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 21:54:56 ^style wp 21:54:56 Selected style: wp (1/256th of all Wikipedia "Talk:" namespace pages) 21:55:32 fungot: strong disagree 21:55:32 shachaf: 02:15, june 12, 2007.. 76.184.221.233 ( talk block) ( removed dollar sign wikilinks) 21:55:59 fungot: don't you quote commit logs at me 21:55:59 shachaf: then its done, once these steps are completed the article is fnord erroneous and needs to be added to the article quality at all. 21:56:05 fungot: again with less dates and numbers? 21:56:05 olsner: ' ' ' does this imply someone removed an innocuous link to a site called ' fnord'" 21:56:15 fungot: I think it does! 21:56:15 olsner: otherwise send this article to its fate. the moment he agreed to delete her from his mind. i think there is a major cabinet portfolio but then we're told that peters is outside cabinet. how are those reconciled? i see there is grounds for coverage for this controversy fnord said fnord 21:56:26 hilsner 21:56:39 `quote alphanum 21:56:39 * gamemanj baps fungot 21:56:39 gamemanj: ' ' ' fnord fnord'" is being used under wikipedia:fair usefair use but there is 21:56:47 ... 21:56:48 tja shachaf 21:56:52 just... what? 21:57:05 where does fnord come into wikipedia talk pages 21:57:12 it just fnords right in there 21:57:23 1136) A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric." 21:57:24 gamemanj: It's all over the place. 21:57:35 You don't see the fnords? 21:57:54 the fnords could also be [REDACTED] 21:58:47 heh 22:01:24 -!- gamemanj has quit (Ping timeout: 246 seconds). 22:05:28 @unpl f a = \a -> a 22:05:28 f a a = a; 22:06:07 @unpl \a -> \a -> a 22:06:07 \ a a -> a 22:06:10 thought so. 22:06:30 oh this is just golden. 22:06:34 "-- TODO: avoid captures while substituting" 22:06:36 Isn't that just const? 22:06:40 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 22:06:48 prooftechnique: yes but that's besides the point. 22:07:05 prooftechnique: the point is that both inputs are legal, and both outputs are illegal in Haskell 22:07:56 Actually, I guess it's flip const. Whoops 22:08:54 at what point in computational power hierarchy does it become possible to construct an "universal X-machine" 22:09:25 I mean, a machine of computational power X able to be emulate any other machine of the class given right input 22:10:18 1-stack PDA not possible, and turing machine possible, but say is it possible to construct "universal primitive recursive function" 22:13:03 nortti: I don't think you can do that. a primitive recursive function is always time bound by some knuth arrow function of its input size, with a fixed number of arrows, so if you take any one, then it can't emulate primitive recursive functions with a higher number of knuth arrows. 22:13:56 -!- hppavilion[1] has joined. 22:15:28 nortti: does that make sense? 22:16:58 This code is evil... it takes a shortcut: Rather than traversing the AST and keeping track of free names, it relies on a Generic instance and uses "everywhere" to substitute variables by a new expression. 22:17:50 b_jonas: yeah. was just thinking that as primitive recursive's time is limited by input, if you could encode in the input how much time it'd need, but I guess it cannot work 22:19:06 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:20:02 -!- `^_^v has joined. 22:20:04 @unpl \a -> b (\c -> b) a 22:20:04 b (\ c -> b) 22:20:08 @unpl \a -> b (\a -> b) a 22:20:08 \ a -> b (\ a -> b) a 22:20:25 -!- jaboja64 has quit (Ping timeout: 252 seconds). 22:22:19 -!- jaboja64 has joined. 22:25:05 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 22:43:22 -!- tromp_ has joined. 22:47:32 @tell gamemanj rare words have been pruned from some models, and in those cases fungot renders OOV words as 'fnord' 22:47:32 Consider it noted. 22:47:32 fizzie: please go to fnord image description page a specific explanation or rationale for why using this image in each article is consistent with wp:fufair use. 22:47:34 -!- tromp_ has quit (Ping timeout: 244 seconds). 22:47:53 Also that thing's gone through the laziest wiki markup removal in the word. 22:48:05 -!- boily has joined. 22:48:13 /whois spoilers 22:49:10 "wp:fufair use" comes from [[WP:FU|fair use]] or some-such. 22:49:43 fiziello. what's a wp:fu? 22:49:50 (And similarly for the earlier "wikipedia:fair usefair use". 22:49:58 boily: See recent fungot babbling. 22:49:58 fizzie: a few years before there really is any version of the bible", thomas nelson publishers ( nashville, fnord, 22:50:14 * boily consults the fungot 22:50:14 boily: ' ' ' fnord'" is being used on this article. 22:50:41 fungot: greet boily 22:50:41 olsner: i could not give a fnord if na was gay. in other words, it doesn't add much relevance to the rest of the article mentions a " cliff". span style="border: 1px solid fnord style="background: fnord 20:37, 29 november 2007 ( utc) 22:51:03 Yeah. 22:51:05 solid fnord. 22:51:31 hellolsnorder. 22:51:44 fnorboily 22:51:45 ^style homestuck 22:51:45 Selected style: homestuck (Homestuck pages 1901-4673) 22:52:04 Let's do something different, the wp style makes me just sad about how lazy I've been. 22:52:15 Although I don't think this one was a particularly good one either. 22:53:13 fungot 22:53:14 olsner: at the time of impact, a large, white structure that looked like a blue one too which was way more awesome shades in the style his bro dropped. she knows it. she's a huge culprit was. you can still be a way that it shakes is the same. trolls think fashion is stupid. stop doing nothing but wondering what could it be the same as the word " crazy" 22:53:52 vaguely coherenty 23:00:51 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:09:58 -!- Sgeo_ has joined. 23:13:07 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:14:35 -!- xkapastel has joined. 23:15:55 -!- hppavilion[1] has joined. 23:17:17 -!- hppavilion[1] has quit (Client Quit). 23:18:57 @unpl \join -> join 23:18:57 \ join b -> b >>= \ a -> a 23:19:12 NOTHING WORKS. 23:23:29 INT_ELLO. 23:28:39 sorry for yelling, but this is painful. 23:31:23 and... there's a TODO for that as well: "-- TODO: more generally correct would be to not substitute any variable which is bound by a pattern" 23:39:21 there's nothing permanenter than a temporary thing hth 23:39:59 -!- boily has quit (Quit: EPISCOPAL CHICKEN). 23:40:20 -!- jaboja64 has changed nick to jaboja.