←2015-02-09 2015-02-10 2015-02-11→ ↑2015 ↑all
00:02:38 -!- ProofTechnique has joined.
00:06:19 -!- skj3gg has joined.
00:07:18 -!- boily has quit (Quit: IMPRINTED CHICKEN).
00:07:54 -!- nycs has quit (Quit: This computer has gone to sleep).
00:10:14 -!- variable has quit (Quit: I found 1 in /dev/zero).
00:32:37 -!- kallisti has quit (Ping timeout: 264 seconds).
00:36:44 -!- shikhin_ has joined.
00:39:24 -!- shikhin has quit (Ping timeout: 245 seconds).
00:47:57 -!- skj3gg has quit (Quit: ZZZzzz…).
00:59:46 -!- oren has quit (Ping timeout: 246 seconds).
01:12:15 <Sgeo> pikhq: did I make a mistake in buying Urbanite XL?
01:25:29 -!- adu has joined.
01:34:30 <pikhq> I... do not know.
01:40:52 <Phantom_Hoover> Sgeo, depends, are your ears big enough
01:44:09 <Sgeo> It's very bass-y
01:44:23 <Sgeo> Also choppy sound in one ear, but maybe that's a bad headphone port
01:45:26 <oerjan> it sounds like you have done a fine acquirement of a torture instrument hth
01:46:25 <Phantom_Hoover> are usb headphones really bad enough that it's worth dealing with the incredible unreliability of headphone jacks instead?
01:47:38 <Sgeo> I did not realize USB headphones existed until just now.
01:53:05 <Sgeo> Also, I was under the impression that my old headphones were just dead. Now I blame the headphone port
01:53:43 <Sgeo> At least the new headphone smell is addictive
01:55:47 -!- variable has joined.
01:55:47 -!- variable has quit (Changing host).
01:55:47 -!- variable has joined.
02:24:30 <HackEgo> [wiki] [[Talk:Al Dente]] M http://esolangs.org/w/index.php?diff=41877&oldid=41874 * Doesthiswork * (+225) more nitpicking
02:25:17 -!- TieSoul has quit (Ping timeout: 245 seconds).
02:27:12 <Sgeo> I spent way too much money on these
02:32:21 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:07:00 -!- ^v has joined.
03:13:01 -!- zzo38 has joined.
03:20:48 -!- ^v has quit (Ping timeout: 245 seconds).
03:22:37 -!- ^v has joined.
03:24:37 -!- mitchs has quit (Quit: mitchs).
03:28:18 -!- ^v has quit (Ping timeout: 245 seconds).
03:36:07 -!- mitchs has joined.
03:40:53 -!- ^v has joined.
03:52:53 -!- ^v has quit (Ping timeout: 245 seconds).
03:59:02 -!- GeekDude has quit (Quit: ZNC - http://znc.in).
04:00:59 -!- ^v has joined.
04:01:00 -!- ^v has quit (Client Quit).
04:07:10 -!- ^v has joined.
04:11:52 -!- bb010g has joined.
04:25:23 -!- ^v has quit (Ping timeout: 245 seconds).
04:27:40 -!- ^v has joined.
04:49:33 -!- ^v has quit (Ping timeout: 245 seconds).
04:50:26 -!- ^v has joined.
04:57:10 -!- Sprocklem has joined.
05:01:38 -!- ^v has quit (Ping timeout: 245 seconds).
05:02:40 -!- ^v has joined.
05:10:22 -!- arjanb has quit (Ping timeout: 246 seconds).
05:10:48 -!- ^v has quit (Ping timeout: 245 seconds).
05:14:28 -!- nys has quit (Quit: quit).
05:14:59 -!- ^v has joined.
05:22:28 -!- ^v has quit (Ping timeout: 245 seconds).
05:26:06 -!- Tritonio has quit (Remote host closed the connection).
05:31:12 -!- Zefpher has joined.
05:31:19 <Zefpher> Ya butt.
05:31:40 * pikhq grabs some popcorn for watching Alabama
05:31:52 <Zefpher> Football?!?!
05:32:23 * Zefpher Shakes pikhq
05:32:24 <pikhq> No, no. The hilarity of watching a judge in a high position actively defy a higher court's explicit orders.
05:32:28 <Zefpher> Ah
05:32:33 <Zefpher> well Then nvm
05:36:36 <elliott> higher court? is that some football thing
05:37:16 <oerjan> Zefpher: i think you may shake elliott too hth
05:37:28 <elliott> nobody can shake me
05:37:32 <elliott> :(
05:37:37 <oerjan> stirred, but unshaken
05:37:49 <Zefpher> Really?!
05:38:10 * Zefpher Shakes oerjan and elliott
05:38:23 <pikhq> elliott: If only.
05:38:49 <oerjan> THAT'S NOT WHAT I MEANT
05:39:48 * Zefpher cackles
05:41:23 <HMC_A> hi esolang people
05:41:33 -!- MDude has joined.
05:42:48 <Zefpher> Hello my child
05:43:17 <HMC_A> i followed naturalog in
05:43:24 <HMC_A> thought maybe we could talk about esolang stuff
05:43:27 <HMC_A> like
05:43:44 <HMC_A> can we consider the empty dictionary as an esolang?
05:45:17 -!- oerjan has quit (Quit: Perchance to sleep).
05:46:19 <Zefpher> Never heard of it but let me captcha log it
05:46:55 <HMC_A> just a language with no terms. matches nothing. Is it a language? Is it esoteric? :-)
05:49:07 <HMC_A> an implementation of a machine for such an empty language could only do one function, its own existence proof, I think
05:50:13 -!- Sprocklem has quit (Quit: [).
05:50:18 <MDude> Well there's http://esolangs.org/wiki/Compute
05:50:31 -!- Sprocklem has joined.
05:50:31 * HMC_A ponders
05:50:35 -!- mitchs has quit (Ping timeout: 252 seconds).
05:51:22 <HMC_A> that has no required syntax but still has syntax
05:51:33 <HMC_A> just no (meaningful) semantics
05:51:40 <HMC_A> this would be a language with neither :-)
05:51:44 * HMC_A ponders
05:52:22 -!- Sprocklem has quit (Client Quit).
05:52:38 -!- Sprocklem has joined.
05:53:09 <MDude> I tohught there was one, but I can't find it.
05:53:21 <HMC_A> I'd say someone should implement it, but...
05:53:34 <MDude> http://esolangs.org/wiki/Text
05:54:12 <HMC_A> that still matches anything
05:54:13 <zzo38> Nobody else seem to answer this question: An invisible character puts a gold coin on the ground (the coin is made visible though) so that the guard will come and open the gate to pick up the gold coin. What is the correct trope page of it? (on All The Tropes, not on TV Tropes)
05:55:30 <MDude> I haven't read All the Tropes at all.
05:55:34 <Zefpher> God
05:55:43 <Zefpher> how do you use Compute
05:56:50 <zzo38> You don't.
05:57:07 <MDude> You enter a program, and get the reponse "Done."
05:57:30 <Zefpher> Welp
05:58:30 <Zefpher> I should make a language that makes people fall into the pits of inferno
05:58:34 <Zefpher> Muahahah
05:58:42 -!- Sprocklem has quit (Quit: [).
06:02:32 -!- mitchs has joined.
06:15:27 <Zefpher> It takes a lot to make a stew, A dash of crime; Some arson too~ Add some theives for the spice, Serial killers to make it nice.
06:19:36 <HMC_A> cannibalism isn't cool
06:19:55 <HMC_A> even if they are criminals
06:21:26 <Zefpher> Its p. cool
06:25:23 * Zefpher Stares at HMC_A
06:34:34 <Zefpher> O.o
06:36:17 -!- shikhin_ has quit (Read error: Connection reset by peer).
06:36:59 -!- shikhin has joined.
06:38:17 <Sgeo> I think [S] Caliborn: Enter is muddled
06:41:45 <coppro> muddled?
06:42:56 <Sgeo> Compared to in the HD 201s
06:43:15 <Sgeo> Maybe it's placebo effect, I keep seeing less than positive reviews of the thing I just spent hundreds of dollars on
06:43:38 <coppro> HD 201s? ?????
06:43:58 <Sgeo> Headphones
06:44:01 <coppro> oh
06:44:13 <coppro> dude, it's audio equipment
06:44:43 <coppro> if you don't have a 3500$ headphone cable, you're doing it wrong
06:45:17 * HMC_A stares back at Zefpher
06:57:17 <Zefpher> goog nit
07:03:11 -!- TieSoul has joined.
07:05:04 -!- TieSoul has changed nick to TieSchool.
07:05:37 -!- Zefpher has quit (Ping timeout: 264 seconds).
07:47:50 -!- Patashu has joined.
08:00:04 <mroman> Cool
08:00:08 <mroman> Closures are working \o/
08:00:08 <myndzi> |
08:00:08 <myndzi> |
08:00:08 <myndzi> |\
08:00:08 <myndzi> /|
08:00:29 <mroman> addls -> (map (atom (add $0 &1)) $0)
08:00:30 <mroman> main -> (putstrln (show (addls #(1 2 3) 10)))
08:08:58 <lifthrasiir> is it a cat?
08:14:57 <int-e> oh, I have not seen that from myndzi before...
08:15:01 <mroman> what is a cat?
08:15:35 <lifthrasiir> \o/
08:15:35 <myndzi> |
08:15:36 <myndzi> |
08:15:36 <myndzi> |\
08:15:36 <myndzi> /<
08:15:39 <lifthrasiir> what.
08:15:45 <int-e> looks broken
08:15:57 <int-e> - \o/ \o/ \o/ \o/
08:15:58 <myndzi> | | ¦ |
08:15:58 <myndzi> | | | |
08:15:58 <myndzi> |\ |\ ´¸¨ |\
08:15:58 <myndzi> /´\ |\ >\ /^\
08:16:08 <int-e> actually
08:16:10 <lifthrasiir> sounds like a tail
08:16:19 <lifthrasiir> \o/o\o/o\o/
08:16:21 <int-e> it seems to trigger twice. note that the | body is also duplicated
08:16:30 <int-e> does anybody remember the snowflake trigger?
08:16:34 <lifthrasiir> \o/ \o/ \o/
08:16:35 <myndzi> | | |
08:16:35 <myndzi> | | |
08:16:35 <myndzi> /< |\ /|
08:16:35 <myndzi> |\ >\ |\
08:16:48 <lifthrasiir> wait, *six* limbs.
08:17:00 <lifthrasiir> even cats do not have two tails
08:17:49 <int-e> c.c
08:17:50 <myndzi> c.c.c
08:17:50 <myndzi> c.c.c
08:17:50 <myndzi> c.c
08:17:50 <myndzi> c.c
08:18:01 <int-e> see, it gets triggered twice.
08:18:02 <lifthrasiir> cc..cc
08:18:37 <lifthrasiir> int-e: let's pretend that it generates some futuristic species of human
08:19:25 <int-e> I thought the |\ /| one looks a bit like a plant. Either upside down, or a sort of root.
08:21:41 <mroman> /o\
08:21:41 <myndzi> ¦
08:21:41 <myndzi> |
08:21:41 <myndzi> ´¸¨
08:21:41 <myndzi> |\
08:22:09 -!- ineiros has joined.
08:28:51 <mroman> @hoogle forkIO
08:28:54 <lambdabot> Control.Concurrent forkIO :: IO () -> IO ThreadId
08:28:54 <lambdabot> GHC.Conc.Sync forkIO :: IO () -> IO ThreadId
08:28:54 <lambdabot> GHC.Conc forkIO :: IO () -> IO ThreadId
08:34:19 <mroman> so
08:34:32 <mroman> I'm a supposed to use read/write MVar or Take/Put MVar?
08:35:41 <int-e> mroman: if you want a mutex, you usually should use withMVar.
08:36:31 -!- MDude has changed nick to MDream.
08:37:30 <int-e> mroman: or modifyMVar[_] if you also want to modify a value inside the MVar. In contrast to take/put, this ensures proper cleanup when exceptions are received.
08:38:46 <int-e> mroman: readMVar is currently changing; it used to be a takeMVar followed by putMVar, but it's becoming properly atomic with ghc 7.10. It's a slightly strange operation.
08:39:27 <mroman> "However, it is only atomic if there are no other producers for this MVar."
08:39:28 <mroman> well
08:39:40 <int-e> mroman: right.
08:39:42 <mroman> I want: read and write which will LOCK the mvar
08:39:46 <mroman> so
08:39:47 <int-e> mroman: that part is being changed :P
08:39:53 <mroman> If two threads are doing a write
08:40:00 <mroman> one should succeed and the other should be blocked
08:40:43 <mroman> so
08:40:46 <mroman> MVar can't do that?
08:40:53 <int-e> okay, putMVar will do that. readMVar, however, will unblock the other thread.
08:41:10 <int-e> (as of ghc 7.8.3)
08:41:14 <mroman> but takeMVar is single-wakeup
08:41:37 <int-e> yes.
08:41:42 <mroman> http://codepad.org/NEArKvwB
08:42:20 <mroman> (put does putMVar, take does takeMVar)
08:44:15 <int-e> mroman: Right, that should work. You're using MVar as a single slot mailbox, which is precisely what putMVar/takeMVar implement. (putMVar blocks when the mailbox is full, waiting for it to become empty; takeMVar blocks if the mailbox is empty, waiting for it to be filled)
08:44:39 <mroman> K. Then I can move on to implement chans :D
08:56:14 <mroman> http://codepad.org/5SOeQQi0
08:56:15 <mroman> neat
08:56:16 <mroman> works
09:00:13 <mroman> ok
09:00:14 <mroman> what's next?
09:08:03 <mroman> "on windows this function behaves differentely
09:08:04 <mroman> "
09:08:05 <mroman> well
09:08:09 <mroman> fuck you too :(
09:16:06 <int-e> eh
09:47:26 -!- Phantom_Hoover has joined.
10:07:24 -!- furiusbutcake has joined.
10:10:42 <HackEgo> [wiki] [[Mice in a maze]] http://esolangs.org/w/index.php?diff=41878&oldid=41849 * Mazeman * (+36) /* Example programs */
10:11:17 <HackEgo> [wiki] [[Mice in a maze]] http://esolangs.org/w/index.php?diff=41879&oldid=41878 * Mazeman * (+39) /* Example programs */
10:16:21 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41880&oldid=41741 * TomPN * (-5) /* Setup */
10:17:05 <HackEgo> [wiki] [[Quantum Dimensions]] http://esolangs.org/w/index.php?diff=41881&oldid=41880 * TomPN * (-10) /* Output */
10:24:24 -!- adu has quit (Quit: adu).
10:30:17 -!- furiusbutcake has left.
10:37:34 -!- adu has joined.
11:07:28 <HackEgo> [wiki] [[Aheui]] http://esolangs.org/w/index.php?diff=41882&oldid=41865 * Puzzlet Chung * (+26) revert to original Hello, world!
11:11:54 <Jafet> How about "on non-Windows systems this function behaves differently"
11:12:23 <Jafet> Also is it a function
11:20:02 <b_jonas> which esolangs have important builtin rules that don't work on particular days of weeks? eg. something like "the 'my' builtin declares a lexical variable, except on Tuesdays"
11:25:49 -!- boily has joined.
11:30:30 <MDream> http://esolangs.org/wiki/TMMLPTEALPAITAFNFAL
11:30:49 <MDream> It's not specific to weeks, but different every day.
11:30:54 -!- MDream has changed nick to MDude.
11:31:23 <mroman> hm. I guess "lazy" would be next
11:32:58 <b_jonas> MDude: thanks
11:39:18 <mroman> #((lazy (add $0 $0)) (lazy (add $0 $0)) (lazy (add $0 $0)))
11:39:19 <mroman> damn
11:39:23 <mroman> that didn't work out well
11:40:10 <Taneb> Damn, TMMLPTEALPAITAFNFAL's full name is longer than Real Fast Nora's Hair Salon 3: Shear Disaster Download
11:40:28 <Taneb> otoh, Real Fast Nora's Hair Salon 3: Shear Disaster Download can't be shortened
11:43:03 -!- hjulle has joined.
11:44:56 <mroman> damnit :(
11:47:12 <int-e> RFNHS3:SDD
11:48:50 -!- Patashu has quit (Ping timeout: 250 seconds).
11:49:11 <fizzie> I'm still disappointed it wasn't about a character called Real Fast Nora.
11:50:33 <fizzie> I always used to parse it ((Real Fast Nora)'s Hair Salon 3: Shear Disaster) Download, but apparently it's "really" Real Fast (Nora's Hair Salon 3: Shear Disaster) Download.
11:52:33 <MDude> I parsed it as ((Real Fast Nora)'s Hair Salon 3: Shear) (Disaster Download).
11:53:25 <MDude> Or I guess Just ((Real Fast Nora)'s Hair Salon 3:) Shear Disaster Download.
11:59:16 <mroman> [$0,(lazy $0)]
11:59:17 <mroman> "not lazy"
11:59:19 <mroman> are you kidding me
11:59:22 <mroman> there's a lazy in there :(
12:01:38 -!- zzo38 has quit (Ping timeout: 245 seconds).
12:02:34 <mroman> "not lazy: [$0,(lazy $0)]"
12:02:35 <mroman> *** Exception: (add 1 (lazy $0))
12:02:36 <mroman> o_O
12:02:41 <mroman> why is this not lazy when it is
12:06:42 <mroman> hmpf
12:06:46 <mroman> my isLazy function must be broken
12:16:39 <boily> does isLazy rely on having solved the halting problem?
12:20:18 <Taneb> Woo!
12:20:53 <Taneb> fizzie, it parses however you want it to parse
12:21:34 <Taneb> I parse it (((Real Fast Nora)'s (Hair Salon 3)) (Shear (Disaster Download)))
12:21:38 <Taneb> Anyway
12:21:46 <Taneb> Got results from exams in January
12:21:52 <Taneb> 96% in my group theory exam
12:22:18 <boily> dun dun dun ♪
12:23:15 -!- boily has quit (Quit: LEGERDEMAIN CHICKEN).
12:25:59 -!- intgr has left.
12:33:17 <Jafet> https://en.wikipedia.org/wiki/Earth_in_science_fiction
12:33:51 <HackEgo> [wiki] [[Semi-quantum]] N http://esolangs.org/w/index.php?oldid=41883 * Mazeman * (+1165) Created page with "Semi-quantum is an esoteric programming language invented in 2015 by an anonymous user. It allows the user to chose between "classical" programming, in a similar manner to b..."
12:37:14 -!- shikhin_ has joined.
12:40:35 -!- shikhin has quit (Ping timeout: 256 seconds).
12:41:22 <mroman> #({(add 1 {(add 1 1)})} {(add 1 {(add 2 2)})} {(add 1 {(add 3 3)})})
12:41:23 <mroman> ok
12:41:26 <mroman> that's much better
12:42:10 <b_jonas> what's that?
12:43:42 <mroman> main -> (putstrln (show (map (atom (add $0 $0)) (map (atom (add 1(add $0 (lazy $0)))) #(1 2 3)))))
12:43:55 <mroman> => #({(add {(add 1 (add 1 1))} {(add 1 (add 1 1))})} {(add {(add 1 (add 2 2))} {(add 1 (add 2 2))})} {(add {(add 1 (add 3 3))} {(add 1 (add 3 3))})})
12:44:33 <mroman> I'm trying to implement a thing called "lazy"
12:44:47 <mroman> which rather than evaluating the stuff returns the expression "unfolded" that would evaluate to that stuff
12:44:54 <mroman> like the above map
12:45:04 <mroman> It doesn't actually execute the "add"
12:46:32 <mroman> in theory :D
12:47:30 <mroman> it's really broken though :(
12:48:22 <mroman> main -> (putstrln (show (map (atom (add $0 (putstrln (show 0)))) (map (atom (add 1(add $0 (lazy $0)))) #(1 2 3)))))
12:48:26 <mroman> this prints three times the 0
12:48:29 <mroman> and then returns
12:48:38 <mroman> #({(add {(add 1 (add 1 1))} NIL)} {(add {(add 1 (add 2 2))} NIL)} {(add {(add 1 (add 3 3))} NIL)})
12:48:45 <mroman> (putstrln returns NIL)
12:48:56 <mroman> so at least the putstrln is actually executed :)
12:49:17 <mroman> or mabye that's actually correct behaviour
12:49:31 <mroman> technically (putstrln (show 0)) isn't wrapped into lazy
12:49:56 <mroman> if I wrap into into lazy it returns
12:49:59 <mroman> #({(add {(add 1 (add 1 1))} {(putstrln (show 0))})} {(add {(add 1 (add 2 2))} {(putstrln (show 0))})} {(add {(add 1 (add 3 3))} {(putstrln (show 0))})})
13:01:52 <mroman> whatever
13:01:57 <mroman> not really useful :(
13:07:22 -!- adu has quit (Quit: adu).
13:14:22 <HackEgo> [wiki] [[Semi-quantum]] http://esolangs.org/w/index.php?diff=41884&oldid=41883 * Mazeman * (+2875)
13:15:00 <HackEgo> [wiki] [[Semi-quantum]] http://esolangs.org/w/index.php?diff=41885&oldid=41884 * Mazeman * (+1) /* Input */
13:15:17 <HackEgo> [wiki] [[Semi-quantum]] http://esolangs.org/w/index.php?diff=41886&oldid=41885 * Mazeman * (+1) /* Output */
13:17:05 <mroman> http://mroman.ch/private/100215.html
13:17:14 -!- shikhin_ has changed nick to shikhin.
13:25:44 <Taneb> Today is a good day
13:27:33 <mroman> is it?
13:27:36 <Taneb> Yes
13:27:38 <mroman> what did you do?
13:28:04 <Taneb> I got exam results back that were better than I expected, and I signed the contract for the place I'm going to be living next year
13:28:22 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
13:30:40 -!- ais523 has joined.
13:32:37 <mroman> are you moving to finnland?
13:33:10 <b_jonas> yeah, now I want to know, which country gets even more esoteric people
13:33:47 <mroman> YEAH!
13:34:05 <mroman> Not too many swiss in here
13:34:22 <mroman> I could use another swiss in here
13:34:41 <mroman> abr nur wänn er au richtigs dütsch chan rede logischerwiis suscht dätschts
13:36:13 <b_jonas> Taneb: ?
13:36:53 <Taneb> I am just moving about 200m east
13:37:17 <mroman> That's good
13:37:24 <mroman> You'll be closer to Mekka then
13:40:29 <b_jonas> ok
13:40:42 <Taneb> That wasn't really part of my decision making process, mroman
13:45:45 -!- ProofTechnique has quit (Ping timeout: 256 seconds).
13:51:51 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=41887&oldid=41859 * Mazeman * (+19) /* S */
13:53:11 -!- Frooxius has joined.
14:00:44 -!- dulla has joined.
14:04:06 <Taneb> I've thought of a novel approach to solving the dining philosopher's problem
14:04:16 <Taneb> Or at least of illustrating it
14:04:31 <Jafet> Buy KFC instead?
14:04:44 <Taneb> Jafet, my plan is to host a bunch of philosophers
14:04:52 <Taneb> Establishing the conditions of the problem
14:06:33 <Taneb> And then seeing what happens
14:10:46 -!- ProofTechnique has joined.
14:11:29 <mroman> http://codepad.org/4VuqbvyD
14:11:30 <mroman> wuhuu
14:11:38 <mroman> my tcp relaying thing ported to my lisp dialect
14:13:27 -!- Tritonio has joined.
14:41:16 <dulla> ok, Taneb
14:42:57 <elliott> `relcome dulla
14:42:59 <HackEgo> dulla: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
14:43:30 <dulla> neat
14:43:43 <elliott> how'd you get here :p
14:44:19 <dulla> I get that a lot
14:44:59 <dulla> I came from a roughly categorical channel
14:45:31 -!- Tritonio has quit (Remote host closed the connection).
14:45:44 -!- Tritonio has joined.
14:46:48 <elliott> roughly, eh
14:50:11 -!- idris-bot has quit (Quit: Terminated).
14:50:27 -!- idris-bot has joined.
14:51:00 -!- Tritonio has quit (Remote host closed the connection).
14:51:14 <mroman> I can't call a FunPtr, now can I?
14:51:35 -!- Tritonio has joined.
14:52:01 -!- Tritonio has quit (Remote host closed the connection).
14:52:16 -!- Tritonio has joined.
14:53:15 <mroman> @hoogle callFFI
14:53:17 <lambdabot> No results found
14:53:34 <dulla> 5 + 5
14:53:37 <elliott> you use some weird foreign import directive to do it
14:53:41 <elliott> > 5 + 5
14:53:42 <lambdabot> 10
14:53:52 <mroman> Foreign.LibFFI
14:53:53 <mroman> neat
14:54:04 <elliott> that's probably not what you want
14:54:06 <dulla> > sum [1..5]
14:54:08 <lambdabot> 15
14:54:19 <elliott> https://stackoverflow.com/questions/997738/haskell-ffi-calling-funptrs first result for "call funptr haskell"
14:54:33 <elliott> it's pretty odd
14:55:47 <mroman> https://hackage.haskell.org/package/libffi-0.1/docs/Foreign-LibFFI.html
14:55:49 -!- Tritonio_ has joined.
14:55:51 <mroman> ^- this looks nice as well
14:55:59 <mroman> it has callFFI which takes a FunPtr
14:56:31 -!- Tritonio_ has quit (Remote host closed the connection).
14:56:42 -!- Tritonio has quit (Ping timeout: 252 seconds).
14:57:33 <dulla> @hoogle zipper
14:57:33 <lambdabot> package zipper
14:57:33 <lambdabot> package zippers
14:57:33 <lambdabot> package ZipperAG
14:57:44 <dulla> no okeg ;_;
15:03:48 -!- AnotherTest has joined.
15:08:25 -!- GeekDude has joined.
15:16:49 -!- nycs has joined.
15:31:12 -!- SopaXT has joined.
15:34:37 -!- Sprocklem has joined.
15:47:01 -!- Sprocklem has quit (Ping timeout: 256 seconds).
15:53:00 -!- SopaXT has quit (Remote host closed the connection).
15:56:39 -!- SopaXorzTaker has joined.
16:01:14 -!- Froox has joined.
16:01:28 -!- SopaXorzTaker has quit (Ping timeout: 250 seconds).
16:04:59 -!- Frooxius has quit (Ping timeout: 246 seconds).
16:05:57 -!- SopaXorzTaker has joined.
16:11:27 -!- mihow has joined.
16:30:42 -!- TieSchool has changed nick to TieSoul.
16:39:05 -!- Frooxius has joined.
16:39:35 -!- oren has joined.
16:42:26 -!- Froox has quit (Ping timeout: 246 seconds).
16:45:44 <oren> Taneb: 96% nice!
16:46:36 <oren> But why haven't you recieved your results already?
16:47:09 <oren> semesters in <Taneb's country> must be on a different schedule
16:55:12 -!- nycs has quit (Quit: This computer has gone to sleep).
16:58:25 -!- `^_^v has joined.
17:12:44 -!- hjulle has quit (Ping timeout: 245 seconds).
17:14:28 -!- `^_^v has quit (Quit: This computer has gone to sleep).
17:14:47 -!- `^_^v has joined.
17:18:07 -!- bb010g has quit (Quit: Connection closed for inactivity).
17:20:21 -!- oren has quit (Read error: Connection reset by peer).
17:40:47 -!- Lymia has quit (Ping timeout: 265 seconds).
17:46:54 <HackEgo> [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41888&oldid=41800 * 109.243.193.241 * (-17)
17:48:43 -!- Ebola-C has joined.
17:51:41 <Ebola-C> hmm I thought that esoteric means something else.. Wrong defined chan name :(
17:51:45 -!- Ebola-C has left.
18:06:13 -!- nycs has joined.
18:07:08 -!- `^_^v has quit (Ping timeout: 250 seconds).
18:09:34 -!- TieSoul has changed nick to TieStudying.
18:10:17 -!- PinealGlandOptic has joined.
18:10:37 -!- mihow has quit (Quit: mihow).
18:12:58 -!- adu has joined.
18:14:49 -!- SopaXorzTaker has quit (Read error: Connection reset by peer).
18:15:44 -!- SopaXorzTaker has joined.
18:19:20 -!- TieStudying has changed nick to TieProcrastinati.
18:19:25 -!- TieProcrastinati has changed nick to TieProcrastinate.
18:19:55 <int-e> TieProcrastinate: I like the procrastinati variant
18:20:06 <int-e> `quote procrasti
18:20:08 <HackEgo> 1202) <int-e> The people of Procrasti hereby resolve to lodge a formal complaint with Taneb and nortti about their ridicule of Procasti's glorious nation... later.
18:20:13 <TieProcrastinate> heh
18:20:39 -!- PinealGlandOptic has quit (Quit: Lost terminal).
18:20:48 -!- FreeFull has quit (Ping timeout: 246 seconds).
18:22:07 <int-e> TieProcrastinate: have you seen this great essay, http://structuredprocrastination.com/ ?
18:23:50 <TieProcrastinate> oh I do that
18:24:14 <TieProcrastinate> I sometimes go and learn some programming stuff to procrastinate on studying for a test
18:24:27 <TieProcrastinate> because programming is more exciting than school
18:24:29 <TieProcrastinate> :P
18:24:56 -!- FreeFull has joined.
18:31:53 -!- SopaXorzTaker has quit (Remote host closed the connection).
18:32:22 -!- dorei has joined.
18:32:33 <dorei> do you cast spells?
18:36:10 -!- adu has quit (Quit: adu).
18:37:43 -!- shikhin_ has joined.
18:40:49 -!- shikhin has quit (Ping timeout: 244 seconds).
18:54:21 -!- hjulle has joined.
19:02:03 <mroman> everything is more exciting than school
19:04:30 <dorei> I used to count my arm's hair when I was at school xD
19:05:15 <mroman> cool
19:07:34 <dorei> it was more exciting than school
19:09:52 <TieProcrastinate> true mroman
19:10:00 <TieProcrastinate> that's why procrastination is a thing
19:11:13 <TieProcrastinate> I once wrote a pretty cool turn-based RPG on my graph calculator in school
19:11:29 <TieProcrastinate> because programming in TI-BASIC is still more exciting than school
19:11:56 <TieProcrastinate> (even if TI-BASIC sucks)
19:17:53 <mroman> when I'm bored I do stuff like http://mroman.ch/private/100215.html
19:18:15 <mroman> and this time it's actually a sane language
19:18:37 <mroman> next version will have named arguments though
19:19:09 <mroman> instead of foo -> (add $0 $0) foo x -> (add $x $x)
19:19:38 <mroman> or something like that
19:21:06 <mroman> or maybe def foo(x) := (add $x $x)
19:21:51 <mroman> still... most likely foo x -> (add $x $x)
19:23:19 -!- shikhin_ has changed nick to shikhin.
19:24:27 -!- arjanb has joined.
19:25:40 -!- oren has joined.
19:26:30 <oren> So i was wondering if anyone has tried using a neural network to guide a genetic algorithm...
19:29:22 -!- kallisti has joined.
19:32:07 -!- Lymia has joined.
19:53:33 -!- TieProcrastinate has changed nick to TieSoul.
19:54:27 <TieSoul> mroman: I also made a sane language
19:54:37 <TieSoul> though it's a scripting language that can't do a whole lot
19:56:12 <TieSoul> (no file system implemented yet, mostly due to me being too lazy to make a way to make builtin functions and classes that relay actions to the interpreting language)
19:56:35 <TieSoul> (except I special cased println() and print())
19:59:49 <TieSoul> also it's written in Ruby
19:59:57 <TieSoul> which makes it very very very very slow
20:00:11 <TieSoul> especially recursion. Dunno what's up with that to be honest
20:00:34 <TieSoul> it's just very slow, probably due to the way I handle functions
20:02:26 -!- Patashu has joined.
20:03:48 -!- mihow has joined.
20:09:28 -!- heroux has quit (Ping timeout: 252 seconds).
20:10:19 -!- Koen__ has joined.
20:14:20 -!- Tritonio has joined.
20:17:19 -!- Tritonio has quit (Remote host closed the connection).
20:19:58 -!- oren has quit (Ping timeout: 245 seconds).
20:25:05 -!- Patashu has quit (Ping timeout: 250 seconds).
20:31:50 -!- oren has joined.
20:32:42 -!- `^_^ has joined.
20:34:53 -!- nycs has quit (Ping timeout: 246 seconds).
20:39:56 <dulla> mroman
20:40:34 <dulla> > let foo x = (+) x x in foo 3
20:40:36 <lambdabot> 6
20:41:02 <dulla> > let foo x = x + x in foo 3
20:41:03 <lambdabot> 6
20:41:21 <dulla> > putStr "ponos"
20:41:22 <lambdabot> <IO ()>
20:41:25 <dulla> aw
20:46:48 <Koen__> > "ponos"
20:46:49 <lambdabot> "ponos"
20:50:45 -!- AnotherTest has quit (Ping timeout: 256 seconds).
20:54:48 -!- FreeFull has quit (Ping timeout: 246 seconds).
20:56:41 -!- FreeFull has joined.
21:00:06 -!- TieSoul has changed nick to TieSleep.
21:06:02 <dorei> ponos? pain?
21:12:50 -!- ProofTechnique has quit (Ping timeout: 264 seconds).
21:29:27 -!- adu has joined.
21:36:34 -!- heroux has joined.
21:37:05 -!- ais523 has quit.
21:40:19 <kallisti> > let f = 0 : 1 : zipWith (+) f (tail f) in f
21:40:21 <lambdabot> [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,...
21:48:20 <oren> dorei: ponos is a memetic word for "penis" arising from the use of the circle character 〇 to censor part of a word in Japanese.
21:52:28 <oren> also apparently a greek god of toil.
21:57:22 -!- ProofTechnique has joined.
21:59:00 <dorei> aw, i see
22:09:53 -!- adu has quit (Quit: adu).
22:14:07 -!- zzo38 has joined.
22:19:04 -!- Phantom_Hoover has joined.
22:21:09 <b_jonas> this is the first time I see the word "fivegon" meaning pentagon
22:22:22 <dorei> fiveangle :p
22:26:48 -!- oerjan has joined.
22:28:43 -!- ProofTechnique has quit (Ping timeout: 245 seconds).
22:32:29 -!- hjulle has quit (Ping timeout: 250 seconds).
22:33:53 -!- olsner has quit (Ping timeout: 256 seconds).
22:34:51 -!- olsner has joined.
22:38:43 -!- GeekDude has changed nick to GeekDudesBot.
22:38:54 -!- GeekDudesBot has quit (Changing host).
22:38:55 -!- GeekDudesBot has joined.
22:42:30 -!- Astrologos_ has joined.
22:43:07 -!- GeekDudesBot has changed nick to GeekDude.
22:43:09 -!- GeekDude has quit (Changing host).
22:43:09 -!- GeekDude has joined.
22:45:22 -!- dorei has quit (Ping timeout: 240 seconds).
22:45:26 -!- Astrologos_ has quit (Client Quit).
22:45:47 -!- dorei has joined.
22:48:08 -!- Tritonio has joined.
22:49:10 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?").
22:50:37 <b_jonas> lol
22:50:52 <b_jonas> http://math.ucr.edu/home/baez/octonions/integers/integers_6.html "So, there's not as much arbitrary baloney to remember as you might think! Anyone can remember how to multiply octonions, and I'm surprised they're not taught in elementary school right after category theory."
22:51:02 <b_jonas> (John Baez's writeup)
22:55:08 -!- adu has joined.
23:06:38 -!- Lymia has quit (Ping timeout: 245 seconds).
23:06:52 <Jafet> Speaking of elementary school
23:06:54 <Jafet> "it doesn't matter whether all your little arrows go counterclockwise or clockwise, as long as your consistent."
23:10:39 -!- Lymia has joined.
23:34:28 -!- `^_^ has quit (Quit: This computer has gone to sleep).
23:43:00 -!- dorei has quit.
23:46:49 -!- Lymee has joined.
23:47:27 -!- Lymia has quit (Read error: Connection reset by peer).
23:47:33 -!- Lymee has changed nick to Lymia.
←2015-02-09 2015-02-10 2015-02-11→ ↑2015 ↑all