00:08:45 does it have the equivalent of -fdefer-type-errors 00:08:50 no 00:08:53 but I keep talking about it 00:08:59 less clear what it means in a strict language 00:09:04 you could do it on a per-top-level-function basis, though 00:09:12 since we don't have type inference between top level functions, anyway 00:09:22 shachaf: you should implement it 00:09:25 can't you replace a type error with a call to exit(whatever) 00:09:29 or something like that 00:09:45 yeah but in Haskell it will only happen if the value is actually used 00:09:52 or the line the type error is on 00:09:58 well, sure, it won't be as fine-grained 00:10:35 but i think i'm fine with that usually 00:10:54 only the finest of grains will do 00:13:37 i'm imagining this disablement being like #PRAGMA fuckthisfile 00:13:50 #![yolo] 00:14:00 it's actually #![warn(warnings)] which is... not the most clear 00:14:21 the -Wall equivalent is deny(warnings) aka -D warnings on the command line 00:14:55 is it scoped or just per-file 00:15:56 warn(warnings), lol 00:18:16 kmc, type errors on, eg, the wrong side of a conditional can still be deferred? 00:20:02 shachaf: all of the warning attributes can be applied to a module or function etc. 00:20:10 and you can change the warning handling further within that thing 00:20:22 except there's also an attribute to make a warning fatal and forbid making it non-fatal inside 00:20:26 -!- idris-bot has joined. 00:20:49 Taneb: yeah 00:20:52 ( "this is your last warning" 00:20:53 "this is your last warning" : String 00:29:06 -!- mhi^ has quit (Quit: Lost terminal). 00:31:19 I was going to say we don’t have warnings yet, but we do … --warnpartial and --warnreach . 00:38:36 <^v> a wild oerjan 00:56:15 -!- hk3380 has quit (Ping timeout: 240 seconds). 01:07:08 -!- coppro_ has changed nick to coppro. 01:12:27 -!- olsner has quit (Ping timeout: 276 seconds). 01:14:25 At work, I forgot that Java enums aren't algebraic data types 01:14:44 :( 01:20:32 Aaaaaah it's poll day today 01:22:37 But who should I vote for? I don't know! 01:22:49 Being an adult is scary sometimes 01:23:47 vote for the least evil 01:24:11 if you can't tell, the answer is probably 'not a lawyer or activist or lobbyist' 01:24:14 I could vote for the Yorkshire Independence Party! 01:24:18 (I... actually can) 01:25:31 Well, "Yorkshire First" 01:27:03 is this a racist thing 01:27:37 I... don't know their policies 01:27:47 Maybe they just don't like Lancastrians 01:28:44 « 01:28:53 It is otherwise described as a “pragmatic” centrist party with “progressive views on economic, social and environmental issues”, with the top goal of building “a self-assured and outward-looking Yorkshire where the decisions affecting Yorkshire people are taken locally”.» 01:28:58 man this computer is bad 01:29:17 `quote 01:29:17 102) what's the data of? [...] Locations in a now deceased game called Mutation I have no problems with you being interested in online games but the necrophilia is disturbing 01:29:34 Taneb: this is britain where every vote that doesn't have a chance of winning its circuit is wasted, right? 01:29:45 oerjan, not sure 01:29:57 The europarl elections are different 01:30:58 oh this is europarl? 01:31:06 Yeah 01:31:16 ...what is the yorkshire independence party doing there. 01:31:26 Good question 01:31:41 but yeah i think europarl is proportional, at least partly 01:32:06 Europarl is proportional at the region level, Yorkshire and the Humber has 6 seats 01:32:13 ic 01:32:52 Of the 6 from last time, 2 are no longer members of their parties 01:33:39 just do your part to keep ukip from becoming britain's biggest europarl party twh 01:34:40 * oerjan read about that in the newpaper. 01:34:55 the local one. 01:35:12 The York Press? 01:35:27 no, Adresseavisen hth 01:35:48 Oh, cool 01:36:17 well i _think_ it was there, anyhow. 01:36:54 Hexham's local newspaper is "Hexham Courant incorporating Alston Herald, Hexham Herald, Haltwhistle Herald and Haltwhistle Echo" 01:38:06 just call it the Hexham Chimæra and be done with it. 01:46:36 -!- olsner has joined. 01:58:22 Taneb: anyone from the Official Monster Raving Loony Party? 01:59:59 No :( 02:00:12 I'll probably vote lib dem, there's almost as good a joke 02:01:55 heh 02:01:59 Pity, OMRLP is definitely the best party. 02:02:23 Taneb: how do you feel about scottish independence 02:03:21 -!- xk003 has joined. 02:04:02 I'm ambivalent 02:05:21 -!- xk002 has quit (Ping timeout: 252 seconds). 02:06:06 it would probably send the UK lurching even further to the right :/ 02:06:31 ...why am I drawing the 20th iteration of the dragon fractal using Python's turtle module 02:07:06 that sounds like a fine idea 02:07:39 At 3 am 02:07:54 I should sleep 02:07:58 Goodnight! 02:08:12 why am i drawing the 20th iteration of the dragon fractal using paper and pen 02:09:17 Because you have too much time and paper 02:10:24 do you ever draw a sierpinksi triangle by hand using the randomized algorithm? 02:10:25 it's p. fun 02:11:23 i was more the "make fun of you for doing that" guy 02:11:26 in school 02:11:47 -!- realzies has quit (Quit: realzies). 02:13:21 Randomized algorithm? 02:13:25 I haven't heard of that one. 02:14:50 http://en.wikipedia.org/wiki/Sierpinski_triangle#Chaos_game 02:15:07 Ah. Neat. 02:16:59 -!- xk003 has quit (Ping timeout: 252 seconds). 02:18:57 -!- tromp_ has joined. 02:19:26 -!- xk003 has joined. 02:19:31 -!- xk004 has joined. 02:19:42 http://en.wikipedia.org/wiki/Sierpinski_triangle#Chaos_game 02:19:47 wat 02:19:59 stupid touchpad 02:20:29 -!- xk003 has quit (Client Quit). 02:20:34 -!- xk004 has quit (Read error: Connection reset by peer). 02:20:50 -!- xk002 has joined. 02:21:01 -!- prooftechnique has quit (Quit: leaving). 02:24:45 touchy stupidpad 02:27:39 -!- realzies has joined. 02:31:48 Bike: psst http://biohaskell.org/ 02:31:56 * oerjan cackles evilly 02:32:28 i looked up some code for this book i'm reading and it uses a matlab feature i didn't know existed, namely, declaring variables as global within a function 02:32:29 nice logo 02:32:36 Bike: hilarious 02:32:46 Christian Höner zu Siederdissen is quite a name. 02:33:19 This is a great theme song https://www.youtube.com/watch?v=CGufyFt6zQc 02:33:31 if someone writes a haskell thing that lets me vary parameter sets to a function that takes like a million parameters and doesn't look ugly as fuck i'll use it 02:34:05 If they're using the biohazard symbol to represent biology, they should also use \bottom to represent haskell 02:34:10 Vary parameter sets? 02:34:22 Bike: CLEARLY you need lenses hth 02:35:12 well, for example, hodgkin-huxley has like a dozen parameters. i just want something to run a model with various sets of arguments that doesn't look terrible 02:35:30 right now i'm loading variable assignments from a file (uuuuuuugh) 02:35:51 -!- xk002 has quit (Ping timeout: 240 seconds). 02:36:03 relatedly, are there any good ode sims in haskell, i guess 02:36:15 Bike: python has that matlab feature 02:36:59 python has every matlab feature 02:37:15 Does that mean all matlab features are bad 02:37:47 JavaScript has that feature too. Every once in a while someone actually uses it intentionally. 02:37:50 have you ever seen a matlab program?? 02:37:53 no, it means some python ones are hth 02:38:12 here you know what i'll show you what i was looking at: http://www.izhikevich.org/publications/dsn/addprob.pdf 02:38:18 point one: code is a pdf 02:38:57 Haskell's horrible record system is actually a p. good parameter system 02:39:06 point two: I = par(13)*(m.^p.*h.^q)'.*((v(:,2)-E)*ones(1,length(times))); 02:39:07 -!- irctc664 has joined. 02:39:08 THIS IS MY LIFE 02:39:15 -!- irctc664 has quit (Client Quit). 02:39:21 yeah that's right run 02:39:26 * oerjan slips Bike the cyanide pills 02:39:35 nobody could love me 02:39:35 Jafet: truth 02:41:02 -!- xk002 has joined. 02:42:51 -!- xk002 has quit (Read error: Connection reset by peer). 02:53:46 -!- BeingUntoDeath has joined. 02:54:13 -!- Sgeo_ has joined. 02:54:19 -!- nycs has joined. 02:57:14 -!- not^v has joined. 02:57:15 -!- douglass1 has joined. 03:03:05 -!- Gracenotes has quit (Ping timeout: 258 seconds). 03:03:11 -!- douglass_ has quit (Ping timeout: 258 seconds). 03:03:12 -!- Sgeo has quit (Ping timeout: 258 seconds). 03:03:12 -!- `^_^v has quit (Ping timeout: 258 seconds). 03:03:17 -!- EgoBot has joined. 03:03:40 -!- EgoBot has quit (*.net *.split). 03:03:43 !hug 03:03:51 AAAAAAAA too late 03:04:02 -!- EgoBot has joined. 03:04:14 !hug 03:05:23 !addinterp hug sh echo 'Keep your dirty fingers off me!' 03:05:24 Interpreter hug installed. 03:06:37 -!- BeingUntoDeath has quit. 03:06:58 -!- BeingUntoDeath has joined. 03:07:23 -!- Gracenotes_ has joined. 03:07:23 -!- not^v has quit (Read error: Connection reset by peer). 03:07:23 -!- not^v has joined. 03:07:24 -!- MDude has quit (Ping timeout: 252 seconds). 03:07:36 -!- MDude has joined. 03:09:06 -!- conehead has quit (*.net *.split). 03:20:21 -!- ^v has quit (Quit: Leaving). 03:32:54 -!- Sorella has quit (Quit: It is tiem!). 03:34:21 "As obvious as this sounds, it seems to me that large swaths of consciousness-theorizing can just be summarily rejected for trying to have their brain and eat it in precisely the above way." 03:34:31 http://www.scottaaronson.com/blog/?p=1799 03:35:41 -!- BeingUntoDeath has quit. 03:36:50 -!- BeingUntoDeath has joined. 03:41:44 mathematical theory of consciousness lol 03:45:14 "Strikingly, despite the large literature about Φ, I had a hard time finding a clear mathematical definition of it" yep lol 03:45:56 these people need jesus + thermodynamics 03:46:20 -!- oerjan has quit (Quit: Good night). 03:47:01 the pancreas joke is funny given that i have a paper on modeling pancreatic cells open 03:48:43 -!- BeingUntoDeath has quit. 03:49:44 -!- BeingUntoDeath has joined. 03:50:05 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 03:53:47 -!- BeingUntoDeath has quit (Client Quit). 03:54:01 -!- BeingUntoDeath has joined. 04:16:11 -!- MDude has changed nick to MDream. 04:43:42 -!- Positive07 has joined. 04:43:53 Hello 04:44:43 sup. 04:46:44 Nothing just new over here 04:47:11 saying hi... you know :P 04:47:27 you? 04:47:57 maxin', relaxin' 04:48:23 `relcome Positive07 04:48:25 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 04:49:34 Yeah I come from there... Im quite intrigued by esolangs and looking for ideas for a new one 04:51:36 well, usually people come here because they already have some glimmer of an idea and want some feedback on how to improve it 04:51:57 and some are willing to offer said feedback as long as its not another brainfuck clone :P 04:53:35 http://scholar.google.co.uk/citations?sortby=pubdate&hl=en&user=suo5D8wAAAAJ&view_op=list_works roll w/it 04:54:55 Positive07: do something involving graph grammars 04:55:15 i like this idea 04:55:40 grammars could be more sophisticated than eodermdrome 04:55:40 I mention graph grammars for purely selfish reasons 04:55:55 Yeah have some ideas... gifs qrs and cym plus some instructions, basically you take your code and make qr codes with it then put it into cyan magenta and yellow channels and combine them., do this multiple times andmakes frames of a gif 04:56:49 that sounds less like a language and more like an encoding scheme 04:57:04 but IT HAS POTENTIAL 04:57:19 yeah it is, the language its underneath 04:57:32 also it looks awesome :D 04:58:09 is* 04:59:07 underneath its brainfuck :D just kidding -.- 04:59:45 deep 05:00:26 hey you are into electronics too! Thats great 05:00:40 Bike is? 05:00:47 Think so 05:00:47 coppro? 05:00:55 google says so 05:00:59 is he in ##electronics 05:01:03 oh 05:01:23 i am not adamatzky, i just like electrocytoplasm 05:01:46 ohhhh might read it 05:01:47 dude's made a career out of building electronic things out of slime molds. i respect that 05:02:23 I'm not into electronics 05:02:26 why does google say I am? 05:02:53 Wrote my message before him 05:02:57 I meant bike 05:03:11 but it wasn't bike either 05:04:40 Hated graph grammars since I was a child... not because I'm bad at it but I just dont like to represent data like that 05:06:35 I've reached inbox 666 05:07:04 delete one and wait to reach it again 05:11:53 -!- tertu has joined. 05:17:14 kmc: where did you start? 05:19:32 ? 05:19:38 well I didn't have any email when I was born 05:19:41 I didn't even have an email address 05:19:44 unlike kids these days 05:22:56 oh 05:23:11 i thought you were working on reducing the number of emails in your inbox 05:23:40 i was impressed, since it would take me a full day or even longer to get down to 666 05:23:49 of continuous archiving 05:27:05 heh 05:27:09 -!- Positive07 has quit (Quit: Page closed). 05:29:31 -!- Positive07 has joined. 05:50:41 -!- aloril has quit (Ping timeout: 264 seconds). 06:01:45 -!- Sgeo has joined. 06:03:28 -!- aloril has joined. 06:04:08 -!- Sgeo_ has quit (Ping timeout: 252 seconds). 06:06:16 -!- BeingUntoDeath has quit. 06:13:09 /topic серафими многоꙮчитїи 06:15:28 why does italic г look like a backwards 's'? 06:16:18 -!- Positive07 has quit (Ping timeout: 240 seconds). 06:22:32 -!- FreeFull has quit. 06:25:07 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=39637&oldid=39633 * Sacchan * (+186) 06:25:33 kmc: who, why indeed 06:25:44 why who 06:26:11 italic г 06:26:13 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=39638&oldid=39637 * Sacchan * (-27) 06:26:23 i don't see it for https://en.wikipedia.org/wiki/Ghe_with_upturn or https://en.wikipedia.org/wiki/Gje 06:26:41 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=39639&oldid=39638 * Sacchan * (-6) 06:27:35 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=39640&oldid=39639 * Sacchan * (+20) 06:27:40 https://bugs.launchpad.net/ubuntu-font-family/+bug/823276 06:31:21 nice 06:31:46 гѓ I Can't Believe It's Not HTML 06:33:13 kmc: do you think rustc would be a better place to spend one's time than ghc if one was to work on some compiler 06:33:18 perhaps that's an odd comparison to make 06:35:36 bit underspecified 06:35:47 it depends on your goals 06:36:30 if you want to work on exotic type system features, no 06:37:49 it makes sense for me because working on rustc helps me do my job :) 06:37:51 maybe I will actually implement loadable warnings 06:38:43 do you have any nifty use cases for that? i gave a few on https://github.com/mozilla/rust/issues/14067 06:39:23 -!- hk3380 has joined. 06:39:52 are there C or C++ projects today which use GCC plugins to implement custom static checking? 06:40:33 PaX uses GCC plugins to harden the Linux kernel in various ways, but I think all of them involve modifying the code 06:41:52 I think there are things for clang. 06:45:35 it's so nice doing systems programming in a language with a macro system that isn't shit 06:46:42 E.g. https://tecnocode.co.uk/2013/12/09/clang-plugin-for-glib-and-gnome/ 06:48:42 ah, nice 06:48:59 now I remember that there's also a plugin, written in Python, to audit usage of the CPython API 06:49:18 a plugin for GCC 07:03:14 -!- glogbackup has quit (Ping timeout: 240 seconds). 07:04:37 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=39641&oldid=39640 * Sacchan * (+59) 07:05:35 -!- hk3380 has quit (Ping timeout: 265 seconds). 07:06:32 -!- clog has quit (Ping timeout: 245 seconds). 07:10:54 http://en.wikipedia.org/wiki/Tempest_prognosticator 07:29:55 -!- Bike has quit (Ping timeout: 240 seconds). 07:29:58 [wiki] [[0(nop^)]] http://esolangs.org/w/index.php?diff=39642&oldid=39636 * John Misciagno * (-102) 08:13:12 -!- tromp_ has quit (Remote host closed the connection). 08:26:13 *yawn* 08:34:59 -!- Patashu has joined. 08:40:43 -!- Patashu has quit (Disconnected by services). 08:40:43 -!- Patashu_ has joined. 08:47:19 why the hell does cabal install complains about not finding a shared object if the corresponding package is installed >_> 09:06:18 -!- clog has joined. 09:26:17 -!- Phantom_Hoover has joined. 09:26:17 -!- Phantom_Hoover has quit (Client Quit). 09:26:20 -!- Phantom__Hoover has joined. 09:28:22 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 09:38:08 -!- Slereah has joined. 09:39:31 -!- Slereah_ has quit (Ping timeout: 240 seconds). 09:40:09 -!- Phantom_Hoover has joined. 10:19:02 -!- boily has joined. 10:24:05 -!- hk3380 has joined. 10:25:55 -!- MindlessDrone has joined. 10:45:34 -!- KingOfKarlsruhe has joined. 11:01:31 -!- boily has quit (Quit: Poulet!). 11:16:44 -!- tromp_ has joined. 11:21:13 -!- tromp_ has quit (Ping timeout: 252 seconds). 11:25:50 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 29.0/20140421221237]). 11:31:37 -!- MindlessDrone has quit (Quit: MindlessDrone). 11:37:42 -!- Slereah has quit (Ping timeout: 265 seconds). 11:39:31 -!- Slereah has joined. 11:43:40 -!- xk002 has joined. 11:53:50 -!- Tritonio has joined. 12:05:57 -!- xk002 has quit (Ping timeout: 252 seconds). 12:07:42 -!- xk002 has joined. 12:13:26 -!- oerjan has joined. 12:15:06 "pattern syntax in expression context" 12:15:08 wtf is that 12:15:36 You can't nest case in Haskell? 12:15:53 sure you can 12:16:02 what did you try 12:16:42 *what's your code 12:16:46 hm 12:16:53 I guess it's some tab/spaces mixup then 12:17:32 yep 12:17:39 My editor inserts tabs when I do 4 spaces 12:17:43 :( 12:17:59 you can program haskell with that setting. 12:18:03 *cannot 12:18:12 well, technically you can. 12:18:32 You can tune a filesystem, but you can't tunafish. 12:18:32 -!- yorick has joined. 12:18:37 you can. It just does'nt work when nesting cases :D 12:18:51 but then you must make sure to _only_ use tabs for indentation, and never do alignment-based layout. 12:19:14 mroman: you know haskell _defines_ tabs as equivalent to 8 spaces, right? 12:19:33 (or precisely, 8 space column fits) 12:19:43 I've seen python code-golfs make use of that 12:19:52 oerjan: no. But I know that it's probably a bad idea to mix tabs and spaces since indentation matters 12:20:59 what's your editor. 12:21:11 Notepad++ 12:21:20 or maybe it inserts tabs when pressing enter 12:21:25 because it has this auto indentation stuff 12:21:25 * oerjan shifts away carefully 12:21:36 yeah 12:21:40 not worth discussing it ;) 12:21:56 I've changed it to "replace tabs with spaces" and things work fine 12:22:01 ah. 12:27:39 `addquote dude's made a career out of building electronic things out of slime molds. i respect that 12:27:41 1196) dude's made a career out of building electronic things out of slime molds. i respect that 12:30:34 why does italic г look like a backwards 's'? <-- because cyrillic italics is insane, hth 12:31:01 I actually wondered for quite long why "italic r" would look like a backwards s. 12:31:38 And also how those wikilinks about cyrillic characters are relevant w.r.t. r. 12:32:17 insane enough that it's a problem for me that google translate italicizes its spell correction suggestions. 12:32:28 You know how traditional cursive r looks not much like print r either? 12:33:08 oh i'm sure the latin alphabet is just as insane. what's this lower case madness?!?! 12:33:12 -!- Sgeo has quit (Read error: Connection reset by peer). 12:33:25 (admittedly cyrillic borrowed it from latin) 12:34:08 YES I ALSO THINK LOWER CASE IS ENTIRELY UNNECESSARY AND THE SAME GOES FOR PUNCTUATION TBH 12:34:31 -!- ^v has joined. 12:34:49 actuallyitscapitalsthatareunnecessaryasarespacesmanywritingsystemsdofinewithoutthem 12:36:02 spacesareunnecessarytoo 12:36:14 japanesedoesnthavethemandtheycanreadfineiguess 12:36:28 ORAMIWRONG 12:36:34 If it's a unicameral writing system, how can you tell if it's lacking lower or upper case? 12:36:42 VVESHOVLDGOBACKTOTHEORIGINALLATINALPHABET 12:37:11 ᚨᛚᛊᛟ᛬ᚱᚢᚾᛖᛊ᛬ᚨᚱᛖ᛬ᚠᛁᚾᛖ᛬ᛏᛟᛟ 12:37:11 mroman: They have three distinct grapheme sets though. 12:42:22 Has anyone else found firefox more crashy since 29? 12:43:37 well 28 is perfect, 29 has _got_ to be worse. 12:43:52 hth 12:44:39 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=39643&oldid=39641 * Sacchan * (+2) 12:49:52 http://codepad.org/3kHXYnYM <- is this primitive recursion? 12:51:58 psst never use foldl(1) without ' hth 12:53:21 because it leaks? 12:53:25 yes 12:55:25 mroman: eval (Recurse xs) (Recurse xs) ... doesn't terminate afaict, thus it's definitely not primitive. 12:56:05 -!- Patashu_ has quit (Ping timeout: 264 seconds). 12:56:23 oerjan: You can trivially express programs that don't terminate 12:56:25 I guess Firefox 496 will again be fine, then? 12:56:37 mroman: not with primitive recursion hth 12:56:40 i.e looping until it becomes zero like the example given in main 12:56:51 just use a positive start number and it won't halt 12:59:12 mroman: can you express f 1 = 1; f x | odd x = 3*x + 1 | otherwise = x `div` 2 12:59:29 that 12:59:49 's pretty non-primitive recursive (since it's unproved that it halts) 13:00:01 -!- tromp_ has joined. 13:00:04 fizzie: obviously 13:01:37 or are you saying that all nontermination is trivial, that might be 13:08:30 http://codepad.org/dWcrt7fK <- jep, that's pretty much collatz 13:08:49 mroman: you might rewrite your Add as Value $ foldl1' (\qa b -> case eval b r args of Value qb -> qa + qb; _ -> 0) 0 xs, that's slightly different in the case the _first_ list element does not evaluate to a Value but i doubt you really want that corner case anyhow 13:09:21 oops 13:09:28 *foldl' without 1 13:09:49 Different how? 13:10:21 your original ignores the value of the second element if the first does not give a Value 13:10:34 *-the value of 13:10:58 ah. yeah 13:11:30 I probably should error instead of Value 0 anyway 13:12:28 are args always Values? 13:12:41 no 13:12:47 ok 13:12:58 i.e Add [Mul [Value 3, Get 0], Value 1] 13:13:03 because that was the only way i could see your eval not giving a Value 13:13:03 there's an expression as an argument 13:13:31 oh 13:13:34 you mean something else 13:13:35 (i mean if it doesn't have to be) 13:13:50 I wan't to add some rewrite stuff too later 13:13:56 *want 13:13:58 ok 13:14:04 which means that eval can return expressions too 13:14:24 ok well since you can express collatz it's definitely not primitive recursion. 13:20:24 if you error out it would probably be simpler to separate the folding and the evaluation: Value . foldl1' (+) $ map (\x -> evalToValue x r args) xs 13:21:10 although that could leak if you make it monadic later. 13:21:50 :t foldM 13:21:51 Monad m => (a -> b -> m a) -> a -> [b] -> m a 13:24:23 -!- nycs has changed nick to `^_^v. 13:26:23 You can actually call any function you want 13:26:29 by just making a case statement in your function 13:26:41 then just add a parameter to recurse which defines what it should do 13:27:03 so TC eh 13:27:12 I pretty much suspect so 13:28:48 I gotta define a syntax and write some parsec stuff for it 13:56:07 (if== $0 1 1 (if== 1 (odd $0) (r (add (mul 3 $0) 1)) (r (div $0 2)))) 13:56:15 -!- tertu has quit (Ping timeout: 240 seconds). 14:01:24 Does this qualify as an esolang :D? 14:06:08 probably. it's not immensely radical, mind you... 14:07:04 this has never prevented anyone from adding stuff to the wiki. (ok, maybe someone.) 14:07:08 -!- tertu has joined. 14:14:39 -!- nooodl has joined. 14:18:41 oerjan: There are probably already languages like that, yeh 14:22:02 -!- Sprocklem has joined. 14:28:13 mroman: did you want to enter that warrior in the tournament? There are a few other new players taking part... 14:29:55 I wrote a new version 14:30:07 can you give me the link again? 14:46:51 impomatic: memory is set to dat #0,#0 after each run, right? 14:50:26 mroman: It's dat $0, $0 and http://corewar.co.uk/spring2014.htm 14:50:28 -!- spiette has joined. 15:02:38 impomatic: Mine uses a distance of 37, and -35 15:02:50 so if it misses small warriors it will most likely loose 15:25:05 -!- not^v has joined. 15:38:37 -!- Tritonio has quit (Ping timeout: 252 seconds). 15:41:59 -!- oerjan has quit (Quit: leaving). 15:42:40 Can I somehow find out in which commit a certain directory was deleted and recover it with git? 15:43:24 not specifically no, you will have to scrape commits manually 15:43:53 you can make a program to use the github api to find the last time something was modified 15:46:15 this is bullshit 15:46:23 why the hell am I even using a version control system 15:46:34 <`^_^v> if you know a file in the directory, you can do git log -- directory/file 15:46:41 it's write once revert never 15:46:58 <`^_^v> i dont think git "tracks" just the directories 15:47:16 <`^_^v> well i guess it does 15:47:21 <`^_^v> but there have to be files in it 15:47:39 <`^_^v> i think git log -- directory would work 15:48:05 I think checkout a certain commit should do it 15:49:18 <`^_^v> to recover the actual file, you can checkout or show with the commit hash 15:49:25 -!- MDream has changed nick to MDude. 15:49:28 Version control was invented to remember all the stupid things you did 15:50:15 and to vacuum up your time in the form of "commit messages". 15:50:54 Don't let it have its way! Make your next commit message asdfasgafsgasfy. 15:51:43 -!- shikhin has joined. 15:52:15 -!- tertu has quit (Ping timeout: 240 seconds). 16:02:48 -!- Rikkol has joined. 16:07:52 -!- Rikkol has left. 16:17:28 -!- Bike has joined. 16:46:32 lol 16:47:28 git has a pretty effective set of tools for erasing the stupid things you did 16:55:41 Jafet: you know Linus' tech talk on git (at google), right? 16:56:43 Jafet: because what you just said reminded me a lot of the opening words, where he talks about managing linux as a collection of tarballs and patches ... and then says that that's a superior source code management system compared to CVS :) 16:58:58 -!- nooodl_ has joined. 17:03:24 -!- nooodl has quit (Ping timeout: 276 seconds). 17:07:00 -!- FreeFull has joined. 17:12:31 Are any of you people in Austria 17:16:52 -!- MoALTz has joined. 17:19:35 * int-e hides 17:24:14 I am not very good at this "getting stressed by exams" thing 17:24:22 I'm sat here singing Eurovision songs 17:25:39 because after you get burned in an exam you can always rise again like a phoenix? 17:25:55 Because alcohol is free! 17:26:08 We are the winners! 17:26:08 you don't have to sing for that, do you ... 17:26:25 -!- Sprocklem has quit (Quit: leaving). 17:26:50 I wasn't actually too keen on Rise Like A Phoenix, I preferred Moustache 17:28:41 Although I've gone off Moustache a bit now 17:35:51 Hmm, good use of stage, but I'd rather switch off the sound, and they should rethink their color scheme ;-) 17:36:24 <-- will not become a Moustache fan 17:37:55 -!- not^v has quit (Ping timeout: 240 seconds). 17:38:19 -!- not^v has joined. 17:39:13 -!- shikhout has joined. 17:41:26 -!- shikhout has quit (Client Quit). 17:42:38 -!- shikhin has quit (Ping timeout: 252 seconds). 17:52:00 -!- Cyragia has joined. 18:21:34 No standard for pseudocode syntax exists, as a program in pseudocode is not an executable program. <- I see some work for the ESOSC :P 18:23:30 Surely some standards organ must've tried to standardise pseudocode syntax? 18:24:04 -!- tertu has joined. 18:25:19 UML? 18:28:06 I think if you really standardise pseudocode it will no longer be pseudo and becomes just "code" 18:30:23 I suppose 18:33:45 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 18:35:42 Well not necessarily 18:35:48 Though 18:35:53 If you write a pseudocode compiler 18:39:36 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 18:49:49 no 18:49:53 If you write a pseudocode compiler 18:49:57 it's not pseudocode anymore 18:50:14 all programs that compile with your compiler would have to be rewritten 18:50:25 (compile and do what they are supposed to do) 18:52:28 But what if I write a compiler for that other languag D: 18:54:06 That reminds me that I'd like to make something that works like a natural language translater, but train it to attempt to turn an informal language into something that can be compiled or interpreted. 18:55:58 bitch please print Hello, world! 18:56:17 Hmmm. 18:56:35 Runnnig Gizoogle on BASIC code does sound like a good idea. 18:57:48 Mechanized IRP? 18:58:45 http://gizoogle.net/index.php?search=http%3A%2F%2Fen.wikipedia.org%2Fwiki%2FBASIC&se=Gizoogle+Dis+Shiznit#Examples 18:59:07 10 PRINT "Yo muthafucka, World!" 19:00:15 Oddly, the code itself ins't really changed. 19:00:58 I guess because the keywords themselves are too terse to be picked up as translatable phrases. 19:03:06 https://twitter.com/0xabad1dea/status/469541728828280832/photo/1/large programming 19:05:00 MDude 19:05:00 You know who else did that 19:05:00 THE FUCKING OSMOSIAN 19:05:08 And their Plain English Compiler 19:05:25 How did I not know about gizoogle before? 19:05:54 DOn't think I've read about the Plain English Compiler, but I think that sounds like something not made as a joke. 19:06:53 I bet it's an implementation of http://en.wikipedia.org/wiki/English_(programming_language) 19:07:07 MDude : It is terrifyingly not a joke 19:07:16 oh wait, no, it's that silly other thing 19:07:22 http://www.theonion.com/articles/family-saved-by-threeway-inflatable-goat,4579/ 19:07:23 Woops 19:07:25 Wrong link 19:07:31 no, that is the correct link. 19:07:31 https://web.archive.org/web/20140108064338/http://osmosian.com/ 19:07:42 Bike : Well close enough 19:07:44 I was thinking of just having something that tries to avoid making obviously bad decisions, but doesn't particularly care what your actual intent is. 19:07:46