00:00:38 -!- Froox has joined. 00:00:54 -!- adu has joined. 00:01:38 -!- Froo has joined. 00:03:41 -!- boily has joined. 00:04:36 -!- Frooxius has quit (Ping timeout: 250 seconds). 00:05:25 -!- Tritonio has joined. 00:05:26 -!- Froox has quit (Ping timeout: 246 seconds). 00:17:29 -!- MDude has quit (Read error: Connection reset by peer). 00:20:18 wednesday's at mezzacotta are starting to get crowded 00:20:23 *-' 00:22:20 also, the two new comics haven't been added to the sidebar yet 00:24:10 /hell(ø|œ)rjan/ 00:24:16 wednestay-'? 00:24:28 s/t/d/ 00:24:43 * boily has trouble with weekdays... 00:24:47 I found a public domain JSON implemention in C called PDJSON, therefore I am making the SQLite interface for PDJSON so that you can import data from JSON into SQLite. (Currently is no export functions but is it could be added later on if someone wants to export JSON in this way.) 00:24:58 the *- means what's following should be removed hth 00:25:36 høily 00:26:00 tdh. 00:26:35 apparently høily is an existing norwegian place name 00:27:00 If PDJSON is the one I'm thinking of, that's quite a good library.; 00:27:40 if it isn't, it's a good mimicry 00:28:06 pikhq: Have you used that one? 00:29:55 -!- Sprocklem has joined. 00:32:47 oerjan: there's at least http://www.yelp.com/biz/industriteam-%C3%B8st-tomter . not only is it a mimicry, but an authentic mimicry! 00:34:11 boily: i was actually responding to pikhq but all's well that ends well 00:35:08 pikhq: pikhelloq. sorry for diverting oerjan. 00:36:39 zzo38: No, but I've read it. :) 00:37:18 Have you used other JSON libraries? 00:41:13 -!- Lymia has quit (Ping timeout: 245 seconds). 00:42:29 Sparingly. 00:52:48 -!- MDude has joined. 01:15:48 -!- shikhin_ has joined. 01:17:27 -!- ProofTechnique has joined. 01:18:43 -!- shikhin has quit (Ping timeout: 245 seconds). 01:23:28 -!- dianne has quit (Ping timeout: 250 seconds). 01:25:26 -!- dianne has joined. 01:36:18 -!- tswett has quit (Quit: tswett). 01:36:28 -!- Warrigal has joined. 01:36:35 -!- Warrigal has changed nick to tswett. 01:39:30 -!- oren has joined. 01:57:04 -!- boily has quit (Quit: ENDOMORPHIC CHICKEN). 02:09:57 -!- skj3gg has joined. 02:11:05 -!- skj3gg has quit (Client Quit). 02:11:59 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:13:14 -!- skj3gg has joined. 02:17:58 -!- arjanb has quit (Ping timeout: 246 seconds). 02:32:17 I found a bug in PDJSON that empty arrays and empty objects don't work. I will fix that now. 02:34:15 -!- Sprocklem has quit (Ping timeout: 250 seconds). 02:42:49 -!- teuchter has joined. 02:44:35 -!- skj3gg has quit (Quit: ZZZzzz…). 02:44:57 -!- ocharles__ has joined. 02:47:13 -!- zzo38 has quit (Disconnected by services). 02:47:18 -!- zzo38 has joined. 02:47:57 -!- ski_ has joined. 02:48:04 After fixing that bug, now the SQL interface to PDJSON is working OK 02:48:54 Hmm... 02:51:31 -!- trnv2 has joined. 02:52:10 The clash that the York JavaScript meetup group has with the York Haskell meetup group is getting annoying... 02:52:17 -!- lambdabot has quit (*.net *.split). 02:52:17 -!- choochter has quit (*.net *.split). 02:52:17 -!- ocharles_ has quit (*.net *.split). 02:52:17 -!- trn has quit (*.net *.split). 02:52:17 -!- ski has quit (*.net *.split). 02:52:59 -!- ocharles__ has changed nick to ocharles_. 02:53:36 -!- Zefpher has joined. 02:55:23 * Zefpher screams into a megaphone 02:56:50 * oerjan explodes 02:57:20 Taneb: you found someone who wants to go to both? 02:57:41 oerjan, yes, also we want to use the same venue at the same time 02:57:56 Which does have a natural solution 02:58:03 -!- trnv2 has changed nick to trn. 02:58:14 ah that seems to be a problem 02:58:22 -!- lambdabot has joined. 02:58:59 What you talkin bout 02:59:41 oerjan, somehow we both decided on "Last Thursday of the month" 03:00:02 Zefpher, York Haskell meetup group and York JavaScript meetup group 03:00:09 York? 03:00:13 Where's that 03:00:19 or what is that 03:00:23 it's a small town on mars 03:00:31 near the capital of O'Wobble 03:00:42 Be serious 03:00:48 York is a city in the north of England 03:00:49 I don't have time for geography 03:00:52 Ah 03:00:54 It's where New York is named for 03:01:04 I live in Washington state 03:01:32 Ill just call my aunt who lives in London for like $2000 03:01:40 Muahahah |_| 03:01:52 i thought phone calls had got cheaper than that 03:02:25 Restating 03:02:41 I will call my aunt For a $2000 Plane ticket 03:02:48 And steal oerjans watch 03:02:55 then come back home 03:03:04 NO NOT MY WATCH 03:03:12 Evil mastermind 03:03:28 you can have my alarm clock, i changed the battery and the ticking got so annoying i had to take it out again 03:03:43 Maybe 03:04:01 Does York smell terrible 03:04:30 Not really 03:04:35 I can't be in in heavily polluted areas my sensory issues will make my chromesthesia flip out 03:04:43 Will it be loud?! 03:04:44 It's quite a small city 03:04:52 Sometimes there is a smell of burnt sugar 03:04:57 wat 03:05:09 Do you life in York Taneb 03:05:14 Be serious <-- just testing y'all for obscure references hth 03:05:14 There is a chocolate and sweets factory 03:06:35 fo sho I'm coming 03:06:35 Is anything new in York? 03:06:43 Or did they export it all to New York? 03:07:04 pikhq, we're making a New York Haskell Compiler 03:07:15 *applause* 03:09:28 Ill just be in the background 03:09:31 watching 03:09:51 I'm very unsocial 03:09:51 I'll just keep drinkin' my coffee stout. 03:10:08 If there are any fires /it wasn't me/ 03:11:21 0-0 03:11:33 Alas I try my best to be weird 03:11:50 and you are all old So I would very much stick out 03:14:55 Meh, age is an illusion. 03:15:12 Though the beards, probably not. 03:17:00 Zefpher, I am not old 03:18:25 Prove it 03:18:32 proove? 03:18:35 idk 03:18:50 On a scale from 1 to oerjan how old are you Taneb? 03:19:01 pikhq, 29 03:19:03 *20 03:19:09 _coffee stout_? 03:19:53 It's an oatmeal stout with coffee. 03:20:03 And it is delicious. 03:20:28 oerjan ain't that old 03:20:31 sounds dangerous 03:20:37 I heard of some one older 03:20:39 oerjan is older than the stars. 03:20:44 omg 29 03:20:49 oerjan: Not really. 03:20:51 Zefpher, that was a typo, I'm 20 03:20:55 Just profoundly tasty. 03:21:06 Sometimes I can trick adults into thinking I'm an adult 03:21:10 then ill tell them 03:21:20 Its funny 03:21:40 pikhq: i mean, it's two potential addictions in one 03:21:56 :) 03:22:17 Addictions?! 03:22:24 I was once addicted to meth 03:22:41 Or well I was none of the others were |_| 03:22:55 are you trying to trick us into thinking you're adult again 03:22:59 Nope 03:23:02 I did meth 03:23:06 and I am ashamed 03:23:18 just general trickery, check 03:23:29 trickery¿ 03:23:42 * Zefpher ejects oerjan into space 03:23:53 * oerjan hangs on to a comma 03:24:08 I advise against meth. 03:24:23 Even if you have medical cause for amphetamines there's better ones. 03:25:00 To late pikhq that era is over for me 03:25:08 Tsk. 03:25:11 unless your advising my grandma 03:25:28 i can quit caffeine any time i want, just give me a couple weeks 03:25:57 IRC on the other hand. 03:27:31 I seem to have misplaced my tie 03:28:03 Burn your house down 03:28:12 That should find it 03:28:39 I have had a good track record for not burning my house down this year 03:28:43 I need to go give 30 moneys to my mothwr 03:28:44 And I don't want to lose it 03:29:11 Mr Ink: http://youtu.be/K2WazFk2Cwg 03:31:44 * Zefpher pets Taneb 03:31:51 You are in college? 03:32:32 In America its technically required to go to college if you want supreme mastery over that subject 03:37:03 -!- ProofTechnique has quit (Ping timeout: 245 seconds). 03:37:37 girl genius: ah the bears have arrived 03:42:31 what 03:43:06 webcomic 03:51:36 -!- chaosagent has joined. 03:52:21 -!- Lymia has joined. 04:10:21 homestuck 04:17:43 York is also the university in Toronto that my dad worksfor 04:18:58 -!- ProofTechnique has joined. 04:31:37 -!- Eolus has joined. 04:32:00 -!- Eolus has changed nick to Guest85091. 04:33:03 -!- Zefpher has quit (Ping timeout: 256 seconds). 04:41:27 -!- hjulle has quit (Ping timeout: 252 seconds). 04:46:01 -!- Guest85091 has changed nick to Zefpher. 04:52:14 > Right "hm" <|> Left "..." 04:52:15 Right "hm" 04:52:21 thanks bby 04:52:49 * Zefpher steals Ørjans watch 04:53:29 -!- shikhin_ has quit (Ping timeout: 246 seconds). 04:59:36 > | 04:59:37 :1:1: parse error on input ‘|’ 04:59:59 Now tell me what does | stand for in haskell 05:00:14 and why is it bordered by greater than and less than signs 05:01:40 @bf 05:01:40 Done. 05:01:44 thanks 05:01:49 idfk what that did 05:01:55 @bf cake 05:01:55 Done. 05:02:04 gtfo lambdabot 05:02:30 * Zefpher Slams hands into table 05:02:47 I BROKE A DATA STRUCTURE 05:02:52 I'm sorry code Jesus 05:03:05 please forgive my sins 05:03:07 @bf ++++++++++++++++++++++++++++++++++.+.+.+. 05:03:07 "#$% 05:03:15 That is what it does 05:03:18 oren pls 05:03:28 it interpretsbrainfuck 05:03:39 @bf [++] 05:03:40 Done. 05:03:43 s/sb/s b/ 05:03:45 kkkkkkkkkkkkk 05:03:57 ^_| 05:04:03 * Zefpher pats oren 05:04:06 Thanks guy 05:09:06 Zefpher: | has several different uses, but <|> is a completely different operator - haskell doesn't have a fixed set of operators so any sequence of operator characters doesn't get split up into smaller ones. 05:09:42 :t (<|>) 05:09:43 Alternative f => f a -> f a -> f a 05:09:52 so what does [| ] do for stuff 05:10:06 it breaks all of me program 05:10:20 Zefpher: you probably mean a list comprehension 05:10:33 yes 05:10:34 > [ x*x | x <- [1..10] ] 05:10:35 [1,4,9,16,25,36,49,64,81,100] 05:10:38 that's probably why 05:11:01 and does -> point towards different variables¿ 05:11:17 not always 05:11:19 or is it an indicator 05:11:29 Oerjan teach me the haskells 05:11:44 > case Just "testing" of Nothing -> "nope" ; Just something -> something 05:11:45 "testing" 05:12:04 * Zefpher finds money and offers it to oerjan 05:12:10 pliss 05:12:11 too much work 05:13:22 actually, i don't think -> usually points to variables, but away from them (or away from a pattern) 05:13:56 > (\ x -> x*x) 3 05:13:57 9 05:14:29 <- and -> are essentially keywords 05:15:01 and there's usually a pattern to the left of them 05:15:11 (a variable is the simplest kind of pattern) 05:15:38 but other than that, they're used in several different contexts 05:15:45 the fuck 05:15:58 coppro: shocking, isn't it? 05:16:12 xdg-open determined that the best way to open a text file was to start x-terminal-emulator and run vim inside it? 05:16:15 I'm impressed 05:16:37 :t elem 05:16:38 Eq a => a -> [a] -> Bool 05:16:52 curiously, i have long since resigned to setting IE to open haskell files in vim 05:17:05 What is 05:17:08 it's the least annoying thing that works when it won't display in-browser 05:17:09 Bool? 05:17:15 @src Bool 05:17:16 data Bool = False | True deriving (Eq, Ord) 05:17:27 truth values 05:17:29 > [ x | x <- "jeys hush", elem x "suej"] 05:17:31 "jesus" 05:17:35 yess 05:17:46 omf 05:17:49 pls dulla 05:18:08 I'm stealing that 05:18:20 * Zefpher gives fake money 05:20:11 | is also a keyword btw 05:20:14 All I hear is that one should use filters, and maps instead of list comprehensions 05:20:44 dulla: nah sometimes one is better, sometimes the other 05:21:09 Sometimes you feel lazy 05:21:26 > filter (`elem` "suej") "jeys hush" 05:21:27 "jesus" 05:21:58 in haskell is list comprehension primitive or just syntactic sugar? 05:22:06 syntactic sugar 05:22:23 @undo [ x | x <- "jeys hush", elem x "suej"] 05:22:23 concatMap (\ x -> if elem x "suej" then [x] else []) "jeys hush" 05:22:27 ok thought so 05:23:10 so you can't really use filters/maps "instead" :-) 05:23:26 Also, do you get angry about the "special syntax" [] ? 05:23:57 well the idea is you can get a better point-free definition without comprehensions, when that works nicely. 05:24:12 well that is an idea. 05:24:13 :-) 05:24:50 oerjan: yeah I'm surprised it actually started a terminal emulator though 05:24:53 rather than running gvim 05:25:17 ah 05:25:27 > let fil as = filter (`elem` as) in fil "suej" "jeys hush" 05:25:29 "jesus" 05:25:32 yush 05:26:06 > let fil = filter . flip elem in fil "suej" "jeys hush" 05:26:07 "jesus" 05:26:16 that's stretching it 05:26:36 now i want to go implement a pointless topology using just list comprehensions simply to rile people. XD 05:27:09 ah, I see what the flip does 05:27:27 > intersection "jeys hush" "suej" 05:27:28 Not in scope: ‘intersection’ 05:27:28 Perhaps you meant one of these: 05:27:28 ‘IM.intersection’ (imported from Data.IntMap), 05:27:31 hm 05:27:48 > Data.List.intersection "jeys hush" "suej" 05:27:49 Not in scope: ‘Data.List.intersection’ 05:27:49 Perhaps you meant one of these: 05:27:49 ‘Data.List.intersect’ (imported from Data.List), 05:27:56 Isn't there a list difference operation? 05:28:00 > intersect "jeys hush" "suej" 05:28:02 "jesus" 05:28:10 yes, \\ 05:28:14 one that's a symbol 05:28:17 there we go 05:28:31 > "test" \\ "t" 05:28:32 "est" 05:29:01 > "jeys hush" \\ "y hh" 05:29:03 "jesus" 05:29:35 i think using them on non-sets is not originally intended 05:30:28 They could be used for a very crappy cipher 05:31:34 hm actually the report seems to define \\ on non-sets well enough 05:32:14 intersect too 05:33:28 I feel cheeky 05:35:51 > intersect "test" "t" 05:35:53 "tt" 05:43:44 I get angry about the "special syntax" because I believe it ought to be made as macros instead 05:46:35 Remind me never to use cloud to butt 05:46:36 https://www.reddit.com/r/TagPro/comments/2vlkzp/note_have_the_cloud_to_butt_extension_disabled/ 05:46:57 Why doesn't it search/replace just text nodes in HTML? 05:47:10 And... hmm, impossible to tell whether strings in Javascript need to be replaced 05:55:25 Sgeo: Javascript itself needs to be replaced hth 05:59:57 oh 06:00:09 javascript type tables are complete shit 06:00:22 deletes javascript off the internet 06:02:14 "type tables"? 06:07:25 kind cupboards 06:09:57 Does haskell have a type for unordered sets? Most languages don't. 06:11:42 there's an unordered-containers library 06:11:55 oh and Data.Set 06:12:30 that's actually in the usual containers library 06:12:48 See I realized that an unordered set can be implemented to be faster than using a vector like thing 06:13:03 oh and IntSet i think 06:13:28 And in my use case (bullets in a 2d game) I don't care what order they are processed in 06:13:30 tbf those aren't unordered so much as very ordered 06:13:58 heh 06:14:29 * oerjan hasn't really looked at unordered-containers, but things he heard it was getting more official 06:14:32 *k 06:14:42 well unordered-containers isn't that ordered 06:14:45 hashes are pretty random 06:14:45 . o O ( ricocheting bullets ) 06:14:48 theoretically 06:14:48 oh 06:14:58 but my joke works for Data.Set.Set 06:15:47 Anyway, the problem is C++ has no real unordered set type. std::unordered_set is actually a hash table 06:16:00 int-e: THE BEARS HAVE ARRIVED 06:16:04 what do you want from this type anyway 06:16:09 I want a type with three operations 06:16:44 add(set, thing), remove(set, current_index), iterate(set,function) 06:17:05 So add doesn't add the thing in any particular place 06:17:25 and iterate doesn't iterate over in any particular order 06:17:51 but during iteration, i need to be able to remove the current bullet from the set 06:19:14 oren: the problem is, without a known place to find it, remove() is going to be horribly slow 06:19:26 elliott: https://en.wikipedia.org/wiki/Wikipedia:Granting_work_into_the_public_domain#Legal_basis_of_copyright_in_the_United_States seems a better source of the situation of donating works to the public domain in the US... the conclusion seems to be that it *ought* to be possible but it's hard to make an unequivocal statement to that effect. So there's a cloud of uncertainty and doubt around the topic. 06:20:00 oerjan: right, but ideally remove would only be callable from within an iteration 06:20:32 And only callable on the current bullet 06:20:42 I think that can make it fast 06:21:13 oerjan: uh-oh. do they eat metal? *risks a look at the comic* 06:21:15 plausible. you could even use a list then. 06:21:44 a bit early to say 06:21:51 Oh, it seems friendly. Ominous. 06:22:27 night 06:22:30 i expect zeeta and violetta to freak out first next panel 06:23:13 * int-e gloats. 06:23:18 Oerjan made a typo! 06:23:30 [ y | y <- "whomykissrobfistersfightpowertopick", elem y "mspiss"] 06:23:30 Zefpher: 'y' | 'y' < -"_ _ _"_ _ _ elem 'y'"_ _ _"_ _ _ 06:23:31 there should be an h there, right? 06:23:35 Yeah. 06:23:42 stfu j bot 06:23:45 i'm just not sure _where_... 06:23:47 ya dip 06:24:12 oerjan: Zeetha. 06:24:23 I look forward to seeing you oerjan 06:24:35 * Zefpher is waiting to steal watch 06:24:59 > [ y | y <- "whomykissrobfistersfightpowertopick", elem y "mspiss"] 06:25:00 "mississippi" 06:25:08 thanks bby 06:25:12 * int-e still doesn't know what Zefpher and friends (like the one with L who shall not be named) are doing here. 06:25:36 I could be rude and tell you to die in a fire 06:25:44 You could do that. 06:25:52 But I'm nice 06:25:53 I'm here to pillage, and relish the lamentation of your women 06:26:13 And I wont do that to int he's a funny 06:26:22 You could try living up to that claim. Perhaps I'd not be so nasty either? 06:26:32 rude 06:26:37 I'm nice 06:26:39 sometimes 06:26:47 * Zefpher pouts 06:26:48 indecisive 06:27:04 needs more DanMachi 06:27:34 "I used to be indecisive, but now I'm not so sure." 06:27:41 Meh I'm only a 16 year old with DID and ptsd and aspds 06:27:57 Int e must have children by now 06:28:03 or idk how old he is 06:28:24 Fortunately for my children, I don't have any :P 06:28:37 See you are funny 06:28:44 Sometimes. 06:29:02 Ill try to be Nicer than my current level 06:29:13 I'm not good an socializing with older folks 06:29:39 Hey oerjan, what did the scouter say about his nice level? 06:29:40 if you say something bad about me I'm not afraid to hit a senior citizen 06:29:56 Its like at 10% 06:30:47 I usually spew out a full front of hate and anger during febuary because its the only time I'm reminded of the incident that ruined my entire life 06:30:55 Sorry if rude 06:31:20 also Sorry if I sound like I like to burn houses down 06:31:23 I don't 06:31:28 I do 06:31:38 I also don't have enough money to do that 06:31:45 OR maybe I just like cooking bacon at way to high a heat 06:32:01 Your ink 06:32:03 oren: i'm too tired to reverse engineer puns hth 06:32:14 go sleep 06:32:20 soon. 06:32:26 you need your rest 06:33:11 Sorry for implying you should die in a nuclear blast cloud int-e 06:33:13 oerjan: s/to/too/; no pun. 06:33:44 wat 06:33:52 (I think. Maybe it's a pun submarine) 06:34:37 Or perhaps I missed something that oren wrote. 06:34:41 -///- 06:35:51 int-e: perhaps you were looking at the wrong line. 06:36:30 oerjan: still it's not a pun; google suggests a quote from Dragon Ball Z 06:37:12 * Zefpher pukes onto the ground 06:38:09 Zefpher: that _still_ means we can ban you until march 1 without feeling bad about it hth 06:38:48 How about 06:39:09 You don't talk to me for awhile and I will work on my skills of friendly Ness 06:39:58 -!- oerjan has quit (Quit: Let's try that ZZZZZZZ). 06:40:59 What's the cmd that turns msgs off for some users 06:41:01 光る雲を突き抜けフライアウェイ 06:41:09 yay squiggles 06:41:20 oren: is it some lyrics? 06:41:25 yup 06:41:30 That third one looks like a tower 06:41:42 it means claud 06:41:47 *cloud 06:41:52 :0 06:41:56 Ni ni oren 06:42:00 (a loan version of "flying away" is not a common word, I guess) 06:42:45 Japanese songs have lots of english in them, usually bad english 06:44:24 but it usually makes sense with a back-translation 06:47:35 Anyway the song i quoted is the original opening for dragon ball 06:50:36 Interestingly the fact they don't focus on correct grammar allows the lyrics to more easily fit the tune than in western music 06:55:14 -!- quintopia has quit (Ping timeout: 265 seconds). 06:56:03 -!- quintopia has joined. 06:58:08 this pronounciation is basically inexcusable tho: https://www.youtube.com/watch?v=8u0EEjNJNQE 07:06:46 -!- kapil__ has joined. 07:12:28 -!- weissschloss has quit (Remote host closed the connection). 07:15:58 -!- weissschloss has joined. 07:24:24 I looked at the "Empty Room Psych" in All The Tropes, and remind me of some computer game I once made (I don't entirely remember and don't have it now), where there is one room that contains only text that says "THERE IS NOTHING IN THIS ROOM" (I suppose it is a bit like pages of a book that says this page is intentionally left blank). However, the text blocks the door from opening. 07:24:33 So you can't actually enter the room. 07:31:12 -!- MDude has changed nick to MDream. 07:35:53 -!- Patashu has joined. 07:40:42 This is the SQL extension of PDJSON: http://sprunge.us/DXie Do you think the documentation is OK to you? 07:41:11 -!- Patashu has quit (Remote host closed the connection). 07:41:23 -!- Patashu has joined. 07:44:41 Esolang wiki says that Taktentus is "an simple language with equal". Well, just in general, it doesn't get described very well. 07:45:04 -!- adu has quit (Quit: adu). 07:45:05 (Also seems to lack flow-controls) 07:48:02 I think it means all operations use the equals sign for assignment. 07:48:19 -!- teuchter has quit (Changing host). 07:48:19 -!- teuchter has joined. 07:48:21 -!- ocharles_ has quit (Changing host). 07:48:21 -!- ocharles_ has joined. 07:48:45 there should be a language where = is move notcopy 07:48:47 And it looks like _ is the instruction pointe. 07:49:32 O, if _ is the instruction pointers then that can be use for flow-controls I suppose. It doesn't make it very clear (at least in English isn't clear). 07:51:53 I agree on the English. 07:53:37 Putting the source page through an auto-translator confirms my suspicion. 07:54:36 -!- adu has joined. 08:02:40 oren: rust. 08:19:11 zzo38: yes, I think there's such a language where _ is the instr pointer and can be used for flow control 08:19:38 or not? 08:19:39 wait 08:20:49 no wait 08:20:54 it's called $ 08:21:02 in the W language here http://www.vttoth.com/CMS/index.php/projects/49 08:21:09 $ is the instruction pointer and can be used for flow control 08:41:05 -!- Zefpher has quit (Ping timeout: 265 seconds). 09:13:15 -!- skarn has quit (Killed (orwell.freenode.net (Nickname regained by services))). 09:13:31 -!- skarn_ has joined. 09:37:02 -!- chaosagent has quit (Ping timeout: 250 seconds). 09:42:50 -!- adu has quit (Quit: adu). 09:43:26 -!- J_Arcane has quit (Read error: Connection reset by peer). 10:09:22 -!- J_Arcane has joined. 10:31:46 -!- Tritonio has quit (Ping timeout: 252 seconds). 10:47:39 foo -> (bind #(0 1) #(T:function T:argument) (eval S:function S:argument)) 10:47:40 main -> (putstrln (show (foo (atom (add $0 1)) 9))) 10:47:43 I solved it this way 10:47:58 bind is a special function that rewrites the expression 10:48:20 so bind takes a list of numbers (the arguments) and a list of symbol names and an expression 10:48:37 and then rewrites all symbols in the expression to the corresponding param 10:48:43 so it rewrites to (eval $0 $1) 10:51:48 -!- Tritonio has joined. 10:52:37 -!- Phantom_Hoover has joined. 10:54:24 http://codepad.org/cY4nDxU7 11:12:22 -!- Tritonio has quit (Remote host closed the connection). 11:13:56 -!- Tritonio has joined. 11:23:18 -!- boily has joined. 11:23:55 -!- ais523 has quit. 11:23:58 -!- callforjudgement has joined. 11:27:25 -!- rodgort has quit (Read error: Connection reset by peer). 11:35:16 -!- rodgort has joined. 11:59:59 -!- callforjudgement has quit (Read error: Connection reset by peer). 12:00:14 -!- callforjudgement has joined. 12:05:31 -!- ^v has quit (Read error: Connection reset by peer). 12:05:58 -!- ^v has joined. 12:06:57 -!- Tritonio has quit (Remote host closed the connection). 12:07:11 -!- Tritonio has joined. 12:09:29 -!- Tritonio has quit (Remote host closed the connection). 12:10:13 -!- callforjudgement has quit. 12:11:57 -!- Tritonio has joined. 12:14:48 -!- Patashu has quit (Ping timeout: 252 seconds). 12:17:52 -!- Tritonio has quit (Remote host closed the connection). 12:18:54 -!- Tritonio has joined. 12:20:36 -!- boily has quit (Quit: POPULATED CHICKEN). 12:21:21 although this bind is inefficient for recursion 12:21:30 because the rewriting is done each time 12:21:47 but you can make a static run over binds one time so... 12:21:51 unless it's a dynamic bind 12:22:02 but I could write a checker that rewrites static binds at start-up 12:25:44 -!- Tritonio has quit (Remote host closed the connection). 12:26:02 -!- Tritonio has joined. 12:32:05 -!- Tritonio has quit (Remote host closed the connection). 12:32:23 -!- Tritonio has joined. 12:37:02 -!- Tritonio has quit (Remote host closed the connection). 12:37:20 -!- Tritonio has joined. 12:40:37 -!- ProofTechnique has quit (Ping timeout: 264 seconds). 12:46:00 -!- Tritonio has quit (Remote host closed the connection). 12:46:18 -!- Tritonio has joined. 12:51:43 -!- Tritonio has quit (Remote host closed the connection). 12:51:52 -!- Tritonio has joined. 12:54:20 -!- Tritonio has quit (Remote host closed the connection). 12:54:31 -!- Tritonio has joined. 12:55:03 -!- Tritonio has quit (Remote host closed the connection). 12:55:17 -!- Tritonio has joined. 12:55:55 -!- Tritonio has quit (Remote host closed the connection). 12:56:07 -!- Tritonio has joined. 12:56:51 -!- Tritonio has quit (Remote host closed the connection). 12:57:04 -!- Tritonio has joined. 12:57:53 -!- Tritonio has quit (Remote host closed the connection). 12:58:04 -!- Tritonio has joined. 13:06:48 -!- Tritonio has quit (Remote host closed the connection). 13:06:58 -!- Tritonio has joined. 13:09:05 -!- Tritonio has quit (Remote host closed the connection). 13:09:16 -!- Tritonio has joined. 13:10:28 -!- Tritonio has quit (Remote host closed the connection). 13:10:39 -!- Tritonio has joined. 13:19:31 -!- CADD has quit (Read error: Connection reset by peer). 13:48:09 -!- Tritonio has quit (Remote host closed the connection). 13:59:52 [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41890&oldid=41888 * 46.113.205.53 * (+31) /* External resources */ 14:07:42 -!- ski_ has quit (Remote host closed the connection). 14:18:18 hm 14:18:24 how do I catch every exception? 14:22:06 wrap the enter program in a giant try 14:22:12 entire 14:22:40 no 14:22:41 I mean like 14:22:50 handle (\_ -> print 0) (dostuff) 14:22:51 mroman: fork-exec, do the cleanup in the parent process 14:22:51 don't work 14:22:59 also catch doesn't work 14:23:02 and try doesn't as well 14:23:34 it works with (\(e :: IOException) -> print 0) 14:23:38 but not with (\_ -> print 0) 14:23:57 No instance for (Exception e0) 14:24:17 (in other words: The code from real world haskell results in a type error for me) 14:25:16 -!- ProofTechnique has joined. 14:26:02 There's no "Exception" 14:26:05 Expecting one more argument to ‘Exception’ Expected a type, but ‘Exception’ has kind ‘* -> Constraint’ 14:26:53 hm 14:26:56 SomeException might do it 14:27:42 yep, that works 14:29:36 -!- ProofTechnique has quit (Ping timeout: 246 seconds). 14:38:11 -!- hjulle has joined. 14:39:55 I recall a blog post talking about three, four methods to do errors 14:40:04 I have about 9000 submerged tabs though 14:40:57 SomeException works fine for now 14:41:05 main -> (try (putstrln (show (error))) (putstrln :(Nooooo!))) 14:41:17 works 14:53:56 -!- oren has quit (Ping timeout: 252 seconds). 14:54:52 -!- adu has joined. 15:04:15 -!- nycs has joined. 15:05:56 -!- SopaXorzTaker has joined. 15:10:54 -!- oren has joined. 15:11:38 -!- nycs has changed nick to `^_^v. 15:21:28 -!- adu has quit (Quit: adu). 15:22:05 -!- Tritonio has joined. 15:25:42 https://twitter.com/HaskellCEO/status/565891621406138369 15:39:54 he sounds like a dick 15:40:36 -!- skj3gg has joined. 15:41:06 [wiki] [[Redstone]] N http://esolangs.org/w/index.php?oldid=41891 * 206.15.236.252 * (+375) Created page with " Redstone is used for electronics in the game Minecraft. (see http://minecraft.gamepedia.com/Redstone) Although not intended to be a programming language, a compiler is techni..." 15:41:30 And what the FUCK is with this constant talk of "purity"? I suppose "impurity" means ACTUALLY hitting our quarterly targets?!?! #FML 15:41:55 -!- skj3gg has quit (Client Quit). 15:43:05 this guy is hilarious in a totally unfair way 15:50:20 -!- perrier has quit (Read error: Connection reset by peer). 15:51:32 -!- perrier has joined. 15:55:36 -!- perrier has quit (Remote host closed the connection). 15:56:00 -!- skj3gg has joined. 15:56:23 -!- adu has joined. 15:56:48 -!- perrier has joined. 16:01:33 -!- SopaXorzTaker has quit (Ping timeout: 250 seconds). 16:07:13 -!- hjulle has quit (Ping timeout: 256 seconds). 16:09:14 mroman: oren: I think its a parody account, but I've often mused on that very sentiment. XD Wondering if FP/Lisps never took off because to clueless managers it doesn't 'look like work'. 16:14:11 -!- SopaXorzTaker has joined. 16:30:13 -!- perrier has quit (Remote host closed the connection). 16:31:26 -!- perrier has joined. 16:33:28 -!- perrier has quit (Read error: Connection reset by peer). 16:34:40 -!- perrier has joined. 16:37:00 -!- perrier has quit (Remote host closed the connection). 16:38:13 -!- perrier has joined. 16:38:55 -!- MDream has changed nick to MDude. 16:44:28 -!- perrier has quit (Remote host closed the connection). 16:45:40 -!- perrier has joined. 16:47:28 -!- Lymia has quit (Ping timeout: 245 seconds). 16:48:50 -!- AnotherTest has joined. 16:49:11 -!- Lymia has joined. 16:51:29 -!- heroux has quit (Ping timeout: 245 seconds). 17:00:31 -!- skj3gg has quit (Quit: ZZZzzz…). 17:01:38 -!- skj3gg has joined. 17:01:39 [wiki] [[Ook!]] http://esolangs.org/w/index.php?diff=41892&oldid=41107 * 74.73.232.36 * (+98) /* External resources */ Add link for Terry Pratchett wiki 17:16:17 -!- skj3gg has quit (Quit: ZZZzzz…). 17:18:11 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:18:22 [wiki] [[Esme]] http://esolangs.org/w/index.php?diff=41893&oldid=13230 * 24.104.140.55 * (+0) /* Examples */ 17:24:34 -!- skj3gg has joined. 17:27:54 -!- mrohman has joined. 17:28:06 Hm 17:29:09 This android client is weird 17:29:10 Fungot are you here 17:29:35 fungot's still on the move 17:29:50 So ein rabensack 17:31:07 And, unfortunately, nontrivial to get running. (At least I couldn't get the version from https://github.com/fis/fungot to do much more than loop forever. But I don't know Funge.) 17:31:26 Oh. Portraitmode is better 17:32:24 Landscape the keyboard needs the whole screen 17:32:26 My ping is >1.5k 17:32:50 ks? 17:33:07 1500ms 17:33:34 Cell phone network 17:33:35 Ah. 17:33:36 int-e: Other people have succeeded in running it. 17:33:56 int-e: But you do need to start it with the loader. 17:34:05 (The main "fungot.b98" is not a standalone program.) 17:34:14 And i m in the train 17:34:23 At any rate, it's probably not worth it unless you had the models. 17:34:24 fizzie: I did, but it hangs trying to parse the non-existent fungot.dat file. 17:34:30 Oh, yes. 17:34:37 existant. 17:34:43 That's right there in the instructions. 17:34:48 "It might be necessary to create the file data/fungot.dat and put ten empty lines there." 17:35:16 (I believe in robust code.) 17:35:51 I could write an irc client in my lisp dialect. Hm... 17:36:33 As for fungot, its estimated time of arrival is next week, but I don't have internet in the new place yet, so it won't be getting online. 17:36:46 I think I was quoted "10-12 business days" for that. 17:37:51 fizzie: I actually tried that (fungot.dat containing 10 newlines) but it still hung. 17:38:27 Anyway, it's not important. I was bored. 17:41:02 -!- mrohman has quit (Ping timeout: 246 seconds). 17:41:03 usage ./testlm-disk.pl tokens.bin.foo model.bin.fii <-- actually that's a nice typo (typi?). 17:42:47 (I do have a working language model, producing stuff like "what are you supposed to be looking for is here, i don't care to take a quick change of magnification brought them into close focus on it properly or tell how near vicinity of betelgeuse? ... guess the source...) 17:42:53 -!- Lymia has quit (Ping timeout: 245 seconds). 17:42:59 -!- oren has quit (Ping timeout: 256 seconds). 17:48:18 int-e: I think I fixed that typi. 17:48:35 But it probably didn't end up in the githubbed version. 17:49:10 Instead of guessing, I consulted Google's language model. 17:50:17 -!- SopaXorzTaker has quit (Quit: gtg). 17:50:34 Jafet: yeah, "vicinity of betelgeuse" finds the right source. 17:56:04 -!- arjanb has joined. 17:57:48 int-e: Hmm. Might be things have changed since that was written. Although I thought it was correct. 17:59:03 "betelgeuse"? 17:59:31 wow 18:03:30 -!- ProofTechnique has joined. 18:08:07 -!- ProofTechnique has quit (Ping timeout: 252 seconds). 18:16:48 -!- shikhin has joined. 18:16:54 -!- shikhin has quit (Read error: Connection reset by peer). 18:20:16 -!- shikhin has joined. 18:20:18 -!- shikhin has quit (Read error: Connection reset by peer). 18:33:20 -!- zzo38 has quit (Remote host closed the connection). 18:39:32 -!- ProofTechnique has joined. 18:41:23 -!- shikhin has joined. 18:41:59 -!- shikhin has quit (Read error: Connection reset by peer). 18:46:23 -!- shikhin has joined. 18:47:04 -!- Sprocklem has joined. 18:47:56 -!- shikhin has quit (Read error: Connection reset by peer). 18:56:42 -!- shikhin has joined. 18:57:29 -!- oren has joined. 18:58:50 -!- shikhin has quit (Read error: Connection reset by peer). 19:00:37 -!- Tritonio has quit (Remote host closed the connection). 19:01:42 -!- shikhin has joined. 19:04:51 -!- zzo38 has joined. 19:07:12 -!- shikhin has quit (Read error: Connection reset by peer). 19:08:01 -!- shikhin has joined. 19:08:47 Today I made paper boats then unleashed them on my uni's lake 19:08:49 -!- shikhin has quit (Read error: Connection reset by peer). 19:13:00 -!- shikhin has joined. 19:14:34 -!- shikhin has quit (Read error: Connection reset by peer). 19:17:49 Taneb: then it was a good day! 19:17:56 Yes it was 19:17:57 -!- skj3gg has quit (Quit: ZZZzzz…). 19:18:04 -!- shikhin has joined. 19:18:30 -!- shikhin has quit (Read error: Connection reset by peer). 19:19:23 Also I have written a program which says "Socrates is eating" repeatedly! 19:21:00 [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41894&oldid=32474 * Rottytooth * (+516) /* Language Overview */ 19:21:18 Taneb: you may have missed the point of the Dining Philosopher's probem... 19:21:34 int-e, I think I in fact have a buggy implementation 19:21:43 What with not actually knowing the language I'm implementing it in 19:22:04 -!- oren has quit (Ping timeout: 246 seconds). 19:23:04 -!- shikhin has joined. 19:23:47 -!- shikhin has quit (Read error: Connection reset by peer). 19:24:20 Hmm, I really do not know Java 19:28:08 -!- shikhin has joined. 19:28:49 -!- shikhin has quit (Read error: Connection reset by peer). 19:31:03 . o O ( I've never been there either. ) 19:31:08 [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41895&oldid=41894 * Rottytooth * (+42) /* Examples */ added Hello, World 19:32:45 [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41896&oldid=41895 * Rottytooth * (-5) /* Language Overview */ 19:33:05 -!- shikhin has joined. 19:35:41 [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41897&oldid=41896 * Rottytooth * (+210) /* Hello World */ 19:36:36 [wiki] [[User:Rottytooth]] http://esolangs.org/w/index.php?diff=41898&oldid=41572 * Rottytooth * (-35) 19:36:44 -!- shikhin has quit (Read error: Connection reset by peer). 19:38:07 -!- shikhin has joined. 19:38:45 -!- shikhin has quit (Read error: Connection reset by peer). 19:40:30 -!- shikhin has joined. 19:40:40 -!- shikhin has quit (Read error: Connection reset by peer). 19:48:21 [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41899&oldid=41897 * Rottytooth * (+30) /* Hello World */ added default Hello World 19:49:41 [wiki] [[Stasis]] http://esolangs.org/w/index.php?diff=41900&oldid=41899 * Rottytooth * (-34) /* Hello World */ changed order of examples, clarified 19:49:46 -!- skj3gg has joined. 19:50:52 -!- shikhin has joined. 19:53:45 -!- shikhin has quit (Read error: Connection reset by peer). 20:00:49 -!- shikhin has joined. 20:00:59 -!- Patashu has joined. 20:01:38 -!- shikhin has quit (Read error: Connection reset by peer). 20:02:06 -!- nys has joined. 20:04:06 -!- zzo38 has quit (Remote host closed the connection). 20:11:06 -!- ocharles_ has quit (Ping timeout: 252 seconds). 20:11:13 -!- shikhin has joined. 20:14:06 -!- shikhin has quit (Read error: Connection reset by peer). 20:16:20 -!- shikhin has joined. 20:18:15 -!- ocharles_ has joined. 20:18:49 -!- shikhin has quit (Read error: Connection reset by peer). 20:19:11 -!- skj3gg has quit (Quit: ZZZzzz…). 20:21:23 -!- shikhin has joined. 20:22:02 -!- skj3gg has joined. 20:25:13 -!- shikhin has quit (Read error: Connection reset by peer). 20:26:28 -!- shikhin has joined. 20:30:13 -!- shikhin has quit (Read error: Connection reset by peer). 20:31:26 -!- shikhin has joined. 20:31:34 -!- shikhin has quit (Read error: Connection reset by peer). 20:36:26 -!- shikhin has joined. 20:39:24 -!- shikhin has quit (Read error: Connection reset by peer). 20:41:31 -!- shikhin has joined. 20:41:57 -!- shikhin has quit (Read error: Connection reset by peer). 20:42:13 -!- Patashu has quit (Ping timeout: 265 seconds). 20:43:32 -!- mrohman has joined. 20:44:24 Can you do typechecking for ifs that have differenz return types? 20:44:50 (If p 5 5.0) 20:45:14 This has two possible return types 20:45:22 So 20:46:16 (Foo (if p 5 5.0)) is ok if foo accepts ints and doubles 20:46:32 -!- shikhin has joined. 20:49:34 -!- shikhin has quit (Read error: Connection reset by peer). 20:51:25 Of course nested ifs can have 2^n possible return types 20:52:25 (Foo (if (foo) 5 5.0)) 20:53:14 I think this can be statically typechecked 20:54:05 (Head (List (if p 5.0 6))) hm... 20:54:21 This as well 20:54:56 The type of a list is the union of all element types 20:56:27 This way you can have hetero lists that typecheck statically 20:56:51 -!- shikhin has joined. 20:58:52 Thats pretty cool 20:59:33 -!- shikhin has quit (Read error: Connection reset by peer). 20:59:39 -!- skj3gg has quit (Quit: ZZZzzz…). 21:00:18 You can keep much of dynamic typing style but still have guarantees that no runtime type error can occur 21:07:14 -!- adu has quit (Quit: adu). 21:07:35 -!- shikhin has joined. 21:08:28 -!- shikhin has quit (Read error: Connection reset by peer). 21:09:49 -!- skj3gg has joined. 21:15:46 Is there already a name for such typesystems? 21:32:33 -!- mrohman has quit (Remote host closed the connection). 21:32:35 -!- Lymia has joined. 21:46:17 -!- TieSoul has quit (Read error: Connection reset by peer). 21:52:28 -!- AnotherTest has quit (Remote host closed the connection). 21:56:54 -!- shikhin has joined. 22:07:38 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:11:32 -!- shikhin has quit (Quit: leaving). 22:20:56 -!- myndzi has quit (Excess Flood). 22:21:15 -!- myndzi has joined. 22:22:41 -!- skj3gg has quit (Quit: ZZZzzz…). 22:28:05 -!- skj3gg has joined. 22:33:29 -!- `^_^v has joined. 22:33:57 -!- Sprocklem has quit (Ping timeout: 252 seconds). 22:37:15 -!- hjulle has joined. 23:09:51 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:12:02 -!- skj3gg has quit (Quit: ZZZzzz…). 23:14:39 -!- Tritonio has joined. 23:24:47 -!- oerjan has joined. 23:27:33 So I want to make a dependently typed functional programming language that compiles to LLVM IR. 23:27:54 It would have proofs and whatnot, of course. 23:28:32 But a problem I'm planning to encounter is the "C Turing-completeness problem". 23:28:57 In ordinary programming practice, we usually assume that all of the following are true: 23:29:19 (1) By calling malloc() sufficiently many times, it is possible to create an arbitrary number of distinct pointers. 23:29:29 (2) A pointer can be faithfully converted into an "int". 23:29:35 (3) There are only finitely many possible "int"s. 23:36:19 -!- skj3gg has joined. 23:44:57 -!- not^v has joined. 23:47:59 -!- blockzombie has joined. 23:58:43 -!- contrapumpkin has joined.