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 stephen hawking :( 04:08:54 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 hi 08:33:24 I'm looking for a modified version of brainfuck with more compact code and easier to program, anyone has suggestions? 08:34:46 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 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 i do enjoy not working at some haskell company 09:55:32 izabera: do you get to be the only person writing Haskell? 09:55:40 i write zero haskell 09:55:48 lots of asm tho 09:55:57 Probably the way to go 09:56:10 yay with mutable state 09:59:21 do they use haskell for performance or to get a more reliable business logic or something? 10:00:00 darkmoon, it turns out it's not bad for writing compilers, and it's also not bad for generating HDL 10:00:09 also, types 10:00:18 Seeing as we write compilers and generate HDL, it's not a bad language to use 10:00:31 Types are good, we use them a lot 10:02:03 is it really necessary to use haskell to generate HDL instead of just using an HDL language? 10:03:02 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 darkmoon: we use http://www.clash-lang.org/ 10:04:10 Esentially using Haskell as a HDL language 10:04:14 ah ok. it does look very concise 10:04:18 (hardware description language language) 10:05:09 Haneb 10:05:16 I'm writing C right now, for no particular reason. 10:05:31 Is it because there's a certain deadline tomorrow? 10:05:56 A deadline that I'm not going to meet because I never quite got around to starting? 10:06:09 acronyms with included nouns inevitably become ATM machines :P 10:34:59 -!- boily has joined. 10:45:31 fungot: nostril. 10:45:31 boily: and i think sicp or something. ;p fnord/ fnord/ fnord/ fnord/ perpet.c 10:45:40 fungot: fnord fnord fnord fnord fnord fnord. 10:45:41 boily: ( xerox: btw, ty), 10:51:58 -!- erkin has joined. 10:54:17 boily: nostril. 10:54:28 boily: fnord fnord fnord fnord fnord fnord. 10:54:33 :p 10:54:41 -!- erkin has quit (Client Quit). 10:54:44 fungot: why can't I build with debug symbols 10:54:44 Taneb: gambit will not have that 10:54:58 :( 10:55:03 Taneb, is -g1 not working? 10:55:20 assuming C/C++ 10:56:16 moony: it doesn't seem like it 10:56:27 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 Taneb, what *nix variant? Actual UNIX or Linux 10:57:51 moony: nix as in the build system thingy from NixOS 10:57:58 oh 10:58:09 no idea, i don't use NixOS ¯\_(ツ)_/¯ 10:58:15 (although I'm using it on top of Ubuntu) 10:58:45 mhelloony. my nostrils are of the finest quality. 10:59:34 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 (\(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 Mainly because the suggestion of using an irrefutable pattern is just awful. 19:47:50 (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 The thing i'm stuck on with Haskell is list comprehensions. They just confuse me for whatever reason 20:11:00 [[Special:Log/newusers]] create * Bugmenot * New user account 20:11:15 :O new user 20:12:53 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 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=54331&oldid=54325 * Bugmenot * (+145) /* Introductions */ 20:14:52 shachaf: it's a lambda followed by the -> part of a view pattern 20:16:06 so somehow, -> is kind of left-associative in that context (never mind that semantically those are two different arrows) 20:16:57 Wouldn't you need more parentheses for that? 20:17:18 If you mean something like foo ((\(Left xs) -> (# xs #)) -> (# xs #)) = ... 20:18:14 whoa, you don't 20:18:20 shachaf: well it turns out you don't 20:18:41 and since it is already ugly without the parentheses, I felt spiteful enough to leave them out 20:18:52 .... s/without/with/ 20:19:02 I must say I find this syntax mildly offensive. 20:20:26 it is a true beauty 20:21:15 [[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 Sgeo: Prismata seems to have a campaign now. 22:32:39 Though it seems pretty annoying. 22:33:07 shachaf, ooh, I'll have to check it out 22:33:11 Annoying howso? 22:34:22 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 [[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 [[User:DMC]] M https://esolangs.org/w/index.php?diff=54334&oldid=54314 * DMC * (+5) 22:49:45 [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54335&oldid=54333 * DMC * (+1) /* External resources */ 22:50:54 [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54336&oldid=54335 * DMC * (+1) /* External resources */ 22:51:26 [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54337&oldid=54336 * DMC * (-1) /* External resources */ 22:52:46 [[Language list]] https://esolangs.org/w/index.php?diff=54338&oldid=54308 * DMC * (+20) /* A */ 22:53:56 -!- augur_ has joined. 22:54:48 [[Alphabet Stew]] M https://esolangs.org/w/index.php?diff=54339&oldid=54337 * DMC * (+56) 22:56:45 [[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 [[User:DMC]] M https://esolangs.org/w/index.php?diff=54341&oldid=54334 * DMC * (-44) 23:02:18 -!- LKoen has joined. 23:04:03 hmm, is a Minsky machine with one counter a PDA? I guess not, it's a bit less powerful than that? 23:04:26 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 whereas a PDA can handle both those cases 23:04:57 yeah 23:05:02 it's just a 1-symbolb PDA 23:05:06 *symbol 23:05:46 . o O ( "I don't remember anything except that I've been here for a long, long time." :-P ) 23:14:39 alercah: I meant universal PDA 23:15:32 -!- Sgeo_ has joined. 23:15:38 (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 > let f = (+1); hmm (\(f -> f) -> f -> f) = f^f in hmm 4 23:16:56 3125 23:17:23 int-e: Suspicious. 23:17:52 ais523: right but I mean a PDA is just a FSA with a stack 23:17:52 what does ^ do on functions? 23:18:01 f is an integer in that case. 23:18:12 so a 1-stack minsky machine is a special case of a PDA (modulo your comment aboutempty stacks) 23:18:16 But I figured ^ fit in with the -> theme. 23:18:18 -!- Sgeo has quit (Ping timeout: 246 seconds). 23:18:27 shachaf: and 4 is a function? 23:18:37 No, 4 is also an integer. 23:18:52 or, well, that's quite a confusing computation 23:19:29 I don't see how 4 matches (\(f -> f) -> f -> f) 23:20:36 I don't see how lambdas are accepted in patterns 23:21:08 Is there anything in between one counter and two counters? 23:21:59 I mean, something natural expressed in terms of counters or something similar. 23:22:28 shachaf: one stack is intermediate in power between the two 23:22:39 you can emulate a counter with a stack and a stack with two counters 23:22:45 but then, you can emulate just about anything with two counters 23:22:49 But you can -- right. 23:26:06 shachaf: that took me too long to figure out and it proves they definitely chose the wrong syntax. 23:26:28 oerjan: blint-e hth 23:26:28 oerjan: what is it? 23:26:51 alercah: view patterns 23:27:30 -!- Sgeo__ has joined. 23:27:32 alercah: View patterns have the pattern syntax "f (g -> x) = ..." meaning "f y = case g y of x -> ..." 23:27:38 ahhh 23:27:50 god that's horrid 23:27:50 And g can be a lambda, which apparently doesn't need parentheses. 23:30:03 > f ((+1) -> (+1) -> x) = x in f 0 23:30:07 :1:23: error: 23:30:07 parse error on input ‘=’ 23:30:07 Perhaps you need a 'let' in a 'do' block? 23:30:12 oops 23:30:17 > let f ((+1) -> (+1) -> x) = x in f 0 23:30:20 2 23:30:43 Oh man. 23:30:54 > let f ((+1) -> (+1) -> x) = x in f 1 23:30:55 That should've been obvious but I didn't think about it. 23:30:57 3 23:31:05 wait, I expected to get a match failure there 23:31:21 > let f ((1:) -> (2:) -> result) = result in f [] 23:31:24 [2,1] 23:31:29 This is great! It's like a pipeline of operations. 23:31:34 -!- Sgeo_ has quit (Ping timeout: 260 seconds). 23:31:36 ooh, is it a /nested/ view pattern? 23:31:48 Yes, the thing on the right side of the -> is another pattern. 23:32:00 And this arrow, unlike the one int-e used, is right-associative. 23:32:41 that's not obeying normal associativity rules at all 23:33:08 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 whereas this is doing the equivalent of prepending 1 to the argument, then 2 to the argument 23:33:28 -> used with types is definitely right associative, and rightly so. 23:33:59 so it's evaluating from outside to inside 23:34:18 foo (f -> g -> x) = ... is the same as foo (f -> (g -> x)) = ..., so I'd call itt right-associative 23:34:47 hmm, so it's right-associative but inside-out 23:35:06 data from the outside, return value on the inside 23:46:42 -!- augur_ has quit (Remote host closed the connection). 23:51:01 moony: hey and g'day hth 23:51:23 o/ 23:56:12 -!- LKoen has quit (Remote host closed the connection). 23:57:11 -!- augur has joined.