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 <quintopia> what's the way to use subscripts on the wiki
00:19:26 <HackEgo> [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:20:30 <HackEgo> [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: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 <shachaf> int-e: Could you make @info a no-op or something?
01:50:13 <shachaf> 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 <HackEgo> [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 <mroman_> Getting into FRP still looks way too hard :(
09:00:42 <ais523_> hmm, what programming paradigm do spreadsheets (like Excel) uses?
09:00:55 <ais523_> a sort of "everything is defined in terms of everything else"
09:01:02 <ais523_> I guess it's behavioural, like VHDL
09:02:52 <fizzie> You might call it declarative.
09:03:46 <mroman_> Well, an example doing excel like stuff would be nice :)
09:03:51 <mroman_> but can't seem to find one
09:04:12 <shachaf> 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 <mroman_> Somehow it should be possible to have foo t = print t
09:05:22 <mroman_> which prints t everytime t changes
09:08:43 <fizzie> 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:25 <ais523_> mroman_: you can do that sort of thing in the WIP esolang I was discussing yesterday
09:10:34 <fizzie> (Or "mitä hän tekee?" "syö." -- "what is he doing?" "he's eating.")
09:11:30 <fizzie> Can't think of a not-an-answer-to-a-question example right now.
09:12:11 <shachaf> But you would say "hän on täällä", not e.g. "on täällä"
09:12:18 <shachaf> As opposed to "olen täällä"
09:13:20 <fizzie> Same does apply to "he ovat täällä".
09:13:50 <mroman_> I'd still like to be able to do that stuff in Haskell ;)
09:14:02 <ais523_> 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 <mroman_> somebody could make a system dynamics library out of frp I guess
09:14:12 <ais523_> I decided that in some respects, the language is the exact opposite in Haskell
09:14:24 <mroman_> If such a library doesn't already exist
09:14:24 <shachaf> And you wouldn't say just "puhuu suomea", right?
09:14:35 <ais523_> 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 <mroman_> ais523_: does it have a wikipage?
09:15:53 <mroman_> also wth is that Fuckbuddy thing o_O
09:15:57 <ais523_> no, because it's a WIP and I haven't worked out the details yet
09:16:17 <ais523_> luckily, so far I haven't run into anything as intractable as Feather
09:16:26 <fizzie> 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:45 <shachaf> I guess that's the same as in English.
09:22:16 <mroman_> 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 <fizzie> `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:58 <fizzie> Also: doesn't work with `runc for some inexplicable reason.
10:38:54 <fizzie> 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 <mroman_> Dependency tree exhaustively searched.
11:21:15 <mroman_> that's something new I havent seen before
11:21:58 <b_jonas> 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 <fizzie> http://sprunge.us/AMWj - boily's chickens
11:26:09 <b_jonas> (didn't do anything useful either)
11:26:44 <fizzie> What's a "geordi prompt"?
11:27:05 <b_jonas> fizzie: geordi is a bot evaluating C++ on irc
11:27:19 <b_jonas> so I mean I wrote something that fits in one irc line and it could run it
11:27:31 <b_jonas> (after dozens of tries which led to segfaults and similar errors)
11:27:33 <fizzie> The above was done for candide, and also an auxiliary function, because I couldn't get around the auto-main.
11:27:56 <fizzie> http://sprunge.us/gbEF like that.
11:28:25 <fizzie> 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 <fizzie> Perhaps it could've been fooled by suitable macros, though.
11:36:09 <fizzie> [14:35:56] <fizzie> ,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 <fizzie> [14:35:58] <candide> fizzie: [warning: 'main' is usually a function [-Wmain]] Function "main" not defined. hello
11:36:42 <fizzie> I don't know where that one message comes from.
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 <ais523_> oh well, at least this explains why I got sent 2/3 of a P45 tax form for no apparent reason
12:07:34 <ais523_> I think there's a blog called mainisusuallyafunction, isn't there?
12:07:51 <ais523_> 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 <fizzie> Links to it have been posted on channel, but I don't think it's run by any regular here.
12:21:38 <fizzie> Oh, wait. Is it just kmc's thing?
12:21:48 <fizzie> There's the posting about the x86-no-registers thing.
12:21:57 <fizzie> "Posted by keegan" okay then.
12:22:05 <fizzie> 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 <ais523_> 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 <ais523_> 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.
15:06:42 -!- mihow has joined.
15:11:50 <TieSoul> !unefunge98 y$#> #;>:#,_#; #$< lol this outputs environment variables
15:11:54 <DootBot> TieSoul: ;<CTCP><CTCP>8<CTCP>ALLUSERSPROFILE=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 <lambdabot> Control.Monad forever :: Monad m => m a -> m b
15:21:24 -!- sebbu has quit (Ping timeout: 260 seconds).
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 <mroman_> And we have a new leader with 11B for Fibonacci Numbers :)
16:54:10 -!- MoALTz_ has joined.
16:56:05 <J_Arcane> 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 <oerjan> <mroman_> @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 <shachaf> oerjan: would you prefer that i don't tell you about wikipedia problems that i encounter
21:09:06 <oerjan> 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: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.