00:43:20 -!- sleepnap has left. 01:03:28 -!- xkapastel has quit (Quit: Connection closed for inactivity). 01:51:07 -!- arseniiv has quit (Ping timeout: 246 seconds). 02:43:14 * imode thinks.. 02:43:45 (a rare occurrence.) 03:02:34 if your queue automata have states formatted like this: (state, symbol) -> (new state, [enqueue symbol/dequeue]) 03:03:08 without 'keep', you have to add new symbols to your alphabet or new states in order to encode 'keep'. 03:04:12 because you can enqueue a throwaway symbol, swap to a state that seeks to that throwaway symbol, dequeue it and swap to a new state after the desired 'keep' operation. 03:06:21 states for your queue automata still have to be a 5-tuple, too. 03:08:03 (state, symbol, new state, new symbol, enqueue/dequeue). 03:12:36 unless you encode them as seperate instructions... (state, symbol, new state, [enqueue 0/enqueue 1/dequeue]) 03:12:55 that's pretty standard. 03:13:44 how does the automaton find out the result from dequeue 03:13:52 so you'd have (state, symbol, new state, [enqueue 0/enqueue 1/enqueue blank/dequeue]). 03:13:56 hm? 03:14:23 is it the 'new symbol' field 03:14:39 dequeue just throws away the top item in the queue. you already know what the item is because in order to execute the dequeue, you have to look at the top of the queue and your current state. 03:14:49 oh 03:14:57 right 03:16:56 encoding a 'no-op' wouldn't be too terrible either. just roll the queue until you recognize the sequence, enqueue a blank, then seek to the blank, dequeue, and you're back where you were in a new state. 03:17:07 * imode thinks... 03:22:59 -!- FreeFull has quit. 03:25:17 https://ptpb.pw/ON3X/text something like this. 03:26:09 whup, line 11 is wrong. that first lone `1` should be replaced with a B. 04:20:08 * imode thinks... 04:24:07 I'm still pre-occupied with the idea of the most aesthetically pleasing model of computation. I've been oscillating between queue automata and stock turing machines. 04:25:08 both are essentially labeled transition systems with finite states. 04:25:24 and thus can be composed and stitched together fairly easily. 05:15:51 [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=59708&oldid=58023 * A * (+13) Simplified my implementation 07:54:06 [[Special:Log/upload]] overwrite * Sifoobar * uploaded a new version of "[[File:Snigl logo.png]]" 07:54:55 [[Snigl]] https://esolangs.org/w/index.php?diff=59710&oldid=58475 * Sifoobar * (-48) 09:09:32 -!- imode has quit (Ping timeout: 246 seconds). 09:57:12 oh dear. i am reading a flight booking confirmation and stumble across this diamond: "Special Services: OXYGEN" 09:58:12 myname: as much as possible I like to make sure when I fly I have oxygen 09:59:09 there also is "AIRLINE SUPPLIED OXYGEN - pending" 10:28:13 -!- AnotherTest has joined. 11:05:29 -!- pikhq_ has quit (Ping timeout: 245 seconds). 11:05:39 -!- pikhq has joined. 11:39:07 -!- arseniiv has joined. 11:46:47 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 11:49:36 -!- Lord_of_Life has joined. 12:06:14 "Recommend extensions as you browse"... WTF, Firefox? 12:06:58 This is getting too close to "display relevant ads as you browse". 12:13:01 -!- sebbu2 has joined. 12:16:13 i hate it when software tries to become too smart 12:16:14 -!- sebbu has quit (Ping timeout: 250 seconds). 12:16:50 like, MUAs tend to scan your mails for mentions of attachments and warns you if you don't have any 12:22:46 i used to like that, but then i got to work on debuggers, and warning for 'attach' became much less useful 12:25:14 i hate that almost as much as i hate messengers that make sent code unreadable by automatically converting text into emojis 12:25:43 I've been saved by the attachment feature often enough that I don't particularly mind it. 12:25:56 But it is a borderline case. 12:27:29 you could just re-send it if it really matters 12:27:47 One thing in favor of this feature is that it's not really smart (it's just looking for a fixed set of keywords) and it's not trying to get me to download or buy anything. 12:28:52 that particular symptom is not that bad, yeah, but somehow it ended up being my goto example 12:29:36 i also hate spell checkers 12:29:48 stupid pieces of shit 12:30:11 Maybe more fundamentally, I don't have the impression that it's trying to make decisions on my behalf. This is in stark contrast to... suggesting extensions... ads... search suggestions... etc. 12:57:22 -!- Essadon has joined. 12:57:38 -!- Essadon has quit (Max SendQ exceeded). 13:43:56 -!- LKoen has joined. 13:54:53 [[Analogia]] N https://esolangs.org/w/index.php?oldid=59711 * Ais523 non-admin * (+4983) about time I defined this and put it onto the wiki 13:55:11 [[User:Ais523]] https://esolangs.org/w/index.php?diff=59712&oldid=59359 * Ais523 non-admin * (+14) +[[Analogia]] 13:55:28 [[Language list]] https://esolangs.org/w/index.php?diff=59713&oldid=59525 * Ais523 non-admin * (+15) /* A */ +[[Analogia]] 14:16:07 -!- oerjan has joined. 14:23:10 [[David Madore]] https://esolangs.org/w/index.php?diff=59714&oldid=57645 * B jonas * (+120) 14:52:49 I hate how Slack isn't plaintext 14:53:39 a messenging system designed for real work shouldn't require ``` ``` around code 14:55:15 I've tried discord, slack, and hipchat, and all of them are inferior to IRC 15:01:04 i thought about writing an irssi-like libpurple client to better work with slack 15:05:47 like, i need some meta-tabs, man 15:06:23 i'd love to use slack more often, but i absolutely cannot let it flood me with like a dozen channels per group 15:08:13 or even, why not have a toggle switch between "send this message plaintext" and "replace :pizza: with a picture of the ninja turtles or some shit" 15:10:38 i am more okay with that way of replacing than the way msn/icq/skype/whatever other bastards do that 15:11:31 like, you cannot write i<8 without having an ice cream cone on the receiving end which might yield to something completely different than <8 if he copy&pastes it 15:11:50 slack replaces <3 with heart 15:13:54 then when you copypaste that, you get :heart: 15:14:27 rather than the actual heart emoji 15:19:35 -!- xkapastel has joined. 15:23:49 [[SORTA]] https://esolangs.org/w/index.php?diff=59715&oldid=8568 * B jonas * (+98) 15:28:44 -!- wob_jonas has joined. 15:30:00 orin: oh nice, I haven't seen that yet. I've seen :p and :D getting replaced by smilies, and anything with an @ sign in it getting replaced by (e-mail address obscured for your protection), both of which are great to mess up code. the first one is from mibbit web-irc, the second is from gnu.org's mailing list archives web interface. 15:31:31 oh, and there was that web-based form thing that evaluates a line of J on the server for you, but if the line has a less than sign followed by a letter anywhere, then it gives an error complaining something about how it stopped a cross-site html injectino or something 15:47:00 `? dry 15:47:02 dry? ¯\(°​_o)/¯ 16:19:36 -!- Essadon has joined. 16:26:59 I hate C++ queue::pop 16:27:24 it should be named "drop", since it doesn't return the removed element 16:28:04 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 16:29:16 orin: there's a reason why it doesn't return the removed element, a C++-specific one; and it shouldn't be called drop, pop is fine because it pops just the one topmost element, just like how std::deque::pop_front and std::deque::pop_back pops just the one front or back element resp. 16:29:50 drop would do something with the whole stack, probably drop it to the floor so the elements end up getting all mixed up and you can't reconstruct the original order, like in that IOCCC submission 16:30:38 http://www.ioccc.org/years.html#2001_westley that is 16:31:05 but it doesn't "pop" anything 16:31:11 it drops the removed element 16:31:27 you have to return it for it to be a "pop" 16:31:39 no 16:31:48 it's pop because the top element is removed from the stack 16:32:19 a toaster that ejects the toast with such velocity that you can't catch it still counts as popping the toast, even if you don't get your toast nicely on your plate, but landing on the floor instead 16:32:39 (those toasters might only exist in cartoons, but still) 16:33:14 heck, even with a deck of cards a magician might pop the deck by making the top card fly away to the floor, and not catch it on a sword if that's not required for the trick 16:33:17 it's still popping 16:33:29 C++'s usage of the word "pop" is inconsistent with every other language's native "pop" methods 16:33:54 orin: what every other language, and how many of those methods even existed before early forms of C++ containers? 16:34:54 I use pop in the sense of discarding the top element at https://esolangs.org/wiki/Blindfolded_Arithmetic , but let me try to find a more independent source 16:35:11 well for starters Lisp 16:35:21 where does lisp have a pop method? 16:35:55 http://jtra.cz/stuff/lisp/sclr/pop.html 16:36:00 it has a car function to return the top element, and a cdr function for non-destructively discard the top element 16:36:29 pop works on a cell 16:37:40 ok, that macro in the HUGE cltl library https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node149.html is admittedly possibly older than C++ containers 16:38:00 let me look up TAOCP ch. 2 for how it uses pop 16:39:25 I mean forth uses DROP to mean, remove an element from the stack and discard it 16:39:37 forth is definitely older than C++ 16:39:53 and? it doesn't use "pop" in a different sense, does it? 16:40:01 wob_jonas: the PDP-6 in 1964 had PUSH and POP instructions 16:40:17 where POP specifically transfers a value to a register 16:40:17 j4cbo: ok, now that's a better example 16:40:30 so does 8086 admittedly 16:40:35 and ARM 16:41:00 6502 gets closed but I think the pop instructions are called PL, where does that come from incidentally? 16:41:03 the mnemonic 16:41:20 PULL? 16:41:33 yeah probaby pull 16:42:19 pull? wow 16:42:56 can't be having a four-character instruction name lol 16:42:59 (I'm not sure about the ARM by the way, I don't recall its mnemonics) 16:43:08 orin: sure, but it could be PP or PO or something instead 16:43:19 PH is good enough for push 16:45:51 Actually what they could have done to avoid the entire issue with copy cost and stuff is 16:45:54 Knuth 2.2 is inconclusive, from a quick glance 16:46:21 have queue::pop() be remove an element 16:46:47 and have queue::pop(&x) be remove and store it into x 16:47:12 rather than return 16:48:23 this would be totally consistent with assembly language usage of pop 16:48:54 and also exception safe 16:50:27 orin: http://www.ioccc.org/1991/brnstnd.hint DJB's entry implements a stack-based esolang, the description says "d: drop (pop) top of i stack", as in the command "d" discards the top element 16:50:54 so at least some respectable people use "pop" that way too 16:51:11 respectable people other than whoever made that part of the C++ stdlib that is 16:52:04 the description at https://esolangs.org/wiki/GolfScript also describes a command as "Pop, discard" 16:52:36 [[Analogia]] M https://esolangs.org/w/index.php?diff=59716&oldid=59711 * Oerjan * (+5) Surprisingly not policy 16:53:01 I think "pop" is just used both ways 16:58:43 -!- moei has joined. 17:04:38 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 17:19:53 The Befunge-93 spec uses "pop" as the name of the $ "discard topmost element of stack" instruction. 17:19:57 So you're in good company. 17:20:06 Granted, personally I've always called that instruction "drop". 17:21:05 (Funge-98 as well.) 17:21:16 (Where "as well" means pop.) 17:22:06 -!- oerjan has quit (Quit: Once you pop, you can't stop). 17:40:20 [[Analogia]] https://esolangs.org/w/index.php?diff=59717&oldid=59716 * Ais523 * (+180) we can have circularity of the term being integrated, but not the term it's integrated with respect to (at least, as long as we want the language to stay deterministic and avoid values that never change because they have no reason to) 17:40:51 -!- imode has joined. 17:44:19 Oh, and many x87 FPU instructions have a "...P" variants that say they "pop" the register stack, meaning discarding the top element. 18:08:36 [[ElemScript]] https://esolangs.org/w/index.php?diff=59718&oldid=59498 * Areallycoolusername * (+357) 18:09:19 -!- xkapastel has quit (Quit: Connection closed for inactivity). 18:17:42 -!- b_jonas has joined. 18:29:05 -!- xkapastel has joined. 18:34:38 . o O ( programming is understanding negations. :P ) 18:37:51 -!- Sgeo_ has quit (Read error: Connection reset by peer). 18:38:19 -!- Sgeo_ has joined. 19:10:09 [[Talk:Analogia]] N https://esolangs.org/w/index.php?oldid=59719 * Ais523 * (+583) /* Did I use the right derivative symbol? */ new section 21:04:32 -!- Phantom_Hoover has joined. 21:04:32 -!- Phantom_Hoover has quit (Changing host). 21:04:32 -!- Phantom_Hoover has joined. 21:04:54 [[A1]] https://esolangs.org/w/index.php?diff=59720&oldid=51758 * Orby * (+0) 21:41:25 oh, there's something I could ask here 21:41:58 apparently google is finally starting a site in Hungary with developers. there were plans for this like ten years ago already, but eventually they cancelled it. 21:42:23 fizzie: there are some people on this channel who work in google. can you comment on this thing? 21:43:14 -!- sebbu2 has changed nick to sebbu. 21:43:14 I suspect fizzie cannot comment on this thing. 21:44:20 shachaf: maybe someone else on the channel can 21:44:38 there are, I think, three or four people working at google here, I just don't recall who exactly 21:45:14 I mean, I suspect that people working at Google cannot comment on that kind of thing publicly. 21:45:25 hmm 21:45:37 we'll see 21:51:26 I used to work at google 21:51:43 commenting on things was generally a big no-no 21:51:49 j4cbo: I see 21:51:57 except for the team whose job it is to do so 21:52:16 (commenting on things publicly, that is) 21:53:30 i,i the team whose job it is to do the big no-nos 21:53:47 and that team is the marketing team? 21:55:32 I assume it's teams with names like communications or public relations or investor relations or something. And I guess also marketing, but I doubt they'd talk about offices. 21:56:04 "investor relations"? I'm not an investor, but sure 21:56:07 press, also 21:56:13 I also used to work at Google but I don't really know any specifics about these things other than that they exist. 21:56:26 that's a lot of divisions by the way 21:56:49 I recall being told many times that a reporter asks you to talk about anything, decline to comment and direct them to press@google.com 21:57:00 I see 21:57:02 (I know you’re not a reporter either, but) 22:00:25 b_jonas: You could be an investor if you wanted to. 22:00:58 I have some small amount of exposure to GOOG, I guess, though I don't own any directly. 22:01:49 oh, that's true, I could be an investor indirectly by buying funds backed by the stock market 22:08:41 I think I wouldn't be supposed to comment, if I knew anything, which I don't. 22:08:58 I see 22:09:05 so since you don't know anything, you can comment? 22:09:20 Not knowing anything is in fact a comment. 22:09:27 ok 22:09:43 I guess it's a bit of a comment. 22:10:03 I was probably supposed to say that I can neither confirm nor deny, which would be equally true. 22:10:40 i,i I can neither confirm nor deny, nor not confirm nor deny. 22:11:13 At least one reason why I shouldn't comment is that it would be material nonpublic information, and telling it to anyone could constitute tipping. (I had the occasion to read our insider trading policy recently.) 22:11:36 Hmm, insider trading laws in Europe are pretty different from in the US. 22:11:43 I guess you're probably bound by both. 22:12:21 I've no clue how insider trading laws work at all, anywhere 22:12:37 You gotta read Money Stuff 22:12:39 Probably. The existence of an Insider Trading Policy is public, by the way -- it's section 3 of https://abc.xyz/investor/other/google-code-of-conduct/ 22:13:05 Here are some laws for insider trading: https://www.bloomberg.com/opinion/articles/2018-08-12/the-10-laws-of-insider-trading 22:13:34 Law #1, don't do it, is probably the most important one to know, but the others are pretty relevant too. 22:14:09 "If you didn’t insider trade, don’t forget and accidentally confess to insider trading." 22:14:17 Pretty reasonable. 22:14:25 best thing about leaving google: no more blackout windows 22:15:22 (the existence of which is also public, buried in the above insider trading policy) 22:15:48 Blackout windows are useful when you want to sleep during the daytime. 22:16:06 j4cbo: presumably those can be seen from public streets 22:16:21 wait 22:16:23 The lack of them was the #1 complaint from university visitors in the summertime in Finland. 22:16:25 what does a blackout window mean? 22:16:31 b_jonas: (A blackout window is a time period that you're not allowed to trade Google stock during.) 22:16:44 That is an awkward sentence. 22:16:45 oh 22:16:49 that's different 22:17:06 I guess I mean Alphabet. 22:17:09 in that case they probably can't be seen from public streets, despite that other windows usually can 22:17:34 it’s not a google (or alphabet) specific term 22:20:26 (and other blackouts usually can) 22:39:48 -!- AnotherTest has quit (Ping timeout: 252 seconds). 22:58:33 I was sad about sourcereal going down so I'm rehosting it at http://sour-cereal.com/ 23:01:38 -!- moei has quit (Quit: Leaving...). 23:04:45 shachaf: great! 23:05:10 I should download more valuable websites to potentially be able to do this -- not necessarily host them, but also give the backup to someone else who hosts it 23:05:23 currently I have too few downloaded, and most of them are out of date too 23:05:28 [[User:BradensEsolangs]] https://esolangs.org/w/index.php?diff=59721&oldid=58697 * BradensEsolangs * (+33) 23:05:33 and lots of candidates for what to download 23:05:36 Yes. 23:05:47 I also have a few that I should download and reformat and host or distribute in a saner format 23:06:04 I downloaded someone's website recently after he died. :-( 23:06:14 I'm keeping a copy just in case, because it's full of interesting things. 23:06:26 So far it's still up. 23:17:20 -!- Essadon has quit (Quit: Qutting). 23:32:42 -!- oerjan has joined. 23:42:49 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:47:34 -!- Lord_of_Life_ has joined. 23:49:20 -!- Lord_of_Life has quit (Ping timeout: 272 seconds). 23:49:49 -!- Lord_of_Life_ has changed nick to Lord_of_Life.