←2018-03-13 2018-03-14 2018-03-15→ ↑2018 ↑all
00:10:54 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:32:41 -!- aloril has quit (Ping timeout: 256 seconds).
00:34:28 -!- aloril has joined.
00:55:34 -!- sleffy has quit (Ping timeout: 264 seconds).
01:24:23 -!- tromp has quit (Remote host closed the connection).
01:27:21 -!- augur has quit (Remote host closed the connection).
01:28:23 -!- LKoen has joined.
01:32:48 -!- LKoen has quit (Ping timeout: 246 seconds).
01:40:03 -!- tromp has joined.
01:41:36 -!- augur has joined.
01:44:21 -!- moonythedwarf has quit (Ping timeout: 246 seconds).
01:44:35 -!- tromp has quit (Ping timeout: 240 seconds).
01:45:57 -!- augur has quit (Ping timeout: 264 seconds).
01:48:11 -!- sleffy has joined.
02:03:32 -!- augur has joined.
02:04:13 -!- doesthiswork has joined.
02:04:35 -!- augur has quit (Remote host closed the connection).
02:09:12 -!- tromp has joined.
02:13:27 -!- tromp has quit (Ping timeout: 240 seconds).
02:41:20 -!- moonythedwarf has joined.
02:58:26 -!- Guest72558 has joined.
02:59:04 -!- Guest72558 has quit (Remote host closed the connection).
03:13:48 -!- moony__ has joined.
03:14:30 -!- moonythedwarf has quit (Read error: Connection reset by peer).
03:19:34 -!- moony__ has quit (Ping timeout: 264 seconds).
03:26:01 -!- augur has joined.
03:34:55 -!- augur has quit (Remote host closed the connection).
03:36:36 -!- augur has joined.
03:38:59 -!- variable has quit (Quit: /dev/null is full).
04:01:29 <alercah> stephen hawking :(
04:08:54 <doesthiswork> He might keep releasing rap songs posthumously like Tupac
04:13:57 -!- lambdabot has quit (Remote host closed the connection).
04:18:21 -!- lambdabot has joined.
04:43:06 -!- qaexhk has joined.
04:43:49 -!- augur has quit (Remote host closed the connection).
04:45:03 -!- qaexhk has quit (K-Lined).
05:17:46 -!- doesthiswork has quit (Ping timeout: 264 seconds).
05:35:19 -!- sprocklem has joined.
05:41:56 -!- izabera has quit (Changing host).
05:41:57 -!- izabera has joined.
05:46:59 -!- sleffy has quit (Ping timeout: 260 seconds).
05:55:29 -!- tromp has joined.
05:57:03 -!- xkapastel has quit (Quit: Connection closed for inactivity).
06:00:21 -!- tromp has quit (Ping timeout: 264 seconds).
06:15:00 -!- variable has joined.
06:45:22 -!- zzo38 has quit (Ping timeout: 248 seconds).
06:49:00 -!- tromp has joined.
06:53:21 -!- tromp has quit (Ping timeout: 248 seconds).
06:55:54 -!- augur has joined.
06:56:22 -!- moonythedwarf has joined.
07:15:44 -!- LKoen has joined.
07:17:05 -!- fractal- has quit (Ping timeout: 276 seconds).
07:21:57 -!- tromp has joined.
07:26:45 -!- tromp has quit (Ping timeout: 264 seconds).
07:30:21 -!- tromp has joined.
07:33:30 -!- LKoen has quit (Remote host closed the connection).
07:46:10 -!- moei has quit (Quit: Leaving...).
08:08:46 -!- moonythedwarf has quit (Ping timeout: 264 seconds).
08:22:24 -!- augur has quit (Remote host closed the connection).
08:23:26 -!- augur has joined.
08:25:22 -!- augur has quit (Remote host closed the connection).
08:30:55 -!- darkmoon has joined.
08:32:39 <darkmoon> hi
08:33:24 <darkmoon> I'm looking for a modified version of brainfuck with more compact code and easier to program, anyone has suggestions?
08:34:46 <izabera> perl
08:39:27 -!- augur has joined.
08:44:10 -!- augur has quit (Ping timeout: 264 seconds).
08:51:31 -!- moei has joined.
08:53:21 -!- fractal has joined.
09:04:39 -!- ineiros has joined.
09:07:10 -!- augur has joined.
09:13:50 -!- augur has quit (Remote host closed the connection).
09:14:35 -!- uplime has quit (Quit: So long and thanks for all the fish!).
09:18:04 -!- AnotherTest has joined.
09:20:34 -!- imode has quit (Ping timeout: 268 seconds).
09:29:30 -!- nchambers has joined.
09:54:30 <Taneb> I do enjoy being the only person at this Haskell company who was willing to write the one thing we needed in C/C++
09:55:18 <izabera> i do enjoy not working at some haskell company
09:55:32 <Taneb> izabera: do you get to be the only person writing Haskell?
09:55:40 <izabera> i write zero haskell
09:55:48 <izabera> lots of asm tho
09:55:57 <Taneb> Probably the way to go
09:56:10 <izabera> yay with mutable state
09:59:21 <darkmoon> do they use haskell for performance or to get a more reliable business logic or something?
10:00:00 <Taneb> darkmoon, it turns out it's not bad for writing compilers, and it's also not bad for generating HDL
10:00:09 <int-e> also, types
10:00:18 <Taneb> Seeing as we write compilers and generate HDL, it's not a bad language to use
10:00:31 <Taneb> Types are good, we use them a lot
10:02:03 <darkmoon> is it really necessary to use haskell to generate HDL instead of just using an HDL language?
10:03:02 <Taneb> darkmoon: HDL languages aren't very fun to use, we all know Haskell because we use it everywhere else, and it makes it easier to write more general code
10:03:17 <Taneb> darkmoon: we use http://www.clash-lang.org/
10:04:10 <Taneb> Esentially using Haskell as a HDL language
10:04:14 <darkmoon> ah ok. it does look very concise
10:04:18 <Taneb> (hardware description language language)
10:05:09 <shachaf> Haneb
10:05:16 <shachaf> I'm writing C right now, for no particular reason.
10:05:31 <Taneb> Is it because there's a certain deadline tomorrow?
10:05:56 <Taneb> A deadline that I'm not going to meet because I never quite got around to starting?
10:06:09 <darkmoon> acronyms with included nouns inevitably become ATM machines :P
10:34:59 -!- boily has joined.
10:45:31 <boily> fungot: nostril.
10:45:31 <fungot> boily: and i think sicp or something. ;p fnord/ fnord/ fnord/ fnord/ perpet.c
10:45:40 <boily> fungot: fnord fnord fnord fnord fnord fnord.
10:45:41 <fungot> boily: ( xerox: btw, ty),
10:51:58 -!- erkin has joined.
10:54:17 <moony> boily: nostril.
10:54:28 <moony> boily: fnord fnord fnord fnord fnord fnord.
10:54:33 <moony> :p
10:54:41 -!- erkin has quit (Client Quit).
10:54:44 <Taneb> fungot: why can't I build with debug symbols
10:54:44 <fungot> Taneb: gambit will not have that
10:54:58 <Taneb> :(
10:55:03 <moony> Taneb, is -g1 not working?
10:55:20 <moony> assuming C/C++
10:56:16 <Taneb> moony: it doesn't seem like it
10:56:27 <Taneb> I'm worried that it's something to do with using nix here
10:56:44 -!- erkin has joined.
10:56:48 -!- erkin has quit (Remote host closed the connection).
10:57:19 <moony> Taneb, what *nix variant? Actual UNIX or Linux
10:57:51 <Taneb> moony: nix as in the build system thingy from NixOS
10:57:58 <moony> oh
10:58:09 <moony> no idea, i don't use NixOS ¯\_(ツ)_/¯
10:58:15 <Taneb> (although I'm using it on top of Ubuntu)
10:58:45 <boily> mhelloony. my nostrils are of the finest quality.
10:59:34 <moony> bonjorhellohiholay! (I still need to find a word for hello that has a y in it)
11:02:16 -!- erkin has joined.
11:11:00 -!- darkmoon has quit (Ping timeout: 246 seconds).
11:11:48 -!- darkmoon has joined.
11:16:56 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
11:23:59 -!- boily has quit (Quit: UNDEAD CHICKEN).
11:28:57 -!- erkin has joined.
11:34:47 -!- LKoen has joined.
11:39:00 -!- LKoen has quit (Ping timeout: 246 seconds).
12:30:51 -!- AnotherTest has quit (Ping timeout: 256 seconds).
12:43:20 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
12:44:49 -!- AnotherTest has joined.
12:48:39 -!- doesthiswork has joined.
14:05:06 -!- doesthiswork has quit (Quit: Leaving.).
14:57:05 -!- AnotherTest has quit (Ping timeout: 248 seconds).
15:03:13 -!- Naergon has joined.
15:15:25 -!- AnotherTest has joined.
15:22:36 -!- tromp has quit (Remote host closed the connection).
15:23:10 -!- tromp has joined.
15:27:33 -!- tromp has quit (Ping timeout: 246 seconds).
15:37:46 -!- sleffy has joined.
15:49:23 -!- xkapastel has joined.
15:57:38 -!- Sgeo_ has joined.
16:00:21 -!- Sgeo__ has quit (Ping timeout: 264 seconds).
16:07:11 -!- tromp has joined.
16:11:27 -!- tromp has quit (Ping timeout: 240 seconds).
16:15:38 -!- LKoen has joined.
16:19:05 -!- sleffy has quit (Ping timeout: 240 seconds).
16:34:54 -!- tromp has joined.
16:54:02 -!- augur has joined.
17:06:19 -!- imode has joined.
17:18:30 -!- sprocklem has quit (Ping timeout: 246 seconds).
17:51:34 -!- sprocklem has joined.
17:56:10 -!- xkapastel has quit (Quit: .).
17:57:43 -!- xkapastel has joined.
18:09:02 -!- tromp has quit (Remote host closed the connection).
18:23:32 -!- Phantom_Hoover has joined.
18:23:32 -!- Phantom_Hoover has quit (Changing host).
18:23:32 -!- Phantom_Hoover has joined.
18:23:36 -!- sprocklem has quit (Ping timeout: 246 seconds).
18:29:05 -!- tromp has joined.
18:30:27 -!- erkin has joined.
18:41:04 -!- ais523 has joined.
18:41:09 -!- Naergon has quit (Ping timeout: 264 seconds).
18:44:07 -!- sprocklem has joined.
18:46:06 -!- MDude has quit (Ping timeout: 256 seconds).
19:00:32 -!- Naergon has joined.
19:05:12 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
19:05:33 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
19:06:18 -!- erkin has joined.
19:06:37 -!- contrapumpkin has joined.
19:16:13 -!- LKoen has quit (Remote host closed the connection).
19:16:45 -!- LKoen has joined.
19:18:46 -!- LKoen has quit (Remote host closed the connection).
19:24:59 -!- darkmoon has quit (Quit: Leaving).
19:39:16 -!- ais523 has quit (Remote host closed the connection).
19:40:28 -!- ais523 has joined.
19:43:31 <int-e> (\(Left xs) -> (# xs #) -> (# xs #)) -- the nice thing about Haskell is that it's so readable. (This is a pattern that I'm thinking about in the context of https://prime.haskell.org/wiki/Libraries/Proposals/MonadFail#Adaptingoldcode )
19:44:38 <int-e> Mainly because the suggestion of using an irrefutable pattern is just awful.
19:47:50 <int-e> (What I want is an "unfailing" pattern in the MonadFail proposal sense that behaves like `Left xs` in a normal context.)
19:54:59 -!- idris-bot has joined.
20:05:52 <moony> The thing i'm stuck on with Haskell is list comprehensions. They just confuse me for whatever reason
20:11:00 <esowiki> [[Special:Log/newusers]] create * Bugmenot * New user account
20:11:15 <moony> :O new user
20:12:53 <shachaf> int-e: I'm not quite sure how to parse that.
20:13:22 -!- variable has quit (Quit: Found 1 in /dev/zero).
20:14:28 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=54331&oldid=54325 * Bugmenot * (+145) /* Introductions */
20:14:52 <int-e> shachaf: it's a lambda followed by the -> part of a view pattern
20:16:06 <int-e> so somehow, -> is kind of left-associative in that context (never mind that semantically those are two different arrows)
20:16:57 <shachaf> Wouldn't you need more parentheses for that?
20:17:18 <shachaf> If you mean something like foo ((\(Left xs) -> (# xs #)) -> (# xs #)) = ...
20:18:14 <shachaf> whoa, you don't
20:18:20 <int-e> shachaf: well it turns out you don't
20:18:41 <int-e> and since it is already ugly without the parentheses, I felt spiteful enough to leave them out
20:18:52 <int-e> .... s/without/with/
20:19:02 <shachaf> I must say I find this syntax mildly offensive.
20:20:26 <int-e> it is a true beauty
20:21:15 <esowiki> [[Thue]] https://esolangs.org/w/index.php?diff=54332&oldid=51222 * Bugmenot * (+67) /* External resources */ Linking working interpreter
20:28:32 -!- zsoc has left ("Leaving").
20:28:50 -!- mangoicedtea has joined.
20:30:18 -!- sprocklem has quit (Ping timeout: 246 seconds).
20:54:10 -!- sleffy has joined.
21:02:42 -!- mangoicedtea has quit (Ping timeout: 245 seconds).
21:14:02 -!- HereToAnnoy has joined.
21:15:22 -!- HereToAnnoy has quit (Client Quit).
21:31:03 -!- Sgeo_ has quit (Read error: Connection reset by peer).
21:43:06 <\oren\_> WALp GizNep
22:06:14 -!- oerjan has joined.
22:07:48 -!- sprocklem has joined.
22:09:58 -!- Sgeo has joined.
22:10:38 -!- moony has changed nick to [y3smad].
22:11:28 -!- [y3smad] has changed nick to moony.
22:13:35 -!- sleffy has quit (Ping timeout: 240 seconds).
22:14:48 -!- augur_ has joined.
22:17:14 -!- augur has quit (Ping timeout: 276 seconds).
22:27:16 -!- sleffy has joined.
22:31:57 -!- augur has joined.
22:32:32 <shachaf> Sgeo: Prismata seems to have a campaign now.
22:32:39 <shachaf> Though it seems pretty annoying.
22:33:07 <Sgeo> shachaf, ooh, I'll have to check it out
22:33:11 <Sgeo> Annoying howso?
22:34:22 <shachaf> I shouldn't bias you.
22:34:47 -!- augur_ has quit (Ping timeout: 276 seconds).
22:39:34 -!- laerling has joined.
22:43:35 -!- laerling has quit (Client Quit).
22:48:09 <esowiki> [[Alphabet Stew]] N https://esolangs.org/w/index.php?oldid=54333 * DMC * (+2082) Created page with "'''Alphabet Stew''' ==Concept== * A stack based esoteric programming language with exactly 26 commands * Each command is represented by a single character [a - z] * Numbers [..."
22:49:23 <esowiki> [[User:DMC]] M https://esolangs.org/w/index.php?diff=54334&oldid=54314 * DMC * (+5)
22:49:45 <esowiki> [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54335&oldid=54333 * DMC * (+1) /* External resources */
22:50:54 <esowiki> [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54336&oldid=54335 * DMC * (+1) /* External resources */
22:51:26 <esowiki> [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54337&oldid=54336 * DMC * (-1) /* External resources */
22:52:46 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=54338&oldid=54308 * DMC * (+20) /* A */
22:53:56 -!- augur_ has joined.
22:54:48 <esowiki> [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54339&oldid=54337 * DMC * (+56)
22:56:45 <esowiki> [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54340&oldid=54339 * DMC * (+3)
22:56:53 -!- augur has quit (Ping timeout: 276 seconds).
22:57:51 <esowiki> [[User:DMC]] M https://esolangs.org/w/index.php?diff=54341&oldid=54334 * DMC * (-44)
23:02:18 -!- LKoen has joined.
23:04:03 <ais523> hmm, is a Minsky machine with one counter a PDA? I guess not, it's a bit less powerful than that?
23:04:26 <ais523> like, it can match brackets if there's only one sort of bracket, but I can't see a way to match brackets if there are two of them
23:04:35 <ais523> whereas a PDA can handle both those cases
23:04:57 <alercah> yeah
23:05:02 <alercah> it's just a 1-symbolb PDA
23:05:06 <alercah> *symbol
23:05:46 <int-e> . o O ( "I don't remember anything except that I've been here for a long, long time." :-P )
23:14:39 <ais523> alercah: I meant universal PDA
23:15:32 -!- Sgeo_ has joined.
23:15:38 <ais523> (also, the formalization of PDAs given on Wikipedia works StackFlow-style, i.e. you must never let the stack become empty, in which case having only one symbol would be entirely useless)
23:16:53 <shachaf> > let f = (+1); hmm (\(f -> f) -> f -> f) = f^f in hmm 4
23:16:56 <lambdabot> 3125
23:17:23 <shachaf> int-e: Suspicious.
23:17:52 <alercah> ais523: right but I mean a PDA is just a FSA with a stack
23:17:52 <ais523> what does ^ do on functions?
23:18:01 <shachaf> f is an integer in that case.
23:18:12 <alercah> so a 1-stack minsky machine is a special case of a PDA (modulo your comment aboutempty stacks)
23:18:16 <shachaf> But I figured ^ fit in with the -> theme.
23:18:18 -!- Sgeo has quit (Ping timeout: 246 seconds).
23:18:27 <ais523> shachaf: and 4 is a function?
23:18:37 <shachaf> No, 4 is also an integer.
23:18:52 <ais523> or, well, that's quite a confusing computation
23:19:29 <ais523> I don't see how 4 matches (\(f -> f) -> f -> f)
23:20:36 <alercah> I don't see how lambdas are accepted in patterns
23:21:08 <shachaf> Is there anything in between one counter and two counters?
23:21:59 <shachaf> I mean, something natural expressed in terms of counters or something similar.
23:22:28 <ais523> shachaf: one stack is intermediate in power between the two
23:22:39 <ais523> you can emulate a counter with a stack and a stack with two counters
23:22:45 <ais523> but then, you can emulate just about anything with two counters
23:22:49 <shachaf> But you can -- right.
23:26:06 <oerjan> shachaf: that took me too long to figure out and it proves they definitely chose the wrong syntax.
23:26:28 <shachaf> oerjan: blint-e hth
23:26:28 <alercah> oerjan: what is it?
23:26:51 <oerjan> alercah: view patterns
23:27:30 -!- Sgeo__ has joined.
23:27:32 <shachaf> alercah: View patterns have the pattern syntax "f (g -> x) = ..." meaning "f y = case g y of x -> ..."
23:27:38 <alercah> ahhh
23:27:50 <alercah> god that's horrid
23:27:50 <shachaf> And g can be a lambda, which apparently doesn't need parentheses.
23:30:03 <oerjan> > f ((+1) -> (+1) -> x) = x in f 0
23:30:07 <lambdabot> <hint>:1:23: error:
23:30:07 <lambdabot> parse error on input ‘=’
23:30:07 <lambdabot> Perhaps you need a 'let' in a 'do' block?
23:30:12 <oerjan> oops
23:30:17 <oerjan> > let f ((+1) -> (+1) -> x) = x in f 0
23:30:20 <lambdabot> 2
23:30:43 <shachaf> Oh man.
23:30:54 <ais523> > let f ((+1) -> (+1) -> x) = x in f 1
23:30:55 <shachaf> That should've been obvious but I didn't think about it.
23:30:57 <lambdabot> 3
23:31:05 <ais523> wait, I expected to get a match failure there
23:31:21 <shachaf> > let f ((1:) -> (2:) -> result) = result in f []
23:31:24 <lambdabot> [2,1]
23:31:29 <shachaf> This is great! It's like a pipeline of operations.
23:31:34 -!- Sgeo_ has quit (Ping timeout: 260 seconds).
23:31:36 <ais523> ooh, is it a /nested/ view pattern?
23:31:48 <shachaf> Yes, the thing on the right side of the -> is another pattern.
23:32:00 <shachaf> And this arrow, unlike the one int-e used, is right-associative.
23:32:41 <ais523> that's not obeying normal associativity rules at all
23:33:08 <ais523> to take one of the few right-associative operators in common use, a = b = c assigns c to b, then the result of the assignment to a
23:33:27 <ais523> whereas this is doing the equivalent of prepending 1 to the argument, then 2 to the argument
23:33:28 <oerjan> -> used with types is definitely right associative, and rightly so.
23:33:59 <ais523> so it's evaluating from outside to inside
23:34:18 <shachaf> foo (f -> g -> x) = ... is the same as foo (f -> (g -> x)) = ..., so I'd call itt right-associative
23:34:47 <ais523> hmm, so it's right-associative but inside-out
23:35:06 <ais523> data from the outside, return value on the inside
23:46:42 -!- augur_ has quit (Remote host closed the connection).
23:51:01 <oerjan> moony: hey and g'day hth
23:51:23 <moony> o/
23:56:12 -!- LKoen has quit (Remote host closed the connection).
23:57:11 -!- augur has joined.
←2018-03-13 2018-03-14 2018-03-15→ ↑2018 ↑all