00:00:08 oerjan's hostname contains "hagbart" which looks like "h4gbird" 00:00:44 oerjan: We're on to you. Your clever disguise will fool us no longer 00:03:08 DAM (deterministic access memory) is /so/ much better than RAM :P 00:05:27 -!- Phantom_Hoover has joined. 00:05:40 Phantom_Helloover: 00:10:07 hppavilion[1]: itym hagb4rd. 00:10:45 i'm not entirely sure why the server's named that, although it's been there for far longer than the troll. 00:10:46 oerjan: Your confusion techniques will not stop me 00:11:13 -!- Elronnd has quit (Read error: Connection reset by peer). 00:11:17 i suspect it may be a children's literature character, though, several of the other servers are. 00:11:44 -!- Elronnd has joined. 00:11:57 oerjan: Never heard of a hagbard, and neither has anybody else in the room 00:12:13 -!- tromp_ has joined. 00:12:34 <\oren\> hppavilion[1]: it's probably a norwegian children literature 00:12:36 hppavilion[1]: incidentally, who knows if e's doing it on purpose. i think one of the reasons i didn't notice earendel earlier was because i confused em with one of Elronnd's alternative nicks. 00:12:43 \oren\: Perhaps 00:12:50 hppavilion[1]: hagbar_t_ 00:13:12 oerjan: Ah, hagbart? 00:13:27 Still haven't heard of them 00:13:28 it could be a comic character. i vaguely think there's a danish one by that name. 00:13:32 oerjan: I did the same. 00:14:17 <\oren\> http://www.smurf.dk/Henrik%20&%20Hagbart/henrikoghagbart.html 00:14:25 oh hm the danes call hägar the horrible hagbard 00:14:35 we call him hårek 00:15:15 oerjan: So do you have any thoughts on the whatever-it's-called architecture? 00:15:33 um i'm a bit forward-logged 00:15:50 oerjan: Ah 00:15:57 forward-logged? 00:16:21 oerjan: Are- are you a timetraveler? 00:16:24 -!- tromp_ has quit (Ping timeout: 246 seconds). 00:22:06 A good model for an esoteric processor would be the "horribly tangled block" model 00:22:13 Basically, non-modular processor 00:23:09 hppavilion[1]: it means that i'd skipped past that discussion because you started pinging me hth 00:23:33 i think my thoughts are about "meh", alas 00:24:17 also, i have the power to travel through time at the huge speed of 1 s/s hth 00:24:51 oerjan: Ah 00:24:55 (equivalent to c in natural units) 00:25:30 `? hovercraft 00:25:33 `? eel 00:25:35 `? vim 00:25:44 b_jonas: I do not want to know what you are trying to construct 00:25:53 b_jonas: Given your `? history 00:26:09 b_jonas: you realize that doing so many commands at once increase the chance they'll time out hth 00:26:14 *+ 00:26:18 *+*+s 00:26:22 *-+ 00:26:39 `? møøse 00:26:55 oerjan: I can retry the ones that time out 00:27:16 -!- hppavilion[1] has set topic: Recommended by pi out of 5 doctors under duress! | The international hub of esoteric programming | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Chemnitz (not Karl-Marx-Stadt). 00:27:34 THERE'S the joke 00:27:55 what the heck, HackEgo? 00:28:07 fungot, give HackEgo a swift kick from me 00:28:13 ... 00:28:20 b_jonas: fungot isn't online... 00:28:27 WHAT 00:28:30 fizzie!!!!!!!!!!!!!!!! 00:28:36 prooftechnique: This happens every once in a while 00:29:05 I have been on this channel for years, and I have never not been able to fungot 00:29:10 My world is crumbling 00:29:11 `reboot 00:29:27 `fungoot 00:31:03 ``.d 00:31:27 `? ¦ 00:35:25 No output. 00:35:33 No output. 00:36:12 that's too few responses 00:36:13 `pint 00:37:29 eel? ¯\(°​_o)/¯ 00:37:35 a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner. 00:37:37 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `.d: not found 00:37:38 ​¦? ¯\(°​_o)/¯ 00:37:38 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: fungoot: not found 00:37:39 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pint: not found 00:37:39 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: reboot: not found 00:38:34 `? hovercraft 00:38:35 a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner. 00:38:39 `? herring 00:38:40 herring? ¯\(°​_o)/¯ 00:38:56 `? møøse 00:38:57 møøse? ¯\(°​_o)/¯ 00:39:02 * oerjan smacks b_jonas with an eel ~~~~~~~~~ 00:39:03 `? vim 00:39:04 vim equals to approximately ccxxxviin. 00:39:16 `? termbot 00:39:17 termbot? ¯\(°​_o)/¯ 00:39:30 -!- hydraz has changed nick to him. 00:39:51 -!- him has changed nick to hydraz. 00:40:37 `learn Møøse is Norwegian for moss. 00:40:39 -!- hydraz has changed nick to cne. 00:40:42 Learned 'møøse': Møøse is Norwegian for moss. 00:40:51 -!- cne has changed nick to hydraz. 00:55:20 <\oren\> the resulting system would be turing complete even though each component isn't <-- hm because each of them provides a stack? 00:58:27 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 00:58:36 rdococ: No, you said "hp", so now I'm here <-- you must have a lot of fun in gaming channels 00:58:45 dammit 01:06:53 * oerjan notices hppavilion[1] completely misunderstanding quantum computing in the logs and sidles away carefully. 01:07:20 -!- tromp_ has joined. 01:08:56 aaaaaaa 01:09:45 @tell hppavilion[1] Re: quantum computing, you cannot invent things on top of something you completely fail to understand hth 01:09:45 Consider it noted. 01:12:39 -!- hppavilion[1] has joined. 01:18:46 myname: e.g. is "for example", i.e. is "in other words" <-- actually i.e. is "that is" hth 01:19:41 hmmmmmmm 01:20:07 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 01:23:44 -!- tromp_ has quit (Remote host closed the connection). 01:26:10 * oerjan sees pre-mature jokes in the logs 01:28:03 -!- Moon_ has joined. 01:28:10 Hia 01:28:30 hi moon 01:29:47 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 01:30:15 `? moon 01:30:26 damn the bot is off 01:30:27 Moon is a person, not an unretroreflectorey object. 01:30:31 oh 01:30:33 nvm (= 01:30:55 it _is_ the slowest bot in Mexico, you know 01:31:13 heh 01:33:16 -!- adu has quit (Quit: adu). 01:38:04 -!- adu has joined. 01:43:31 -!- jaboja has quit (Ping timeout: 250 seconds). 01:45:51 -!- boily has joined. 01:46:31 ehoily 01:46:49 koerjanbanha. 01:47:58 helloily 01:48:20 bonsointopia. 01:50:43 @tell Gregor IEUAAAAAAAAAAAAAAAAAAAARGH! 01:50:43 Consider it noted. 01:50:58 Codu's dead, Jim. 01:51:04 oh. 01:51:07 false alert. 01:51:21 @tell Gregor Please disregard previous guttural yell hth 01:51:21 Consider it noted. 01:52:00 @tell Gregor no don't, there are other problems. 01:52:00 Consider it noted. 01:52:37 boily: you can redirect it at fizzie hth 01:52:37 fizzie: WHARAAAAAAAAAAAAARGHGLRGHGHGHRHGHFHGHRGHLGLGLGLGLGLGL! 01:52:43 oh already on it 01:52:46 yup ^^ 01:53:32 meanwhile, the 16.04 upgrade killed python support in my vim install. much rejoicing... 01:55:45 -!- hppavilion[1] has joined. 01:58:47 hppavellon[1]. 01:58:53 ahoily 02:00:18 -!- tromp_ has joined. 02:01:02 ah fungot. got the Dreaded Vietnam Reference Error. 02:01:14 wat 02:02:15 trying to compile the PDF, got the vietnam ldf error. I think int-e was afflicted by it last week. 02:02:44 applying a round of forceful package updates that include some latexy stuff. imh. 02:09:47 sounds super fun 02:10:18 -!- J_Arcane_ has quit (Read error: Connection reset by peer). 02:10:48 -!- J_Arcane has joined. 02:14:39 got it. simply had to 's/vietnam/vietnamese/' the babel \usepackage definition, \selectlanguage references, and then `make clean` to remove the corrupted .aux files. 02:15:11 Thanks for reminding me to update my TeX distro 02:15:15 is the name of the language 'vietnamese' or 'viet' 02:15:47 mad: Technically, it's tiếng Việt 02:16:11 as far as LaTeX is concerned, it is now always 'vietnamese'. 02:16:19 I mean in english 02:16:26 Vietnamese. 02:16:48 does 'nam' mean country or something like that? 02:17:05 Oh, TeXLive is frozen. I wonder when 2016 will be out 02:18:31 mad: I think the whole thing means "Southern Việt" 02:18:57 https://en.wikipedia.org/wiki/Names_of_Vietnam#Origin_of_the_.22Vietnam.22 02:19:05 What "Southern" means has changed over time 02:19:55 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 02:21:07 oh 02:21:31 so it's congante with chinese 'nán' 02:23:14 nan, nam, lam... 02:25:06 -!- boily has quit (Quit: TALKING CHICKEN). 02:36:14 -!- Moon_ has quit (Ping timeout: 250 seconds). 02:41:40 -!- hppavilion[1] has joined. 02:46:04 @massages-lud 02:46:04 oerjan said 1h 36m 18s ago: Re: quantum computing, you cannot invent things on top of something you completely fail to understand hth 02:46:23 oerjan: JUST TRY AND STOP ME HAHAHAHAHAHAHAHAHAHAHAHAHAHAH 02:48:57 hppavilion[1]: i don't have to, your construction will collapse by itself into inconsistency hth 02:49:21 oerjan: Yeah, true 02:49:50 oerjan: OTOH, the reason I haven't been working on QCL is because I don't understand QC at all, and I didn't want to create something stupid 02:49:57 oerjan: But I somehow roped myself into it today 02:49:58 good plan 03:16:19 -!- lambda-11235 has joined. 03:30:29 oerjan: Woudl I be correct to hypothesize Haskell is based on the Category of Functions? 03:30:56 category of functions? 03:30:58 ??? 03:31:26 At best it is loosely based on the category Hask 03:31:30 coppro: Category Theory? 03:31:37 prooftechnique: Ah, OK 03:31:55 prooftechnique: I was wondering if a language like haskell based on e.g. allegories would be possible 03:32:03 Hask is a category somewhat similar to Set, so its morphisms are functions. 03:32:31 Set being what the "category of functions" is called. 03:32:47 oerjan: Ah 03:32:48 since it's named by its objects instead of morphisms 03:33:34 they're both "cartesian closed" (although that may be modulo some bottoms in the Hask case), which means you can put lambda calculus in them. 03:33:58 oerjan: OK... 03:34:41 oerjan: But could one have a language based on a category somewhat similar to e.g. Grp? 03:35:18 if you think you can replace "category" by "allegory", then you are using too much allegory in your thinking hth 03:35:29 oerjan: Yes, probably 03:35:39 oerjan: I'm just asking questions about what /can/ be done 03:36:02 Set is an allegory, anyway 03:36:13 hppavilion[1]: yeah, I think you could have a language based on a different category. 03:36:13 well Grp is probably not cartesian closed, although maybe it'd be good for _reversible_ computations. 03:36:35 tswett: OK. Such as? 03:36:37 i think in a sense logical languages might be based on Rel? 03:36:39 oerjan: well, not all group homomorphisms are invertible. 03:36:47 hppavilion[1]: such as Grp. 03:37:03 oerjan: On Rel? Now I'm interested 03:37:25 tswett: hm right. you want the morphisms to be invertible. 03:37:42 Ab? 03:37:45 hppavilion[1]: well you're solving relations... 03:37:56 So that would be a language based on a groupoid. 03:38:02 prooftechnique: Ab still doesn't have invertible morphisms. 03:38:13 Boo 03:38:24 oerjan: OK. What would things like functors (which I'm just beginning to understand) be like? 03:38:36 They'd be like functors hth 03:38:44 prooftechnique: Well yeah, but... 03:39:59 i haven't thought too deeply about that. 03:40:24 Is the Category of Grammars (a) a thing and (b) a thing that has had any research into it? 03:40:54 Depends on what kind of grammar you mean. 03:41:04 hppavilion[1]: do you know what a homomorphism is, in general? 03:41:08 there was this time i wondered if definite clause grammars in Prolog were a notation for monads in Rel. i didn't get to the bottom of it. 03:41:19 tswett: Barely. I'm still trying to grasp all of this 03:41:32 (they're used similarly to the State monad in haskell) 03:42:04 tswett: What's a homomorphism in the Haskell context? 03:42:13 A function, I would guess, but I'm probably wrong 03:42:34 Well, the question would be "a homomorphism of what?" 03:42:42 A homomorphism of types in Haskell would be a function, yeah. 03:42:58 tswett: OK... 03:43:09 oh btw my DCG comment was unrelated to the grammar question. 03:43:56 tswett: I imagine that in Gram (the category of grammars), homomorphisms would be ways of transforming between grammars? 03:44:07 They certainly would be, yes. 03:44:28 tswett: OK... 03:44:30 Then the only question is, what does "transforming between grammars" mean? 03:44:41 tswett: i think you mean morphism. "homomorphism" is restricted to more concrete set objects, i think. 03:44:54 tswett: I suppose I have to find the structure that they preserve? 03:44:55 e.g. algebra 03:45:08 oerjan: I am in fact talking specifically about algebraic structures. 03:45:28 hppavilion[1]: sounds right. Now, the thing about homomorphisms is... 03:45:49 tswett: well i'm not sure haskell types are algebraic structures. well, i guess they're CPOs in some interpretation. 03:46:00 Usually, an algebraic structure consists of a bunch of elements, and a handful of operators. 03:46:12 hppavilion[1]: define a grammar 03:46:17 A homomorphism is a function from the elements of structure A to the elements of structure B, which respects the operators. 03:47:00 If you want to define a "category of Xs", it would be good if you could figure out what the elements are, and what the operators are. 03:47:21 that's misleading 03:47:32 a category does not need an algebraic structure or operators 03:47:32 order categories, for instance 03:47:40 coppro: Wikipedially, a set of named rules that declare a set of alternative sequences of terminal symbols and/or other rules that a string can match 03:48:00 hppavilion[1]: well I've worked with languages over arbitrary algebras 03:48:07 and I think what you end up wanting is basically equation systems 03:48:27 but what does a morphism between equation systems look like? You could, of course, define a category of equivalences, or perhaps inclusion in generated sets 03:48:46 Let me see if I can decide what I think a homomorphism of grammars is. 03:48:57 hppavilion[1]: now, I have a suggestion. 03:49:09 tswett: they aren't algebraic structures, so homomorphism doesn't make sense on them 03:49:13 hppavilion[1]: if you want to apply category theory to grammars, consider looking at *each* grammar as being a category. 03:49:20 tswett: OK... 03:49:25 tswett: Makes some sense 03:49:42 And, I suppose, the morphisms are between dependencies? 03:49:58 So if a ::= b c, then there's an arrow from a to b and from a to c? 03:50:03 The objects of the category consist of all strings. The morphisms are the ways of getting from one string to another by following the rules. 03:50:41 tswett: OK... 03:50:45 tswett: Wait, what? 03:50:52 tswett: I was treating grammars as recognizers 03:50:54 So the way I'd do it is, if a ::= b | c, then that gives you arrows b -> a and c -> a. 03:50:57 * hppavilion[1] goes back to wikipedia 03:51:10 Oh, I see 03:51:11 And also arrows dbe -> dae, and so forth. 03:54:44 tswett: I'm getting more of a Thue vibe from that, rather than grammars 03:54:57 -!- acertain has quit (Ping timeout: 244 seconds). 03:55:03 You realize that Thue is based on grammars, right? 03:55:15 tswett: Yes? 03:55:38 tswett: But I thought grammars just represented "this does fit with my language" or "this does not fit with my language" 03:56:03 hppavilion[1]: you have to formalize them somehow 03:56:08 A grammar is a list of Thue-like rules that produces a language. 03:56:22 A language is any collection of strings. 03:56:31 I could step in and apply the stuff I used in my master's thesis here, but that might be overkill 03:56:36 tswett: So then does a grammar take a string of input? 03:57:07 Nope. A grammar is a list of rules that can be applied in various different ways. 03:57:17 Once you're done applying the rules, you end up with a string. 03:57:42 For any given string, if there exists at least one way of using the rules of the grammar to produce that string, then that string is in the language. 03:57:43 well, a grammar is both 03:57:51 If it's impossible to get that string, then the string is not in the language. 03:58:08 formally, a grammar is just an equation system over a monoid 03:58:29 tswett: Oh, it looks like I was thinking of Automata Theory 03:59:10 an equation system is a set of k polynomials in the powerset algebra over the underlying algebra and with k variables, each of which corresponds to a polynomial 03:59:31 coppro: is this your master's thesis stuff? 04:00:11 tswett: my thesis was applying techniques from algebra & language theory to try to gain insight into graph minors structure 04:00:25 Huh. 04:00:46 It almost seems like everyone's got a relevant thesis for every topic. 04:00:47 -!- acertain has joined. 04:00:51 Like, a while back, I said... 04:00:53 haha 04:01:13 this is the first time I recall a conversation in here where I was able to bring in something from my thesis 04:01:27 though if anyont wants to learn about quasi-ordering and graph minors, I'm down :P 04:02:03 "Hey, let's talk about sequences S that have the property that for all substrings T of S, there exists a number n such that every substring of S of length n has T as a substring." 04:02:14 And then someone else here said, "Oh yeah, I did my Ph.D. thesis on those." 04:03:34 I looked at their Ph.D. thesis, and sure enough... 04:03:42 I mean, that wasn't the exact topic of the thesis. 04:04:02 But it was definitely closely related. 04:04:58 I'll link you mine. It's very dense, though! 04:05:17 https://uwspace.uwaterloo.ca/bitstream/handle/10012/9648/Hunt_Sean.pdf?sequence=3&isAllowed=y 04:05:57 isAllowed=y? 04:06:00 That doesn't sound safe 04:06:09 * hppavilion[1] tests it with isAllowed=n 04:06:30 Huh, doesn't seem to change anything 04:07:05 * oerjan waves at tswett 04:07:16 -!- Kaynato has joined. 04:07:17 oerjan: was it you? 04:07:19 yep 04:07:29 tswett: So the category of /automata/ was what I was going for. 04:08:04 hppavilion[1]: Have you considered Kan extensions? 04:08:14 prooftechnique: Never heard of them, so no 04:08:47 Well, just get a grip on those, and you'll have mastered all of category theory 04:09:02 prooftechnique: Yay! 04:09:19 That's the Mac Lane guarantee 04:10:23 * oerjan "should" learn about Kan extensions some day 04:10:25 Chart Theory. 04:11:47 oerjan: The way I think about it, once you've done that, you can just kind of stop. You technically understand everything, so the rest is just computation, and that's what grad students are for 04:11:56 Easy 04:13:15 tswett: I think category of grammars is more interesting than Category of Automata xD 04:13:57 oerjan: is it "Cantor systems, dimension groups and Bratteli diagrams"? 04:14:21 OK, um... BNF is for Context-Free Grammars... But I don't see how it fits with the definition of grammars where things are translated... 04:15:05 BNF is a sort of shorthand for formal grammars. 04:15:10 Suppose you've got this BNF rule: 04:15:17 a ::= b* c* 04:15:37 That's shorthand for all of these formal grammar rules: 04:15:55 -!- adu has quit (Quit: adu). 04:15:57 (a -> BC) (B -> bB) (B ->) (C -> cC) (C ->) 04:15:59 adnuuuuuuu 04:16:44 `? numbers 04:17:00 OK. 04:17:05 I think I get it. 04:17:41 numbers? ¯\(°​_o)/¯ 04:19:22 `learn Numbers: 0, 848, 1344, 1696, 1969, 2192, _, 2544, 2688, 2817, _, 3040, _, _, 3313, 3392, ... 04:19:26 Learned 'number': Numbers: 0, 848, 1344, 1696, 1969, 2192, _, 2544, 2688, 2817, _, 3040, _, _, 3313, 3392, ... 04:19:40 `culprits wisdom/number 04:19:43 That's not even all of them :| 04:19:59 tswett 04:20:08 `run mv wisdom/number{,s} 04:20:12 No output. 04:20:12 `? numbers 04:20:14 Numbers: 0, 848, 1344, 1696, 1969, 2192, _, 2544, 2688, 2817, _, 3040, _, _, 3313, 3392, ... 04:20:23 -!- XorSwap has joined. 04:23:11 tswett: Hm... would Thue form a good example of the basis of Grammar Programming, the same way λ-calculus is the basis for FP? 04:23:38 I think I'd say the notion of a formal grammar is what would form that basis. 04:23:44 Of course, Thue is very close to the notion of a formal grammar. 04:23:48 tswett: Well, yeah 04:23:57 tswett: Thue would be the /example/ of the basis 04:24:57 tswett: i think that was my "masters" not my "PhD" thesis (quotes because they're approximate translations). the PhD itself is not online, although 3 journal articles from it are. 04:25:40 (well, some of them may be paywalled.) 04:28:13 tswett: Would adding strange features to a grammar language be acceptable? e.g. a way to extend the input string while processing it? 04:28:54 Like, to allow the user to enter more data after the program has already started running? 04:29:31 tswett: No, from inside the program 04:29:59 tswett: So you might be matching "Hello" 04:30:26 tswett: And one rule may have the body "H", cw(", World!") 04:30:42 tswett: So it would match "H" then append ", World!" to the string that it is processing 04:30:54 (cw(...) matches the null string) 04:31:12 Well, lemme say these things. 04:32:01 A plain-old-regular formal grammar is simply based on replacing this string with that string. That's enough for Turing-completeness. Adding additional features will make the language less elegant, so you'd better have a good reason for doing it. 04:32:17 Also, formal grammars aren't usually considered as *having* an input string. 04:32:24 Rather, the input string is always the same thing: "S". 04:32:57 With that, unfortunately, I've got to go to bed. 04:32:58 Night. 04:33:36 Ah 04:33:37 Night 04:54:25 `unidecode – 04:54:26 ​[U+2013 EN DASH] 04:54:35 wow 04:54:41 speedy 04:59:54 -!- adu has joined. 05:00:18 -!- adu has quit (Client Quit). 05:14:36 -!- Kaynato has quit (Ping timeout: 246 seconds). 05:22:57 Hm... 05:23:17 OPEN PROBLEM OF MATHEMATICS: Is it possible to explain Category Theory in a way that's easy to understand? 05:23:50 haven't seen a way yet 05:24:22 yes hth 05:26:29 shachaf: Formal proof? 05:26:51 formal proofs are often not easy to understand 05:28:33 shachaf: ...touche. 05:30:00 -!- tromp_ has quit (Remote host closed the connection). 05:35:21 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 05:53:07 -!- XorSwap has quit (Ping timeout: 268 seconds). 06:30:27 -!- tromp_ has joined. 06:34:52 -!- tromp_ has quit (Ping timeout: 260 seconds). 06:56:29 category theory is set theory's set theory 06:56:32 done 06:56:46 did i win a million dollars or something? 06:56:57 yes, but only zimbabwean ones 06:57:08 better than nothing i guess 06:58:50 -!- lambda-11235 has quit (Quit: Bye). 07:12:03 -!- J_Arcane has quit (Ping timeout: 240 seconds). 07:14:48 -!- rdococ has joined. 07:31:21 -!- hppavilion[1] has joined. 07:32:08 -!- tromp_ has joined. 07:35:39 -!- mad has quit (Quit: Pics or it didn't happen). 07:36:43 -!- tromp_ has quit (Ping timeout: 268 seconds). 07:57:27 -!- ocharles_ has quit (Ping timeout: 264 seconds). 07:58:19 yaaaay 07:58:33 OQxy = Txy...? 07:58:40 -!- dingbat has quit (Ping timeout: 264 seconds). 08:00:10 Qxyz = xz|yz makes more sense 08:00:19 collapsing the superposition 08:00:35 -!- ocharles_ has joined. 08:03:29 rdococ: It has been suggested by oerjan that we don't try to build on things we do not understand 08:04:06 Is there an efficient binary representation of the surreal numbers? 08:04:21 wait, can't there be superpositions with a higher chance to collapse to one than the other? 08:05:01 -!- dingbat has joined. 08:05:02 rdococ: Uh, yeah 08:05:45 rdococ: I figured it'd be something like Q(Qxy)y for a 75% chance of y, else x 08:05:49 would Q x (Q x y) z be x|x|y or x|Qxy? 08:06:37 Qxyz is strange because it's non-deterministic 08:07:23 rdococ: Qx(Qxy) = x|Qxy, yes 08:07:37 hm 08:07:39 But we could have some sort of O loop that terminates when it observes deterministic thing 08:07:50 (embedded using SK, not a new combinator) 08:08:04 iteration in combinatory logic? 08:08:37 rdococ: Um, yeah 08:08:40 rdococ: It's TC 08:08:46 true 08:08:59 rdococ: It kind of has to support iteration, even if it's interpreted 08:10:04 I just had an epic idea...I think...maybe...? 08:10:13 rdococ: Continue 08:10:14 a programming language using combinatory logic...? 08:10:21 rdococ: unlambda. 08:10:28 oh yeah 08:10:35 rdococ: And a bunch of others, too 08:10:42 (iota, jot, zot as well) 08:11:35 rdococ: How about λ-calculus:Combinatory logic::rho-calculus:? 08:11:43 ::? 08:12:12 rdococ: a:c::x:z reads "a is to c as x is to z" 08:13:56 Why don't esoteric languages feature complex numbers and quaternions more often? 08:14:01 lambda calculus is to combinatory logic as rho calculus is to ? 08:14:39 " rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting." 08:14:57 so wouldn't this new logical system be combinatory logic with term rewriting...? 08:15:26 rdococ: ? means "fill in the blank" 08:15:29 rdococ: Probably, yes 08:15:51 what does that even mean 08:16:37 -!- oerjan has quit (Quit: Nite). 08:18:50 unlambda has ` 08:21:31 gtg 08:25:13 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 09:19:49 -!- centrinia has quit (Ping timeout: 250 seconds). 09:20:05 -!- AnotherTest has joined. 09:27:19 -!- AnotherTest has quit (Ping timeout: 260 seconds). 09:32:09 -!- tromp_ has joined. 09:36:43 -!- tromp_ has quit (Ping timeout: 252 seconds). 09:44:31 -!- AnotherTest has joined. 09:49:38 -!- AnotherTest has quit (Ping timeout: 276 seconds). 10:04:25 -!- fungot has joined. 10:04:28 That's one. 10:06:30 `` echo foo 10:07:10 foo 10:07:44 Well, it's "working". 10:19:04 -!- rdococ has quit (Ping timeout: 252 seconds). 11:24:00 oerjan: so in palisade you can always put a line between two 3s 11:24:09 any other heuristics like that? 11:25:09 -!- boily has joined. 11:32:55 -!- tromp_ has joined. 11:37:10 -!- tromp_ has quit (Ping timeout: 252 seconds). 12:00:25 tswett: tswellott. numbers? 12:05:56 -!- shikhin has changed nick to shikhn. 12:14:42 -!- boily has quit (Quit: DRY CHICKEN). 12:51:26 shachaf: in my experience palisade tends to be dominated by counting and tracing paths, with very few patterns 12:51:54 counting and tracing paths? 13:04:37 counting area sizes... eliminating edges, and follow unique paths that often remain 13:06:26 I rarely see see unique paths except in trivial cases. 13:06:37 Maybe I'm not looking for the right thing. 13:12:40 what to do when you find a different solution? 13:18:14 I didn't even know it was called that. 13:18:21 ("Palisade".) 13:18:54 Oh, I confused it with Loopy. 13:19:01 Because it looks pretty similar, except for the solid border. 13:19:13 there's also the part where the instructions still say "loop" 13:19:35 I've been just playing the Loopy one. 13:20:29 but now i'm playing "stephen's sausage roll" apparently 13:21:27 it gets tricky 13:36:37 loopy otoh has many patterns. 13:38:54 Yes. Though at least one applies to both: if you have a 3 in a square, and it has a corner like _| where there are no other outgoing edges from that corner, then those two edges must be part of a boundary (because at least one of them needs to be, and the edge can't stop there). 13:42:34 Dumb question. Rust has these compile time lifetime rules, where a variable can be in scope but uninitializes, and you can't read a variable unless it's known at compile time to be initialized. But that actually means you can't just transform any control flow to a while-switch loop, so the question is, WHY DOESN'T RUST HAVE A GOTO STATEMENT? 13:43:11 Given that the compiler already has to understand the control flow for the compile time lifetime rules, goto wouldn't be hard to implement. 13:43:14 <\oren\> Ok, seriously: "Note that the term hom-set is something of a misnomer as the collection of morphisms is not required to be a set." Uh... how can something be a collection but not a set?!?! 13:43:43 it can be too big to be a set 13:44:14 or there's a more boring interpretation where it's a multiset or something 13:44:18 \oren\: proper class, either of the higher order logic kind, or (possibly more restricted but more specific) defined by a formula and a set parameter 13:44:19 but that's not the one they mean hth 13:45:06 shachaf: there's also this kind of pattern: http://int-e.eu/~bf3/tmp/palisade.png 13:45:33 \oren\: it's like how you speak of the isomorphism class of graphs (in general), and an isomorphism class isn't actually a set (because the vertices are permitted to be anything, not just pulled from a set of potential vertexes fixed in advance). 13:45:39 int-e: That's exactly what I was trying to describe. 13:45:55 For the things we actually want to do with isomorphism class of graphs, this isn't a problem though. 13:46:28 (Which is good because otherwise you'd be in trouble.) 13:46:51 fizzie: it's related to the connected path thing: both pairs of marked edges are on a path ... they either are both marked, or neither of them is marked. this also works for longer paths 13:47:35 (and sorry, I'm not reading everything... technically I'm working) 13:47:39 Yes. (So by extension you can flag them as non-marked if the square's a 1.) 13:47:51 What a coincidence, I'm working as well. 13:48:02 b_jonas: also why do category theory people say a subobject is an isomorphism class of monomorphisms 13:48:54 when they don't say that e.g. a product is an isomorphism class, they just pick one thing and then add "up to isomorphism" 13:48:57 technically i'm on vacation 13:49:01 shachaf: uh... I don't know category theory, sorry 14:16:58 <\oren\> `unicode 𒍹 14:17:51 U+12379 - No such unicode character name in database \ UTF-8: f0 92 8d b9 UTF-16BE: d808df79 Decimal: 𒍹 \ 𒍹 (𒍹) \ Uppercase: U+12379 \ Category: Cn (Other, Not Assigned) 14:19:20 Needs a newer Unicode. 14:19:28 <\oren\> `unidecode 𒍹 14:19:33 -!- Sgeo has quit (Ping timeout: 246 seconds). 14:19:39 U+12379 - No such unicode character name in database \ UTF-8: f0 92 8d b9 UTF-16BE: d808df79 Decimal: 𒍹 \ 𒍹 (𒍹) \ Uppercase: U+12379 \ Category: Cn (Other, Not Assigned) 14:19:44 ("U+12379 CUNEIFORM SIGN GA2 TIMES AN PLUS KAK PLUS A -- was added to Unicode in version 7.0.") 14:19:59 newnicode 14:20:08 or perhaps cuneicode 14:21:01 <\oren\> that's a hell of a name 14:21:35 <\oren\> they should have named the chinese characters like that, according to their transliteration 14:23:26 <\oren\> anyway someone was claiming that no font supports that character 14:23:26 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM still has the longest name. 14:23:44 <\oren\> but I refuse to support it 14:24:12 <\oren\> the sumerians will have to keep using their clay tablets 14:24:19 In fact, the ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA {FINAL,INITIAL,ISOLATED} FORM triplet take all the top-3 slots, leaving poor old CLOCKWISE RIGHTWARDS AND LEFTWARDS OPEN CIRCLE ARROWS WITH CIRCLED ONE OVERLAY in the dust. 14:24:50 fizzie: speaking of which why isn't there a convenient unix shell command to sort by lengths twh 14:25:02 well, there is one on my machine. but not anywhere else. 14:25:34 I keep doing | perl -ne 'print length($_), " ", $_;' | sort -n. 14:26:34 (Amusingly enough, it counts the newline as part of the length.) 14:26:57 Also: SIGNWRITING MOVEMENT-FLOORPLANE HUMP HITTING CEILING LARGE DOUBLE. 14:28:22 Apparently it's for https://en.wikipedia.org/wiki/SignWriting 14:29:01 i was hoping the signwriting movement would be more along the lines of graffiti 14:30:10 -!- ski has quit (Remote host closed the connection). 14:30:40 fizzie: are you checking the latest version of unicode? 14:31:00 b_jonas: I did wget a fresh ftp://ftp.unicode.org/Public/UNIDATA/UnicodeData.txt, so hopefully relatively so. 14:31:35 oh, you get it straight from unicode.org? I usually just use that file from the libicu zip. 14:31:56 -!- spiette has joined. 14:31:56 (Libicu obviously follows changes in unicode quickly.) 14:32:27 I keep a copy at ~/archive/misc/UnicodeData.txt, since obviously one needs to refer to it quite often in one's day-to-day activities. 14:33:18 Meanwhile, at the other extreme: OX, ANT, ARC, BED, BOY, BUG, BUS, CAT, COW, DOG, DVD, EAR, EYE, FOG, IMP, KEY, LEO, MAN, NOR, PIG, RAM, RAT, SUN, XOR. 14:33:50 fizzie: ouch 14:34:57 Seems that a "make a block-drawing based autoscaled histogram and sprunge it" script would be convenient. 14:48:06 -!- `^_^v has joined. 14:49:24 -!- tromp_ has joined. 14:49:46 -!- adu has joined. 14:53:59 -!- tromp_ has quit (Ping timeout: 260 seconds). 14:55:25 [wiki] [[Special:Log/newusers]] create * Harpix * New user account 15:12:53 -!- hppavilion[1] has joined. 15:18:10 Surely there must be several of those already 15:18:24 not that it'd stop me from NIHing it 15:18:31 -!- nycs has joined. 15:18:37 -!- `^_^v has quit (Ping timeout: 250 seconds). 15:19:07 * FireFly also keeps a local copy of UnicodeData.txt, though mostly because of a "charselect" shellscript for searching for glyphs 15:23:15 -!- feliks has quit (Ping timeout: 264 seconds). 15:23:54 -!- feliks has joined. 15:32:03 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 15:46:05 -!- shikhn has changed nick to shikhin. 15:46:23 -!- shikhin has changed nick to shikhn. 15:56:02 -!- rdococ has joined. 15:56:30 -!- shikhn has changed nick to shikhin. 15:56:53 hi 15:58:27 continuing the discussion about quantum combinatory logic, I think that doing anything to a superposition should collapse it, it would prevent problems 15:58:49 e.g. K Qxy z = x or y 16:00:50 -!- shikhin has changed nick to shikhn. 16:02:24 for the rho calculus thing, maybe R (xy) y z = xz? 16:05:18 I am tempted to talk about hit points (hp) to ping a certain person 16:18:28 -!- nycs has quit (Ping timeout: 250 seconds). 16:21:45 -!- nycs has joined. 16:26:15 -!- shikhn has changed nick to shikhin. 16:26:30 -!- Reece` has joined. 16:43:40 -!- shikhin has changed nick to {}{}{}{}{}{}{}{}. 16:44:26 -!- {}{}{}{}{}{}{}{} has changed nick to shikhin. 16:44:37 Hit points in a large and often sumptuous tent. 16:44:58 (WordNet definition for the "p" word.) 16:50:52 -!- tromp_ has joined. 16:54:09 -!- acertain has quit (Ping timeout: 260 seconds). 16:55:19 -!- tromp_ has quit (Ping timeout: 260 seconds). 17:08:42 Y a y 17:10:01 -!- acertain has joined. 17:19:34 3 hp 17:21:11 -!- hppavilion[1] has joined. 17:27:12 -!- Kaynato has joined. 17:28:43 -!- J_Arcane_ has joined. 17:32:50 HP 17:35:59 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 17:37:14 `? point 17:38:29 point? ¯\(°​_o)/¯ 17:43:31 -!- J_Arcane_ has quit (Ping timeout: 268 seconds). 17:49:32 -!- hppavilion[1] has joined. 17:51:34 * hppavilion[1] . o O ( "sexual dimorphism" (a biology concept) sounds like something that mathematicians fantasize about ) 17:52:24 Mathematicians don't have fantasies, they have "research" symposia 17:54:10 -!- lambda-11235 has joined. 17:55:27 prooftechnique: Oh, right 17:55:56 Category:Categories of Category-theoretical Categories 17:56:37 * hppavilion[1] realizes the wiki has no pages on Category Theory 17:57:18 I think we were discussing whether a wiki forms a category last month 17:57:46 prooftechnique: I think it does 17:57:53 prooftechnique: Wait, but what's composition? 17:58:10 (links are arrows, obv.) 17:59:14 prooftechnique: A subset of the features of MediaWiki wikis probably form a category, but when you include (wiki)categories, it gets more complicated (though I suppose we could just count them as pages and being in a category as a link to that page) 18:01:04 prooftechnique: Wait, composition is just clicking twice 18:01:13 -!- Moon_ has joined. 18:01:21 hia 18:01:31 Moon_: Hi 18:02:46 prooftechnique: Oh. No, it doesn't, because there is no right or left identity 18:03:10 prooftechnique: Having a link to the same page could be a left identity, but it isn't required so it doesn't work 18:03:56 Wait, there is a left identity- the first tab at the top of the page is a link whether or not you're on the main part of a page 18:04:04 And there's always a link to the main page 18:04:09 Which has that same link 18:04:16 prooftechnique: So yes! A wiki is a category! 18:15:43 prooftechnique: So... what are the products and coproducts of wikipages? 18:16:03 I can't imagine 18:21:08 http://inspirobot.me/ 18:21:23 prooftechnique: Wait. Product would be a disambiguation under certain interpretations, wouldn't it? 18:22:26 inspirobot reminds me of https://xkcd.com/1263/ 18:23:17 prooftechnique: Every page that links to a either page links to the disambiguation and- by composition- also links to the pages it disambiguates, because the disambiguation links to those pages. 18:24:27 prooftechnique: Sum, OTOH, would be... um... 18:24:36 (sum=coproduct, iayk) 18:26:10 Does browser history figure into this? I think that could make the issue of unique identities a problem 18:27:03 quantum combinatory logic 18:28:15 the issue we encountered with superpositions that don't automatically collapse when touched 18:28:24 I think it's why they collapse in the real world 18:48:29 hi 18:49:06 I typed this whole sentence backwards, lels 18:49:09 hp computers 18:50:31 -!- acertain has quit (Ping timeout: 250 seconds). 18:50:53 -!- idris-bot has joined. 18:51:09 -!- Phantom_Hoover has joined. 18:57:10 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 19:03:24 -!- xfix has quit (Quit: No Ping reply in 180 seconds.). 19:05:30 -!- XorSwap has joined. 19:06:19 -!- acertain has joined. 19:07:40 -!- gamemanj has joined. 19:08:05 -!- xfix has joined. 19:16:09 -!- hppavilion[1] has joined. 19:21:15 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 19:21:34 -!- Moon_ has quit (Ping timeout: 250 seconds). 19:27:02 [wiki] [[//////////]] N https://esolangs.org/w/index.php?oldid=46852 * 87.246.78.46 * (+8) blobfish 19:28:32 [wiki] [[//////////]] https://esolangs.org/w/index.php?diff=46853&oldid=46852 * Sbneelu * (-8) Blanked the page 19:31:24 -!- hppavilion[1] has joined. 19:31:29 Multimorphism? 19:31:49 Is there a category theory where categories are hyperdigraphs rather than normal digraphs? 19:41:14 no 19:41:24 hppavilion[1] hi 19:42:35 rdococ: Hi 19:46:05 [wiki] [[Category theory]] N https://esolangs.org/w/index.php?oldid=46854 * Hppavilion1 * (+1464) Created the very basics, not sure where to go from here (I feel this page is necessary because abusing Category Theory is clearly a method for creating esolangs, and such a topic won't be discussed elsewhere) 19:57:18 Hm... 19:57:52 Why not make a programming language directly based on CT? That'd be nice 19:58:25 https://github.com/msakai/cpl 19:58:28 hppavilion[1]: ^ 19:58:43 prooftechnique: ty 20:00:27 -!- rdococ has quit (Quit: Leaving). 20:01:24 -!- `^_^ has joined. 20:02:47 -!- nycs has quit (Ping timeout: 260 seconds). 20:05:55 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 20:20:19 -!- hppavilion[1] has joined. 20:22:20 -!- gnomi has joined. 20:24:25 -!- Moon_ has joined. 20:24:29 i designed a non-joke eso: http://www.bay12forums.com/smf/index.php?topic=157829.0 20:28:14 Example program: ++/P++P++p/p\o\o/io\o 20:30:20 ...looking at it, the only reason it's windows-only seems to be SetColor - which is "DOES NOT WORK, DO NOT USE YET" anyway 20:30:55 -!- lambda-11235 has quit (Quit: Bye). 20:32:29 other things involving setcolor: formatting style is different ('{' on next line as opposed to '{' on same line everywhere else, comments, etc...) 20:36:25 anyone able to figure out why unning a input wont work? 20:36:38 you know, using i 20:36:50 it acts invisible yet visible 20:37:02 and will crash the program when i try to print out what it got as input 20:37:17 -!- Reece` has quit (Ping timeout: 244 seconds). 20:37:37 It seems* the scanf doesn't read the line separator. 20:38:03 * (I typed one 'i', pressed enter, program exited, probably due to reading the newline, typed 4 'i's, pressed enter, it waited for input) 20:38:24 that explains it 20:38:34 whats the newline code? 20:39:06 0x0A or decimal 10 on linux, but TBH you may want your interpreter to read code from a file, or have a separator that isn't system-dependent, like say '!' 20:40:31 well, im lazy but yea, i need to make it read from a code file 20:40:37 ill work on it 20:41:40 hmm... I'm a bit worried that if an unmatched ] occurs the interpreter will read past the start of the program 20:42:02 try it, maybe? 20:42:37 actually, let me 20:42:43 [gamemanj@Iwakura CIOL]$ ./a.out 20:42:44 +] 20:42:44 Segmentation fault (core dumped) 20:42:59 ouch 20:43:45 actually 20:43:49 for me it didnt do anything 20:44:16 Your '[' loops are... interesting... they don't check the initial state of the memory pointer. 20:44:48 [ is just a recall point for ] those loops work similar to how brainfuck ones do 20:44:48 Moon_: is (just a recall point for ] those loops work similar to how brainfuck ones do) 20:44:58 ... 20:45:01 ... 20:45:17 i detect a trolling chatbot 20:45:28 [ poop 20:45:28 fowl: |value error: poop 20:45:34 I'd assume that '[' not jumping forward on 0 is intentional, else CIOL would be directly translatable to/from Brainfuck if I'm reading this correctly 20:45:46 [ print("Is this your language?") 20:45:46 gamemanj: |syntax error 20:45:46 gamemanj: | print( "Is this your language?") 20:45:52 [ help 20:45:52 gamemanj: |value error: help 20:45:56 [1+2 20:46:02 >.< 20:46:03 gamemanj, you got that right 20:46:22 [ nil 20:46:23 fowl: |value error: nil 20:46:27 [ null 20:46:28 fowl: |value error: null 20:46:29 Is there Quaternary Storage? 20:46:30 but CIOL has more functions than brainfuck 20:46:35 so not fully translateable 20:46:42 [ false 20:46:42 fowl: |value error: false 20:46:45 and its not done 20:46:56 its still in it's 'Unstable' state 20:47:28 anyways 20:47:47 its intended to be able to access diffrent IO sets besides just the console 20:48:16 yet again, interpreter is incomplete 20:52:14 -!- tromp_ has joined. 20:53:18 else if (current_char == 'j') { // Jump forward n spaces int i2; for (i2 = *ptr; i2 < 1; i2--) { current_char = input[++i] } } 20:53:47 Moon_: It can do Input and Output, but can it do throughput, intraput, and interput? 20:54:04 * hppavilion[1] looks up Wikipedia's list of prepositions 20:54:06 and sadly i have never heard of that 20:54:53 Moon_: It's a joke 20:54:55 So... 20:55:08 -!- impomatic has joined. 20:55:14 yes? 20:55:22 i'd say a pipe is a throughput 20:55:23 input is RealWorld -> Here (-> is not haskell, it's a representation of movement) 20:55:30 output :: Here -> RealWorld 20:56:10 [ 1 + 2 20:56:10 Melvar: 3 20:56:14 its gonna be able to copy text out of its own code soon 20:56:18 im writing that in now 20:56:28 Hm... 20:56:31 -!- tromp_ has quit (Ping timeout: 252 seconds). 20:56:40 continues until it hits a ; 20:56:42 I'm going to change from in/out to more formal-sounding things 20:57:11 CIOL stands for Complex Input Output Language 20:57:18 Moon_: Oh :) 20:57:25 endoput :: internal streamed read/write operations (e.g. buffers, functions, and generators) 20:57:52 which should explain the fact it has 3 registers fairly well 20:59:19 *gently sitting on a theoretical stack that will potentially be added 20:59:20 * 20:59:36 *very unlikely* 20:59:50 *it might make the tape redundant* 21:00:07 Hppa 21:00:54 rHi, im moon, and this is a example of CIOL using the upcoming function!; 21:02:40 hello? *crickets* 21:03:34 Moon_: Are you aware of much of Esolang Theory? 21:03:48 no.. 21:03:56 i dont ready everything 21:04:37 Moon_: Esolang Theory says that the best languages are based on mathematical... things... that have not been used on such a way before. 21:04:51 ok 21:05:55 Moon_: So just throwing things together and making a language out of it usually doesn't make beautiful esolangs; it just makes a weird-looking write-only ASM or something 21:06:08 (A lesson I'm still trying to teach myself) 21:07:22 ik, im still in the experimental stage on comeing up with things 21:07:44 Moon_: Now, if you use an abstract data structure that hasn't been used as a language basis before- like, say, making the function the underlying structure- THEN you're doing something novel 21:08:14 i had the idea of making variables and variable operations the only things that a lang supported before 21:08:40 Moon_: Yes, I know. It's a phase of esolanging. Most people who learn about Esolangs never pass it (they get bored before they hit a breakthrough), but hopefully you'll stick around long enough to make something cool :) 21:09:29 Moon_: That does seem interesting.. 21:09:38 ` jq -rn '{a : 0, b : 1, out: []} | recurse({a : .b, b : .a + .b, out: .out + [.a]}, .a < 1000) | .out[] | tostring' 21:09:50 `` jq -rn '{a : 0, b : 1, out: []} | recurse({a : .b, b : .a + .b, out: .out + [.a]}, .a < 1000) | .out[] | tostring' 21:10:01 Moon_: Most traditional languages are based on hashmaps (a variable name maps to a value). Is that idea just using a set, forgoing the value assigned to the variable? 21:10:27 jq: error: syntax error, unexpected '+', expecting '}' (Unix shell quoting issues?) at , line 1: \ {a : 0, b : 1, out: []} | recurse({a : .b, b : .a + .b, out: .out + [.a]}, .a < 1000) | .out[] | tostring \ jq: error: syntax error, unexpected '+', expecting '}' (Unix shell quoting issues? 21:10:27 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 21:10:30 Because THAT sounds pretty cool 21:10:48 The entire language would be about testing if variable exist, rather than actually using them 21:10:56 Huh, i has idea! 21:11:00 s/ble/bles/ 21:11:05 Moon_: Go on :) 21:11:37 look, if the language is variable oriented, things like random number gens are possible easily with a bit of uniqueness 21:12:35 Moon_: Listening... 21:14:27 for example: char toprint = 'c'; ostream[0 to 50] = {toprint}; string entered = istream[0 to 50]; ostream[0 to 50] = entered; 21:15:44 well see the 'to' thats unique to allow us to specify a range, now.. i need to think 21:17:04 anyways 21:17:09 what do you think of the idea hp 21:17:40 Moon_: Um... 21:17:43 * hppavilion[1] spends some time reading 21:17:55 (Which is usually a bad sign for language designers, but not here xD) 21:18:42 * Moon_ asked on purpose to make sure you were paying attention, you lazy bum (xD) 21:18:58 Moon_: Um, I take it english isn't your first language? 21:19:17 it is :P i am grammer fail in some cases 21:19:23 Oh 21:19:27 but most likely my damn keyboard 21:19:37 Moon_: No, not about that 21:19:49 what? 21:20:06 Moon_: Because that could have been a little offensive. I'm not personally offended (at least, not intellectually; subconsciously, yes), but... well, you're kind of new to the channel, so that could have been taken badly 21:20:13 "you lazy bum" 21:20:22 oh, sorry ;p 21:20:27 Moon_: It's fine 21:20:29 it was jokeingly 21:20:34 Moon_: Yes, I could tell 21:20:58 Moon_: Just remember that IRC doesn't have things like body language or facial expressions (that the human brain automatically picks up on, at least) 21:21:09 int-e: the Hilbert Curve has been added to the Box-256 leaderboard if you fancy giving it a try? :-) 21:21:11 yea, true 21:21:26 OK 21:21:41 ima write out some specs in my text editer to get started on that lang 21:22:02 Moon_: put it somewhere other than a random forum 21:22:11 ik 21:22:15 A random thread on a random forum* 21:22:35 Like github or github or the github 21:22:52 no, im not writing a interpreter just yet 21:22:59 i need to think it out 21:23:03 -!- impomatic_ has joined. 21:30:04 -!- gnomi has quit (Ping timeout: 260 seconds). 21:31:33 -!- XorSwap has quit (Ping timeout: 240 seconds). 21:34:01 -!- XorSwap has joined. 21:34:28 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 21:35:16 -!- hppavilion[1] has joined. 21:37:57 hmm 21:44:25 here is what i have on specifications so far: http://pastebin.com/RaHEYXG3 21:45:04 hppa? 21:45:35 anyone here? 21:55:05 -!- Sprocklem has joined. 21:55:42 Huh? 21:56:55 what 21:56:58 huh what? 21:57:20 -!- J_Arcane_ has joined. 21:57:21 `^_^ 21:57:38 .. 21:57:42 wake up hackbot 21:57:46 <`^_^> what do you want 21:57:49 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^: not found 21:57:56 im trying to talk to hackbot 21:57:58 :P 21:58:20 <`^_^> i am an invalid program 21:58:44 anyways, 21:58:45 else if (current_char == 'r') { i3 = i++; for (i4 = input[i3];i4 != ';';++i3){ if (input[i3] == ';') break; putchar(input[i3]); } } 21:58:52 why does that code hate spaces 21:58:55 and print the r 21:59:00 when its not ment to 21:59:21 that's some annoying formatting for a single-line paste 21:59:35 its tabbed 21:59:48 and its not singleline 22:00:11 Well it's a single IRC message 22:00:33 http://xen.firefly.nu/up/2016-04-27_230025.png 22:00:33 fixed the printing the r problem 22:00:37 but the code hates spaces 22:01:00 it spamprints space when it reaches one 22:01:33 -!- nchambers has joined. 22:01:55 is it because of putchar? 22:03:01 hppa 22:06:07 `` jq -rn '{a : 0, b : 1} | recurse({a : .b, b : (.a + .b)}, .a < 1000) | .a | tostring' 22:06:09 0 \ 1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 22:06:22 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 22:08:09 `` jq -rn '{a : 0, b : 1} | recurse({a : .b, b : (.a + .b)}; .a < 1000) | .a | tostring' 22:08:11 0 \ 1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 22:08:43 impomatic: I'm trying hard to avoid looking at the box-256 stuff, hoping to priotize lambdabot work... hasn't worked out very well though, I'm spending most productive time on actual work. 22:08:54 -!- adu has quit (Quit: adu). 22:09:01 Hello? 22:09:12 i need a lil help 22:10:33 http://pastebin.com/7RdsCW2d can someone help me with the problem sections in this? i marked the ones with problems with a comment 22:12:16 `seen gregor 22:12:18 * pikhq is taking a look 22:12:20 ls: cannot access /var/irclogs/_esoteric/????-??-??.txt: No such file or directory \ not lately; try `seen gregor ever 22:12:31 Hmmm... 22:13:10 To be sure there's no *obvious* problems with it (modulo being Windows-specific C, which I dislike, but that's neither here nor there) 22:13:52 well r and R hate spaces 22:14:01 r will fall into a inf loop when it hits a space 22:14:13 R will end the reading of the code 22:14:22 -!- centrinia has joined. 22:14:27 when it hits a space 22:14:54 Ah, I do see a problem with the loop in the 'r' section. 22:15:20 So, that loop will go until i4 is equal to ';', correct? 22:15:24 yea, try printing Hello, World! 22:15:26 yea 22:15:40 and its constantly counting up each time 22:15:46 But, i4 only ever gets set by the "i4 = input[i3]" statement which only executes *once*. 22:16:13 So the logic there means that if i4 != ';', you loop infinitely. 22:16:22 oops! 22:17:06 Also, just a question with [ and ]: are you intending those to work like in Brainfuck? 22:17:20 Because if so, it doesn't work. 22:17:32 No, it has to be a little diffrent 22:17:40 -!- Sprocklem has quit (Quit: brb). 22:17:40 They do work, right? 22:17:59 It looks to me like what you have is more like a do-while loop than a while-loop. 22:18:12 Yup, they do, they printed out the entire ansii set 22:18:13 But assuming that's what you *meant*, it at least looks right. 22:19:05 -!- gamemanj has quit (Ping timeout: 276 seconds). 22:20:11 r reacts with Space in specific 22:20:13 nothing else 22:20:17 which is wierd 22:20:55 I'm going to guess that's coincidence. I *think* the string "rr;" would also show the symptom though. 22:21:15 Nope 22:21:46 -!- Sprocklem has joined. 22:22:03 i just tested 22:22:03 Oh, wait, i++; i3 = i++; You need a longer string to trigger it. 22:22:32 "rrr;" or some such 22:22:52 a longer string made it shift back one and miss a letter 22:23:23 nvm 22:23:28 that was due to a change i made 22:24:03 nope 22:24:14 the operations get locked into one scope 22:24:27 so operands are not read during r 22:24:37 r only checks for a ; 22:26:55 really i have no flipping idea what causes the space glitch 22:27:30 My advice is to use a debugger and single-step. 22:29:21 im terrible with debuggers *sigh* 22:30:02 I figured it out, its running off the edge of the memory 22:30:08 well 22:30:12 i figured out one thing 22:32:45 -!- `^_^ has quit (Quit: This computer has gone to sleep). 22:34:46 can you help me out by looking into this ass wel pik 22:42:10 Writing a TUI program is very instructive 22:43:12 figured it out 22:43:23 scanf stops at the first space 22:43:26 >_> 22:43:37 Ah, yes, I wasn't even looking at that! 22:43:55 Right, using scanf to slurp in the input might not be the best choice. 22:44:03 whats a better way to get input? 22:45:27 Um, for exactly what you're doing I'd just use fgets. Ideally you'd actually use getline and accept arbitrary sized lines, but mingw doesn't have that. 22:46:16 fgets(input, sizeof(input), stdin); basically. 22:46:25 yea, im trying file input 22:46:29 and do you mean gets? 22:46:32 fgets is for files 22:46:36 Don't use gets. 22:46:55 By the way, the input and output are also files. 22:47:05 stdin and stdout refer to them, and are FILE* objects. 22:47:17 For any function that works on FILEs, you can just use those. 22:47:22 -!- hppavilion[1] has joined. 22:47:46 For example, getchar() is literally just fgetc(stdin). 22:52:47 Is there a C library out there that does the whole "pixel drawing" thing pretty well? 22:53:34 Well how about SDL? 22:53:47 I guess it depends on how you define "pretty well" 22:54:22 Also depends on how you define “pixel drawing”. 22:54:34 But it's a C library, relatively light, and it's relatively easy to open a window with a framebuffer 23:03:00 The for (i2 = *ptr; i2 < 1; i2--) loops are still incredibly suspicious. Since they're all unsigned type, it runs once if *ptr == 0, and not at all if *ptr is any other value (because "i2 < 1" will be false). 23:04:48 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 23:10:01 -!- boily has joined. 23:12:12 CIOL is now pretty much bug free! http://pastebin.com/8nV6eP85 23:13:01 well, my interpreter is 23:13:06 it also takes file input now 23:17:19 -!- oerjan has joined. 23:18:26 impomatic: also, I first want to figure out how to do those carpets efficiently (number of cycles)... maybe next weekend. 23:18:28 Hia Oer 23:18:32 http://pastebin.com/8nV6eP85 23:18:45 any other heuristics like that? <-- lots, although i don't remember them at the moment as i've been on slant for a while. 23:18:49 oVerjan 23:19:03 -!- XorSwap has quit (Ping timeout: 240 seconds). 23:19:12 into-e 23:19:17 thats my first actually useful and logical language 23:19:33 hi Moo 23:20:32 alloerj. 23:21:04 Moon_: are you sure [ should be like that, you seem to be in the NewbieFuck trap 23:21:11 I don't believe your j/J. 23:21:16 For the reasons already outlined. 23:21:54 i wasnt paying much attention to other things 23:21:56 anyways 23:22:07 `unidecode 🍄 23:22:24 U+1F344 MUSHROOM \ UTF-8: f0 9f 8d 84 UTF-16BE: d83cdf44 Decimal: 🍄 \ 🍄 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) 23:22:25 heres something i came up with otherwise: http://pastebin.com/RaHEYXG3 23:22:59 I can see the mushroom! 23:23:01 i guess with all the jumps a normal [ isn't necessary 23:23:34 (In particular, j jumps forward 1 character if the current value is 0, and not at all if it's anything else.) 23:23:49 hm 23:24:37 j is suppost to go forward, i forgot to test it 23:24:51 oh right, the tests are reversed 23:25:30 i mixed up the logic 23:25:50 fhoily. 23:26:01 * oerjan is starting to worry about losing count here 23:26:18 (The file input is also pretty bizarre.) 23:26:46 im weloming someone to improve it :P 23:27:15 -!- XorSwap has joined. 23:27:17 anyways, did this fix the j and J problem? http://pastebin.com/kvpJGJEr 23:27:26 hm shachaf is idle, oh well if he just straight out speaks to me through the logs then he'd better expect the same back. 23:27:52 wait i realized it didnt 23:28:05 oerjan: I think you were up to f hth 23:28:43 Incidentally, the types of "input" and "input2" are wrong. 23:28:46 `unidecode 🍄 <-- . o O ( is there a BEAVER ) 23:28:51 `unicode BEAVER 23:28:59 U+18F3 CANADIAN SYLLABICS BEAVER DENE L \ UTF-8: e1 a3 b3 UTF-16BE: 18f3 Decimal: ᣳ \ ᣳ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+18F4 CANADIAN SYLLABICS BEAVER DENE R \ UTF-8: e1 a3 b4 UTF-16BE: 18f4 Decimal: ᣴ \ ᣴ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) 23:29:37 Reasonable choices would be "char input[100]" or a "char *input" pointing at something, but not a "char *input[100]" -- that's an array of 100 pointers. 23:29:40 -!- Sgeo has joined. 23:30:26 boily: i said i was starting to worry, not that i thought i'd already done so. 23:31:26 fixing that and the j+J problem right now 23:32:02 http://pastebin.com/Hpepq8AE 23:32:58 oerjan: but i don't logread 23:33:11 oerjan: anyway isn't speaking to you through the logs the best method 23:33:30 Hi oerjan. Do you know of jq? 23:34:01 shachaf: for reaching me it works, for getting a response, less certain. 23:34:22 Melvar: first time i heard of it was in the channel yesterday. 23:34:30 i searched pastebin 23:34:39 and found someone made brainfuck with graphics 23:34:41 http://pastebin.com/5GgQKbL3 23:35:06 ooh, pastebin diving 23:36:00 "Szabin Hamrik" 23:36:04 There was a demoscene thing that mapped the brainfuck tape to the 320x200 VGA frame buffer, I forget what it was called. 23:36:40 b_jonas: anyone you know? 23:36:46 Could only find http://www.pouet.net/prod.php?which=5060 offhand. 23:36:48 well this one uses the C# graphics api (i hate C#) 23:37:32 -!- hppavilion[1] has joined. 23:37:46 hia hppa 23:37:53 Moon_: Hi 23:38:04 Moon_: "hp" or "hppavilion[1]" works better 23:38:11 i went pastebin diving and found a graphical brainfuck implentation: http://pastebin.com/5GgQKbL3 23:38:20 Moon_: Oooh, nice 23:38:29 Moon_: Graphical as in...? 23:38:29 `` rm .*.swp 23:38:34 Like, it has a GUI? 23:38:36 No output. 23:38:39 GUI i think' 23:38:53 i dont use C# 23:38:58 so im never gonna find out 23:39:15 oh 23:39:24 its a maping the tape to a picture type 23:39:28 32x32 grid 23:39:32 `ls 23:39:34 ​:-( \ !\.´ \ (* \ 99 \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ equations \ esobible \ etc \ evil \ factor \ foo \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls_dev \ misle \ paste \ ply-3.8 \ ply-3.8.tar.gz \ quine \ quines \ quotes \ share \ src \ things_with_hg_in_them_in_bin.txt \ tmf 23:39:40 -!- XorSwap has quit (Ping timeout: 244 seconds). 23:39:42 -!- nathaly has joined. 23:39:52 `` rm ply-*gz 23:39:55 No output. 23:39:57 that means making pictures in brainfuck 23:40:08 i'm going to assume it's unpacked in that directory 23:40:16 `` rm things* 23:40:20 No output. 23:40:25 Moon_: Ah 23:40:27 oerjan: :( 23:40:37 hppavilion[1]: were you using that? 23:40:42 oerjan: Not ATM 23:40:46 oerjan: But I might have someday :P 23:40:59 ls dog 23:41:03 Oh, there's an unzipped version 23:41:05 Moon_: Use ` 23:41:05 `ls dog 23:41:07 dog 23:41:12 ... 23:41:16 `ls tmf 23:41:18 ls: cannot access tmf: No such file or directory 23:41:19 `? karma 23:41:23 oerjan: jq’s filters seem closely related to the List Kleisli arrow. 23:41:26 Moon_: Are you looking for cat? 23:41:27 hppavilion[1]: i like to purge toplevel `ls down to one line on occasion. 23:41:33 karma? ¯\(°​_o)/¯ 23:41:34 oerjan: Ah, yes 23:41:37 `file Complaints.mp3 23:41:38 Complaints.mp3: ASCII text 23:41:44 Melvar: aka list monad... 23:41:44 That's some extension. 23:41:47 there is a folder named dog moon 23:41:47 `cat karma 23:41:48 oren now has 1 karma. 23:41:55 `cat karma 23:41:56 oren now has 1 karma. 23:42:01 `cat 23:42:05 `cat moons 23:42:05 \oren\: Should somebody change that 23:42:09 cat: moons: No such file or directory 23:42:13 oerjan: Well, the way you use it is essentially in arrow form. 23:42:14 `cat 2 23:42:15 Moon_: You need to give it a target xD 23:42:15 cat: 2: No such file or directory 23:42:19 Moon_: A file 23:42:20 `cat karma 23:42:22 oren now has 1 karma. 23:42:24 Moon_: `cat reads a file 23:42:31 oh 23:42:31 No output. 23:42:45 Moon_: It's just a *n?x shell (bash, iirc) 23:42:48 (probably) 23:42:52 `cat complaints.mp3 23:42:52 cat: complaints.mp3: No such file or directory 23:42:59 ls 23:43:12 Moon_: I think complaints.mp3 may be a directory. 23:43:18 No, it isn't 23:43:23 `cat complaints 23:43:24 cat: complaints: No such file or directory 23:43:27 Huh... 23:43:28 `lls 23:43:28 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: lls: not found 23:43:29 `ls 23:43:30 ​:-( \ !\.´ \ (* \ 99 \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ equations \ esobible \ etc \ evil \ factor \ foo \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls_dev \ misle \ paste \ ply-3.8 \ quine \ quines \ quotes \ share \ src \ tmflry \ wisdom \ wisdom.pdf 23:43:34 oerjan: But I might have someday :P <-- that looks easy to regenerate, anyway. 23:43:38 Moon_: Scrolling up works 23:43:38 It's uppercase. 23:43:51 Moon_: Oh, yeah, *nix is case-sensitive 23:43:51 `cat Complaints.mp3 23:44:03 Complaints file lacks file extension making it look like a directory. Which is confusing \ The above complaint looks like an error message, but it's actually a complaint \ now the former complaints make no sense because the complaints file was moved \ The complaints above are not using periods properly. \ All of the complaints are about the complai 23:44:21 ... 23:44:29 It's also pretty long. 23:44:31 Moon_: THe first 2-3 were me 23:44:33 hppavilion[1]: oh wait, you meant ply, yeah that's still there. although i might move it eventually. 23:44:34 There's a lot to complain about. 23:44:42 oerjan: You can move it 23:44:44 how do you add to it 23:44:52 Moon_: YOU MAY NOT COMPLAIN 23:44:58 I assume someone added the .mp3 extension due to the first one. 23:45:02 `file le 23:45:05 le: directory 23:45:06 fizzie: Yes 23:45:10 `cat le 23:45:11 cat: le: Is a directory 23:45:12 WHoops 23:45:15 `` echo le/* 23:45:16 le/rn le/rn_append 23:45:19 Ah, right 23:45:28 the le/rns 23:45:38 `le/mma 23:45:40 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/le/mma: No such file or directory 23:45:58 That's some extension. <-- well someone complained that it didn't have an extension, so i gave it one hth 23:46:15 -!- nathaly has quit (Quit: Saliendo). 23:46:16 * hppavilion[1] quietly googles "words that start with \"le\"" 23:46:21 oerjan: Something like, jq’s . is id and | is (>>>). |= is the basis of first- and second-like things. 23:46:47 someone made a brainfuck interpreter in LOLCODE 23:46:49 http://pastebin.com/1PPj6SyA 23:46:55 `? int-e 23:46:55 `mkdir theorems 23:47:00 int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. 23:47:00 No output. 23:47:10 Moon_: Doesn't sound very hard 23:47:29 `ls 23:47:31 ​:-( \ !\.´ \ (* \ 99 \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ equations \ esobible \ etc \ evil \ factor \ foo \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls_dev \ misle \ paste \ ply-3.8 \ quine \ quines \ quotes \ share \ src \ theorems \ tmflry \ wisdom \ wisdom.pdf 23:47:46 Yay, it worked. 23:48:44 Someone complete this: `mkx theorems/lesser pythagorean//The Lesser Pythagorean Theorem states that 23:49:12 \oren\: he\\oren\. your backslashes, they irk me hth 23:49:32 boily: But they make the porthello so beautiful... 23:49:44 how do you add to it <-- with the `complain command 23:50:09 `complain nix is too hard for meh 23:50:13 Complaint filed. Thank you. 23:50:16 hppavilion[1]: hppavellon[1]. that's the problem. they're just a pain to latexify. 23:50:31 boily: Ah 23:50:37 boily: That does sound annoying 23:50:39 oerjan: I've been assuming `complain entirely ignores the complaint. 23:51:01 `cat bin/complain 23:51:04 print_args_or_input "$@" >> Complaints.mp3; echo Complaint filed. Thank you. 23:51:05 `complain This can be botted to easy 23:51:07 fizzie: Nope 23:51:08 Complaint filed. Thank you. 23:51:18 Moon_: Don't overdo it 23:51:24 ik :P 23:51:29 hppavilion[1]: Huh. It seemed like the obvious assumption. 23:51:34 how to make file 23:51:37 fizzie: It does, but it's wrong 23:51:44 Moon_: We... aren't going to teach you that xD 23:51:50 daww 23:51:50 Moon_: Doesn't sound very hard <-- try the one in Fueue 23:52:06 oerjan: Well yeah, THAT one is impressive 23:52:07 new 23:52:12 `new test 23:52:12 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: new: not found 23:52:20 Moon_: *sigh* 23:52:21 ls bin 23:52:23 `help mkx 23:52:23 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 23:52:25 Oh 23:52:28 `mkx 23:52:29 usage: mk[x] file//contents 23:52:49 `ls bin 23:52:50 ​` \ `` \ ^.^ \ ̊ \ \ ! \ ? \ ?? \ ¿ \ ' \ @ \ * \ ؟ \ \ \ \ 1492 \ 2014 \ 2015 \ 2016 \ 2017 \ 5quote \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ aglist \ allquotes \ analogy \ anonlog \ append \ arienvenido \ as86 \ aseen \ asm \ autowelcome \ bardsworthlist \ before \ benvenuto \ bf \ bienvenido \ bienvenue \ blessyou \ bookofeso \ 23:52:50 mk test//moonwashere 23:52:54 `echo hello > hello.hello 23:52:56 hello > hello.hello 23:53:07 fowl: Good job. 23:53:15 ls 23:53:16 Moon_: No, the x needs to be included or it's a massive pain 23:53:18 It didn't work did it 23:53:23 fowl: Nope 23:53:27 fowl: Use `` for that 23:53:33 (space after ``) 23:53:37 `mkx test//moonwashere 23:53:40 test 23:53:40 The x just makes things executable. 23:53:42 Someone complete this: `mkx theorems/lesser <-- itym `mk not `mkx hth 23:53:47 fizzie: Ah, right 23:53:54 oerjan: OK 23:53:57 ls 23:53:58 `ls 23:54:00 ​:-( \ !\.´ \ (* \ 99 \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ equations \ esobible \ etc \ evil \ factor \ foo \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls_dev \ misle \ paste \ ply-3.8 \ quine \ quines \ quotes \ share \ src \ test \ theorems \ tmflry \ wisdom \ wisdom.pdf 23:54:05 `rm test 23:54:10 No output. 23:54:12 Nospam. 23:54:17 I'm starting my own channel 23:54:24 fowl: About what? 23:54:27 where was test put? 23:54:36 Moon_: Before theorems 23:54:41 The same thing as this channel but with less robots 23:54:42 oerjan: I've been assuming `complain entirely ignores the complaint. <-- it used to, but then someone (iirc zzo38) changed it. 23:54:46 #tesoeric 23:54:50 fowl: HAHAHAHAHAHAHAHAHAHAHAHAHAHAHA 23:55:04 fowl: You're funny 23:55:06 fungot: Join #tesoeric. 23:55:06 fizzie: where practical programming r6rs would be nice, when i pass 6 ( is return right? my dad joined the navy underaged so he could sell it to the lispme list. to make those other packets go out via different interfaces. why do you build it 23:55:17 `ls bin 23:55:18 ​` \ `` \ ^.^ \ ̊ \ \ ! \ ? \ ?? \ ¿ \ ' \ @ \ * \ ؟ \ \ \ \ 1492 \ 2014 \ 2015 \ 2016 \ 2017 \ 5quote \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ aglist \ allquotes \ analogy \ anonlog \ append \ arienvenido \ as86 \ aseen \ asm \ autowelcome \ bardsworthlist \ before \ benvenuto \ bf \ bienvenido \ bienvenue \ blessyou \ bookofeso \ 23:55:30 ls bin/bf 23:55:32 `bookofeso 23:55:33 1:2/And #esoteric was without denizens, and empty; and the order was on the face of the PDP-8. And the software of fungot moved upon the face of the scrollback. 23:55:46 `ls bin/bf 23:55:47 bin/bf 23:56:01 `ls bin\bf\ 23:56:03 ls: cannot access bin\bf\: No such file or directory 23:56:07 bf 23:56:09 `bf 23:56:10 Run what? 23:56:17 `bf ++++++++++++++++++++++++++++++++++++++++++++++++++. 23:56:18 2 23:56:36 I don't know why, but `bf . is one of my favourite games 23:56:58 `help mkx <-- alas `help is one of the builtin commands we cannot improve. 23:57:01 bf +.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+. 23:57:10 `bf ± 23:57:19 `bf +.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+. 23:57:39 Moon_: Stop. 23:57:47 No output. 23:57:48 ​. \ 23:58:01 oerjan: `goodhelp? 23:58:10 Nobody would find it. 23:58:12 Moon_: No, the x needs to be included or it's a massive pain <-- only for executables, duh 23:58:24 fizzie: `chelp? 23:58:39 oerjan: Say "ping" when you've caught up to this. 23:58:43 (Just doing some measurements here.) 23:58:48 ping 23:58:54 oerjan: Yes, I've been informed 23:59:05 Nospam. <-- hey don't overdo _that_ either, testing HackEgo is traditional. 23:59:09 Moon_: So you're secretly oerjan then? 23:59:33 Moon_: Try throwing HackEgo into a botlop? 23:59:38 s/\?/./ 23:59:39 The same thing as this channel but with less robots <-- you cannot have real geeks without robots hth