00:00:45 -!- edwardk has quit (Ping timeout: 252 seconds). 00:01:05 [wiki] [[Pinkcode]] http://esolangs.org/w/index.php?diff=39703&oldid=39616 * Oerjan * (-18) wikify sectioning 00:07:48 [wiki] [[5command]] M http://esolangs.org/w/index.php?diff=39704&oldid=39697 * Oerjan * (+1) fmt 00:08:18 -!- shikhout has joined. 00:11:31 -!- shikhin has quit (Ping timeout: 258 seconds). 00:41:13 ~metar CYUL 00:41:13 CYUL 260031Z 10004KT 360V100 15SM FEW060 BKN100 OVC200 19/13 A2990 RMK SC2AC5CI1 SLP125 DENSITY ALT 500FT 00:41:30 ~metar ENVA 00:41:31 ENVA 252350Z 27003KT 230V310 7000 -DZ SCT007 BKN016 09/09 Q1019 RMK WIND 670FT 32005KT 00:41:40 our heatwave is over, for now 00:42:20 ENVA but no ENYA? 00:42:30 ~metar ENYA 00:42:30 --- Station not found! 00:42:35 ~metar EGNT 00:42:36 EGNT 260020Z 16004KT 130V190 9999 FEW042 12/09 Q1018 00:42:45 I forget I can't read that 00:42:48 Meh 00:42:57 And that I'm 90 miles away from Newcastle now 00:43:42 y isn't very common at the beginning of words in norwegian. not impossible, though. (see our foxy brothers ylvisaker, if the place their ancestors came from had an airport it might get that designation.) 00:44:18 oh *ylvisåker, not that it matters for this. 00:44:55 ~metar EGYO 00:44:55 --- Station not found! 00:45:00 shocking 00:45:08 ~metar EGYR 00:45:08 --- Station not found! 00:45:11 ~metar EGYK 00:45:12 --- Station not found! 00:45:21 are you saying york has no airport 00:45:28 York as no airport. 00:45:30 it's weather station thingies? 00:45:35 Closest is Leeds-Bradford. 00:45:41 oh, I guess it's connected to flight stuff... 00:45:52 http://en.wikipedia.org/wiki/List_of_airports_by_ICAO_code:_E#EG_-_United_Kingdom_.28and_British_Crown_dependencies.29 ? 00:46:03 elliott, they don't have to be airports but they almost all are 00:46:47 My uni's electronics department has a weather station 00:47:23 But it's not got an ICAO code 00:47:29 http://weather.elec.york.ac.uk/ 00:47:38 ~metar EGNM 00:47:39 EGNM 260020Z 18004KT 9999 FEW030 09/08 Q1018 00:50:51 ~metar EGNU 00:50:52 --- Station not found! 00:50:55 :( 00:51:13 That's a lot clsoer 00:51:36 ~metar EGXD 00:51:37 EGXD 252350Z AUTO 15003KT 9999 // FEW070/// 10/09 Q1018 00:51:45 maybe you don't have weather outside. or, maybe you don't even have an outside! 00:52:17 EGXD is 23 miles away 00:52:56 EGNU is 12 or so 00:53:06 (I'm using Google Maps but roads get really wiggly) 00:53:44 Leeds-Bradford is 27 miles away 00:53:59 close enough. 00:55:09 boily: Taneb lives here http://24.media.tumblr.com/tumblr_lvv1fbrsWz1qlltjpo1_500.jpg 00:55:44 -!- edwardk has joined. 00:56:31 Question: 00:56:35 What's a dew point? 00:57:00 it's the temperature an object needs to be for condensation to appear. 00:57:13 Temperature at which water vapor in the air condenses into liquid water. 00:57:18 i.e. the temperature at which dew forms. 00:57:26 OK 00:57:41 Doesn't look like there'll be a dew today, then 00:58:16 I mean, it's all according to current conditions. you always need to chill that object down from ambient temperature for dew to appear. 00:58:29 (or, be in the morning, as in, like, you know, regular dew.) 01:00:27 if the dewpoint is higher than the temperature, you're having a flood hth 01:00:57 Yes. If the dewpoint is higher than the ambient temperature it means the air is actually water. 01:01:05 OK 01:01:15 (dewpoint == temperature implies 100% humidity) 01:01:17 Not outside the realm of possibility, but I think my window is open 01:01:27 And I haven't drowned yet 01:03:08 drowning in you own apartment. I... don't think that's something possible. 01:03:17 Well, I'm on the ground floor 01:03:39 boily: It's definitely possible, though only in exceptional circumstances. 01:03:46 And drainage isn't that great here 01:05:04 internal bleeding, for instance 01:05:12 indeed. 01:05:49 Making poor use of a bathtub. 01:06:04 Suffering from a drinking problem? 01:07:01 tieing yourself a gin tonic while taking a bath, with your bathroom's window wide open during a thunderstorm in a basement flat near an overflowing river? 01:07:16 (and coughing from your ebola) 01:07:22 Now that's just impressively misguided use of a bathtub. 01:07:30 Perhaps even "actively malicious". 01:07:31 -!- blitter64 has quit (Ping timeout: 240 seconds). 01:07:41 Only if you fall asleep 01:07:49 -!- shikhout has quit (Ping timeout: 240 seconds). 01:08:39 I know I fell asleep at least once in all kinds of vessels and containers, but never in a bathtub. 01:09:50 I generally find beds the most soporgenic furniture 01:10:07 Although my flat's kitchen does encourage sleep, for some bizarre reason 01:10:26 Taneb: that word is so pretentious it only has one google hit hth 01:10:55 my googlebubble gives me 5 hits. 01:11:01 In Pokemon card did you knock out seven opponent's cards in one turn? 01:11:02 Well, yeah, it's a hideous mix of Greek and Latin 01:12:21 "hypnogenic /hyp·no·gen·ic/ (-jen´ik) hypnotic (1). hypnotic [hip-not´ik]. 1. causing sleep; called also somniferous." 01:12:38 Those are nicer words 01:14:23 also soporific 01:15:59 narcoleptic! 01:17:01 -!- oerjan has set topic: The sleep-inducing channel | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 01:17:35 Seriously, I had a few friends round to play a game of Diana: Warrior Princess. All of them felt tired and one of them actually fell asleep. 01:17:41 are we May 25 today? 01:17:55 May 26 now I think 01:18:00 For me at least 01:18:46 IRC service says May 26 01:18:53 still the 25th here, and I saved a towel from the rain today. my bonne action is done, and my honour is safe. 01:18:53 Where I am, it is May 25 01:19:19 it's still early in Cascadia. 01:28:03 eh, you live in vancouver? 01:29:37 him, not me. 01:29:59 oh 01:30:37 as for me, time to go further the study of the soporgenicity of my mattress. 01:30:45 -!- boily has quit (Quit: EAST COAST CHICKEN). 01:30:47 -!- metasepia has quit (Remote host closed the connection). 01:32:49 -!- variable has changed nick to trout. 01:33:34 I want internet-connection library for SQL, so that it can be made a MUD server in SQL, among other things. 01:35:09 I'm going to head to bed now 01:35:11 Goodnight! 01:35:31 OK 01:36:28 -!- MDude has joined. 01:59:56 -!- zzo38 has quit (Quit: zzo38). 02:02:22 <^v> i made a optimized text to brainfuck table 02:02:23 <^v> http://hastebin.com/guzayutewi.lua 02:02:40 <^v> the one i found here http://codegolf.stackexchange.com/questions/5418/brainfuck-golfer/5440#5440 02:02:41 <^v> was slow 02:02:46 <^v> verry verry slow 02:03:49 -!- zzo38 has joined. 02:11:45 I think you can knock out seven opponent's cards on one turn if you have 1x MAGNETON [Lv35] and 4x GENGAR [Lv38] and POKEMON FLUTE, and opponent has one active pokemon, four bench pokemon requiring only 2 more damage to be knocked out, and one PORYGON [Lv12] on bench with no damage on it. If you also have some DEFENDER cards, then you can do so without any of your own cards knocked out. 02:17:20 Do you like this? 02:20:58 -!- zzo38 has quit (Remote host closed the connection). 02:35:41 -!- Sprocklem has quit (Ping timeout: 264 seconds). 03:13:44 -!- blitter64 has joined. 03:33:17 -!- nycs has joined. 03:36:00 -!- `^_^v has quit (Ping timeout: 252 seconds). 03:38:37 -!- hk3380 has quit (Ping timeout: 245 seconds). 03:48:37 -!- blitter64 has quit (Ping timeout: 240 seconds). 03:53:44 -!- MoALTz_ has quit (Read error: Connection reset by peer). 04:06:13 -!- Sprocklem has joined. 04:18:12 -!- MDude has changed nick to MDream. 04:24:41 If I watch a Planescape: Torment LP, and switch to another LP, how difficult would that be? 04:24:50 Is the game railroaded enough that it should be fine? 04:25:16 you'll die 04:27:00 Is it forbidden to talk of being ok and not ok and forbidden and allowed as though they can be relative to situations and not necessarily extreme? 04:28:54 personally, i sometimes worry a little bit if we are teasing Sgeo too much. 04:30:23 ^^previous statement was deliberately made vulnerable to the same kind of thing 04:30:50 wait, yours or mine 04:31:22 Mine 04:31:31 good, good. or wait... 04:33:55 -!- hk3380 has joined. 04:36:33 -!- Sorella has quit (Quit: It is tiem!). 05:09:37 kmc: have you seen http://millcomputing.com/docs/ 05:10:14 -!- hk3380 has quit (Ping timeout: 252 seconds). 05:12:18 heh bitcoin is up 30% in a week 05:18:36 don't think so shachaf 05:20:48 it has all sorts of interesting ideas 05:21:39 it's all in the form of hour-long videos, though, which is why i'm only now finally watching them 05:21:51 but you might enjoy it 05:31:07 is this that replacement for registers? i don't want to watch videos 05:31:50 -!- oerjan has quit (Quit: leaving). 05:33:46 are you talking about the "belt" thing 05:34:44 i think so 05:36:02 ywp 05:36:03 that's one of the videos, yes 06:03:00 It will be about rapid hardware iteration too 06:06:29 rapid hardware zwitterion 06:21:36 -!- edwardk has quit (Quit: Computer has gone to sleep.). 06:36:13 -!- conehead has quit (Quit: Computer has gone to sleep). 06:56:15 -!- edwardk has joined. 07:01:01 -!- ter2 has quit (Ping timeout: 240 seconds). 07:02:54 -!- password2 has joined. 07:04:29 -!- edwardk_ has joined. 07:06:17 -!- edwardk has quit (Ping timeout: 264 seconds). 07:13:58 -!- slereah_ has joined. 07:30:42 beep boop 07:30:43 `coins 07:30:44 ​hillocoin alecoin mrozmancoin argarcoin devcoin juvecoin moxcoin lorumcoin *wcoin pahecoin magecoin errinuspcoin finingcoin deancoin trigjcoin catecoin godzicoin orncoin anycoin fobcoin 07:31:33 UKIP took first place in the europarl voting? :( 07:33:48 some weird irony in the fact that the people who care the most to vote for the office of UK MEP are the people who want it not to exist 07:34:13 I guess that is how the right always works. "we believe government is the problem, elect us and we'll show you" 07:35:05 -!- Burton has quit (Remote host closed the connection). 07:52:28 -!- nortti has quit (Ping timeout: 276 seconds). 07:52:57 -!- nortti has joined. 08:02:22 -!- MindlessDrone has joined. 08:28:29 -!- password2 has quit (Ping timeout: 264 seconds). 08:29:59 -!- Patashu has joined. 09:25:19 -!- Patashu_ has joined. 09:25:19 -!- Patashu has quit (Disconnected by services). 09:27:14 -!- fungot has quit (Ping timeout: 252 seconds). 09:30:29 -!- edwardk_ has quit (Quit: Computer has gone to sleep.). 09:31:24 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 10:15:15 -!- Phantom_Hoover has joined. 10:17:45 -!- tromp__ has quit (Ping timeout: 252 seconds). 10:19:34 -!- boily has joined. 10:20:14 -!- edwardk has joined. 10:31:06 Help I just ordered Parallel and Concurrent Programming in Haskell 10:32:47 -!- edwardk has quit (Quit: Computer has gone to sleep.). 10:35:13 Taneb: so you really been far as decided to use even go want to learn you more a haskell for great good like? 10:35:41 That is words a lot making sense little help understand no 10:35:59 But yeah, probably 11:03:49 Oh, parsing fun. (Help ((I just ordered (Parallel and Concurrent Programming) in Haskell)) -- I hope you did not use unsafePerformIO. 11:04:28 I got it wrong. I meant (Help ((I just ordered (Parallel and Concurrent Programming)) in Haskell) 11:04:55 whatever 11:05:31 (I'm not sure there is a correct way of writing this without reordering the words into a syntax tree) 11:06:54 data TanebTree a = Leaf a | Node (Tree a) (Tree a) deriving (Show, Read, Eq, Irc) 11:08:15 -!- boily has quit (Quit: HALTING CHICKEN). 11:16:01 -!- edwardk has joined. 11:23:53 -!- edwardk has quit (Ping timeout: 258 seconds). 11:36:23 -!- edwardk has joined. 11:41:16 -!- edwardk has quit (Ping timeout: 276 seconds). 11:47:10 impomatic: What do you do with a vampire? 11:47:22 Making them jump into a core clear doesn't seem to be very effective 11:47:56 I assume making them jump into bomb-throw loop is probably far more effective? 11:48:01 or scan loop 11:48:07 but a core clear is rather slow 11:56:37 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 12:04:46 mroman: making the opponent jump into a trap that splits off lots of useless processes is most effective. Normally the trap also does a clear... 12:07:33 mroman: there's a list of publish vampires here http://corewar.co.uk/z.htm 12:09:21 Fact: John McCarthy (inventor of LISP) and Uncle Bob Martin (Agile evangelist) invented and implemented the first vampire! 12:11:46 impomatic: yeah 12:11:53 but what's the difference to just throwing spl 0? 12:11:58 that also splits off lots of processes 12:12:11 I make them jump into a core clear that splits off processes 12:12:25 and after I'm done throwing jump bombs I move a DAT bomb into the core clear loop 12:12:42 and enter a core clear myself 12:14:02 spl 0 splits off a few processes that stay in the opponent's code. Jumping to a spl 0 / spl -1 / spl -2 tray splits off processes, that split off more processes, etc. They're also no longer running any of the opponent's code. 12:15:15 You could probably just let your clear wipe the trap. If the trap contains a clear, you could make that one wipe the trap as well :-) 12:16:51 -!- Phantom_Hoover has joined. 12:17:37 -!- hk3380 has joined. 12:20:29 ah well. It got me 103.8 on the beginners hill 12:21:07 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 12:24:22 -!- yorick has joined. 12:28:50 `olist 953 12:28:51 olist 953: shachaf oerjan Sgeo FireFly boily nortti 13:14:43 -!- Patashu_ has quit (Ping timeout: 240 seconds). 13:18:48 -!- idris-bot has quit (Quit: Terminated). 13:19:13 -!- idris-bot has joined. 13:26:14 -!- edwardk has joined. 13:30:37 -!- edwardk has quit (Ping timeout: 252 seconds). 13:49:52 -!- Sprocklem has quit (Ping timeout: 245 seconds). 14:00:11 -!- Burton has joined. 14:05:34 -!- blitter64 has joined. 14:14:28 My automatic Facebook page is malfunctioning 14:18:52 Or is it? 14:19:31 -!- mtve has joined. 14:22:55 -!- Froox has joined. 14:22:55 -!- Frooxius has quit (Read error: Connection reset by peer). 14:24:23 -!- Sprocklem has joined. 14:25:22 -!- blitter64 has quit (Ping timeout: 252 seconds). 14:41:10 -!- blitter64 has joined. 14:43:26 -!- nooodl has joined. 14:52:41 -!- edwardk has joined. 14:59:05 -!- hk3380 has quit (Ping timeout: 264 seconds). 15:01:17 -!- MDream has changed nick to MDude. 15:01:21 -!- conehead has joined. 15:04:27 -!- edwardk has quit (Quit: Computer has gone to sleep.). 15:06:05 -!- Sprocklem has quit (Quit: brb). 15:06:20 -!- Sprocklem has joined. 15:07:15 -!- edwardk has joined. 15:07:29 -!- edwardk has quit (Client Quit). 15:08:05 -!- blitter64 has quit (Ping timeout: 264 seconds). 15:09:30 -!- blitter64 has joined. 15:12:19 -!- edwardk has joined. 15:16:18 -!- ter2 has joined. 15:23:06 -!- AnotherTest has joined. 15:26:18 -!- tromp_ has joined. 15:30:33 -!- blitter64 has quit (Ping timeout: 265 seconds). 15:35:41 -!- xk002 has quit (Ping timeout: 264 seconds). 15:38:25 -!- Froox has quit (Read error: Connection reset by peer). 15:38:29 -!- Frooxius has joined. 15:44:48 -!- drdanmaku has joined. 15:52:54 -!- shikhin has joined. 15:53:59 -!- blitter64 has joined. 15:54:45 -!- hk3380 has joined. 15:59:14 http://www.reddit.com/r/lolphp/comments/26inbh/define_has_an_optional_third_argument_that/ 15:59:51 -!- Sprocklem has quit (Quit: leaving). 15:59:55 -!- slereah_ has quit (Quit: Leaving). 16:00:04 https://pay.reddit.com/r/esolangs/comments/26ie70/favorite_esolangs_om_and_unlambda/ activity 16:06:18 -!- syndrome has quit (Ping timeout: 240 seconds). 16:12:02 -!- edwardk has quit (Quit: Computer has gone to sleep.). 16:18:11 Sgeo: bizarre 16:20:07 -!- shikhout has joined. 16:22:42 Hm 16:23:20 -!- shikhin has quit (Ping timeout: 255 seconds). 16:32:28 "Added array_map() function that applies a callback to the elements of given arrays and returns the result. It can also be used with a null callback to transpose arrays. (Andrei)" 16:33:51 not as good as arrayfun 16:34:08 -!- impomatic has left. 16:40:39 why does a null pointer suddenly transpose an array o_O 16:44:52 -!- shikhout has changed nick to shikhin. 16:50:27 > transpose [[a,b,c],[d,e,f],[g,h,i]] 16:50:29 [[a,d,g],[b,e,h],[c,f,i]] 16:50:49 > zipWith3 (\(x,y,z) -> [x,y,z]) [a,b,c] [d,e,f] [g,h,i] 16:50:50 Couldn't match expected type ‘Debug.SimpleReflect.Expr.Expr 16:50:50 -> Debug.SimpleReflect.Expr.Expr -> d’ 16:50:50 with actual type ‘[t0]’ 16:50:50 Relevant bindings include 16:50:50 z :: t0 (bound at :1:17) 16:50:58 > zipWith3 (\(x,y,z) -> [x,y,z]) [a,b,c] [d,e,f] [g,h,i] :: [[Expr]] 16:50:59 Couldn't match expected type ‘Debug.SimpleReflect.Expr.Expr 16:51:00 -> Debug.SimpleReflect.Expr.Expr 16:51:00 -> [Debug.SimpleReflect.Expr.Expr]’ 16:51:00 with actual type ‘[t0]’ 16:51:00 Relevant bindings include 16:51:03 > zipWith3 (\x y z -> [x,y,z]) [a,b,c] [d,e,f] [g,h,i] :: [[Expr]] 16:51:05 [[a,d,g],[b,e,h],[c,f,i]] 16:51:20 do you see why? 16:52:51 and Python: 16:52:52 >>> l = [[1,2,3],[4,5,6],[7,8,9]]; map(None, *l) 16:52:52 [(1, 4, 7), (2, 5, 8), (3, 6, 9)] 16:52:56 >>> l = [[1,2,3],[4,5,6],[7,8,9]]; map(lambda *ll: list(ll), *l) 16:52:56 [[1, 4, 7], [2, 5, 8], [3, 6, 9]] 16:52:56 "The term "bass ackwards" comes to mind." 16:53:06 the transpose behaviour is reasonable. 16:53:13 tipes 16:53:30 'In my view, HTTP/2.0 should kill Cookies as a concept, and replace it with a session/identity facility, which makes it easier to do things right with HTTP/2.0 than with HTTP/1.1.' 16:53:42 YES PLEASE. Except Cookies could still be useful for other things, if maybe modernized somehow 16:54:04 sesion facility 16:54:15 so the web-server manages sessions? 16:55:57 elliott: it's a bit weird to count null as a function, i guess, even if it's the obvious choice 16:56:26 Bike: you can think of it as mapping with "no function", but yeah, such is dynamically-typed languages 16:58:06 elliott: huh, hm, fair enough 16:58:37 it's kinda weird to have something do the dual duty of map and zip like that 16:58:49 but I sort of like it 16:59:07 > map (\[x,y,z] -> (x,y,z)) . transpose $ [[a,b,c],[d,e,f],[g,h,i]] 16:59:08 [(a,d,g),(b,e,h),(c,f,i)] 16:59:29 transpose can be thought of as basically variadic zip 16:59:53 so if your map does variadic zipWith, it's already doing transposes, really 17:01:17 i thought it was common for map to do "double duty" like that. i'd never heard of zip before haskell and its fixed argument counts 17:01:55 http://www.gnu.org/software/mit-scheme/documentation/mit-scheme-ref/Mapping-of-Lists.html eg 17:07:34 cos if you have apply map f xs = (apply f (map1 car xs)):(map1 cdr xs); map f [] = [] as the kids say 17:08:20 yeah, it's fairly common 17:14:48 -!- password2 has joined. 17:19:18 -!- password2 has quit (Ping timeout: 240 seconds). 17:24:29 -!- edwardk has joined. 17:27:01 -!- Sprocklem has joined. 17:31:53 -!- MoALTz has joined. 17:33:17 -!- password2 has joined. 17:41:57 -!- nooodl_ has joined. 17:45:27 -!- nooodl has quit (Ping timeout: 252 seconds). 17:47:49 -!- AnotherTest has quit (Ping timeout: 265 seconds). 17:51:07 -!- nooodl_ has changed nick to nooodl. 17:51:27 -!- KingOfKarlsruhe has joined. 17:54:05 -!- Sprocklem has quit (Quit: Lost terminal). 17:54:23 -!- Sprocklem has joined. 17:59:51 Sgeo: I can't think of anything that wouldn't already be satisfied by localStorage, to be honest. 18:00:38 -!- Sprocklem has quit (Quit: leaving). 18:10:24 -!- Phantom_Hoover has joined. 18:11:12 -!- shikhin has quit (Remote host closed the connection). 18:19:09 https://dl.dropboxusercontent.com/u/15495351/fours.pdf i wrote this 18:19:39 what is the next step. algebraic numbers sounds sorta possible?? 18:20:13 copying Snobol!.pdf 18:20:39 nooodl: do you want proofreading? "some selectin [sic] of operators" 18:20:57 oops. i didn't spellcheck it at all yes 18:21:40 "n+1 radices" but i think the word would be "radicals", not sure 18:22:00 wikipedia calls the sign a "radix" but yeah i thought that was weird 18:23:15 oh, this is pretty cute. 18:24:40 oh maybe gaussian rationals 18:25:20 i wonder how i'd get to "i". do people Actually Write, like, \sqrt(-4) = 2i 18:25:29 yeah? 18:25:35 yeah. 18:25:42 i was taught that's wrong because: -2i 18:25:50 well you can throw a plus or minus on there. 18:26:04 but you're already using repeated radicals, you must be taking the principle value 18:26:19 btw minor stylistic thing, but if you have an expository footnote with 'clearly' on it then ask yourself why you need the footnote at all 18:26:26 yeah i guess 18:26:53 -!- ter2 has quit (Read error: Connection reset by peer). 18:26:59 -!- tertu3 has joined. 18:27:22 -!- hk3380 has quit (Ping timeout: 245 seconds). 18:27:48 2^(.5^n) has, what... 2^n values? 18:27:56 Phantom_Hoover: maybe i should rather get rid of the clearly 18:28:54 -!- hk3380 has joined. 18:30:30 i don't think you're going to be able to express algebraic numbers in radicals, though 18:33:22 -!- Bike_ has joined. 18:33:38 -!- Bike has quit (Disconnected by services). 18:33:43 -!- Bike_ has changed nick to Bike. 18:34:32 nooodl, I'm not sure you need that much exposition about that part though. 18:34:41 -!- adu has joined. 18:35:01 it is sorta obvious but leaving the explanation out feels not very rigorous 18:35:29 i.e. makes it seem like i'm just reasoning "oh well if i just make it stupidly huge it's bound to be divisible by n??" 18:35:56 it's a math paper dude, you have to explain as little as possible 18:37:16 though it's not so much that it's huge as that it has any possible factors, which is, dare i say.... trivial 18:38:49 anyway i wanna see how you express a root of x⁵-x+1 in four fours. aaaaand go 18:38:53 https://gist.github.com/kmcallister/ad0622cffc8bdc0c5684 is this code UB due to aliasing rules? if so, why doesn't GCC warn even with -Wall -Wstrict-aliasing=4 18:41:04 does it warn in LLVM? 18:41:11 Sweet, the book I ordered has already been dispatched! 18:42:13 Bike: in clang? seems not 18:42:18 i'm going by http://gcc.godbolt.org/ 18:42:25 btw there is now http://rust.godbolt.org/ 18:42:53 in Rust the aliasing rules are actually, like, enforced 18:43:56 just like fortran! 18:44:40 yep lolol 18:44:54 I don't think we give LLVM as much aliasing information as we should, though 18:45:14 it's a recent thing to even tell it which pointers are guaranteed to be non-NULL 18:45:34 there's also a frontend optimization whereby Option<&T> is a single word, with None represented as a NULL pointer 18:46:12 -!- mhi^ has joined. 18:49:26 kmc, can the compiler infer that? 18:50:25 Also I bought the Discworld Ankh-Morpork board game 18:50:52 -!- spiette has quit (Quit: .). 18:52:09 Taneb: Taneb the compiler is hard-coded to know &T is a non-null pointer 18:52:26 and it has an optimization for any enum structurally matching enum Option { None, Some(T) } 18:52:36 it doesn't have to be specifically core::option::Option 18:53:00 -!- impomatic has joined. 18:53:01 but I don't think it's smart enough to do, say, enum Foo { Bar, Baz, Quux(&uint) } with 0x0000...0000 and 0x0000...0001 18:53:08 which is more of a platform specific thing 18:53:19 I have plans to do that manually (with unsafe code) for interned strings in Servo 18:53:51 there are fewer than 4k common strings on the web (e.g. tag names, attribute names) that you would intern at compile time 18:53:53 -!- conehead has quit (Quit: Computer has gone to sleep). 18:53:58 so give each one an "address" within the first page of memory 18:54:40 -!- conehead has joined. 18:54:43 -!- realz has quit (Read error: Connection reset by peer). 18:54:43 usually an interned string is just a pointer to a string but this interferes with some other things I want t odo 18:55:59 -!- realzies has joined. 18:56:11 Hopefully rustc can learn to steal bits from other types too in some non-hardcoded way 18:56:23 like Spidermoney's NaN stuffing 18:56:27 lol 18:56:33 which was the source of security holes at one point 18:56:37 (in SM or V8, don't remember which) 18:56:46 * kmc -> afk 18:56:59 kmc: which is why having rustc able to check would be great :) 18:58:21 What’s NaN stuffing? Using the variable bits in a NaN for something? 18:58:34 yep. 18:58:49 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:58:58 -!- conehead has quit (Ping timeout: 240 seconds). 19:03:12 -!- adu has quit (Quit: adu). 19:07:18 For storing pointers, I guess 19:09:10 https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey/Internals 19:09:15 see "Javascript Values" on that page 19:09:45 NaN-boxing is a technique based on the fact that in IEEE-754 there are 2**47 different bit patterns that all represent NaN 19:10:31 So much lost space 19:11:22 -!- xk002 has joined. 19:11:33 IIRC one of V8 or SM represents doubles "plainly" and objects as pointers inside the payload of a NaN, whereas the other instead represents pointers plainly and numbers via some indirection step 19:11:49 Though I don't remember how the latter works.. 19:13:02 Oh, tagged pointers 19:21:52 i want SmallVec in the std lib :< 19:22:03 maybe I should Just Fuckin Do It 19:23:50 What’s that? 19:24:07 that is a cute term ... "right parenthesis deficit disorder". (I've just started reading "The Art of Procrastination". 19:24:44 -!- ^v has quit (Quit: Leaving). 19:25:56 Oh, that was totally wasted on the target audience (oerjan, who isn't even here. maybe he'll read it later.) 19:26:12 -!- ^v has joined. 19:26:52 Melvar: Vec is a standard growable vector like C++'s std::vec, SmallVec is similar but doesn't do a heap allocation for storing only 1 element 19:27:19 er, it's named SmallVector 19:27:41 enum SmallVector { None, One(T), Many(Vec) } 19:27:47 or so 19:27:52 Ah. 19:28:00 -!- password2 has quit (Read error: Connection timed out). 19:34:24 -!- AnotherTest has joined. 19:35:01 Funny how they call them “enum”. 19:35:32 esnum 19:40:47 -!- conehead has joined. 19:46:29 -!- password2 has joined. 19:53:11 enum is a bit weird, I would've liked it if they went with haskell on that bit instead, and e.g. let enum be an enumeration of int-like things 19:53:23 -!- tertu3 has changed nick to tertu. 19:55:10 Haxe's enum is awesome 19:55:21 shame it doesn't support generics 19:57:50 -!- edwardk has quit (Quit: Computer has gone to sleep.). 19:59:21 -!- edwardk has joined. 20:05:55 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 20:16:11 -!- blitter64 has quit (Ping timeout: 255 seconds). 20:18:44 -!- Sprocklem has joined. 20:19:52 -!- glogbackup has quit (Ping timeout: 245 seconds). 20:27:54 -!- password2 has quit (Read error: Connection timed out). 20:28:35 -!- password2 has joined. 20:33:51 M28: what does it do? 20:34:02 olsner: yeah, the duplication of functionality between struct and enum is sort of annoying 20:34:31 kmc: that's still that way? :'( 20:34:40 yes 20:34:50 Last time I used Rust about a year ago I thought people were talking about changing it. 20:34:55 Oh well. 20:34:58 people are always talking about changing everything 20:35:13 also struct-syntax enum variants are feature-gated now 20:35:19 not sure if that's a step forward or back 20:35:29 struct has a C ABI guarantee, but that could easily be an attribute, which it already is for enum! 20:35:40 #[repr(C)] (case sensitive ;_;) 20:35:45 That's the situation I remember. 20:36:04 #[repr(KMC)] 20:36:39 how does case insensitivity work in unicode anyway 20:36:47 Bike: complicatedly hth 20:37:27 you can't even do ASCII case folding without knowing the locale 20:37:37 thanks a lot Atatürk 20:38:06 http://www.w3.org/International/wiki/Case_folding 20:38:36 Unicode makes a distinction between case mapping and case folding, and only really defines the latter http://www.unicode.org/faq/casemap_charprop.html 20:38:43 -!- password2 has quit (Ping timeout: 240 seconds). 20:38:56 the former being a snake pit of locale and UX concerns 20:39:25 haha, the third answer rules. 20:39:44 "do all scripts have case?" "no, here is a list of almost every one that does, and then there are tens of thousands that don't" 20:39:48 heh 20:39:55 what about hiragana and katakana!!! 20:40:04 huh that's a good question actually 20:40:11 it's case but not as we know it? 20:40:11 since a lot of time katakana is transliterated as allcaps 20:40:17 I think those are generally not considered "case" and they don't have a 1:1 mapping? 20:40:23 but I don't know how exactly linguists define "case" 20:40:24 monotone: opinion 20:40:51 konnichi wanotone 20:40:51 i don't think it's case exactly but i thought there was a 1:1 20:40:52 -!- AnotherTest has quit (Ping timeout: 258 seconds). 20:41:06 maybe there is 20:41:20 since they're just syllabries (sp) 20:41:30 no 1:1 with kanji of course. 20:41:31 case in cyrillic is extra weird 20:41:41 I've never heard it described as being similar to case. 20:41:41 some of the small ones have completely different meanings and most characters aren't used in small versions 20:41:42 -!- glogbackup has joined. 20:41:43 oh yeah, how's it work? i have no idea other than vague rememberance of capital letters' 20:41:48 print lowercase looks like smallcaps but script lowercase is totally different 20:41:57 also script hebrew is totally different from print hebrew 20:42:05 and script arabic is basically whatever the hell you want 20:42:18 script english is pretty weird too... not that it's used much anymore 20:42:25 yeah 20:42:30 they made us learn cursive in middle school 20:42:30 I think one of the peculiarities of cased alphabets is that the cases get mixed in normal writing. 20:42:31 fuck all that 20:42:34 i personally like how script german from before WWII is unreadable by modern speakers 20:42:40 So you have rules for capitalization and whatever. 20:42:41 because of font changes 20:42:44 I can't even write my own name in cursive anymore; my signature has gradually decayed to a few squiggles 20:42:54 kmc: you know they still make you write in cursive on the SAT? crazy. 20:42:57 yeah 20:42:59 maybe? 20:43:07 on the ACT you have to copy a paragraph long assertion that you didn't cheat, in cursive 20:43:13 yeah, same on the SAT. 20:43:16 heh 20:43:23 I don't remember that from the SAT but I took it... fuck, more than 10 years ago 20:43:34 I never took any of those 20:43:36 (well I took it a bunch of times as a small child but I last took it more than 10 yeras ago) 20:43:37 :D 20:43:51 monotone: thank god for the internet where i just lowercase everywhere (except initialisms, apaprently) 20:43:57 With kana you don't have similar "rules" as such. 20:44:05 Bike: i copied that paragraph in non-cursive 20:44:09 :O 20:44:10 p. rebellious imo 20:44:29 monotone: don't you have the general rule that katakana is used for foreign pronunciations or something? not as complicated as casing, of course, but still 20:44:42 well i guess if you took that argument far enough you could describe print/script as a case distinction, hrm. 20:45:20 kmc: script hebrew isn't mixed in with print hebrwe, though 20:45:22 Bike: Yeah, but it's not considered "ungrammatical" to switch them, at least not to the degree improper case usage would be for English. 20:45:49 it is like cursive. which i guess is why you were talking about cursive 20:46:44 monotone: i dunno, i mean in many contexts it's okay to ignore case rules and write in allcaps, and that's not "ungramamtical" either 20:47:32 Bike: I guess in Latin script the use of uppercase is broken down into proper nouns, sentence-initial capitalization, emphasis, initialisms, etc. 20:47:46 -!- glogbackup has quit (Ping timeout: 258 seconds). 20:47:51 -!- yorick has quit (Remote host closed the connection). 20:47:52 With katakana it's basically emphasis and conventional loanword spellings and not much else. 20:48:46 do you think the two kana alphabets will eventually merge? 20:48:53 it seems like the kind of complexity that is locally reducible 20:49:19 I dunno if the all-caps thing is really emphasis or not, actually. Certainly it's not unheard of to spell things entirely in katakana, either, though that gives people flashbacks to half-width kana on old terminal screens. 20:50:38 (rather than, say, ditching Han characters, which in Korea required a royally chartered committe of 15th century conlang nerds and a few centuries of colonial oppression + nationalism) 20:51:00 kmc: I'm not sure, really. I don't really see it happening in the foreseeable future, though. 20:51:12 well not very much of the future is forseeable 20:51:21 it's kind of a joke to think that anyone can forsee anything 20:51:31 but I'm on a sort of absurdist nihilist / existentialism kick lately 20:51:35 kmc gets deep 20:51:40 balls deep 20:51:45 monotone: so is there a 1:1 mapping between the syllabries, though 20:51:57 i thought there was, except for maybe something with archaic syllables 20:52:02 Bike: Yeah, there is. 20:52:10 woo 20:52:24 I foresee a sunrise about 6 hours from now ... 20:52:43 (ymmv) 20:53:03 All the kana that were in use in the early 20th century have hiragana and katakana versions. 20:53:18 -!- glogbackup has quit (Ping timeout: 252 seconds). 20:53:22 int-e: I'll tell my Sun Crusher to stand down 20:53:39 ah. 20:53:54 -!- Patashu has joined. 20:57:46 kmc: much appreciated 20:58:23 -!- password2 has joined. 20:59:05 -!- password2 has quit (Max SendQ exceeded). 20:59:48 -!- password2 has joined. 21:03:04 -!- not^v has joined. 21:03:12 -!- glogbackup has joined. 21:07:18 -!- glogbackup has quit (Ping timeout: 240 seconds). 21:08:51 -!- Sprocklem has quit (Quit: brb). 21:10:51 Who actually called John McCarthy the father of AI? 21:17:43 i looked it up and found "Lisp paved way for iPhone 4s' Siri voice recognition software" so i'm laffin 21:18:52 anyway i don't see anything but a bunch of obituaries, so probably nobody 21:23:25 -!- Patashu has quit (Ping timeout: 258 seconds). 21:28:51 -!- oerjan has joined. 21:36:51 Bike: I search on Google books and found a few published in the 1980's which called McCarthy the father of AI. (Also a few which called Turing or Minsky the father of AI) 21:37:23 -!- edwardk has quit (Quit: Computer has gone to sleep.). 21:45:35 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 29.0.1/20140506152807]). 21:48:23 I asked about McCarthy on #ai, but they just keep refining are restating my original question :-( 21:48:58 -!- yorick has joined. 21:50:45 -!- password2 has quit (Ping timeout: 252 seconds). 22:03:03 The earliest example I can find is in a review of "Scientific Temperaments: Three Lives in Contemporary Science" - New Scientist, March 1983 22:04:33 impomatic: sounds like the other people on #ai are ai's 22:12:45 -!- nooodl_ has joined. 22:15:41 -!- nooodl has quit (Ping timeout: 252 seconds). 22:23:42 `olist 953 <-- darn 22:24:16 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 22:24:27 -!- Phantom_Hoover has quit (Quit: Leaving). 22:25:25 -!- hk3380 has quit (Ping timeout: 276 seconds). 22:26:22 -!- boily has joined. 22:31:37 -!- tory_perez has joined. 22:32:51 -!- tory_perez has left. 22:38:54 darn. I missed a `relcopportunity. 22:44:30 -!- hk3380 has joined. 22:45:26 -!- Sorella has joined. 22:46:52 * oerjan wonders if "cheryllium" is on this channel. 22:47:12 under some other nick, in case 22:47:26 (the moderator of /r/esolangs) 22:47:52 hm, i think i've seen them before 22:49:03 yeah, someone with that nick has been in #lisp afore 22:49:36 fizzie: do you recall cheryllium from here before? 22:49:53 hm looks idle. oh right, tokyo. 22:50:28 it looks like that subreddit has just reactivated a little. 22:50:43 (i made a comment on one of the posts) 22:50:45 there's an /r/esolangs? 22:50:55 (the one Deewiant linked) 22:51:09 boily: well sure, there's a subreddit for _everything_ duh 22:51:34 my mind knows there's a subreddit for everything, but my heart disagrees. 22:51:55 heh 22:52:09 There's probably a subreddit for that. 22:52:54 how do you mapole somebody in a meta fashion? what's the adverb for “meta”? 22:53:04 http://www.reddit.com/r/subreddit/ 22:53:15 "No recursing." 22:54:07 boily: i think technically meta may _be_ an adverb, in the original greek. 22:54:20 or maybe it's a preposition, not quite sure 22:54:21 there is one one everything ... http://www.reddit.com/r/everything/ but none on anything? 22:56:06 * boily metaly mapoles Jafet. “May you suffer from pseudogrammatical hardwood!” 22:56:14 int-e: that has the right tagline, at least 22:57:09 ok wiktionary says it's both 22:57:51 i vaguely recall that in ancient indoeuropean, the border between adverb and preposition wasn't very fixed. 22:58:06 ook. 22:59:06 of course even modern languages sometimes turn other word classes into preposition. e.g. french "chez" and norwegian "hos" which both come from the word for house iirc, and coincidentally also mean the same thing. 22:59:15 *+s 23:00:32 «chez» comes from “house”? 23:01:14 «Fait chiese, chese (« maison ») en ancien français, altéré en chez en raison de son emploi proclitique, du latin casa (« maison »). 23:01:36 fr:maison, so oerjan was right. 23:03:07 hm although they both are from original k- somthing, wiktionary does _not_ claim fr:chez/la:casa to be cognate with no:hus/hos/en:house 23:03:12 *+e 23:05:04 en:house ← “from Proto-Germanic *husan... of unknown origin”. 23:05:29 -!- nooodl_ has quit (Quit: Ik ga weg). 23:05:47 wiktionary says "possibly from Proto-Indo-European *(s)keus-, from *(s)keu- 'to hide'" 23:06:17 -!- ion has quit (Ping timeout: 252 seconds). 23:06:36 (the germanic h- <-> indoeuropean k- correspondence is pretty regular.) 23:07:31 -!- tswett has joined. 23:07:50 i guess that's dubious enough that casa and house _might_ be cognates, although there's probably a reason they don't assume so outright... 23:08:32 -!- ion has joined. 23:09:01 oerjan: Kyoto, not Tokyo. 23:09:12 (Tokyo tomorrow.) 23:09:15 CLOSE ENOUGH 23:09:50 hm i guess i was also here 5 years ago. how time flies. 23:10:02 "Casa" and "house" look like cognates if you ask me. 23:10:04 The name rings a bell but I could be imagining it. Have to leave now, anyway. -> 23:10:05 But you didn't ask me. 23:10:07 So don't listen to me. 23:10:32 "Cheryllium"? Yeah, it does seem oddly familiar. 23:10:35 tswett: yes they do, so why don't the linguists think so... 23:11:00 I would presume that linguists are more careful than that. :) 23:11:02 "avocado" and "guacamole" are cognates 23:11:02 fizzie: お早う！ 23:11:15 fizzie: Otanoshimi ni. 23:11:16 from nah:āhuacatl 23:11:22 So the etymology things say... 23:11:43 `? nah 23:11:44 nah no ambiguity here 23:12:14 boily: nahuatl 23:12:19 House comes from Proto-Germanic *husan "of unknown origin"; casa "possibly" comes from PIE *kat- meaning "link, weave". 23:12:33 So the reason the linguists don't think so is that they know better. 23:13:27 For a while I've wanted to come up with some sort of "notation" for writing words in terms of how they came out of PIE. 23:13:32 tswett: well assuming they're sure that casa used to have a t. 23:13:53 "t" could have turned into "s", no? 23:14:15 Heck, certain "k"s turned into "s"s... somewhere down the road from Latin. 23:15:12 meh. google translate doesn't support nahuatl. there's Mongol and Néerlandais, but no nahuatl. 23:16:54 tswett: there presumably is a way it could have happened. 23:17:38 [wiki] [[BF Joust strategies]] http://esolangs.org/w/index.php?diff=39705&oldid=37929 * Oj742 * (+1886) /* 2013: Gave smartlock a description*/ 23:17:45 maybe if casa is a passive participle 23:18:13 Indwelt! 23:19:13 why do i keep delaying eating -> 23:21:54 Man, those Proto-Indo-Europeans. What kind of word is "dhǵhemon"? 23:22:45 it's like a fricative-clustered lemon. 23:22:50 `quote fricative 23:22:51 1097) nooodl: when my girlfriend asks me to give her uvular fricative I'm pretty sure that's not what she means 23:23:05 -!- boily has quit (Quit: DOUBTING CHICKEN). 23:26:16 -!- mhi^ has quit (Quit: Lost terminal). 23:33:34 -!- not^v has joined. 23:34:17 that quote was so good i considered addquoting it before i realized it already was 23:34:32 `quote 23:34:32 589) I'd insult you behind your back, but I don't care which side of your back I insult you on. 23:37:58 > head $ runStateT (many $ StateT (reads :: ReadS Int)) "1 2 3 four" -- exhibit 23:38:00 ([1,2,3]," four") 23:40:43 -!- Bike has quit (Ping timeout: 240 seconds). 23:42:40 -!- Bike has joined. 23:46:37 -!- edwardk has joined.