00:02:07 -!- Jafet1 has joined. 00:02:16 -!- oerjan has quit (Quit: It's the nihilist!). 00:04:12 -!- Jafet has quit (Ping timeout: 276 seconds). 00:07:39 shachaf: lenovo cancelled my X1 carbon order due to general failure 00:08:36 maybe i'll get the i7 / 8GB model after all 00:08:53 i could buy it now from the UK site and have it shipped to a friend in the UK, who might appear stateside early next year 00:19:37 -!- louishenri13 has joined. 00:25:48 Sgeo: what is your list? 00:27:53 -!- NihilistDandy has quit (Quit: ["Textual IRC Client: www.textualapp.com"]). 00:33:21 -!- Jafet1 has changed nick to Jafet. 00:45:21 -!- nooga has quit (Ping timeout: 252 seconds). 01:11:48 -!- intok has left ("PONG :asimov.freenode.net"). 01:14:05 -!- louishenri13 has quit (Quit: ~ Trillian Astra - www.trillian.im ~). 01:14:11 kmc: "general failure" 01:14:14 FireFly: do you know what a homestuck is 01:25:24 ghh 01:25:40 they create that new almighty invincible supervillain 01:25:47 kmc: Does general failure work with colonel panic? 01:25:59 and manage to shoot him dead in the same episode 01:27:05 quality writing 01:31:21 this is still the good series of stargate you're watching right 01:31:35 hey you 01:31:37 elliott 01:31:43 "wait hes gone!!?" 01:31:55 im elliott 01:32:03 @tell elliott non is broken? 01:32:03 Consider it noted. 01:32:10 no its not 01:32:13 your stupid 01:32:19 i hate you 01:32:26 @tell elliott Do you mean that it's not a proper isomorphism? 01:32:27 Consider it noted. 01:32:35 Phantom_Hoover: oh no 01:32:45 of course it's not a proper isomorphism you moron 01:32:49 (am i doing this right) 01:33:02 Phantom_Hoover: I don't know. elliott's not usually so nice. 01:33:24 Also you're obviously pretending. 01:33:27 shachaf, your a fucking piece of shit, die and kill your family 01:33:35 Phantom_Hoover: You have the words, but you don't have the music. 01:33:42 #tralalalalala 01:33:56 # 01:34:00 `addquote shachaf, your a fucking piece of shit, die and kill your family 01:34:05 867) shachaf, your a fucking piece of shit, die and kill your family 01:34:18 no that should be 01:40:35 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:16:37 -!- Jafet1 has joined. 02:18:28 -!- Jafet has quit (Ping timeout: 245 seconds). 02:34:10 "Luftwaffe fighters found it extremely hard to shoot down the Kukuruznik because of three main factors: the rudimentary aircraft could take an enormous amount of damage and stay in the air, the pilots used the defensive tactic of flying at treetop level, and the stall speed of both the Messerschmitt Bf 109 and the Focke-Wulf Fw 190 was similar to the Soviet aircraft's maximum cruise speed, making it difficult for the newer aircraft to 02:35:21 it was too slow, nice 02:39:43 didn't they have shields 02:43:16 basically the russians used extremely shitty aircraft to harass the german ground divisions at night, ensuring that they never got any sleep and were constantly on edge 02:43:35 which worked so well that the germans copied the idea 02:44:23 oh and the communists used it in the korean war too 02:44:41 the allied fighters were unable to get a radar lock because the plane is made mostly of fabric and wood 02:45:06 "we fire the whole bullet - that's 60 percent more bullet per bullet" 02:45:57 kmc: /script load splitlong.pl 02:48:51 so this week's xkcd's what-if says the amount of thrust created by a rocket/machine gun is exactly mass * speed of the thing you're firing 02:49:06 kmc: mkdir -pv ~/.irssi/scripts && ln -s . ~/.irssi/scripts/autorun && ln -s /usr/share/irssi/scripts/splitlong.pl ~/.irssi/scripts/ 02:49:39 I remember in prepschool our physics teacher told us for a rocket the "loss in weight" created by burning up the fuel also added to the thrust 02:49:39 butts 02:50:31 she was never able to explain that properly so I have no idea what that means (basically she was saying "if you're holding a heavy bag and you drop it, you'll start to fly") 02:50:42 but apparently Randall did not mention that 02:51:06 I think it's because if you lose mass, it's easier to accelerate? 02:51:16 so as you spend your fuel, the same amount of thrust pushes you farther 02:51:27 kmc: help 02:51:37 hmmm 02:51:38 We're trying to solve a practical problem with lenses 02:51:49 And now edwardk is going on about Kan extensions and things. 02:52:07 yes but in that case, you don't actually *get* any thrust by *having to* carry the fuel in order to burn it 02:52:56 I mean, she was saying "losing mass" was actually producing something (that you wouldn't have if your mass was already low) 02:53:27 I'm guessing she probably just wasn't being clear or you misinterpreted? 02:53:33 but I guess I'll satisfy myself with your explanation, as it is far better than any explanation she could come up with 02:53:48 I know there's a similar thing with how spaceships do gravitational assists around planets 02:54:14 where you burn the engine really at the closest point of your orbit 02:54:37 and your gain in velocity comes from the fact that you basically deposited mass inside the gravitational potential well (negative energy) 02:54:45 I think at least 02:55:12 http://en.wikipedia.org/wiki/Oberth_effect aha 02:57:15 ok, thank you 02:59:59 and good night 03:00:05 -!- Arc_Koen has quit (Quit: Gateship. It's a ship. It goes through the gate!). 03:16:28 ^shuffle lunarcrescent 03:16:43 ^scramble lunarcrescent 03:16:43 lnrrsetncecau 03:16:58 ^scramble lnrrsetncecau 03:16:59 lrstccuaenern 03:17:18 ^scramble lrstccuaenern 03:17:18 lscueenrnactr 03:40:04 -!- KALLISTI has quit (Ping timeout: 246 seconds). 04:01:08 -!- Jafet1 has changed nick to Jafet. 04:20:53 -!- DHeadshot has joined. 04:52:47 monqy: error "oh no" 04:52:55 hi 04:53:03 is this about lens again 04:53:12 fromMaybe (error "oh no") blah 04:53:16 wait 04:53:18 fromMaybe (error "oh dear") blah 04:53:29 (error "oh no", fmap coerce ff', j) 05:02:11 -!- variable has changed nick to constant. 05:07:14 -!- ion has quit (Ping timeout: 240 seconds). 05:14:30 huh 05:14:33 this oberth effect is crazy 05:15:37 -!- ion has joined. 05:17:20 rockets are really cool 05:18:23 @karma milkshakes 05:18:23 milkshakes has a karma of -2678 05:18:28 monqy did you do this monqy 05:18:38 no 05:18:56 "So if a spacecraft is on a parabolic flyby of Jupiter with a periapsis velocity of 50 km/s, and it performs a 5 km/s burn, it turns out that the final velocity change at great distance is 22.9 km/s; giving a multiplication of the burn by 4.6 times." 05:19:13 I wonder what kind of modification you could get with a really heavy object. like a neutron star 05:19:17 er, multiplication 05:27:57 -!- epicmonkey has joined. 05:31:06 just now i confused myself greatly about potential energy 05:31:26 because if my potential energy is proportional to my distance from heavy things 05:31:37 shouldn't it be really huge because i am so far away from all these black holes and neutron stars and shit 05:31:50 but i think i understand now 05:32:19 that the best way to measure potential energy for space travel is to say that being infinitely far from everything in the universe is zero potential energy 05:32:25 and then it goes negative if you are near a heavy thing 05:32:27 isn't that just on a short distance, and an approximation to the gravitational equation 05:32:29 and that matches what you said above 05:33:11 ah yeah it's not linear either 05:33:16 well usually with potential energy you define it relative to the ground, which is arbitrary/whatever makes sense for what you're doing 05:33:16 that's true 05:33:26 I think the usual mgh is an approximation that works if you're close enough 05:33:33 haven't done physics in years though so don't quote me :) 05:33:47 yeah it is 05:34:15 i guess you can also compute it from escape velocity 05:34:44 no wait duh, it's roughly proportional to distance but it's inverse-square at some point. 05:34:46 the amount of kinetic energy you need in order to escape 05:34:57 i.e. to have your position not converge as t → ∞ 05:37:01 apparently the energy from a small nuclear bomb is enough to propel me to escape the milky way galaxy 05:37:15 if converted perfectly to kinetic energy 05:37:22 good luck with that 05:37:27 it's ok 05:37:29 i'll wear my bike helmet 05:37:40 * copumpkin imagines kmc in a cannon with a nuke behind him 05:37:44 in a circus 05:37:57 did you hear the story of when they originally came up with that? 05:38:07 they like, left a plate next to a nuke and then set it off, with a high speed camera 05:38:13 kmc: does mosh work from outside the milky way 05:38:17 only had it in one frame, but by gum was it moving fast probably! 05:38:29 yeah, that gives a pretty good lower bound on the speed :) 05:46:34 -!- epicmonkey has quit (Ping timeout: 240 seconds). 05:49:29 kmc: Guess what everyone in that other channel is doing right now. :-( 05:50:58 which other channel 05:51:02 also what are they doing 05:51:27 Typing backwards. 05:52:28 idgi 05:54:42 -!- Frooxius_ has quit (Ping timeout: 264 seconds). 05:58:45 -!- nortti_ has changed nick to nortti. 06:15:59 -!- Jafet has quit (Quit: Leaving.). 07:02:17 -!- nooga has joined. 07:51:50 monqy: http://imgur.com/a/pCdd7 07:55:38 hi 07:59:04 -!- ais523 has quit. 08:14:48 kmc: isn't gravitational potential energy always negative? 08:15:30 I'm reminded of a theory stating that the total mass/energy of the universe is the same as the gravitational potential energy (except positive), I think that's what it was 08:15:39 meaning the total energy of the universe is zero 08:18:05 -!- epicmonkey has joined. 08:25:59 http://en.wikipedia.org/wiki/Zero-energy_universe ah, this thing I think 08:44:54 -!- epicmonkey has quit (Ping timeout: 240 seconds). 08:52:57 -!- carado has joined. 08:59:28 -!- carado has quit (Ping timeout: 246 seconds). 09:06:27 -!- oklo has joined. 09:09:46 -!- oklopol has quit (Ping timeout: 268 seconds). 09:12:06 -!- oerjan has joined. 09:12:51 -!- Bike has quit (Quit: leaving). 09:14:53 -!- augur_ has joined. 09:16:14 -!- augur has quit (Ping timeout: 252 seconds). 09:18:39 A Jolla live event or something. http://jolla.com/ 09:22:36 -!- oerjan has quit (Quit: leaving). 09:28:53 -!- FreeFull has quit (Ping timeout: 245 seconds). 09:32:53 Fiora, monqy. List list list list listlist list list list list list list list list list list EVERYBODY 09:35:04 -!- ais523 has joined. 09:36:07 Say it with me. 09:36:08 "You can't keep down the clown." 09:36:15 this -update- 09:37:20 this is a staggering number of panels dedicated to repeatedly killing gamzee 09:41:37 -!- monqy has left. 09:41:43 :( 09:43:39 -!- epicmonkey has joined. 10:12:03 -!- Phantom_Hoover has joined. 10:34:06 -!- Jafet has joined. 10:57:20 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 11:06:58 I are hungry 12:01:07 I ATEN'T DEAD. 12:12:53 -!- oerjan has joined. 12:13:20 -!- sirdancealot has quit (Ping timeout: 252 seconds). 12:31:40 -!- sirdancealot has joined. 12:58:27 -!- ais523 has quit. 13:34:29 -!- sirdancealot has quit (*.net *.split). 13:43:50 -!- EgoBot has quit (Ping timeout: 246 seconds). 13:44:25 -!- EgoBot has joined. 13:50:14 -!- DHeadshot has quit (Ping timeout: 240 seconds). 13:50:45 -!- ogrom has joined. 13:51:27 -!- DHeadshot has joined. 13:54:03 -!- elliott has joined. 14:00:20 -!- oerjan has quit (Quit: leaving). 14:10:18 -!- boily has joined. 14:13:30 kmc: did you know the apple retina stuff does software magic so that bitmap images get scaled up to be a reasonable size but text and stuff doesn't? 14:13:31 i didn't 14:13:33 now i want one :( 14:22:35 Did you know that using the Retina stuff can cause your retina to fall off? 14:22:36 I didn't. 14:22:36 It's not true. 14:30:55 -!- Phantom_Hoover has joined. 14:33:10 -!- atriq has joined. 14:41:01 -!- FreeFull has joined. 14:50:00 -!- Sanqui has quit (Ping timeout: 257 seconds). 14:50:05 -!- Sanky has joined. 14:51:57 I'm not enjoying Legostar Galactica 14:52:04 Should I stop reading it? 14:52:06 Discuss 14:54:05 i would consider that a good reason to stop reading i 14:54:06 t 14:54:38 I could persevere in the hope it improves 14:55:03 I'm only up to November 2005 14:55:25 -!- ogrom has quit (Quit: Left). 15:02:02 why give it a second chance 15:02:18 comedies don't generally get better as they age 15:03:00 I enjoy El Goonish Shive now a lot more than I did a couple of years ago 15:06:09 -!- Frooxius has joined. 15:14:16 -!- Arc_Koen has joined. 15:16:14 -!- atriq has quit (Quit: Page closed). 15:20:15 -!- sirdancealot has joined. 15:53:43 -!- kashifpak has joined. 15:54:06 hi 15:54:20 `welcome kashifpak 15:54:23 kashifpak: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 15:54:51 -!- kashifpak has left. 15:55:09 Too mainstream. 15:58:30 why does everyone leave the second we welcome them 15:58:35 elliott: yeah 15:58:40 -!- Frooxius has quit (Read error: Connection reset by peer). 15:59:38 it's like they render to a virtual screen with a lower resolution 15:59:59 is elliott even here 16:00:02 oh 16:00:03 but that rendering is a combination of raster and vector elements 16:00:03 no 16:00:04 he is 16:00:06 elliott: Did you know that GHC's Derive{Functor,Foldable,Traversable} has a bug that makes them quadratic? 16:00:17 http://hackage.haskell.org/trac/ghc/ticket/7436 16:00:32 now I just have to wait for a company that I feel happy (well, happier) giving money to to copy it 16:00:42 well 16:00:48 I guess you can do the same with Linux already sort of 16:01:24 set your dpi in X high enough (and hacks to fix stuff that ignore that) that fonts are big, get your browser to scale images up, and use a gtk theme without too many bitmap elements 16:01:34 heh 16:01:42 -!- Frooxius has joined. 16:01:56 shachaf: "An eta-expanded definition like foldr becomes asymptotically worse for some reason. Maybe this is expected behavior for this function, since f gets eta-expanded at each iteration?" 16:02:01 this is pretty much semantically required 16:02:12 elliott: THEN WHY DOES SPJ FIND IT SO SURPRISING 16:02:19 since eta-retraction is invalid in Haskell 16:02:23 (eta-deexpansion??) 16:02:28 Reduction? 16:02:35 elliott: Doesn't stop GHC from doing it. 16:02:50 -fpedantic-bottoms, man 16:02:59 yes GHC has invalid optimisations and this is bad 16:03:00 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 16:03:18 probably GHC should compile this example efficiently because it does such optimisations 16:03:37 Oddly enough, GHC's invalid optimizations tend to eta-expand, not eta-contract 16:03:50 Well, the only time I've ever bothered to catch them 16:04:24 08:01 i think its because ghc won't inline a function unless it has been given all of its arguments 16:04:27 08:01 so they tend to eta expand like mad in hope they'll give it all its args 16:05:24 if only we had edwardk's perfect proprietary Haskell compiler 16:06:07 "if only" 16:06:43 elliott: Anyway if you've ever used DeriveFoo, I hope you're glad that your code is slow. :-( 16:07:05 shachaf: did I ever tell you about my shell / python coroutine idea? 16:07:50 IMO kmc should write a Haskell compiler that doesn't suck 16:07:59 kmc: Nope. 16:08:10 i started writing a haskell compiler but "doesn't suck" was not one of the design goals 16:08:10 elliott: imo "its called thc havnet u heard" 16:08:26 what were the design goals 16:08:36 shachaf: so python would suck as an interactive command shell, but it's superior to bash for certain data munging tasks 16:09:00 so i want each interactive bash to have an associated python interpreter in the background 16:09:04 so that i can do like 16:09:08 $ cmd1 | cmd2 | py -i foo 16:09:09 $ py 16:09:35 >>> bar = ' - '.join(x.strip().split(':')[3] for x in foo) 16:09:39 >>> ^D 16:09:44 $ py -o bar | cmd3 | ... 16:10:10 i think this is not too hard to implement so, has it been done, and is it crazy? 16:10:17 Is there really such an advantage over just running a command? 16:10:24 Well, other than "Python doesn't support one-liners" 16:10:39 I wonder when people will realize that using bash as a standard language has been a terrible mistake 16:10:53 shachaf: yeah there's that 16:11:01 although the same property makes interactive python kind of limited as well 16:11:16 if you are goin gto do that might as well use a nicer interface than bash for the shell part too :P 16:11:31 maybe it's almost as good to do python -c' ... python script 16:11:31 elliott: "like what" 16:11:32 also have you seen ipython 16:11:34 yes 16:11:34 iirc it does similar things to this 16:11:38 i use ipython all the time 16:11:41 as in i think ls | cat ... works in ipython 16:11:48 ignore the fact that that pipeline makes no sense 16:11:50 well 16:11:54 "imo this is reason enough to switch to ruby" 16:11:54 ls | cat - /dev/random | ... makes sense 16:11:57 except for being dumb 16:12:10 i don't think it implements full shell syntax though 16:12:18 Maybe Tcl is the future. 16:12:22 that would be kind of crazy 16:12:31 if you are goin gto do that might as well use a nicer interface than bash for the shell part too 16:12:35 no see 16:12:38 this is that #haskell fallacy that i hate 16:12:53 "if you're going to fix a bug in any program you might as well rewrite that program in haskell and also your operating system" 16:13:31 if you're going to try to convert me to zsh or whatever then fine 16:13:31 well my point is that this is a relatively huge engineering effort, so basing it on bash would be a shame when there are things like fish (fish isn't perfect but I think fixing the flaws would probably be less effort in total esp. since I bet bash's codebase is awful) 16:13:50 no i don't think this would require extensive changes to bash 16:13:52 well zsh is like bash but with marginally nicer interactive features :P 16:14:02 oh you are doing "py -o bar" 16:14:06 rather than just "bar | ..." 16:14:19 in fact i would hope to make it not depend on the shell you use 16:14:19 or only minimally 16:14:19 right 16:14:24 What about python 'blah' < named pipe 16:14:30 cat named pipe > blah 16:14:31 hi 16:14:42 i would have a bashrc line that starts up the python process and puts in an env var a path to some socket or something where it can be talked to 16:14:46 i am not sure that the py -i / py -o model is bset here 16:14:59 it seems better if you instead have somethin glike py -a 16:14:59 and then 'py' would use that 16:15:01 which runs function with the input 16:15:06 yeah i was thinking about that too 16:15:08 so you would do cmd1 | cmd2 | py -a foo | cmd3 | ... instead 16:15:16 Doesn't python have -e? 16:15:20 by defining bar = lambda foo: ' - '.join(x.strip().split(':')[3] for x in foo) 16:15:21 but there are def. cases where you want something more complicated than that 16:15:23 shachaf: it has -c 16:15:24 perl has -e. Also oneliners. 16:15:27 but one-line python is painful a lot 16:15:29 ruby has -e 16:15:32 yes i think perl is better for this 16:15:39 with perl i think it's not really needed 16:15:40 usually 16:15:47 "this is why i use ruby more than python" 16:16:02 kmc: Clearly the answer is to use node.js with asynchronous callback functions instead of coroutines. 16:16:12 "coroutines? more like slowroutines" 16:16:21 "My init scripts are webscale" 16:16:24 -!- ogrom has joined. 16:17:05 c.c 16:17:37 > set (every 5) 'Q' "this is just some text to say hi monqy with to elliott" 16:17:39 "Qhis Qs juQt soQe teQt toQsay Qi moQqy wQth tQ ellQott" 16:18:55 :t every 16:18:56 (Integral a1, Applicative f, TraversableWithIndex a1 t, Indexed a1 k) => a1 -> k (a -> f a) (t a -> f (t a)) 16:18:57 :t set 16:18:59 Setting s t a b -> b -> s -> t 16:19:16 > every 5 ~. 'Q' $ "is this right" 16:19:18 Not in scope: `~.' 16:19:18 Perhaps you meant one of these: 16:19:18 `.' (line 105), `P..... 16:19:22 > every 5 .~ 'Q' $ "is this right" 16:19:24 "Qs thQs riQht" 16:19:30 > every 0 .~ 'Q' $ "is this right" 16:19:32 "*Exception: divide by zero 16:19:38 oh no 16:19:46 the zero police is coming to take you away 16:19:53 in particular this python shell would be persistent 16:20:02 > every (-1) .~ 'Q' $ "is this right" 16:20:05 "QQQQQQQQQQQQQ" 16:20:06 you can jump back and forth and keep its state 16:20:14 > every (-2) .~ 'Q' $ "is this right" 16:20:16 "QsQtQiQ QiQhQ" 16:20:18 does it use abs or something 16:20:20 which i think makes it a lot more powerful than python -c, perl -e, etc. 16:20:29 kmc: @ handles this well 16:20:29 fyi 16:20:37 every k = iwhere (\i -> i `mod` k == 0) 16:21:08 > iwhere (== 'q') .~ 'Q' $ "abcdqe" 16:21:10 Couldn't match type `GHC.Types.Int' with `GHC.Types.Char' 16:21:14 oh 16:21:16 > where (== 'q') .~ 'Q' $ "abcdqe" 16:21:19 :1:1: parse error on input `where' 16:21:19 er 16:21:22 :t iwhere 16:21:24 (Applicative f, TraversableWithIndex i t, Indexed i k) => (i -> Bool) -> k (a -> f a) (t a -> f (t a)) 16:21:37 um 16:24:31 dol um ber ist 16:25:32 what is the equivalent of iwhere for values 16:25:40 filtered 16:25:44 But it's illegal. 16:26:06 Breaks the traversal laws unless you use it carefully. 16:26:20 "its okay for folds tho" 16:27:07 what's wrong with filtered (== 'q') .~ 'Q' 16:27:21 over f . over g = over (f.g) 16:28:11 > over (filtered even) (+1) . over (filtered even) (+1) $ 2 16:28:12 > over (filtered even) ((+1) . (+1)) $ 2 16:28:13 3 16:28:16 4 16:28:27 :t over 16:28:30 Setting s t a b -> (a -> b) -> s -> t 16:28:49 stabOf eye 16:31:03 shachaf: ugh, is cheater talking a lot in #haskell right now 16:31:18 elliott: "how would i know" 16:31:44 well you just said something in #haskell 16:31:48 so presumably you are paying some attention to it 16:32:01 The alot is talking cheater in #haskell 16:32:25 Well, I've had him on /ignore for a while now. 16:32:31 I think he's the only person I've ever /ignored 16:32:54 I wonder whether he just hates me personally or what. 16:33:06 he hates me personally 16:33:07 if that helps 16:33:35 -!- sirdancealot has quit (Read error: Operation timed out). 16:36:01 -!- Vorpal has joined. 16:36:28 -!- ogrom has quit (Ping timeout: 255 seconds). 16:47:00 :t (^.) 16:47:01 :t (^..) 16:47:02 s -> Getting a s t a b -> a 16:47:03 s -> Getting [a] s t a b -> [a] 16:47:17 shachaf: what's the difference 16:47:26 wait why does Getting have another parameter there 16:52:17 -!- sirdancealot has joined. 16:59:22 type Getting r s t a b = (a -> Accessor r b) -> s -> Accessor r t 16:59:26 Accessor ~ Const 16:59:31 (IIRC) 16:59:40 right 17:00:34 -!- augur_ has quit (Remote host closed the connection). 17:00:51 > ("foo", "bar") ^. both 17:00:53 "foobar" 17:00:55 > ("foo", "bar") ^.. both 17:00:57 ["foo","bar"] 17:01:02 -!- augur has joined. 17:01:21 > (Sum 4, Sum 5) ^. both 17:01:23 Sum {getSum = 9} 17:01:27 > (4, 5) ^.. both 17:01:29 [4,5] 17:05:31 -!- augur has quit (Ping timeout: 260 seconds). 17:18:40 -!- Bike has joined. 17:22:54 @src both 17:22:55 Source not found. This mission is too important for me to allow you to jeopardize it. 17:24:26 hah, expecting @src to be reasonable 17:24:37 (it's both f (a,b) = (,) <$> f a <*> f b) 17:24:47 er 17:24:50 both (a,b) f = ... 17:25:55 No, both f (a,b) 17:26:14 like traverse f [a,b] 17:26:30 :t both 17:26:31 Applicative f => (a -> f b) -> (a, a) -> f (b, b) 17:26:37 oh, right 17:34:46 -!- augur has joined. 17:41:26 Oh 17:48:42 hm... how do I make git restore the working tree to a pristine state. git reset --hard seems to keep ignored files, but I want those gone too 17:48:53 git clean 17:49:08 Deewiant, .... which is not even listed in "git help" 17:49:18 git help -a 17:49:22 git clean -x I think 17:49:23 riight 17:49:33 git help lists only common commands 17:49:35 "The most commonly used git commands are:" 17:50:03 so I did git clean -x -f aaand wait for it: 17:50:04 Not removing arch/arm/include/generated/ 17:50:10 seriously? 17:50:25 I wanted a *pristine* checkout 17:50:34 -d 17:50:42 -d says "remove untracked directories in addition to untracked files" 17:50:42 ah 17:50:46 right 17:51:11 I wonder if any IRC client follows the RTL override codepoint?‮ 17:51:41 -!- Nisstyre has quit (Remote host closed the connection). 17:51:56 probably xchat does? 17:52:01 and other things that use external stuff to render text 17:53:59 yeah i think i have seen it in xchat 17:54:08 not just override but following the bidi algorithm 17:54:15 so if you write arabic it will show up RTL 17:55:14 kmc, xchat behaves strangely if you try to select RTL text though 17:55:28 -!- Phantom_Hoover has quit (Read error: Operation timed out). 17:55:37 as in, the text reverts to LTR in the selection iirc 17:55:58 strange 17:59:04 well it did last I checked at least, which was probably over a year ago by now 17:59:19 xchat behaves really weirdly with proportional fonts also 18:00:34 -!- epicmonkey has quit (Ping timeout: 246 seconds). 18:01:26 -!- Nisstyre has joined. 18:03:02 elliott, I never even tried that 18:03:14 but out of interest, what does it do when you use them? 18:04:02 -!- carado has joined. 18:04:43 mostly works (I use it) 18:04:46 but if you select text it redraws often 18:04:48 and that sometimes looks weird 18:05:14 heh 18:09:14 -!- DHeadshot has quit (Ping timeout: 240 seconds). 18:11:21 -!- DHeadshot has joined. 18:16:12 :t (%~) 18:16:14