00:01:46 -!- augur has quit (Quit: Leaving...). 00:04:21 -!- shikhout has joined. 00:04:54 -!- vyv has joined. 00:05:54 -!- J_Arcane2 has joined. 00:07:43 -!- drdanmaku_ has joined. 00:13:28 -!- AndoDaan has quit (*.net *.split). 00:13:28 -!- shikhin has quit (*.net *.split). 00:13:28 -!- drdanmaku has quit (*.net *.split). 00:13:29 -!- MoALTz has quit (*.net *.split). 00:13:29 -!- J_Arcane has quit (*.net *.split). 00:13:29 -!- variable has quit (*.net *.split). 00:13:33 -!- FireFly has quit (*.net *.split). 00:13:33 -!- vyv_ has quit (*.net *.split). 00:13:39 -!- skarn has quit (*.net *.split). 00:14:49 -!- skarn has joined. 00:15:07 -!- skarn has changed nick to Guest43064. 00:16:34 -!- variable has joined. 00:17:38 what's the way to use subscripts on the wiki 00:18:07 quintopia: text, like in HTML 00:18:49 ok 00:19:26 [wiki] [[Wigner's Fuckbuddy Is A Superposition of Top And Bottom]] http://esolangs.org/w/index.php?diff=40479&oldid=37791 * Quintopia * (+254) /* Computational Time Complexity */ 00:19:38 -!- drdanmaku_ has changed nick to drdanmaku. 00:19:39 thank you 00:20:30 [wiki] [[Wigner's Fuckbuddy Is A Superposition of Top And Bottom]] http://esolangs.org/w/index.php?diff=40480&oldid=40479 * Quintopia * (+131) 00:21:01 -!- FireFly has joined. 00:21:08 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 00:22:13 wow this netsplit is lasting a while 00:22:15 -!- callforjudgement has changed nick to ais523. 00:29:32 -!- ais523 has quit (Read error: Connection reset by peer). 00:29:38 -!- callforjudgement has joined. 00:30:20 -!- callforjudgement has changed nick to ais523. 01:00:21 -!- GeekDude has joined. 01:17:24 -!- Bicyclidine has quit (Ping timeout: 255 seconds). 01:25:57 -!- ais523 has quit. 01:26:02 -!- callforjudgement has joined. 01:26:10 -!- callforjudgement has changed nick to ais523. 01:45:14 -!- augur has joined. 01:50:06 int-e: Could you make @info a no-op or something? 01:50:13 Getting corrected to @undo is worse than nothing. 02:01:41 -!- yukibot has quit (Quit: Process interrupted.). 02:18:33 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:22:45 -!- Guest43064 has quit (Changing host). 02:22:45 -!- Guest43064 has joined. 02:22:55 -!- Guest43064 has changed nick to skarn. 02:23:48 -!- yukibot has joined. 02:24:34 -!- yukibot has quit (Client Quit). 02:25:31 -!- yukibot has joined. 02:25:48 -!- yukibot has quit (Client Quit). 02:44:12 -!- conehead has joined. 03:01:26 -!- callforjudgement has joined. 03:01:50 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 03:04:43 -!- ais523 has quit (Ping timeout: 272 seconds). 03:05:00 -!- callforjudgement has changed nick to ais523. 03:14:04 -!- ais523 has quit. 03:14:12 -!- callforjudgement has joined. 03:14:13 -!- callforjudgement has changed nick to ais523. 03:28:33 -!- Sorella has quit (Remote host closed the connection). 03:33:40 -!- ais523 has quit. 03:33:48 -!- ais523 has joined. 03:40:19 -!- roark has joined. 03:44:53 -!- roark has quit (Client Quit). 04:35:57 [wiki] [[Splinter]] M http://esolangs.org/w/index.php?diff=40481&oldid=25375 * AndoDaan * (-1) /* Example */ link fix 04:38:04 -!- shikhout has quit (Ping timeout: 272 seconds). 04:47:06 -!- AndoDaan_ has quit (Ping timeout: 255 seconds). 04:47:47 -!- HackEgo has quit (Ping timeout: 245 seconds). 05:17:05 -!- ais523 has quit (Ping timeout: 272 seconds). 05:48:29 -!- J_Arcane2 has quit (Quit: Nettalk6 - www.ntalk.de). 05:55:35 -!- J_Arcane has joined. 06:24:09 -!- variable has quit (Ping timeout: 258 seconds). 06:33:00 -!- variable has joined. 06:53:12 -!- conehead has quit (Quit: Computer has gone to sleep). 06:54:14 -!- AnotherTest has joined. 08:02:06 -!- oerjan has quit (Quit: leaving). 08:03:52 -!- AnotherTest_ has joined. 08:04:49 -!- drdanmaku has quit (Changing host). 08:04:49 -!- drdanmaku has joined. 08:05:31 -!- AnotherTest has quit (Ping timeout: 258 seconds). 08:05:32 -!- AnotherTest_ has changed nick to AnotherTest. 08:15:33 -!- HackEgo has joined. 08:21:36 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 08:26:08 -!- Patashu has joined. 08:58:30 -!- ais523_ has joined. 09:00:03 Getting into FRP still looks way too hard :( 09:00:42 hmm, what programming paradigm do spreadsheets (like Excel) uses? 09:00:55 a sort of "everything is defined in terms of everything else" 09:01:02 I guess it's behavioural, like VHDL 09:02:52 You might call it declarative. 09:03:46 Well, an example doing excel like stuff would be nice :) 09:03:51 but can't seem to find one 09:04:12 So minä and sinä and so on are implied in "minä olen" and what not, but hän is never implied that way? 09:05:09 Somehow it should be possible to have foo t = print t 09:05:22 which prints t everytime t changes 09:08:43 shachaf: I... think all the personal pronouns can be implicit, in suitable circumstances. Like if someone asks "onko hän täällä?" you can answer just "on." But maybe that doesn't count. 09:09:01 * shachaf guesses "is he here?" 09:09:09 Yes. (Or "she".) 09:09:20 Right. 09:09:25 mroman_: you can do that sort of thing in the WIP esolang I was discussing yesterday 09:10:34 (Or "mitä hän tekee?" "syö." -- "what is he doing?" "he's eating.") 09:10:49 (Or "she".) 09:11:30 Can't think of a not-an-answer-to-a-question example right now. 09:12:11 But you would say "hän on täällä", not e.g. "on täällä" 09:12:18 As opposed to "olen täällä" 09:12:57 Yes, I guess so. 09:13:20 Same does apply to "he ovat täällä". 09:13:39 ais523_: hm. 09:13:50 I'd still like to be able to do that stuff in Haskell ;) 09:14:02 mroman_: in fact, the only way to do a method call there is to set a property in order to cause a method to run 09:14:10 somebody could make a system dynamics library out of frp I guess 09:14:12 I decided that in some respects, the language is the exact opposite in Haskell 09:14:24 If such a library doesn't already exist 09:14:24 And you wouldn't say just "puhuu suomea", right? 09:14:35 because all operations are mutating (although scoping an identifier has no side effects if you don't do anything with it before it descopes) 09:14:44 * shachaf tries to figure out what "puhuu" etc. means on its own. 09:14:58 ais523_: does it have a wikipage? 09:15:53 also wth is that Fuckbuddy thing o_O 09:15:57 no, because it's a WIP and I haven't worked out the details yet 09:16:17 luckily, so far I haven't run into anything as intractable as Feather 09:16:26 shachaf: Right, at least in general. I'm sure in conversational speech it'd be acceptable. Like, you're describing a potential hire to someone over the phone, you could say "puhuu suomea" as a part of a list of qualifications if it's implied by context who it's about. 09:16:28 *as I have in Feather 09:16:45 I guess that's the same as in English. 09:17:03 aivika... 09:22:16 Who writes lhs that can't be run :( 09:35:55 -!- fergusq has joined. 09:41:24 -!- impomatic has quit (Ping timeout: 250 seconds). 10:01:42 -!- fergusq has quit (Ping timeout: 272 seconds). 10:33:11 `run echo 'const char main[] = "1\xc0""1\xff""1\xd2\xff\xc0\xff\xc7H\x8d""5\n\0\0\0\xb2\x06\x0f\x05\xb0<1\xff\x0f\x05hello\n";' | gcc -o /tmp/t -x c - 2>&1 && /tmp/t # I know we already have one of these, but I didn't want this one to go to waste 10:33:12 hello 10:33:58 Also: doesn't work with `runc for some inexplicable reason. 10:38:54 Oh, right, `runc is using echo -e so that you can put in \ns for newlines for preprocessor stuff. 10:55:29 -!- boily has joined. 11:19:26 -!- Frooxius has quit (Quit: *bubbles away*). 11:21:08 Dependency tree exhaustively searched. 11:21:15 that's something new I havent seen before 11:21:58 fizzie: I made one of those work (not necessarily correct) in a geordi prompt once, though I didn't write the main function, just an aux function I called. 11:22:39 -!- boily has quit (Quit: RACEMIC CHICKEN). 11:25:55 http://sprunge.us/AMWj - boily's chickens 11:26:09 (didn't do anything useful either) 11:26:44 What's a "geordi prompt"? 11:27:05 fizzie: geordi is a bot evaluating C++ on irc 11:27:13 Oh, I see. 11:27:19 so I mean I wrote something that fits in one irc line and it could run it 11:27:31 (after dozens of tries which led to segfaults and similar errors) 11:27:33 The above was done for candide, and also an auxiliary function, because I couldn't get around the auto-main. 11:27:56 http://sprunge.us/gbEF like that. 11:28:25 If you specify something that looks enough like main it doesn't add its own, but I couldn't do that and the char main[] at the same time. 11:28:41 Perhaps it could've been fooled by suitable macros, though. 11:28:53 fizzie: I see 11:36:09 [14:35:56] ,cc #define main(args) dummy(args) \n const char main[] = "1\xc0""1\xff""1\xd2\xff\xc0\xff\xc7H\x8d""5\n\0\0\0\xb2\x06\x0f\x05\xb0<1\xff\x0f\x05hello\n"; int main(void) { return 0; } 11:36:13 [14:35:58] fizzie: [warning: 'main' is usually a function [-Wmain]] Function "main" not defined. hello 11:36:16 Ha. 11:36:42 I don't know where that one message comes from. 11:43:14 That's not a warning 11:43:17 That's an info. 11:49:58 -!- GeekDude has joined. 11:53:29 -!- Phantom__Hoover has joined. 11:53:29 -!- Phantom_Hoover has joined. 11:55:57 -!- Guest68287 has quit (Changing host). 11:55:57 -!- Guest68287 has joined. 11:56:04 -!- Guest68287 has changed nick to FreeFull. 12:00:38 -!- Phantom__Hoover has quit (Quit: Leaving). 12:06:55 oh well, at least this explains why I got sent 2/3 of a P45 tax form for no apparent reason 12:07:34 I think there's a blog called mainisusuallyafunction, isn't there? 12:07:51 not sure if it's an actual #esoteric member who runs it, or just someone who's interested in similar topics 12:11:15 -!- KingOfKarlsruhe has quit (Quit: ZNC - http://znc.in). 12:15:58 -!- KingOfKarlsruhe has joined. 12:19:48 Links to it have been posted on channel, but I don't think it's run by any regular here. 12:21:38 Oh, wait. Is it just kmc's thing? 12:21:48 There's the posting about the x86-no-registers thing. 12:21:57 "Posted by keegan" okay then. 12:22:05 Memory: never trust it. 12:23:15 -!- KingOfKarlsruhe has quit (Quit: ZNC - http://znc.in). 12:23:58 -!- KingOfKarlsruhe has joined. 13:00:03 -!- Patashu has quit (Ping timeout: 272 seconds). 13:01:05 -!- Sgeo_ has quit (Read error: Connection reset by peer). 13:04:09 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 13:06:34 huh, kmc was talking about using fork() to implement continuations some time after I actually used INTERCAL's fork() equivalent to implement continuations there 13:06:43 the code was horrendously inefficient, ofc, but did seem to actually work 13:45:22 -!- Sprocklem has quit (Ping timeout: 240 seconds). 14:03:57 -!- drdanmaku has joined. 14:09:31 -!- impomatic_ has joined. 14:49:15 -!- DootBot has quit (Remote host closed the connection). 14:52:20 -!- DootBot has joined. 14:52:21 DOOT DOOT! 15:06:42 -!- mihow has joined. 15:11:50 !unefunge98 y$#> #;>:#,_#; #$< lol this outputs environment variables 15:11:53 @hoogle forever 15:11:54 TieSoul: È;8ALLUSERSPROFILE=C:\ProgramDataAPPDATA=C:\Users\thijsel\AppData\RoamingCOMPUTERNAME=THIJS-PCComSpec=C:\Windows\system32\cmd.exeCommonProgramFiles=C:\Program Files (x86)\Common FilesCommonProgramFi (Execution timed out.) 15:11:55 Control.Monad forever :: Monad m => m a -> m b 15:19:43 man 15:20:52 > forever [9] 15:20:56 mueval-core: Time limit exceeded 15:20:59 noice 15:21:24 -!- sebbu has quit (Ping timeout: 260 seconds). 15:24:40 > forever [] 15:24:42 [] 15:31:12 -!- sebbu has joined. 15:31:12 -!- sebbu has quit (Changing host). 15:31:12 -!- sebbu has joined. 15:38:55 -!- ais523_ has quit (Quit: Page closed). 15:40:30 -!- Sprocklem has joined. 16:13:59 -!- kcm1700_ has quit (Remote host closed the connection). 16:14:08 -!- kcm1700 has joined. 16:26:35 And we have a new leader with 11B for Fibonacci Numbers :) 16:54:10 -!- MoALTz_ has joined. 16:56:05 https://news.ycombinator.com/item?id=8318879 17:13:29 -!- mihow has quit (Quit: mihow). 17:33:56 -!- Sprocklem has quit (Ping timeout: 260 seconds). 18:06:00 -!- conehead has joined. 18:21:11 -!- Sprocklem has joined. 18:34:03 -!- Sprocklem has quit (Ping timeout: 272 seconds). 18:34:13 -!- nycs has changed nick to `^_^v. 18:35:59 -!- Frooxius has joined. 18:41:29 -!- shikhin has joined. 18:45:19 -!- Sprocklem has joined. 18:57:41 -!- mihow has joined. 18:58:32 -!- Sprocklem has quit (Ping timeout: 245 seconds). 19:05:16 -!- Sprocklem has joined. 19:08:07 -!- Sorella has joined. 19:08:55 -!- Sorella has quit (Changing host). 19:08:55 -!- Sorella has joined. 19:35:42 -!- `^_^v has quit (Ping timeout: 245 seconds). 19:48:33 -!- Sprocklem has quit (Ping timeout: 272 seconds). 19:51:31 -!- sebbu2 has joined. 19:52:09 -!- sebbu2 has quit (Changing host). 19:52:09 -!- sebbu2 has joined. 19:54:31 -!- sebbu has quit (Ping timeout: 258 seconds). 20:15:49 -!- sebbu2 has changed nick to sebbu. 20:31:44 -!- idris-bot has quit (Ping timeout: 260 seconds). 20:32:06 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 20:35:24 -!- oerjan has joined. 20:37:31 @hoogle forever <-- good sentiment there 20:59:25 -!- Zuu has changed nick to Puntastic. 21:03:34 -!- Patashu has joined. 21:07:34 -!- Puntastic has changed nick to zuu. 21:07:37 -!- zuu has changed nick to Zuu. 21:08:31 oerjan: would you prefer that i don't tell you about wikipedia problems that i encounter 21:09:06 i would prefer that you get a bloody account and use it. what else do you expect? :P 21:24:26 -!- Patashu has quit (Ping timeout: 272 seconds). 21:31:25 -!- spiette has joined. 21:40:15 -!- AnotherTest has quit (Ping timeout: 246 seconds). 22:09:30 -!- boily has joined. 22:14:17 -!- mihow has quit (Quit: mihow). 22:49:00 -!- Sgeo has joined. 22:59:39 -!- boily has quit (Quit: CUBIC CHICKEN). 23:05:01 -!- augur has quit (Quit: Leaving...). 23:06:13 -!- Phantom_Hoover has joined. 23:10:27 -!- not^v has joined. 23:10:49 -!- Bicyclidine has joined. 23:19:47 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 23:20:07 -!- not^v has joined. 23:26:39 -!- not^v has quit (Ping timeout: 272 seconds). 23:28:57 -!- HackEgo has quit (Ping timeout: 272 seconds). 23:29:49 -!- HackEgo has joined. 23:35:04 -!- augur has joined. 23:43:07 -!- Phantom__Hoover has joined. 23:47:03 -!- Gregor`` has changed nick to Gregor. 23:52:07 -!- HackEgo has quit (*.net *.split). 23:52:07 -!- Phantom_Hoover has quit (*.net *.split). 23:52:10 -!- spiette has quit (*.net *.split). 23:52:11 -!- FireFly has quit (*.net *.split). 23:52:41 a less grave Gregor 23:53:55 -!- spiette has joined. 23:53:56 -!- HackEgo has joined. 23:55:57 -!- impomatic_ has quit (Ping timeout: 255 seconds). 23:56:10 -!- FireFly has joined.