00:02:38 Gah! Must switch projects again! 00:02:41 Damn you brain! 00:02:59 vanila: What would be great for Kitten? 00:03:15 I don't know what kitten is 00:03:48 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:05:04 `? vespene 00:05:05 vespene? ¯\(°​_o)/¯ 00:07:58 vanila: Check the topic 00:19:37 -!- boily has joined. 00:20:18 hellœrjan. 00:22:20 `wisdom 00:22:22 int-e/int-e är inte svensk. 00:23:02 boheily 00:23:36 `le/rn wat/Angkor Wat is a famous temple complex in Cambodia. 00:23:39 Learned «wat» 00:24:00 ooh 00:24:15 ooh? 00:24:27 `learn_append wat It is the largest religious monument in the world. 00:24:29 -!- lambda-11235 has quit (Quit: Bye). 00:24:29 Learned 'wat': Angkor Wat is a famous temple complex in Cambodia. It is the largest religious monument in the world. 00:24:43 * oerjan did not know that 00:24:49 -!- lambda-11235 has joined. 00:33:06 `quote 112 00:33:07 112) Some people are reasonable, some people who are not reasonable insist on changing things so therefore progress depends on not reasonablepeple 00:33:54 hellochaf. 00:34:00 yowly 00:34:11 @yowly 00:34:11 While you're chewing, think of STEVEN SPIELBERG'S bank account ... his 00:34:11 will have the same effect as two "STARCH BLOCKERS"! 00:35:06 `? attack 00:35:07 attack? ¯\(°​_o)/¯ 00:35:48 attack? 00:36:46 No. I was wondering whether the Alphago team had somehow solved this problem... now I know they didn't. <-- . o O ( do human brains have horizon effects ) 00:37:13 oerjan: probabl! 00:37:14 y 00:37:22 I don't think tehy do 00:37:25 (was that an instance... I hope not...) 00:37:32 int-e: *MWAHAHAHA* 00:38:39 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 00:39:50 oerjan: do you recall enough of ghc's #8827 to have an idea how safe or unsafe Data.Coerce is? 00:40:16 -!- hppavilion[1] has joined. 00:40:34 vanila: but perhaps you just say that because you didn't think about it deeply enough. 00:40:42 :P 00:40:57 vanila: You know J? 00:41:06 there was a very funny video of someone who made a NES AI 00:41:09 hppavilion[1], a bit! 00:41:09 vanila: #esoteric should make something like that. 00:41:18 and then when he tried it on tetris it sucked 00:41:24 An uber-terse array language of awesomeness 00:41:28 and when it almost lost it just paused the game 00:41:37 and kept it paused so that it would never lose 00:41:47 oerjan: I think so, indirectly 00:41:47 that's a brilliant strategy! 00:41:56 there are some safety mechanisms to avoid them but not perfect 00:42:14 `? defense 00:42:16 defense? ¯\(°​_o)/¯ 00:46:46 int-e: any unsafeness is due to modules defining data types with unexposed constructors that are not meant to be convertible, without considering the role mechanism? 00:47:44 oerjan: Looking at https://ghc.haskell.org/trac/ghc/wiki/SafeRoles I gather that type roles are respected, and hence one cannot break the reprentational aspect of the type system through coerce; at the same time it may still be possible to break abstractions... how bad is that? Can I use `coerce` to convert runST into unsafePerformIO, say? [probably not because of the rank 2 type, but maybe... 00:47:48 so all the discussion is about how far to safeguard against that. there is in any case usually no breach of memory safety, only invariants 00:47:50 ...there are other constructs like that...] 00:48:49 int-e: in Unsafe mode you can break abstractions, i don't remember if coerce is supported in Safe mode. 00:49:03 (and ST has a nominal type role for its phantom type argument...) 00:49:13 heh 00:49:16 oerjan: the module is Unsafe 00:49:31 @let import Control.Monad.Free 00:49:33 : 00:49:33 The package (profunctors-5.1.1) is required to be trusted but it isn't! 00:50:15 int-e: i'm not talking about the module you're importing, but the one you're defining 00:50:31 This is the reason why I'm asking... profunctors' Data.Profunctors.Unsafe module is marked "Trustworthy" and effectively exports `coerce`. 00:50:32 an Unsafe module can use unsafeCoerce, after all. 00:51:12 wheras Data.Coerce is Unsafe. 00:51:16 int-e: oh, i'm not clear enough about the current state to say whether that's bad 00:51:17 i don't know why people still bother with haskell 00:51:18 @let import Data.Coerce 00:51:19 .L.hs:75:1: 00:51:19 Data.Coerce: Can't be safely imported! 00:51:19 The module itself isn't safe. 00:51:53 it is possible that you need Unsafe mode just to _use_ coerce, even if it's imported from somewhere trustworthy 00:52:00 i don't quite remember 00:52:20 -!- lambda-11235 has quit (Quit: Bye). 00:52:30 vanila: i barely do now, i don't have ghc on my laptop :P 00:52:45 oerjan: "effectively" means I can define coerce' a = (#.) undefined (const a) undefined 00:52:49 I think it would be nice to write a new haskell compiler 00:53:04 -!- lambda-11235 has joined. 00:53:06 and it has just the same type as coerce. 00:53:10 hmm 00:53:23 or perhaps you mean inferring Coercible constraints is restricted 00:53:24 What do you al feel about modern haskell? 00:55:43 vanila: are you getting at anything in particular, or are you just trolling? 00:55:47 um ok 00:55:53 good for you 00:56:21 I do have complaints about Haskell... but no more than about other programming languages that I use. 00:56:28 not interested dude talk to someone else 00:56:33 -!- deltab has quit (Ping timeout: 240 seconds). 00:56:47 Ah, trolling it is then. Fine. 00:57:00 you're an idiot 00:57:01 or perhaps you mean inferring Coercible constraints is restricted <-- yeah 00:58:26 vanila: are you aiming for a ban tdnh 00:58:45 @slap vanila 00:58:46 I don't perform such side effects on command! 01:00:20 lambdabot: you should use this chännel's traditional weapons. 01:00:34 It didn't work? I tested it on myself in a private chat first. Oh well. 01:00:53 lambdabot is somewhat random 01:03:44 -!- deltab has joined. 01:03:55 boily: like parenthesis? 01:04:29 oerjan: okay, then the puzzle is why Data.Coerce is not marked as Trustworthy... 01:05:36 oerjan: (I played around a bit, and yes, it looks that Coercible inference is restricted in SafeHaskell. Thanks for the hint!) 01:07:19 b_jhellonas. unbalancing parentheses is a crime against humanity. 01:07:21 * boily eyes fungot 01:07:22 boily: last time i checked elucidatewhy is to become proficient in scheme programming by seeing how i can get it's just what oklopol and bsmntbombdood did have the occasional orgies, though. 01:07:50 int-e: on thinking, i think throwing around trolling accusations shouldn't be done this lightly 01:08:33 oerjan: Well, I guess I see why; it's really about giving library authors time to sprinkle `nominal` type constraints in their code where needed (like Data.Map). 01:12:06 int-e: i think the role considerations just haven't converged to a stable state yet. 01:12:34 -!- lambdabot has quit (Quit: hey, be careful with that cable!). 01:12:58 0.0 01:13:05 lambdabot quit !? 01:13:09 also, #8827 isn't implemented yet 01:13:21 hppavilion[1]: i assume int-e is reconfiguring things 01:13:29 oerjan: Ah 01:13:33 oerjan's right 01:13:35 possibly related to our coerce discussion 01:13:37 oerjan: Wait, int-e is in charge of lambdabot? 01:13:42 hppavilion[1]: yes 01:13:53 oerjan: *miniature mind blow* 01:13:57 :P 01:13:58 -!- vanila has left ("Leaving"). 01:14:11 *not a big mind blow, but still technically a mind blow* 01:14:23 (I've decided to trust profunctors for now...) 01:14:32 int-e: Profunctors...? 01:14:41 oerjan: For some reason, I can never get my mind off the concept of a language called Unilang 01:14:44 hppavilion[1]: one of ekmett's many libraries 01:14:52 int-e: Ah? 01:14:58 my memory is a bid vague, i'm not entirely sure whether int-e came here to the channel of his own accord, or whether he tagged along with lambdabot after we nagged to get it here 01:15:19 https://hackage.haskell.org/package/profunctors 01:15:30 he may not have been the maintainer back then 01:15:41 oerjan: I came here on my own accord the first time... not sure about my return ;) 01:15:56 s/on/of/ (meh) 01:17:06 -!- lambdabot has joined. 01:17:22 But it was probably unrelated to lambdabot. 01:17:25 @bot 01:17:30 :) 01:18:33 i was going to suggest on/of are both acceptable, sadly stackexchange disagrees with me 01:18:55 but one comment suggests confusion with "on my own account" 01:22:49 If it hadn't done this while behind that would also have made me happy. But it takes a really strong player (or some artificial setup; [...] <-- afaiu go has a pretty extensive handicap system, so not _that_ artificial... 01:24:15 * oerjan chuckles evilly at boily 01:25:11 huh? 01:25:25 boily: Unbalanced parens. 01:25:30 oerjan: actually the first time I came here the esolangs mailing list was still functioning; perhaps it mentioned the IRC channel? 01:25:46 perhaps 01:42:11 eek is easter that soon 01:43:57 Easter Approaches. The Holy Zombie will Come and Enlighten us All. 01:44:25 > (61 - 32) * 5 / 9 01:44:26 16.11111111111111 01:44:45 I've got a framework for a bot working! 01:44:54 > 21 * 9 / 5 + 32 01:44:56 69.8 01:45:44 hppavellon[1]! 01:45:52 ahoily! 01:55:56 hmm. well, your head exploded yes that's a good point to stop reading ;) ... reading old logs is fun :) 01:58:57 -!- boily has quit (Quit: COLLECTIVE CHICKEN). 01:59:02 `? sand 01:59:13 sand? ¯\(°​_o)/¯ 01:59:50 `learn Sand is what microprocessors are made of. GregorR invented it. 01:59:59 Learned 'sand': Sand is what microprocessors are made of. GregorR invented it. 02:00:07 if you don't stop reading when your head explodes, severe side effects may occur. 02:00:48 ( I wrote my compiler! And I built my processor, mother board, RAM, hard disk etc from sand. Sand that I /invented/!) (context was trust) 02:01:02 Gregor dropped the R eventually, i guess the people revolted against him. 02:01:03 trust in software and hardware, that is. 02:02:52 and he had only got cheap deathrayatcost defenses that failed at the worst possible moment 02:05:38 clearly he should have kept to the build everything yourself policy 02:06:38 I'm working on thoof4irc 02:17:17 !ps 02:21:28 Hm... 02:21:37 The bot is a bit buggy 02:22:40 !sh ps 02:22:41 ​\ \ Signal 18 (CONT) caught by ps (procps version 3.2.8). \ Please send bug reports to or 02:22:54 If anyone wants to experiment a bit with it, I can add a help and join it to #esoteric 02:23:06 But it doesn't seem to always get the messages I send it 02:23:42 The trigger is %% 02:23:43 ^prefixes 02:23:43 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 02:23:46 hmm. I'm not doing much esoteric stuff anymore. 02:24:03 int-e: date? 02:24:12 2006-05-27 02:24:21 O KAY 02:24:24 -!- Lilly_Goodman has joined. 02:24:35 -!- hppavilion[1] has quit (Quit: Leaving). 02:24:49 Hola 02:24:51 hello 02:27:42 oerjan: so yeah, my return in late 2013 is connected to me taking over lambdabot 02:28:07 @let import Control.Monad.Free 02:28:08 Defined. 02:28:11 @undef 02:28:11 Undefined. 02:28:12 fine. 02:28:23 in any case, good night 02:33:03 -!- hppavilion[1] has joined. 02:33:06 -!- hppavilion[1] has quit (Client Quit). 02:37:13 -!- hppavilion[1] has joined. 02:37:38 Lilly_Goodman: ¿Tiene algún interés en los lenguajes de programación esotéricos? O la programación en absoluto? 02:37:42 @messages- 02:37:42 oerjan said 4m 14s ago: CHICKEN :P 02:38:01 hppavilion[1]: si 02:38:03 Probably was not supposed to put that public xD 02:38:21 Lilly_Goodman: ¿Qué tipo de programación? 02:39:50 Lilly_Goodman: Qué lenguajes de programación lo sabes? 02:40:49 hppavilion[1]: se el de castellano y me interesa conrespecto a la computadora en si 02:41:34 Lilly_Goodman: 02:41:34 Google no se está traduciendo que adecuadamente. ¿Se puede reformular? O corregir los errores tipográficos? 02:42:51 oerjan: Would an IRC bot that does category theory be of interest to this channel? Or does lambdabot already serve that function? 02:42:53 hppavilion[1]: me puedes decir el hardware, se compone de la unidad central, los periféricos de entrada y salida?? 02:43:32 Lilly_Goodman: No estoy seguro de lo que estás pidiendo 02:44:34 una pregunta... el hardware de la computadora, se compone de la unidad central, los periféricos de entrada y salida? responde 02:44:56 Lilly_Goodman: 02:44:57 Eso suena bastante bien 02:45:24 Por otra parte, yo no soy un tipo de hardware 02:47:27 hppavilion[1]: de que parte eres? 02:48:02 shachaf: Could you figure out my puzzle now? 02:48:22 Lilly_Goodman: Hago la programación de computadoras. La mayoría de nosotros. Pocos de nosotros comprende el metal desnudo, por lo que yo puedo decir. 02:49:00 zzo38: I didn't look at it since yesterday. 02:49:13 hppavilion[1]: a esta bien... 02:49:47 Lilly_Goodman: OK 02:50:33 hppavilion[1]: tengo otra pregunta,,, para introducir cambios en un documento es necesario tipiarlo todo de nuevo? responde 02:50:54 shachaf: Would a bot with category theory as a builtin function be of interest to #esoteric? Assuming λbot doesn't already fulfill that function? 02:51:31 Lilly_Goodman: 02:51:31 tipiarlo no se traducirá 02:53:18 hppavilion[1]: tengo otra pregunta,,, para introducir cambios en un documento es necesario escribirlo todo de nuevo? responde 02:53:44 Lilly_Goodman: No 02:54:04 hppavilion[1]: dime el porque de tu respuesta 02:54:11 ¿Dónde está este documento? (También, tener en cuenta #esoteric NO es el soporte técnico) 02:54:41 Lilly_Goodman: 02:54:41 Sería estúpido si tiene que volver a escribir un documento para hacer un cambio menor 02:55:00 I don't know what such a bot would be. 02:55:20 shachaf: A bot that includes a simple command API for manipulating categories 02:55:28 hppavilion[1]: jajajaja es para una tarea y no puedo responder asi 02:55:28 shachaf: And category theorizing 02:56:10 Lilly_Goodman: Pero ¿dónde está el documento que necesita cambiar? ¿Qué software? 02:57:43 Lilly_Goodman: Escucha, parece agradable, pero realmente no parece que este es el canal que está buscando. Creo que se debe encontrar en otro lugar que se adapta mejor a lo que usted está tratando de logros como un canal de soporte técnico con el español como idioma principal. 02:58:27 I don't know what that would be like. 02:58:58 -!- sajonara has joined. 02:59:13 hppavilion[1]: en Word 03:00:23 Lilly_Goodman: 03:00:23 Por favor. Encontrar un canal que hace de soporte técnico. Este canal no está hecho para responder a sus preguntas de la tecnología, que está aquí para geeks que tienen un lugar para pasar el rato. 03:01:51 donde pueden que me ayuden 03:22:09 `? frenemy 03:22:20 Frenemy is the relationship between Kirby and king Dee Dee. 03:38:51 shachaf: vaporware told me to tell you that it is scow 03:39:17 What is vaporware? 03:39:24 shachaf: Here's a preliminary approximation of a category theory CMD: http://pastebin.com/GGWvepfX 03:39:36 shachaf: Someone on ifMUD is named "vaporware" 03:39:43 They told me to tell you 03:39:53 zzo38: Aha. I know who that is. 03:40:23 zzo38: Tell vaporware that it's too good. 03:40:53 -!- sajonara has quit (Quit: Leaving). 03:43:44 http://ifmud.port4000.com:4001/finger?user=vaporware 03:44:31 shachaf: So what did I do wrong? 03:45:00 Posted a link to pastebin.com without using raw.php 03:45:07 http://pastebin.com/raw/GGWvepfX -- so much better 03:45:26 *fine* 03:45:38 http://pastebin.com/raw/GGWvepfX 03:45:40 Anyway, I don't think that's a helpful way of thinking about categories. 03:45:41 Happy? 03:45:48 For the thing that people usually do with them. 03:45:49 shachaf: That's for finite categories 03:45:51 But maybe it is. I don't know. 03:46:02 shachaf: That's just the API for building categories, isn't it? 03:46:28 shachaf: There'll also be ways to build bigger (i.e. infinite) categories, if I do it right 03:46:41 make sure you can build large categories hth 03:49:36 zzo38: Can I talk to vaporware without making an account? 03:51:09 shachaf: Yes; enter "connect guest" when it asks you to login 03:51:19 And then you can type "page vaporware =" and the message 03:52:49 Can I also talk to them in a public place? 03:52:52 Like an IRC channel? 03:53:27 Who's Olly? A bot or a human? 03:53:47 You can't use channels if you are a guest 03:53:58 But you can type "lounge" to enter the same location they are in 03:54:09 And then enter text with a quotation mark at first to say stuff 04:01:21 shachaf: Yep, that was the goal 04:02:04 donde hay un grupo que se pueda preguntar en español 04:02:27 aqui 04:03:45 Lilly_Goodman: Sorry I am not very good Spanish, this channel is for English. (Possibly some people can write/read other language too but mostly is just commonly English, therefore I would expect English writing please.) 04:05:00 shachaf: So how should the interface work for infinite categories? Obviously, you can't add arbitrary morphism 04:05:02 s 04:05:12 zzo38: Am I making a fool of myself in the lounge? 04:05:33 I don't know, although you are allowed to go into other location too if you prefer 04:05:51 But then how will I know what people are saying in the lounge? 04:05:54 (Including back into the starting location, or into the apartment building) 04:06:25 You can type "@recapchannel lounge" to read it. (If you have an account this can be abbreviated to "@recap lounge") 04:06:33 -!- Lilly_Goodman has quit (Ping timeout: 250 seconds). 04:16:37 zzo38: How do I find out where you are? 04:16:56 -!- dingbat has joined. 04:17:32 shachaf: You can use the "finger" command; type "finger zzo38" or "finger #20071" 04:17:49 How do I get there? 04:18:03 To get to the apartment building from the lounge, go east, and then go south to reach apartment building, and go to the top floor 04:18:12 zzo38: Oh, I can also type "where zzo38". 04:18:13 And then go into the east hall 04:18:22 Yes that works too 04:18:31 (I didn't know that, now I know) 04:31:13 -!- puckipedia has quit (Ping timeout: 240 seconds). 04:32:49 -!- treaki__ has joined. 04:34:10 I can describe workings of ifMUD if you want it 04:35:35 I can also tell you what things to set if you do have account 04:35:43 -!- puckipedia has joined. 04:36:03 -!- treaki_ has quit (Ping timeout: 240 seconds). 04:37:27 The command " to say to the current room, while ; is say to your current channel, : is describe yourself to do something (for example ": does something"), . followed by a name and space and text to whisper, and % followed by a channel name and space and text allows you to type to a specific channel which is not necessarily your current channel. 04:37:32 `? sparta 04:37:39 sparta? ¯\(°​_o)/¯ 04:37:42 -_- 04:38:48 What's the difference between page and whisper? 04:39:05 If you do have account, then the first few things you might want to do are to use @desc to write a description for yourself (enter "@desc me =" and a description); the description can also contain a JotaCode program if you want, and to use @option to set options. 04:39:39 shachaf: They work similarly. You might use whisper for in-character and page for out-of-character, although nobody really cares about such distinction much. 04:40:38 They also save the messages to different lists so that you can recap one or the other 04:43:18 Also guests cannot use @exec either; registered users can use @exec to execute JotaCode programs and then it will tell you the answer, for example "@exec @mul(6,7)" is a valid program. 04:55:38 Each object has fields and flags. You can view fields of objects someone else programmed only if the "examinable" flag is set on that object, although some fields are private and cannot be seen at all (even by the object's owner!). This includes your current channel, however there is a hack you can use to programmatically access your own current channel (setting yourself examinable will not allow other people's programs to access your current chan 04:58:16 `le/rn sparta/WE. DON'T. KNOW. ANYTHING. ABOUT. SPARTA! 04:58:20 Learned «sparta» 05:01:38 `? c++ 05:01:39 Along with C, C++ is a language for smart people. 05:01:56 `? haskell 05:01:58 Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' 05:03:55 shachaf: So what's the optimal way to implement categories if the way I tried isn't good? 05:04:10 Is it to give it a function to tell it whether or not an arrow can occur? 05:06:59 Hm... 05:08:30 `? c 05:08:32 C is the language of��V�>WIד�.��Segmentation fault 05:08:57 lambda-11235: Are there any good models that don't have a ubiquitous language for them? 05:09:07 For declarative programming? 05:09:22 (Logic :: PROLOG, λ-calc :: Haskell) 05:14:29 -!- XorSwap has joined. 05:22:54 Implement categories for what? 05:23:21 hppavilion[1]: For dependently typed languages, representing λΠω on the λ-cube, there is the choice of Agda, Coq, or Idris, without any of them necessarily being the goto language. 05:28:46 Looking through Wikipedia, dataflow programming might be one such model, although I'm not very familiar with that paradigm or the languages that implement it. 05:28:47 INTERPROVE- for INTERCALian mathematicians 05:28:55 It has, for example, the REEL type 05:30:04 CHALLENGE: Haskell with only tuples, lists, and bools 05:31:48 lambda-11235: What could be done as a type theory that makes absolutely no sense? 05:32:09 hppavilion[1]: You only need lists. 05:32:17 lambda-11235: Oh, right 05:32:21 []=0, [[]]=1 05:32:35 lambda-11235: Wait, but what do you do for tuples? 05:33:05 hppavilion[1]: []=0, 1=[[],[]], otherwise they won't be the same type. 05:33:28 Oh 05:33:31 Right, right 05:33:39 Why do you need tuples? 05:33:52 lambda-11235: They just seem like they'd be useful 05:34:46 Then why only use tuples, lists, and bools if it should be useful? 05:35:27 Actually, all you need is functions. 05:36:50 lambda-11235: I'd like to see a way of constructing functions on pure lists out of pure lists 05:37:05 (Non-homogenous) 05:38:46 hppavilion[1]: What do you mean? f :: [a] -> [a]? 05:44:12 As far as what can be done with type theory that is hard to make sense of, check out http://homotopytypetheory.org/. 05:46:27 I haven't found interest or time to read it yet, and to be honest I'm only starting to learn type theory. 05:47:27 But I know it's a HoTT topic in the type theory community. :) 06:13:14 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 06:16:36 -!- hppavilion[1] has joined. 06:19:50 -!- bender|_ has joined. 06:35:23 Hm... 06:35:34 What I really want to do right now is put a new spin on functional programming 06:41:04 Probably... hm.... 06:42:33 -!- XorSwap has quit (Quit: Leaving). 06:47:15 -!- lambda-11235 has quit (Quit: Bye). 07:04:33 Hm... 07:04:37 What to do, what to do 07:05:16 -!- Effilry has joined. 07:08:08 * hppavilion[1] bashes his head against the wall of #esoteric 07:08:37 that's not how you work your brain hth 07:10:06 oerjan: Yeah 07:10:20 what's some good tea twh 07:10:24 It's late, so I'm not drugged up anymore 07:10:31 And thus my brain is even worse at focusing than usual 07:11:40 I still want to play Nomic, but I can't get anyone to play xD 07:13:32 this latest girl genius arc seems to be a run of chekhov's guns fizzling out 07:15:26 -!- izabera1 has joined. 07:15:28 -!- heroux has quit (*.net *.split). 07:15:28 -!- vodkode has quit (*.net *.split). 07:15:29 -!- atehwa has quit (*.net *.split). 07:15:29 -!- Nithogg has quit (*.net *.split). 07:15:29 -!- FireFly has quit (*.net *.split). 07:15:29 -!- izabera has quit (*.net *.split). 07:15:29 -!- Deewiant has quit (*.net *.split). 07:16:05 -!- heroux has joined. 07:16:06 -!- vodkode has joined. 07:16:06 -!- atehwa has joined. 07:16:06 -!- Nithogg has joined. 07:16:10 shachaf: from my coffee shop days, i recall rooibos 07:16:14 -!- Deewiant has joined. 07:17:17 are you past your coffee shop period 07:17:22 what period are you in now twh 07:17:50 right now i seem to be in an italian restaurant period 07:18:24 -!- kline has quit (Ping timeout: 276 seconds). 07:20:48 oerjan: Is it true that Norwegian pizza is the best in the world? 07:22:02 Foods in Canada are better than others 07:22:18 (Even if it is the same chain of restaurant in a different country) 07:23:14 shachaf: yep. specifically the norwegian pizza made by kurds running italian restaurants. 07:23:33 zzo38: Why? 07:23:51 *Sigh* 07:24:04 I'm setting up nomic over Github. Now to find somebody to play 07:24:14 s/somebody/some people/ 07:24:27 Does it use VoIP? 07:24:28 I might adjust the rules more frequently 07:24:39 I would play if it used VoIP, except that I have no mic. 07:24:44 shachaf: I don't even know what VoIP is xD 07:24:46 Voice over IP? 07:24:50 Yes. 07:25:08 Is that just basically skype for classical hackers? 07:25:48 oerjan: Well, I heard the chains are the best. 07:25:53 Like Peppes and the other one. 07:26:29 shachaf: I don't know why, but in my experience, it is. 07:26:42 zzo38: Which other countries have you tried? 07:29:22 United States 07:29:30 Which states? 07:29:34 Also some stuff imported from England 07:29:51 -!- kline has joined. 07:30:02 I forget which states, but I think the ones near British Columbia 07:34:35 How about singleton nomic? Nomic where the entire game must be governed by a single overly-complicated rule 07:34:41 But a still-atomic rule 07:35:21 shachaf: Well, my nomic doesn't have VoIP unfortunately 07:35:31 i just wanted to make a pun hth 07:35:34 Oh 07:35:38 What was the pun? 07:37:44 ba-dum-tss 07:51:58 -!- J_Arcane_ has joined. 07:53:41 -!- J_Arcane has quit (Ping timeout: 244 seconds). 07:53:53 -!- J_Arcane_ has changed nick to J_Arcane. 08:04:26 `pastequotes zzo38 08:04:32 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.9775 08:05:31 `pastequotes http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.23629 08:09:39 Many of them are out of context, whether it is me or someone else who wrote it. 08:11:39 Isn't it? 08:21:27 I use the same IRC client that I had before, except now it is Linux because my old computer broke (I believe the CPU failed) 08:24:37 -!- oerjan has quit (Quit: wroom). 08:26:00 zzo38: Why do you disallow * in your robots.txt? 08:26:57 -!- AnotherTest has joined. 08:27:30 shachaf: Because I want to. 08:28:04 If you want to make backup of a few files that is OK though, but don't do too much please 08:28:19 I wanted to search the website with Google. 08:29:44 Well, use a different program. 08:31:14 What exactly are you looking for? 08:31:21 Maybe I know what file it is that you would need 08:32:17 I already forgot. 08:34:47 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 08:36:04 If you want to make your backups public that is OK too, whether the files are modified or unmodified, but please do not mark the modified files as exact copies of the original. 08:36:22 How do you mark files as exact copies? 08:38:00 That is up to you I suppose; a magnet URI might be one way I suppose 08:41:21 zzo38: whoa whoa whoa, http://zzo38computer.org/textfile/miscellaneous/zzo38_quote.txt 08:41:35 zzo38: In this case I think I was looking for the Magic: The Gathering PHP file. 08:41:39 But I could probably find it another way. 08:41:48 But I was hoping to look for all sorts of things. 08:42:08 Is this what you want? http://zzo38computer.org/mtg/cardfile.php 08:42:16 -!- izabera1 has changed nick to izabera. 08:43:43 Yes. 08:43:49 But I'll just lose it. 08:44:12 You should add a /sitemap.xml file 08:44:15 Bookmark it if you do not want to lose it, that would always be the way anyways 08:44:50 That doesn't work because sometimes I use a different computer. 08:44:51 I also think XML isn't very good for stuff other than text document markups anyways 08:44:57 I agree. 08:45:08 How about a regular index.html file that lists different parts of the website? 08:45:53 No I don't need such thing the different part don't even go together, there is just various stuff on the server 08:46:29 Just to help people find things. 08:46:40 What all the parts have in common is that you made them. 08:46:55 Actually it doesn't. Some files come from elsewhere 08:47:30 Well, you can leave those out. 08:48:33 Even not everything I have written may necessarily even be on my server since it may be something else, and in other cases also the protocol might be different too; there is too many possibilities 08:49:54 Well, all the things on the server available via HTTP are available via HTTP from that server. 08:50:02 That's what they have in common. 08:50:34 -!- hppavilion[1] has joined. 08:50:58 No even that is not true, some things are available via HTTP from other server 09:08:49 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 09:14:00 -!- hppavilion[1] has joined. 09:17:25 -!- earendel has quit (Ping timeout: 244 seconds). 09:27:45 -!- fractal has quit (Ping timeout: 244 seconds). 09:35:33 -!- J_Arcane has quit (Ping timeout: 240 seconds). 09:45:59 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 10:41:24 -!- lynn has joined. 10:47:31 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 11:15:25 hmm, how would one find a sub-TC language that has an undecidable halting problem? 11:21:17 I should ask that when ais523 is here 11:27:18 -!- earendel has joined. 11:39:28 -!- bender|_ has quit (Ping timeout: 268 seconds). 11:43:52 -!- bender|_ has joined. 11:50:25 -!- hppavilion[1] has joined. 11:59:24 -!- fractal has joined. 12:07:45 -!- bender|_ has quit (Remote host closed the connection). 12:08:33 -!- bender| has joined. 12:16:40 -!- AnotherTest has quit (Ping timeout: 244 seconds). 12:20:22 -!- copumpkin has joined. 12:20:52 -!- lynn has quit (Ping timeout: 264 seconds). 12:28:45 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 12:33:33 -!- bender| has quit (Remote host closed the connection). 12:41:44 is go also played on tori? 12:42:15 I'd say, not really. 12:42:39 why not? 12:43:10 The borders have a huge effect on how people think about go; you'd get a completely different game on a torus. 12:44:32 (the borders have a huge effect on tactics; they also naturally delimit territory, so building territory in corners and sides is easier than in the middle of the board... 12:44:35 ) 12:44:47 All this is part of what makes go go. 12:45:11 and it'd be weird to tell if you're surrounding or being surrounded i guess 12:45:17 (you may read that last word as a verb or as the noun denoting the game... both interpretations work for me) 12:45:59 that said, of course toroidal go has been considered... 12:46:38 http://senseis.xmp.net/?Variants#toc8 lists "torogo" for example. 12:47:23 android app, hmm. 12:47:43 they might even have a small community. *shrugs* 12:51:03 Is Go ever played on a Klein bottle 12:51:32 lol 12:52:08 I should know, apparently I invented it 13:03:33 shachaf: I store most of my public bookmarks on a set of public HTML pages, that was I can access them from anywhere. The list is quite disorganized and lots of things are missing, but it's still much better than nothing. 13:03:43 -!- bender| has joined. 13:20:30 int-e: What about toroidal chess? 13:25:42 http://www.chessvariants.com/shape.dir/torus_standard_board.html ... but it still knows about ranks (search for "promotion") 13:32:49 -!- `^_^v has joined. 14:04:07 -!- spiette has joined. 14:04:46 -!- Effilry has changed nick to FireFly. 14:06:13 -!- heroux has quit (Ping timeout: 244 seconds). 14:07:18 -!- heroux has joined. 14:08:33 `? ladder jump 14:08:48 ladder jump? ¯\(°​_o)/¯ 14:09:21 `slashlearn ladder jump/Ladder jump is the phenomenon that in practically all platformer games where the player character can climb up on ladders, it's faster to repeatedly jump and grab the ladder than to climb. 14:09:25 Learned «ladder jump» 14:12:57 -!- AlexR42 has joined. 14:59:50 -!- lambda-11235 has joined. 15:13:23 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 15:14:26 -!- AlexR42 has joined. 15:17:05 -!- lynn has joined. 15:21:06 -!- ineiros has quit (Ping timeout: 246 seconds). 15:24:22 -!- lambda-11235 has quit (Quit: Bye). 15:24:45 -!- lambda-11235 has joined. 15:32:12 -!- nycs has joined. 15:34:55 -!- ineiros has joined. 15:35:00 -!- `^_^v has quit (Ping timeout: 276 seconds). 15:42:25 -!- ineiros has quit (Ping timeout: 252 seconds). 15:50:21 -!- J_Arcane has joined. 16:37:39 -!- vanila has joined. 16:42:38 -!- Sgeo__ has quit (Ping timeout: 248 seconds). 16:58:42 -!- bender| has quit (Remote host closed the connection). 17:12:05 predictions on olist today? 17:14:36 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 17:14:59 -!- AnotherTest has joined. 17:16:30 shachaf: why would it have to be today? 17:16:51 -!- AlexR42 has joined. 17:18:19 shachaf: just because the FAQ still says both “Monday/Wednesday/Friday” (in a question title) and “Monday/Thursday” in the TOC? 17:20:02 `? oots 17:20:09 oots? ¯\(°​_o)/¯ 17:20:16 `? o 17:20:17 o? ¯\(°​_o)/¯ 17:20:30 `? vaarsuvius 17:20:33 Vaarsuvius is female. The Word of God about that is right at http://www.giantitp.com/FAQ.html#faq10 , right above where he tells the comic updates three times a week. 17:20:59 `learn Vaarsuvius is female. The Word of God about that is right at http://www.giantitp.com/FAQ.html#faq10 , right above where he tells the comic updates three times a week (twice a week according to the TOC). 17:21:04 Relearned 'vaarsuviu': Vaarsuvius is female. The Word of God about that is right at http://www.giantitp.com/FAQ.html#faq10 , right above where he tells the comic updates three times a week (twice a week according to the TOC). 17:22:14 b_jonas: I don't know, can you check the times of past olists? 17:22:27 b_jonas: Anyway the main prediction I was wondering about was "update/no update". 17:22:56 shachaf: I won't check, sorry 17:24:09 what is olist 17:24:17 `? olist 17:24:21 Update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html 17:24:32 huh 17:24:33 oh cool 17:24:34 hey 17:24:36 did anyone see this 17:24:47 `learn olist is update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html 17:24:50 Relearned 'olist': olist is update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html 17:24:53 https://gist.github.com/rui314/3b66fe949b5ee3b21120 17:24:54 https://raw.githubusercontent.com/shinh/bflisp/master/bflisp.bf 17:25:19 it's a c compiler in brainfuck 17:27:05 -!- Reece` has joined. 17:27:29 vanila: we have a couple of these subscribable user-triggered update notification thingies, but olist is the only really active one 17:28:21 look at the writeup and brainufck code 17:30:11 -!- ais523 has joined. 17:36:00 -!- ais523 has quit. 17:37:51 -!- augur_ has joined. 17:38:11 -!- augur has quit (Read error: Connection reset by peer). 17:48:33 whoa whoa whoa 17:48:40 `smlist 432 17:48:46 smlist 432: shachaf monqy elliott mnoqy 17:49:31 what's that? 17:49:32 `? smlist 17:49:33 Non-update notification for the webcomic Super Mega. 17:50:27 whys no one interested in the link i posted 17:50:40 vanila: it's brainfuck. I don't like brainfuck. 17:50:50 you should like it 17:51:13 its good 17:51:25 that reminds me, since Bardsworth and Everyday Heroes are updating so rare these days, I should set up update notifications for them 17:51:56 ``` rot13 < bin/aglist 17:51:57 rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf \ o_wbanf 17:51:59 `? aglist 17:52:00 aglist? ¯\(°​_o)/¯ 17:53:06 why am I on that twice? 17:53:37 ``` sed -i '$d' bin/aglist 17:53:41 No output. 17:53:43 ``` rot13 < bin/aglist 17:53:44 rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf 17:54:10 `learn aglist aglist is update notification for the Abstruse Goose webcomic. http://abstrusegoose.com/ 17:54:12 Learned 'aglist': aglist aglist is update notification for the Abstruse Goose webcomic. http://abstrusegoose.com/ 17:54:29 ``` rot13 < bin/pbflist 17:54:29 rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ funpuns \ Ftrb \ dhvagbcvn \ vba \ o_wbanf 17:54:32 `? pbflist 17:54:33 pbflist? ¯\(°​_o)/¯ 17:54:49 `learn aglist is update notification for the Abstruse Goose webcomic. http://abstrusegoose.com/ 17:54:52 Relearned 'aglist': aglist is update notification for the Abstruse Goose webcomic. http://abstrusegoose.com/ 17:55:06 `learn pbflist is update notification for the Perry Bible Fellowship webcomic. http://pbfcomics.com/ 17:55:09 Learned 'pbflist': pbflist is update notification for the Perry Bible Fellowship webcomic. http://pbfcomics.com/ 17:59:04 `cat bin/makelist 17:59:04 cp bin/emptylist bin/"$1" 17:59:21 i want esoteric programming language discussion 17:59:40 `echo shachaf >> bin/aglist 17:59:42 shachaf >> bin/aglist 17:59:49 shachaf: thx tdh 17:59:52 `` echo shachaf >> bin/aglist 17:59:54 No output. 18:03:02 ``` echo bin/*list 18:03:04 bin/FireFlist bin/aglist bin/danddreclist bin/don'taskdon'ttelllist bin/dontaskdonttelllist bin/emptylist bin/erflist bin/flist bin/list bin/listlist bin/llist bin/makelist bin/mlist bin/olist bin/pbflist bin/slist bin/smlist bin/testlist bin/wrlist 18:03:36 ``` cat bin/makelist 18:03:37 cp bin/emptylist bin/"$1" 18:03:41 `makelist ehlist 18:03:43 No output. 18:03:50 ``` echo b_jonas >> bin/ehlist 18:03:53 No output. 18:03:55 ``` rot13 < bin/ehlist 18:03:56 rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf 18:04:25 `learn ehlist is update notification for the Everyday Heroes webcomic. http://eheroes.smackjeeves.com/ 18:04:28 Learned 'ehlist': ehlist is update notification for the Everyday Heroes webcomic. http://eheroes.smackjeeves.com/ 18:04:46 ok, now what should I call the Bardsworth one? barlist, balist, bwlist? 18:05:13 or maybe bardsworthlist? 18:07:11 `? slist 18:07:15 `? wrlist 18:07:21 oh right, I know what wrlist is 18:07:26 that one will probably never be active 18:07:30 `? flist 18:07:46 b_jonas: you should `list hth 18:07:51 wrlist? ¯\(°​_o)/¯ 18:07:57 flist? ¯\(°​_o)/¯ 18:08:13 `makelist bardsworthlist 18:08:27 ``` echo b_jonas > bardsworthlist 18:08:35 argh 18:08:39 ``` rm bardsworthlist 18:08:44 ``` echo b_jonas > bin/bardsworthlist 18:08:58 No output. 18:08:59 Update notification for the webcomic Homestuck. 18:09:00 rm: cannot remove `bardsworthlist': No such file or directory 18:09:04 No output. 18:09:07 No output. 18:09:16 `learn bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/ 18:09:20 Learned 'bardsworthlist': bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/ 18:09:20 ``` rm bardsworthlist 18:09:22 No output. 18:09:29 ``` rot13 < bin/bardsworthlist 18:09:30 o_wbanf 18:09:35 uh 18:09:42 binsworthlist 18:09:45 bin/sworthlist 18:09:57 ``` makelist bardsworthlist && echo b_jonas >> bin/bardsworthlist 18:09:58 No output. 18:10:01 ``` rot13 < bin/bardsworthlist 18:10:02 rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf 18:10:08 better 18:12:24 can we create stuff like this for non-webcomic stuff too? 18:13:13 i don't understand 18:13:27 what is this "non-webcomic stuff"? 18:13:38 there cannot possibly be such a thing 18:13:51 sure there can be 18:13:56 There should be a list for new messages in #esoteric. 18:14:26 ``` makelist ioccclist && cat b_jonas > bin/ioccclist 18:14:28 cat: b_jonas: No such file or directory 18:14:47 `` cat bin/makelist 18:14:47 cp bin/emptylist bin/"$1" 18:15:40 `learn ioccclist is update notification for when a new year of the International Obfuscated Contest is announced, or the winners for a year is announced, or the source codes of winners are released. http://www.ioccc.org/#news 18:15:44 Learned 'ioccclist': ioccclist is update notification for when a new year of the International Obfuscated Contest is announced, or the winners for a year is announced, or the source codes of winners are released. http://www.ioccc.org/#news 18:16:14 `` echo -e 'shift\nfor n in "$@"; do echo "$n" > bin/"$1"; done' >> bin/makelist 18:16:16 No output. 18:16:25 oops 18:16:32 that completely doesn't work tdnh 18:16:33 `revert 18:16:43 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 18:17:53 `mkx bin/makelist//file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done 18:17:57 bin/makelist 18:18:51 Maybe lists should print usage information when run with no arguments. 18:18:56 Then they can be self-contained. 18:19:15 ``` rot13 < bin/ioccclist 18:19:16 No output. 18:19:23 um 18:19:29 did you revert me? 18:19:43 `? ioccclist 18:19:44 ioccclist is update notification for when a new year of the International Obfuscated Contest is announced, or the winners for a year is announced, or the source codes of winners are released. http://www.ioccc.org/#news 18:19:53 oh right 18:20:05 ``` makelist ioccclist && echo b_jonas > bin/ioccclist 18:20:08 No output. 18:20:11 ``` rot13 < bin/ioccclist 18:20:12 o_wbanf 18:20:15 nope 18:20:18 ``` makelist ioccclist && echo b_jonas >> bin/ioccclist 18:20:20 No output. 18:20:41 we need a subscribe command (which also figures out your nickname, which needs a HackEgo infrastructure update) 18:20:55 b_jonas: whoa whoa whoa, I just fixed makelist 18:20:56 maybe you could stop the bot spamming 18:21:12 b_jonas: You can `` makelist listname user1 user2 18:21:15 ``` rot13 < ioccclist 18:21:16 bash: ioccclist: No such file or directory 18:21:23 ``` rot13 < bin/ioccclist 18:21:24 rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf 18:21:35 shachaf: I see. but you still need a way for people to subscribe later 18:21:42 They can still use echo. 18:21:52 (maybe change the list template so that `foolist subscribe would subscribe you) 18:22:02 But then how do you subscribe someone else? 18:22:26 (no wait, don't do that, that would be a bad interface, for you could accidentally trigger the list too easly) 18:22:33 (it needs to be a separate top-level command) 18:22:51 Maybe you should have to confirm when you trigger the list. 18:22:51 shachaf: extra argument probably. like `subscribe foolist versus `subscribe foolist shachaf 18:22:58 `olist confirm 1 18:23:27 shachaf: or just make it check the actual webpage source and remember the number of the last strip and trigger only if it's updated since 18:23:39 There's no Internet connection. 18:23:46 And some lists don't have numbers. 18:24:21 But for lists that do have numbers, you can require a number, and even not alert if someone else has listed that number before. 18:24:47 ``` elinks -dump http://www.math.bme.hu/~ambrus/pu/verst 18:24:47 bash: elinks: command not found 18:24:49 -!- Guest91351 has quit (Ping timeout: 240 seconds). 18:25:31 ``` curl http://www.math.bme.hu/~ambrus/pu/verst | sed -n '/^Alf/,$p' 18:25:32 Failed to connect to socket 2. \ \ curl: (52) Empty reply from server 18:26:14 Is it possible to have HackEgo delete the root fs? 18:26:18 shachaf: yes, maybe, but I still recommend not using the foolist subscribe syntax 18:31:25 In the case of danddreclist at least, my own convention is that I post messages having a specific syntax in order to notify 18:32:09 The message happens to be a HackEgo command so that other people can program it to emit names or to do whatever other stuff they might want 18:32:12 I haven't read any danddreclist updates ina long time. 18:32:52 They are also all logged in the public IRC logs, so searching there also make it possible to find the date/time 18:34:09 But sometimes the IRC logging bot stops working. 18:34:47 Yes although there are two 18:34:57 Yes, but they might both stop working at the same time. 18:36:38 That is possible yes. 18:37:04 At least it can be known by checking if any numbers are skipped. 18:37:29 well, these update notification lists are opportunistic anyway. you should periodically check the original sources where the webcomics appear, rather than just rely on the irc messages. 18:40:17 should we have an xkcdwhatiflist? 18:40:33 Lists are only useful with more than one subscriber. 18:41:35 maybe, but creating one is the best way to find out who wants to subscribe 18:41:39 I think it can be useful even if the command does not exist, although then the command can later be added if someone want to. 18:41:46 -!- Sprocklem has joined. 18:41:51 b_jonas: Yes and that is part of it too 18:42:10 -!- Sprocklem has changed nick to Guest42719. 18:42:17 shachaf: I mean, you just brought aglist to have more than one member 18:42:37 True. 18:43:20 I won't create an xkcdwhatiflist now though. 18:43:45 what if you did? 18:44:04 `whatiflist 18:46:50 -!- Phantom_Hoover has joined. 18:53:09 -!- Guest42719 has quit (Quit: [). 18:53:40 -!- Sprocklem_ has joined. 18:54:37 ``` makelist keenlist b_jonas && learn 'keenlist is notification for when Tom Hall finally acquires the necessary intellectual property rights to create the videogame series Commander Keen: The Universe is Toast' 18:54:40 Learned 'keenlist': keenlist is notification for when Tom Hall finally acquires the necessary intellectual property rights to create the videogame series Commander Keen: The Universe is Toast 18:54:43 ``` rot13 < bin/keenlist 18:54:46 rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf 18:55:03 -!- Sprocklem_ has changed nick to Sprocklem. 18:57:15 [wiki] [[Special:Log/newusers]] create * Afukada * New user account 18:57:34 Should we have a listlist as update notification for when a new list is created, and make makelist automatically trigger it? 18:59:28 Or a listlistlist that announces whenever listlist gets implemented 18:59:29 This is not SQL 19:03:01 -!- zzo38 has quit (Remote host closed the connection). 19:15:40 -!- Sprocklem has quit (Ping timeout: 250 seconds). 19:18:38 -!- p34k has joined. 19:21:26 -!- atrapado has joined. 19:25:39 -!- gremlins has joined. 19:26:48 -!- Reece` has quit (Ping timeout: 246 seconds). 19:33:03 -!- gremlins has quit (Ping timeout: 240 seconds). 19:33:14 -!- atrapado has quit (Remote host closed the connection). 19:33:47 -!- atrapado has joined. 19:39:03 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 19:39:28 -!- AlexR42 has joined. 19:44:10 hmm, toast 19:46:05 At the bottom and in the comments, http://qntm.org/spells refers to a supposed esolang named Hoon. Does anyone have information about this language other than what's directly on that page? I couldn't load the links given there. 19:48:59 -!- atrapado has quit (Remote host closed the connection). 19:49:30 -!- atrapado has joined. 19:52:11 aha, https://github.com/cgyarvin/urbit/blob/master/doc/book/0-intro.markdown has information about it 19:52:49 -!- lleu has joined. 19:52:49 -!- lleu has quit (Changing host). 19:52:49 -!- lleu has joined. 19:52:49 -!- lleu has quit (Read error: Connection reset by peer). 19:53:02 -!- llue has quit (Read error: Connection reset by peer). 19:53:19 -!- lleu has joined. 19:55:07 [wiki] [[Nock]] https://esolangs.org/w/index.php?diff=46593&oldid=40989 * B jonas * (+106) 20:05:57 [wiki] [[Nock]] https://esolangs.org/w/index.php?diff=46594&oldid=46593 * B jonas * (+208) 20:06:00 [wiki] [[Hoon]] N https://esolangs.org/w/index.php?oldid=46595 * B jonas * (+310) Created page with "'''Hoon''' is a dynamically typed esoteric functional programming language. It compiles to a small lower level dynamically typed functional esoteric language called [[Nock]]...." 20:07:12 Can't believe there was no Hoon page yet 20:07:28 I know a bit about it, b_jonas! 20:07:37 wait wait, there's a newer webpage 20:07:47 the one I linked to says it's moved to https://github.com/urbit/urbit 20:07:58 http://urbit.org/docs/dev/hoon/ is up-to-date 20:09:03 lynn: supposedly. I just get some nonsense javascript from there. presumably that javascript might mean something in some browsers. 20:09:12 I'll give links to the github thing instead 20:10:22 lynn: ps. I hate when people post "I'm surprised nobody has mentioned $foo yet" to a forum thread. If you think there should be a page, just create it. 20:10:47 hoon is dumb 20:10:51 urbit sucks 20:10:55 [wiki] [[Nock]] https://esolangs.org/w/index.php?diff=46596&oldid=46594 * B jonas * (+74) 20:10:58 [wiki] [[Hoon]] https://esolangs.org/w/index.php?diff=46597&oldid=46595 * B jonas * (+93) 20:11:13 I rather meant: I was silently assuming there'd be a Hoon page 20:11:30 vanila: yes, it is dumb, but we're trying to build a comprehensive encyclopedia of esolangs here 20:11:31 If I'd known, I would've gladly written a stub about it :) 20:12:48 maybe it would be better to describe both Nock and Hoon as typeless rather than dynamically typed 20:13:03 [wiki] [[Hoon]] https://esolangs.org/w/index.php?diff=46598&oldid=46597 * B jonas * (-18) 20:13:12 [wiki] [[Nock]] https://esolangs.org/w/index.php?diff=46599&oldid=46596 * B jonas * (-18) 20:13:15 -!- boily has joined. 20:13:36 Nock is definitely typeless; Hoon sort of is, depending on how you look at it 20:17:23 feel free to edit the pages. the newer github repo has some more docs, but I'm not going to read them and try to understand them. 20:19:03 yes, it's really hard to make sense of em :< 20:23:50 -!- hppavilion[1] has joined. 20:29:46 [wiki] [[Hoon]] https://esolangs.org/w/index.php?diff=46600&oldid=46598 * B jonas * (+54) 20:30:39 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=46601&oldid=46592 * B jonas * (+22) 20:38:23 -!- nycs has quit (Ping timeout: 244 seconds). 20:41:29 -!- nycs has joined. 20:49:59 -!- jaboja has joined. 20:51:02 `wisdom 20:51:22 atrix/Atrix is a brand of hand cream. Not to be confused with atriq. 20:53:29 `culpritz wisdom/atrix 20:53:29 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: culpritz: not found 20:53:32 `culprits wisdom/atrix 20:53:52 @google how to erase lines from IRC backlog 20:53:54 https://www.irccloud.com/faq 20:53:55 int-e ais523 oerjan oerjan elliott Bike FreeFull ais523 ais523 oerjan 21:00:38 int-ello. you can't erase. all lines are permanent. the Internet's Ink is indelible. 21:06:52 @google how to turn the Sun into a supernova 21:06:54 http://www.universetoday.com/107791/will-the-sun-explode/ 21:06:54 Title: Will The Sun Explode? - Universe Today 21:08:49 I can't allow that, int-e. 21:09:15 well how are you going to stop me? 21:10:03 I will find you, and I will mapole you. 21:10:26 (unless you sunexplode before I get to that.) 21:11:03 sounds like a challenge 21:13:48 int-e: you aren't going to escape the long mapole of the law 21:13:57 pity that page says it's likely not going to work, not even with the added energy of a mapole. 21:14:01 `learn_append int-e Det kommer att explodera solen. 21:14:06 Learned 'int-e': int-e är inte svensk. Det kommer att explodera solen. 21:14:21 olsner: hellolsner. do you validate the Swedish used there? 21:14:51 Heute die Welt, Morgens das Sonnensystem! 21:15:23 . o O ( shachaf said something. there must be a pun somewhere, but I can't see any... ) 21:16:21 boily: it's misdirection. 21:16:32 boily: sounds a bit off. "it will explode the sun"? 21:16:45 shachaf: ITYM "Morgen". ("Morgens" means "in the morning") 21:17:17 olsner: I was trying to make it translate "he" or "she", but Google Translate was stuck on "it" for whatever reason. 21:17:22 or "morgen" actually 21:17:32 int-e: Probably. The first Google result was http://tvtropes.org/pmwiki/pmwiki.php/Main/TodayXTomorrowTheWorld which misled me. 21:17:50 Morgens die Welt, Nachmittags das Sonnensystem? 21:18:19 `? fternooner 21:18:20 fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry. 21:19:07 boily: Hen kommer att spränga solen. (that's e, he/she would be han/hon) 21:23:26 `le/rn int-e/int-e är inte svensk. Hen kommer att spränga solen. 21:23:28 Relearned «int-e» 21:23:47 what's the difference between spränga and explodera? 21:25:16 same meaning really, but the wrong/right one is in/transitive 21:25:32 I can never remember which of those words means which kind of verb :) 21:25:51 if it's the same as in german, things can explode, but you can't explode them; you'd blow them up. 21:25:52 transitive has a direct object; intransitive can't have one hth 21:26:18 or detonate them, that's better 21:26:19 so, yeah, explodera doesn't take an object 21:26:41 make them go FOOF! 21:27:02 German has "sprengen". 21:30:25 `? splode 21:30:26 splode? ¯\(°​_o)/¯ 21:34:16 sunsplosions are purdy 21:35:04 `? supernova 21:35:05 supernova? ¯\(°​_o)/¯ 21:35:07 `? sunscreen 21:35:08 sunscreen? ¯\(°​_o)/¯ 21:36:18 `? sunglasses 21:36:19 `? eye drops 21:36:19 sunglasses? ¯\(°​_o)/¯ 21:36:20 eye drops? ¯\(°​_o)/¯ 21:36:23 `? eye serum 21:36:24 eye serum? ¯\(°​_o)/¯ 21:36:26 `? eye scream 21:36:27 eye scream? ¯\(°​_o)/¯ 21:37:52 `learn scream = icecream - eye 21:37:54 Learned 'scream': scream = icecream - eye 21:38:10 hmm 21:38:13 `revert 21:38:21 that doesn't work, right... 21:38:22 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 21:38:50 `rm canary 21:38:51 No output. 21:39:02 `? scream 21:39:05 scream = icecream - eye 21:39:10 `rm wisdom/scream 21:39:12 No output. 21:39:30 `cat cana 21:39:32 cat: cana: No such file or directory 21:39:32 `cat canary 21:39:33 ​*tsjørp* 21:40:31 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 21:40:49 -!- AlexR42 has joined. 21:44:43 `? canary 21:44:44 ​*tsjørp* 21:44:55 lol 21:45:21 `stat wisdom/canary 21:45:21 ​ File: `wisdom/canary' -> `../canary' \ Size: 9 Blocks: 0 IO Block: 1024 symbolic link \ Device: 12h/18dInode: 1054017 Links: 1 \ Access: (0777/lrwxrwxrwx) Uid: ( 5000/ UNKNOWN) Gid: ( 0/ UNKNOWN) \ Access: 2016-03-14 17:20:28.000000000 +0000 \ Modify: 2015-12-09 04:13:17.000000000 +0000 \ Change: 2015-12-09 04: 21:45:30 -!- AlexR42 has quit (Ping timeout: 276 seconds). 21:51:20 -!- XorSwap has joined. 21:53:18 -!- MoALTz has quit (Ping timeout: 276 seconds). 21:54:04 -!- spiette has quit (Quit: :qa!). 21:54:08 -!- MoALTz has joined. 21:56:58 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 22:04:03 -!- nycs has quit (Ping timeout: 264 seconds). 22:11:18 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=46602&oldid=46601 * Erinius * (+12) /* L */ 22:15:30 -!- boily has quit (Quit: CONSERVATIVE CHICKEN). 22:27:23 -!- Sgeo__ has joined. 22:38:26 `? dowry 22:38:27 dowry? ¯\(°​_o)/¯ 22:40:15 `learn A dowry is a pribe paid for a brice, or maybe a bribe paid for a pride. 22:40:18 Learned 'dowry': A dowry is a pribe paid for a brice, or maybe a bribe paid for a pride. 22:47:58 it could be a bribe paid for a price; that would actually make sense 22:48:24 int-e: no, it's a price paid for a bride 22:48:32 I knew that. 22:49:20 but you had "pribe paid for a brice" and I just swapped two letters. 22:49:41 (I'm not sure where you placed the "d") 22:49:58 the d is in the pride 22:51:01 anyway I'm afraid we're miscommunicating again 22:51:37 I am, yes 22:58:18 -!- atrapado has quit (Quit: Leaving). 23:06:00 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:24:41 -!- jaboja has quit (Remote host closed the connection). 23:32:05 -!- vanila has quit (Quit: Leaving). 23:52:19 -!- hppavilion[1] has joined. 23:53:51 -!- lynn has quit (Ping timeout: 246 seconds). 23:54:19 -!- oerjan has joined.