00:03:08 -!- jaboja has joined. 00:07:46 -!- jaboja has quit (Read error: Connection reset by peer). 00:15:31 -!- dos has quit (Ping timeout: 240 seconds). 00:36:31 -!- earendel2 has joined. 00:39:08 -!- earendel2 has left. 00:39:11 -!- earendel2 has joined. 00:39:55 -!- earendel2 has left. 00:39:58 -!- earendel2 has joined. 00:40:06 -!- earendel2 has quit (Client Quit). 00:51:35 -!- oerjan has joined. 00:58:32 -!- boily has joined. 01:00:09 goily utc midnight 01:00:52 ahbingadonça. 01:01:30 terjane õhtust. 01:02:22 AAAAAAAA 01:03:19 oh darn i should have said my guess before googling 01:03:34 (estonian) 01:04:11 («ahbingadonça» → «ah bien regarde donc ça» → “oh, would you look at that”) 01:04:36 ah. french written in the proper polysynthetic spelling 01:04:48 *ding*(õ) 01:06:18 /'äbɛ̃gædɔ̃sɑ/ 01:07:08 meanwhile, trying to learn how to pronounce Korean correctly. 01:07:16 http://www.academia.edu/2000636/Grammaticalization_of_polysynthesis_with_special_reference_to_Spoken_French_ 01:07:38 for the most part, it's quite manageable, but then you trip up on arythmic consonant cluster that fungot you up your way through a word. 01:07:51 ooooh, shiny! 01:10:34 (it was the first google hit for french polysynthesis) 01:12:49 (of course that's a pretty disputed theory) 01:16:04 that "article" reads like notes taken during a class. 01:16:58 I doubt that the argument that French is polysynthetic is valid. 01:17:10 *sad trombone* 01:17:22 maybe just spoken québécois then? 01:18:05 that may be the case. 01:18:37 verb groups tend to suffer from the greatest mangulation. 01:19:06 “he was holding her” → «yatnè» 01:19:27 (of course, this is extremely colloquial and must be taken with an artery-clogging grain of salt.) 01:20:45 -!- Etaoin has joined. 01:20:53 hello 01:21:09 Hetalloin. 01:22:23 Good evetaoining 01:23:25 oh you're here :D 01:23:31 I just pm'd you haha 01:23:36 one example from wikipédia that, with some creativity, supports French polysynthesis: “she opened the door for him again” → «ayarouveraporte» 01:26:27 -!- lambda-11235 has joined. 01:27:23 helloily 01:27:33 how goes the drinking 01:27:59 tonight is dry. 01:28:44 the whole thing? like...until it's over? 01:29:31 eh? I'm just not imbibing any alcohol today. 01:29:50 why? 01:31:32 well back to the party 01:31:43 I may have woke up with a fiery headache... 01:31:50 * boily pokes quintopia in the party bits :D 01:32:35 anyone know why I can't get drunk? since we're talking about drinking 01:35:56 `wisdom 01:36:26 -!- augur has quit (Remote host closed the connection). 01:36:33 pidgin//The pidgin hole principle states that if n+1 messages are sent over n protocols, then at least two messages are sent over the same protocol. 01:36:58 `culprits wisdom/pidgin 01:37:21 int-e int-e int-e int-e 01:37:43 Etaoin: because you shouldn't aim for that hth 01:37:46 -!- MoALTz has quit (Ping timeout: 272 seconds). 01:38:05 int-e: Why not the usual meaning of "pidgin"? 01:38:17 I really don't aim for it, just a thing I noticed 01:38:37 `wisdom 01:38:40 bezout's theorem//Bézout's theorem says that if a system of polynomial equations over the complexes has as many variables as equations, then in the general case the number of solutions it has is equal to the product of one less than the degrees of the polynomials. 01:38:47 `culprits wisdom/beout's theorem 01:38:54 No output. 01:38:57 Etaoin: well, drink responsibly and eat lots of poutine to soak up excesses! 01:39:02 `culprits wisdom/bezout's theorem 01:39:14 b_jonas 01:39:48 b_jonas: What's wisdomy about that? 01:39:55 Classic b_jonas entry. 01:40:05 the wisdom of a wisdom is its own wisdom. 01:40:18 Etaoin: have you ever poutined? 01:41:03 what's that? 01:41:45 poutine: French fries, cheese curds, poutine gravy. 01:42:11 Are they French fries even in Canada? 01:43:24 hmm... good question... 01:43:26 well I have eaten them but what does that have to do with getting smashed 01:43:51 perfect post-night-out meal. it magically tastes better at 3am. 01:44:14 boily: Is that why the local poutine place closes at 4? 01:44:28 Unfortunately the vegetarian poutine I've had was kind of scow. 01:44:30 scowtine 01:44:48 i'm guessing the québécois will call their language french long after it's mutually unintelligible with the metropolitans 01:45:40 shachaf: the most well-known place is 24/7. 01:46:00 our French is Frencher than their French, bon! 01:46:03 The only place I know here is Smoke's poutinerie. 01:46:31 do you pronounce croissant the french or english way? 01:46:44 French. 01:46:59 I want to go to a bakery and overpronounce the shit out of "croissant" 01:47:06 kroasang 01:47:17 `? misspellings of corissant 01:47:19 oops 01:47:20 misspellings of corissant? ¯\(°​_o)/¯ 01:47:22 `? misspellings of corissant 01:47:23 misspellings of corissant? ¯\(°​_o)/¯ 01:47:25 ugh 01:47:33 i'll blame my fingers here 01:47:34 `? misspellings of croissant 01:47:36 misspellings of crosant? ¯\(°​_o)/¯ 01:47:49 shachaf: you're like, ruining the joke tdnh 01:47:54 are there any english people not in the eu here? 01:47:56 oerjan: i know :'( 01:48:13 Etaoin: please precise "English". 01:48:21 from england 01:48:27 Engs? 01:48:29 <\oren\> what would cause hexchat to take >1GB ram? 01:48:32 . o O ( slightly tempted to add a noodly special case for that one now ) 01:48:47 \oren\: All programs take >1GB RAM now. 01:48:51 It's just how software is written. 01:48:55 Why you should get drunk? In general is bad idea and my recommendation is to don't get drunk 01:48:59 Eclipse is the New Emacs. 01:49:02 A single Google+ tab in my browser takes >1GB RAM. 01:49:11 if your program doesn't take >1gb ram it's either not made in java or it's a toy program 01:49:13 zzo38: Why is it bad idea? 01:49:15 *gasp* someone uses google+! 01:49:19 <\oren\> cwasaw 01:49:46 * boily mapoles \oren\. "you're Canadian. you should know better! you bring disgrace to our families and ancestors!" 01:49:48 boily: Well, I try not to. 01:49:52 <\oren\> as in, I went to the bakery and got a delicious chocolate cwasaw 01:50:08 koason 01:50:12 AAAAAAAAAAAAAAAAAAAAAARGH! 01:50:21 kyoso 01:50:24 * boily wildly mapoles random miscroissanters 01:50:40 O Canada! Our home and native land! True patriot love in all thy sons command. With glowing hearts we see thee rise, The True North strong and free! From far and wide, O Canada, we stand on guard for thee. God keep our land glorious and free! O Canada, we stand on guard for thee. O Canada, we stand on guard for thee. 01:50:56 I have read that in French the words are different 01:51:15 zzo38: Some people get drunk because they enjoy it. 01:51:22 <\oren\> what would cause hexchat to take >1GB ram? <-- is it actually used or just virtually allocated? some programs have started allocating massive address space from the start (see: most recent GHC) 01:51:25 (I don't know what they are, but apparently they involve more Christianity and more swords) 01:51:27 zzo38: Why do you want them to deny themselves the pleasure of being drunk? 01:51:34 Ô Canada! Terre de nos aïeux! Ton front est ceint de fleurons glorieux! ♪ 01:51:36 zzo38: Do you speak French? 01:51:58 No I don't speak French, I just read in the news that the French Canadian anthem is different 01:51:58 Anyway the Russian anthem is the best one. 01:52:04 So you might as well scrap the rest. 01:52:07 . o O ( you should get properly drunk _once_, so you know to avoid it. ) 01:52:19 zzo38: I thought you were Canadian? 01:52:22 shachaf: It is recommendation not to get drunk, it is not a requirement 01:52:23 <\oren\> ee say portay la kwa 01:52:39 Yes I am Canadian but I am not very good at French. 01:52:55 I genuinely cannot get drunk tho 01:53:03 no matter how much I drink 01:53:16 (If I was working in government, I would try to learn French better so that I can know both English and French, but I do not work in the government and do not intend to.) 01:53:17 I can get alcohol poisoning and die? 01:53:34 if that counts as getting absolutely smashed 01:53:37 Etaoin: pretty much so, yes. 01:53:40 zzo38: Do you work outside government? 01:54:02 What do you think? 01:54:16 I thought not, but I didn't know. 01:55:03 I will not write the answer 01:55:13 you're not worthy of an answer 01:55:43 Anyway the Russian anthem is the best one. <-- i dunno i have a weak spot for the german one too. 01:56:28 isn't the swedish anthem basically abba? 01:56:31 or young lean? 01:57:20 Etaoin: no, although the swedish anthem is also nice. 01:57:36 that's honestly kind of disappointing 01:58:01 imagine at the start of every football game https://www.youtube.com/watch?v=xFrGuyw1V8s 01:59:02 https://www.youtube.com/watch?v=bJ4rpH4wLMQ that author comment is _so_ swedish (you can imagine what happened in the comments before he closed them) 01:59:39 zlatan singing "dancing queen only seventeen" 01:59:50 ("Please grasp that I'm not racist, I'm communist" 01:59:52 ) 02:00:21 communism isn't half bad honestly 02:00:28 people are though 02:00:38 basically, in sweden you cannot upload the national anthem to youtube without being accused of racism 02:00:57 * oerjan is norwegian not swedish btw 02:01:00 I've been reading a few capitalism propaganda books. 02:01:03 have you seen the picture of the most commonly learned language in europe on duolingo? 02:01:18 Capitalism is TG. 02:01:21 most are english/german 02:01:24 But it's also a mess. 02:01:28 in sweden it's swedish 02:01:44 Etaoin: ha 02:02:24 i doubt that even with all the immigrants, swedish would beat english as second language there... 02:02:55 not sure if it was official or a meme sadly 02:03:00 (assuming that _everyone_ learns english, like in other nordic countries) 02:03:16 everyone knows english in sweden is the stereotype 02:03:35 there's a person called Alcest in the chat, you like the band or just the word? 02:03:43 -!- hppavilion[1] has joined. 02:03:56 is it random or is it the band 02:03:59 because it's a great band 02:04:31 "It should work if your browser supports HTML" --Me 02:05:06 sounds like something you'd say condescendingly to someone being stupid tbh 02:05:33 Etaoin: I said it to someone whose computer refuses to install Flash (It's a linux box, so it's not like they're just a massive idiot) 02:05:51 i don't think Alcest is physically present now. e doesn't speak much, anyway. 02:06:24 lots of lurkers here. 02:07:20 -!- lleu has quit (Quit: That's what she said). 02:07:45 you sure flash only uses html? pretty sure a browser/os have to support flash for it to work 02:07:55 but getting flash to work on linux can get weird 02:08:49 i assume hppavilion[1] meant the page doesn't need flash 02:09:59 I understood it as saying flash should work if the browser supports HTML 02:10:23 i don't think hppavilion[1] is that cluecless. 02:10:47 `? hppavilion[1] 02:10:50 Etaoin: Yeah, no 02:10:50 hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. 02:11:08 ¯\_(ツ)_/¯ 02:11:27 oh now I get it ! 02:11:28 !!! 02:11:39 boy I'm slow 02:11:53 `learn_append hppavilion[1] No es tan cluecless. 02:12:02 Learned 'hppavilion[1]': hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. No es tan cluecless. 02:12:42 one day, we'll harpoon a South American, keep them in the chännel, grow them, and make them correct the Spanish bits of the Great Wisdom. 02:14:00 is there a bot that translates a given string into brainfuck code that prints it? 02:14:10 that'd be.. useful? 02:14:15 Etaoin: Not a bot IIRC, but there are some sites 02:14:22 Etaoin: Wait, I think fungot might have a command for that 02:14:22 hppavilion[1]: i think it refers to _code_, not of syntax for people that work on every rfc-compliant ircds 02:14:24 ^help 02:14:24 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 02:14:37 boily: And they'll be able to explain to other south americans that we aren't here to explain canaima 02:14:54 ^texttobf 02:15:43 The de-facto standard is "bf_textgen" (or various names like that), a genetic programming dealie. 02:15:51 It used to be installed in EgoBot, but of course that is no more. 02:15:55 It might be in the port. 02:15:58 why not :( 02:16:32 Why do I always try to derive meaning from fungot? We all know fungot never says anything of meaning; that'd give fnem away 02:16:33 hppavilion[1]: you made him sad! :p. ugh i need to install 02:16:45 Oh, wow, that was scary 02:17:03 fungot is tg 02:17:03 shachaf: i was thinking he was framed in frantic too. of course, the even worse thing about the course is to allow fnord to work with cygwin. 02:17:05 hppavilion[1]: don't encourage fungot hth 02:17:05 boily: how can you expect, " freestanding" means that the language only. ah well 02:17:15 The first statement sounded like Etaoin and the second sounded like the person I'm actively talking to who doesn't have flash 02:17:15 `! bf_textgen walrus 02:17:19 ​/hackenv/bin/!: 4: exec: ibin/bf_textgen: not found 02:17:27 Er, right, the name was different. 02:17:29 `! bf_txtgen walrus 02:17:38 fungot: "freestanding" means the language only? Very true. 02:17:38 shachaf: except for using os x? meaning via mouse? use a keyboard :p. 02:17:45 I agree completely. 02:17:51 72 ++++++++++++[>++++++++++>++++++++>+++++++++><<<<-]>-.>+.>.++++++.+++.--. [423] 02:17:59 ^bf ++++++++++++[>++++++++++>++++++++>+++++++++><<<<-]>-.>+.>.++++++.+++.--. 02:17:59 walrus 02:18:04 There you go. 02:18:11 Except it wasn't *that* slow when installed in EgoBot. 02:18:28 OH 02:18:33 B O O M 02:18:36 fizzie: Seriously, you didn't give fungot the input as a parameter, did you? 02:18:36 hppavilion[1]: a srfi can't specify a violation of privacy.). can someone spoon-feed me the require line above just installed in /.plt-scheme/ planet/ 02:18:47 fizzie: why is HackEgo so slow tdnh 02:18:52 It's also far from optimal. As you can maybe tell from "><" already. 02:19:07 -!- augur has joined. 02:19:09 * boily ties fungot and HackEgo together to see what will happen 02:19:09 boily: quite the contrary: undefined operations add a little bit. 02:19:12 fizzie: Why don't we just pipe it through a s/<>// filter? 02:19:23 oh yeah, interbot undefined operations baby... 02:19:35 hppavilion[1]: Because it would be such a minor win. 02:19:37 Well, that /could/ mess up when <> is the first occurence of > in the program 02:19:57 Depending on how the interpreter works- whether it just ignores < at the home position 02:20:00 I thought you meant s/> I don't think it's possible for bf_txtgen to generate a <>. 02:20:29 fizzie: Yes, that too, but I accidentally typed <> first and didn't feel like reaching /all the way/ to my backspace key 02:20:31 It has a very strict format for the program it generates. 02:20:34 fizzie: But anyway 02:20:38 is it possible to get fungot to say fungot? 02:20:38 Etaoin: yes. it parses it into an interpreter session and type ( load " foo.scm") doesn't seem to be baffled by curly braces in the bnf, but it 02:20:40 You're playing a dangerous game, fizzie 02:20:48 Etaoin: Yes 02:20:59 does it start talking to itself? 02:21:01 Etaoin: But it won't respond, because the IRC server doesn't send you your own messages 02:21:06 aw 02:21:17 Etaoin: The only reason they appear in your client is because the client adds them for convenience 02:21:23 what about adding another bot that'll try to talk to it every few hours 02:21:33 `? botlop 02:21:35 botlops are the core of botsentiences. Sapience is scheduled for the next release. 02:21:48 yeah I know how it works I've made chat clients ^_^ 02:21:50 Etaoin: It's been done 02:22:03 Etaoin: But please, feel free to try to make one- it's tradition 02:22:09 of course it has :D I just wanna see these in action 02:22:36 There's some amount of botloop avoidance logic in many bots. 02:22:40 Etaoin: Note: Botlopping doesn't count if you make the bot (unless you already made it and want to see if there's a part that lets you botlop) 02:23:05 HackEgo adds some invisible Unicode if the message starts with [^a-z] (approximately), and fungot has a built-in ignore list of nicks it ignores completely. 02:23:05 fizzie: all those dotted lines are hard on my eyes... so, it's not a 02:23:08 ^ignore 02:23:08 ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|metasepia|ruddy|preflex|evalj|idris-bot|passwordBOT|jconn|applybot|blsqbot|fnordbot|termbot)! 02:23:46 why are these built in though? 02:23:46 ^add-ignore DonaldTrump 02:23:59 Etaoin: So it doesn't botlop 02:24:15 how is botlopping a bad thing :( 02:24:18 Etaoin: And it'd be hard to add a feature to make it so you can add an ignore 02:24:30 Etaoin: It's fun for exactly 3 revolutions, then it gets annoyying 02:24:42 Etaoin: Remember, fungot is literally written in Befunge-98 02:24:42 hppavilion[1]: that is ( to humans) obviously not very useful unless you know what one i stopped at then 02:24:45 I suppose that's a fair point 02:25:32 (that's not even a piece of #esoteric jokelore; fungot is actually written in Befunge-98, and the code is public) 02:25:33 hppavilion[1]: mer espoo/ olari visitation now; away. the impossible takes a little time to understand it, so 02:25:44 I trust you dw :D 02:26:03 how are they implemented though? I mean where do they run? 02:26:07 https://github.com/fis/fungot 02:26:07 hppavilion[1]: what happens if you invoke a full continuation, because it has none. :p) 02:26:31 Huh, the last commit to fungot's repo was made in 2013 02:26:31 hppavilion[1]: it is a case of weird dos font? that's even worse 02:26:52 Etaoin: I assume on a server somewhere in Canada 02:26:54 do you purposefully keep saying fungot just to invoke fungot 02:26:55 Etaoin: the specs asked for meters or centimeters wide use.... make an interpreter for 02:27:04 I haven't been doing much fungot development lately. 02:27:05 fizzie: ok. i'll stick to the standard ( which it does the same? ( roughly that amount of bits 02:27:07 Etaoin: No, I don't purposely say fungot 02:27:07 hppavilion[1]: isn't you also oklopol? i dont see what the optimization does to the code during execution 02:27:14 Why would I want to invoke fungot? 02:27:15 hppavilion[1]: a few crappy ones use boehm's gc. it's as good as newlisp. any number of strings can be ordered by internet. that's so, eh, cheap enough 02:27:19 Fungot is fun for a bit 02:27:23 I don't fungotting know 02:27:24 Etaoin: that too. :) in fact, to me 02:27:24 But then fungot just gets annoying 02:27:24 hppavilion[1]: think " c preprocessor on steroids" for me in c and use http://www.toreun.org/ eso.zip is the latest ' unofficial' release, from november of last year) 02:28:00 OK, wow, that was an interesting response 02:28:56 The Funge who must Not be Named, when fnis creator said e hadn't been doing much development on fnim, told em (the creator) that fne would just stick to the standard- the code for the bot 02:29:26 As for where it runs physically, in a cfunge interpreter on a box about one and a half metres left of my feet. 02:29:30 -!- boily has quit (Quit: SENSORY CHICKEN). 02:29:38 but it does actually have to run on a server? 02:29:50 it's not possible to have it float in the ether somewhere 02:30:17 Unfortunately, freenode doesn't yet support free-floating blobs of Befunge for some reason. 02:30:41 Is there a programming language that uses X5O!P%@AP[4\PZX54(P^)7CC)7}$EICAR-STANDARD-ANTIVIRUS-TEST-FILE!$H+H* as a program? One where all programs necessarily look like viruses but aren't? 02:30:50 (well, except those that are) 02:31:14 Or, well, maybe it doesn't need the EICAR as a program, but it still has to always look like a virus 02:31:16 (HackEgo runs on the same machine as the esolangs.org wiki.) 02:31:27 oh on a more serious note, is it possible to design a language in which it's syntactically incorrect to write a non halting program? 02:31:29 fizzie: And the forum on the same domain 02:31:40 That doesn't really "run". 02:31:43 Etaoin: Yes, that's actually a class of language 02:31:54 I'd love to see that! 02:31:56 Etaoin: Total Functional Programming, where you can only write halting programs 02:32:05 Etaoin: It's actually a field that I think is gaining some traction 02:32:26 TFP or the better variant where you can write non-halting programs, but only when it's provable that they're non-halting 02:32:45 I'd prefer the former variant honestly 02:32:59 @messages-screamed 02:32:59 Unknown command, try @list 02:33:04 @messages-proud 02:33:05 oerjan said 1d 3h 16m 5s ago: In a 4D universe, would we have 2D roads? <-- if you consider 4d to include relativistic spacetime, we already do hth 02:33:05 oerjan said 1d 1h 24m 12s ago: grep has a -r option hth 02:33:17 oerjan: DAMN YOU! 02:33:33 DAMN YOU AND YOUR PROPER TECHNICALITIES OF SCIENCE! 02:33:40 02:34:26 aren't roads 2d by default? 02:34:45 *-c dammit 02:34:47 Etaoin: ...yes, but not "really" 2D 02:35:05 They're 2D the same way paper is 3D, basically 02:36:21 as an objection to oerjan's response, wouldn't string theory require the universe to be >12D? 02:37:38 haskell isn't total functional? right? 02:38:57 wouldn't f _ = f 3 non halting? 02:40:51 f = f equally much. 02:41:02 > let f = f in f 02:41:06 mueval-core: Time limit exceeded 02:44:09 can someone give me an example of a total functional language? 02:45:56 BlooP. 02:47:16 can the busy beaver be implemented in these languages? 02:49:27 (Well, maybe BlooP isn't. I'm not entirely sure what the exact definition for "total functional" is. But it's the canonical example language that only allows programs that halt.) 02:49:58 oerjan: DAMN YOU! <-- please don't damn people it disturbs ais523 hth 02:50:44 Etaoin: System F hth 02:51:13 Etaoin: It isn't 02:51:33 oerjan: It does? 02:51:44 I'm def gonna have a ton of these silly questions in the future 02:51:45 Etaoin: Almost certainly, but not really 02:51:54 Etaoin: these languages aren't even turing-complete, because then you'd have solved the halting problem. 02:52:00 shachaf: yep 02:52:07 I know they aren't turing complete 02:52:08 oerjan: does it disturb you 02:52:15 shachaf: slightly. 02:52:19 Etaoin: You can't *really* implement busy beaver in these because, by their nature, you can always make a longer-running program 02:52:31 Etaoin: And thus you can always make a program that leaves more cells on 1 02:52:43 but wouldn't it be impossible to implement the variations that don't halt? 02:53:08 basically anything we don't know if it halts could be tested in such a language, right? 02:53:13 Etaoin: Yes? 02:53:38 Etaoin: No, you can't put anything in that language to see if it halts 02:53:51 why not? sorry if it's a stupid question 02:53:59 Etaoin: Because even things we do know don't halt won't halt in this language- or, more accurately, aren't implementable 02:54:12 s/won't/will/ 02:54:44 Etaoin: In a language where all programs must halt, how would you implement a truth machine? 02:55:08 Since you can't, you can't plug in a program to see if it will halt 02:55:13 well that's my point, if it isn't implementable then it definitely doesn't halt 02:55:27 Though, I suppose you could argue this forms a valid strategy- oh, that's what I was about to say 02:55:28 Etaoin: any total language must leave some halting problems unimplementable, because otherwise you could again solve the halting problem by trying to convert to it. 02:55:40 basically something that would be like "Syntax error at line 34: would make the algorithm non halting" 02:55:45 *halting programs 02:55:46 Etaoin: Well, what about programs that do halt but aren't implementable? 02:55:56 are there such? 02:56:00 Etaoin: That would just be a solution to the halting problem 02:56:21 Etaoin: These languages don't syntactically prohibit non-halting, they just are impossible to make non-halting 02:56:52 I was asking for the former in the beginning, I suppose that's a nonsensical question now that I think about it 02:57:01 Ah, yes 02:57:21 Etaoin: In theory you could kind of make something like that? But it wouldn't really be useful 02:57:38 yeah the compiler would basically have to solve the halting problem on any program, right? 03:01:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 03:02:47 -!- hppavilion[1] has joined. 03:07:06 Etaoin: getting drunk is great and the reason you cant get drunk is you didnt drink enough booze. some people just metabolize it far faster 03:07:40 I don't know man I can chug a lot of it without any effect but I will conduct and experiment soon! 03:09:03 zzo38: the reason yo get drunk is ... all the best beverages are alcohiolic, and once youve had one, why stop? 03:09:21 -!- bender__ has joined. 03:09:48 Etaoin: what did you drink? shots? beer? 03:10:45 tequila 03:10:46 vodka 03:10:52 stuff like that 03:11:00 I do enjoy cider though 03:11:13 but those are the ones I'd try to drink to get drunk 03:11:35 oh and gin 03:12:33 hmm. do you like ale or wine? 03:12:57 I'm allergic to wine so have a guess ^^ 03:13:48 -!- bender__ has quit (Ping timeout: 250 seconds). 03:24:50 oh thats too bad 03:25:00 gnight 03:26:21 https://www.gnu.org/fun/jokes/c+-.html 03:26:25 just found out about this 03:30:49 `file quines/c 03:30:52 quines/c: C source, ASCII text 03:31:18 `` gcc -x c quines/c 03:31:38 No output. 03:31:48 `` ./a.out 03:31:49 ​#include \ int main(){char*s="#include %cint main(){char*s=%c%s%c;printf(s,10,34,s,34,10);}%c";printf(s,10,34,s,34,10);} 03:31:56 `` mv a.out quines/c 03:32:01 No output. 03:33:27 that's actually really cool 03:33:47 what is 03:35:15 the thing you just did 03:35:57 It's kinda a cute little quine. 03:35:58 it used to be like that, but today someone switched out with a new version just in text. 03:36:10 https://www.gnu.org/fun/jokes/error-haiku.html 03:36:13 *it out 03:36:32 wait just a sec 03:36:36 Though I tend to prefer explicit declarations over an #include for stuff like that. 03:36:42 (makes it a nice one-liner) 03:38:31 what's the language called that uses "human interpreters" in this irc? 03:39:05 ah IRP 03:39:18 http://esolangs.org/wiki/IRP#99_bottles 03:39:32 gf gave me a shirt with this printed on it 2 years ago 03:39:38 aww 03:39:43 in glorious courier 03:40:07 wait, including the GregorR? 03:40:10 is memonic an actual user? 03:40:13 yes 03:40:20 i don't know 03:40:23 I'll take pics when it's out of the wash 03:40:28 if you want 03:40:42 it's probably old, maybe fizzie remembers 03:40:58 does fungot remember 03:40:58 Etaoin: please remember that. what is lisp in small pieces right fnord that anything like eopl? how does one make thunks useful? 03:41:47 not sure if that's a yes 03:41:54 though that might be undecidable 03:42:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 03:42:42 -!- hppavilion[1] has joined. 03:44:03 the existence of a user named mnemonic predates my arrival on irc 03:44:59 -!- jonne_ has joined. 03:45:30 *memonic 03:46:38 mnemonic is correct though 03:46:50 sadly not the username they used 03:48:42 I want to be a good wikipedian- like the proper zealots who are overinvested in Wikipedia- but I rarely see something in need of edits. Halp. 03:49:33 learn an unused language and translate everything to that language? 03:51:22 I'm not sure why, but I went and tinkered with that quine a bit and made it charset-independent... 03:52:08 hppavilion[1]: fashion 03:52:12 fashion articles are *abysmal* 03:52:29 coppro: And me editing them would only make it worse 03:52:43 Etaoin: Is there an esperanto wikipedia? 03:52:53 yep 03:53:09 extremely well detailed too 03:53:43 -!- copumpkin has joined. 03:53:46 I.. I mean just detailed 03:53:52 well detailed isn't a phrase 03:53:57 yet 03:54:00 Yes there is 03:54:14 And a Lojban one 03:55:49 If a second language is an L2, what's an LΩ 03:56:40 Hm, should I learn Esperanto or Lojban? 03:57:15 croatian 03:57:30 nah no one speaks croatian 03:57:33 * oerjan runs away 03:57:44 I'm croatian :( 03:57:44 dobar vam dan svima 03:57:56 the language, not the nationality 03:58:09 what, there are _two_ croatians here? 03:58:19 Etaoin: why do you think i ran away 03:58:32 that may or may not be the gf I mentioned some time ago 03:58:36 aha 03:58:43 good taste in t-shirts 03:58:46 i know 03:58:59 we all have 6 character nicks 03:59:11 -!- pikhq_ has changed nick to pikhq. 03:59:13 Fixed 03:59:13 our messages are so nicely alligned, right fungot 03:59:13 Etaoin: it's not deterministic 03:59:15 the one true nick length, right myndzi 03:59:30 hikhq_ 03:59:34 ban pikhq 04:00:58 i cannot, he works at google 04:01:13 the repercursions are too scary 04:01:15 does he work in the googleplex 04:01:17 he outranks us all 04:01:36 jonne_: i don't know 04:01:46 tough crowd 04:01:53 Etaoin: well except fizzie 04:02:05 fizzie works at googleplex? 04:02:16 no, but he is also an op hth 04:02:53 (i assume googleplex is that mountain view place, and fizzie is in london) 04:03:09 googleplex is a number larger than google hth 04:03:30 the mountain view place is google [x] 04:03:30 you're thinking of googol hth 04:04:01 yes google is inspired by 80s scifi 04:04:09 googoglplex is the number, googleplex is the campus 04:04:20 is it actually called googleplex? 04:04:25 yes 04:04:30 that's genuinely amazing 04:04:49 I'm just marveling at how hilarious computer people are today 04:05:50 oh god 04:05:56 google x changed their name to just "x" 04:06:03 i've told you it was called googleplex months ago 04:06:11 https://www.solveforx.com/ 04:06:14 i'm disappointed 04:06:20 and sort of jealous you got to relive that realization 04:06:22 for free 04:06:26 i think it's common knowledge that boyfriends don't listen hth 04:06:51 nothing coppro says is free afaik 04:07:42 Projects that X has considered and rejected include a space elevator, which was deemed to be currently infeasible;[28] a hoverboard, which was determined to be too costly relative to the societal benefits;[29] a user-safe jetpack, which was thought to be too loud and energy-wasting;[30] and teleportation, which was found to violate the laws of physics. 04:08:08 someone should reorganize this sentence to be ascending in hilarity 04:09:09 you mean it isn't? 04:09:40 the more I read it the more I find it is 04:10:05 it really does hit a perfect high note with that ending 04:10:58 imagine if they did dabble in things acceptably costly in relation to the societal benefits 04:11:03 such as environmentalism 04:12:12 they do self driving cars, that's a step in that direction I think 04:12:30 doesn't that Makani thing count? 04:15:09 what do these cars even run on 04:15:50 A road, I suppose 04:15:50 intelligence 04:16:09 why don't you marry each other 04:17:15 because roads are 2d and intelligence is ethereal 04:18:13 but how does it work, do you even need a driver's licence 04:18:51 why would a car need a driver's licence 04:19:05 exactly 04:19:07 do you need a walking licence? 04:19:18 maybe the future is here and i won't ever have to make that investment 04:19:36 hopefully 04:23:51 driving is for losers lol 04:24:32 `wisdom 04:24:40 turkey//Turkey was the center of an empire that gobbled up much of Eastern Europe and the Middle East, something which brought them into conflict with Ostrich. In the 19th century the overstuffed empire started declining, and after the Great War it was cut up like so much Shish Kebab. 04:24:51 i'm pretty sure you'll need a driver's license at least until laws are changed. 04:25:01 also, someone in the driver's seat. 04:25:05 not if I sit in the passenger seat 04:25:09 dammit 04:25:15 `wisdom 04:25:17 html//HTML is short for "hope this mess loads". 04:25:18 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 04:25:29 `wisdom 04:25:30 `wisdom 04:25:31 `wisdom 04:25:43 chill damn 04:25:59 definitely deleting that one 04:26:04 diarrhea//Diarrhea is the most sickening accent, although some others are more grave. 04:26:05 ​\//\ was initially popular as a replacement for the solidus, but inevitably there was a backslash. 04:26:05 select//select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more. 04:26:48 tbh you should implement one that tells the user to chill if there's a lot of consecutive requests 04:27:00 5 is the standard number 04:27:08 for 6 requests i'd agree 04:27:23 `culprits wisdom/html 04:27:33 oerjan oerjan fizzie 04:28:04 hm 04:28:05 `5 04:28:10 1/2:422) cigaretes and drunking "lame highs for lame people" yeah if it doesn't make you go crazy and shoot at people, it's not worth it. take it from a norwegian. \ 803) unfortunately df is not yet able to simulate norway \ 871) so, i'm readng chaitin's book on the diophantine thing, and h 04:28:14 `spam 04:28:16 2/2:e uses lisp with single-character variable names, in APL's character set. is there a reliable test to see if i'm actually in some caricatured hell? \ 547) my old 2d game is named either runch or turbo fight.... and its hard \ 742) moral of the story with enough peer pressure nything is possible \ 04:28:36 hm 04:28:41 nostalgia forbids deleting any of them 04:28:57 why are you deleting :( 04:35:40 I think that you should hardly ever to delete them. 04:36:09 `quote 04:36:11 985) metar lead to canada, more metar and cows 04:37:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 04:42:27 Etaoin: it's a tradition 04:43:00 -!- bender has joined. 04:43:02 although these days there are so few crap quotes left that we normally don't find anything we want to remove 04:43:35 how come there's a shortage of crap quotes? 04:43:49 because we deleted them hth :P 04:44:00 `5 04:44:04 1/2:385) No nasty sounds for a while now. Going to turn off and on and see if the numbers get worse. \ 1070) <+kmc> Harry Potter and the Physical Impossibility of Death in the Mind of Someone Living \ 737) 200 and 20 are the same different notations for the same thing \ 368) Phantom_Hoover: nope, I 04:44:09 `spam 04:44:11 2/2: removed . from the current directory \ 686) Quinary computers replace the cache with a quiche. \ 04:44:41 what is that final newline for 04:44:50 Are quinary computers computers that can only run quines? 04:45:01 why aren't there any new ones though °n° 04:45:21 oerjan: it's me being lazy hth 04:45:37 Etaoin: there are. but i think we've got slightly higher standards 04:45:39 oerjan: alt. it's for disambiguating between text that contains a final newline and text that doesn't 04:45:47 OKAY 04:45:54 `cat bin/sport 04:45:55 distort "${1:-/dev/stdin}" | spore 04:45:59 `cat bin/distort 04:45:59 ​#!/usr/bin/env python \ import sys \ N=330 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = f.read().replace("\n", " \\ ") \ for i in xrange(0, len(data), N): \ print data[i:i+N] 04:49:18 `sled bin/distort//s#data = .*#data = ' \\\\ '.join(f.read().splitlines())# 04:49:21 bin/distort//#!/usr/bin/env python \ import sys \ N=330 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = ' \\ '.join(f.read().splitlines()) \ for i in xrange(0, len(data), N): \ print data[i:i+N] 04:49:25 `5 04:49:28 1/3:946) i've always wanted to xor swap transfinite ordinals \ 111) ais523: elf corpses are not considered expensive health food. but the most expensive. \ 327) yes i use the services of a psychic, but i'm considering getting a live one since stuff like "hello $name, your first name $first_name has |$first_ 04:49:31 `spam 04:49:31 2/3:name| letters, so by using numerology we can tell ..." is getting kind of boring \ 829) I kept telling my therapist I wanted more conventional, non-hip-hop-oriented treatment, but it was no use. my shrinkwrapped. okay i hate myself for making a pun that bad please kill me :( \ 776) `spam 04:49:34 3/3:38> But I still sign by my pens and use extra dots and shapes and so on so that I can claim I was threatened to sign it and put those dots there to warn you, or whatever 04:49:36 oerjan: hth 04:50:17 . o O ( xor swapping transfinite ordinals is entirely reasonable ) 04:50:55 -!- Reece` has quit (Quit: Alsithyafturttararfunar). 04:51:42 it's just nim addition after all 04:51:46 *nimber 04:52:40 Is there something like FRACTRAN that uses powers of 2 and sets instead of primes and bags? 04:53:10 i think we concluded it isn't TC with sets 04:53:41 in fact, that's pretty obvious, you get a finite number of bits 04:53:51 Well, you might have to use a more complicated operation. 04:53:57 would you mind if I attempted at making my own bot? never done that before, might get interesting 04:54:26 shachaf: i know, you could treat the bits like a tape *runs away* 04:54:31 The one used by FRACTRAN (which would be something involving & and |, I guess) probably wouldn't work. 04:54:50 Etaoin: that's also traditional 04:55:23 and if it gets too spammy, it's traditional that shachaf asks you to move it to #esoteric-blah 04:55:49 And if it's actually too spammy, it's traditional that oerjan bans it a little later. 04:56:14 LIES 04:56:34 I'm gonna believe the man with the correct amount of characters in their name on this one 04:56:44 darn 04:56:52 `? lies 04:56:53 Lies are even easier than monoids. They form groups, known as Lie groups. 04:57:01 that's you oerjan 04:57:10 oerjan's LIES was a lie 04:57:11 i know 04:57:23 I know *you* know. 04:57:34 i think possibly you know. 04:57:41 https://xkcd.com/1646/ 04:57:42 * oerjan isn't that big on theory of mind. 04:57:43 relevant 04:57:44 maybe 04:58:17 jonne_: please don't link that where fungot can see it twh 04:58:17 oerjan: i wonder if it works 04:58:21 that kind of bot is obviously too spammy and would get moved to #esoteric-blah 04:58:28 fungot: NO IT DOES NOT WORK 04:58:28 oerjan: i am if i call eval on it is there, use fnord)? i 04:58:56 fungot: why don't you try it hth 04:58:56 shachaf: surely all 1x does is appends the x to the value of path slot. 04:59:12 shachaf: please don't doom us all twh 04:59:20 fungot: is oerjan doomed 04:59:20 shachaf: the last one.)" 04:59:28 fungot: am i doomed 04:59:29 shachaf: i'm having trouble getting the plt one 04:59:50 fungot: are we all doomed? 04:59:50 Etaoin: be there fnord. lanier thinks the software crisis. tush ehird print " fnord 05:00:01 we're ok I think 05:00:22 fungot: are you referring to sidney lanier twh 05:00:22 shachaf: if you want to offer you this one too. fnord. 05:03:14 fungot: look where too much fun got you 05:03:14 shachaf: cette newsletter n'est pas un programme." is that like cracking your knuckles, except you're an octopus? i can't seem to get the user accounts too, this'll take days. 05:03:40 ceci n'est pas un bot 05:06:05 `wisdom 05:06:06 superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal//Superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal is where mroman lives. 05:06:20 `culprits wisdom/superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal 05:06:26 mroman 05:06:27 TOO LONG TDNH 05:07:46 it's just german it's supposed to be that way hth 05:08:10 `wisdom 05:08:11 chicken//chicken is boily af 05:08:24 `culprits wisdom/chicken 05:08:30 mroman 05:13:00 `wisdom 05:13:03 extreme irony//Extreme irony is what happens when you get a Darwin award for extreme ironing. 05:13:13 `culprits wisdom/extreme irony 05:13:17 oerjan oerjan oerjan 05:13:28 Maybe I ought to make a version of `wisdom with built-in culprits. 05:14:10 I remember the days when HackEgo replied instantly... 05:14:27 -!- Kaynato has quit (Ping timeout: 244 seconds). 05:14:32 how come it's slow though? 05:14:52 I don't know. I tried to set up my own variant of it, but the main userspace linux emulator thingy kept segfaulting. 05:15:12 :( 05:15:29 I have a plan to make an IRC bot that simply runs inside a VM, and passes through things to bash without actually trying to do any shielding or anything. 05:15:54 are programming languages created or discovered 05:16:13 Well, same of any idea, really. Both, in my opinion. 05:17:10 does the answer change if said programming languages are joke languages? 05:17:23 Nah. Still both. 05:17:32 Sure, as an idea it has always existed. But /somebody/ had to jump through the mental hoops to figure it out. They "created" it by thinking of it out of "nothing". 05:17:46 it's 6am don't indulge him 05:17:54 Not for me. 05:17:57 :P 05:18:10 `wisdom 05:18:12 nano//nano is vi's sister. 05:18:19 `wisdom 05:18:20 helsinki//Helsinki is the capital of Finland. Its main suburb is Hexham, Northumberland. 05:18:27 Hm. Why's it a double /? Didn't it used to be a single slash? 05:18:39 Double / is the best. 05:18:42 `wisdom / 05:18:44 find: warning: Unix filenames usually don't contain slashes (though pathnames do). That means that '-name `*/*'' will probably evaluate to false all the time on this system. You might find the '-wholename' test more useful, or perhaps '-samefile'. Alternatively, if you are using GNU grep, you could use 'find ... -print0 | grep -FzZ `*/*''. \ //c 05:18:55 oops 05:18:55 Haha. 05:18:57 :D 05:18:59 oerjan: fix it twh 05:19:35 `smlist 445 05:19:36 smlist 445: shachaf monqy elliott mnoqy 05:21:11 is it possible to crash hackego 05:21:50 Possibly. It'd take quite the maneuvering, though. You'd have to break out of the UML thingy. 05:22:26 Huh. It took me this long to realise your nick is Etaoin, and that the rest of it is shrdlu. ._. 05:23:17 I hope I'm not stealing someone else's nick 05:23:22 * zgrep vanishes back into mysterious idling for a long time 05:24:36 I'mma go sleep cya <3 05:24:59 -!- Etaoin has quit (Quit: Page closed). 05:35:58 `find -path 05:36:01 find: missing argument to `-path' 05:36:10 `cat bin/wisdom 05:36:11 F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f -print0 | shuf -z -n1)"; echo -n "${F#wisdom/}//" | rnooodl; cat "$F" | rnooodl 05:37:10 `sled bin/wisdom//s,-name ",-ipath "wisdom/, 05:37:15 bin/wisdom//F="$(find wisdom -ipath "wisdom/*$(echo "$1" | lowercase)*" -type f -print0 | shuf -z -n1)"; echo -n "${F#wisdom/}//" | rnooodl; cat "$F" | rnooodl 05:37:21 `wisdom wisdom 05:37:31 wisdome//The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom. 05:37:34 hm wait 05:38:10 `cat bin/lowercase 05:38:11 ​#!/bin/bash \ tr A-Z a-z | sed 's/Ø/ø/g' 05:38:35 `sled bin/wisdom//s/ipath/path/ 05:38:39 bin/wisdom//F="$(find wisdom -path "wisdom/*$(echo "$1" | lowercase)*" -type f -print0 | shuf -z -n1)"; echo -n "${F#wisdom/}//" | rnooodl; cat "$F" | rnooodl 05:38:43 `wisdom / 05:38:45 ​¯\(°​_o)/¯//¯\(°​_o)/¯ is a misspelling of ¯\(°_o)/¯ 05:39:17 `wisdom // 05:39:18 ​//cat: : No such file or directory 05:39:30 -!- jonne_ has quit (Quit: Page closed). 05:39:49 shachaf: that'll be 6 zorkmids hth 05:40:06 oerjan: are we charging each other for HackEgo changes now? 05:40:58 `8ball are we charging each other for HackEgo changes now? 05:40:58 are we charging each other for HackEgo changes now? 05:41:00 You may rely on it. 05:41:05 i'm not sure the balance will wind up being in your favor hth 05:41:08 dammit stupid network 05:41:42 well i'm always off balance anyway. 05:42:22 `slwd oerjan//s#over#under# 05:42:25 wisdom/oerjan//Your mysterious articled cackling zombie underlord kommisjonær emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 05:44:42 wtf monday forecast 05:45:06 i think i shall not be outside at around 18 05:45:16 (not that i was planning to, anyway) 05:45:49 `? weather 05:45:51 lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK 05:45:54 CYUL 260400Z 00000KT 15SM FEW250 22/13 A3009 RMK CI2 SLP192 DENSITY ALT 700FT \ ENVA 260420Z 09003KT 9999 SCT010 BKN014 12/10 Q1016 RMK WIND 670FT 09006KT \ ESSB 260420Z AUTO 08007KT 9999 BKN098/// BKN180/// 20/16 Q1012 \ KOAK 260353Z 28013KT 10SM FEW180 17/11 A2993 RMK AO2 SLP135 T01720106 05:49:30 2.9 - 14.3 mm, that one hour. 05:49:41 -!- Melvar` has joined. 05:49:54 not very precise, i guess 05:50:15 -!- idris-bot has quit (Ping timeout: 264 seconds). 05:51:33 -!- idris-bot has joined. 05:51:48 -!- Melvar has quit (Ping timeout: 244 seconds). 05:53:24 -!- Melvar` has changed nick to Melvar. 06:13:00 -!- Destructible has joined. 06:17:17 -!- hppavilion[1] has joined. 06:17:28 Hm, would it be better to translate languages by going from the main language to lojban then from lojban to the target than just from source to target? 06:18:05 probably not 06:18:30 because any resolution conserved would only be done by the people making the conversion to lojban 06:19:09 perhaps it could be useful for converting it to a language where it is well described, before someone else translates it 06:25:16 Hm, would it be better to translate audio formats by going from FLAC to Ogg Vorbis then from Ogg Vorbis to MP3, than just from FLAC to MP3? 06:26:29 no 06:26:51 never use a lossy format as an intermediate as you'll just introduce more degradation 06:30:23 In video lossy formats often get used as intermediates. 06:30:48 Not that it's a good idea there either, it's just more common because raw or lossless compressed video is pretty sizable. 06:36:26 https://upload.wikimedia.org/wikipedia/commons/d/da/Voiceless_glottal_fricative.ogg should be a meme for responding to terrible jokes 06:42:16 Do linguists have a term for the way people talk to their pets? 06:43:03 -!- lambda-11235 has quit (Ping timeout: 264 seconds). 06:48:02 coppro: I was joking about the question about languages :) 06:49:00 ohhh 06:49:07 missed it lol 06:49:07 I FOUND THAT FILE BEFORE 06:49:15 I SAVED IT MY COMPUTER 06:49:18 it was amazing 06:49:18 Cale: Well, for audio formats you have a lossless option you can use instead, so you don't have to write n^2 converters. 06:49:44 There's no lossless language option, so in theory using a lossy language might make sense to save work. 06:50:06 Even if some intermediate format did make sense, though, it would almost certainly not be lojban. 06:51:03 To be honest, language is a lossy format as well 06:51:09 To begin with. 06:53:35 And translation is not exactly as practical to do automatically as audio format conversion is. 06:54:34 Destructible: That particular file I sent? 06:54:44 yes 06:54:52 i saved it before 07:21:35 There seems to be a rule that, if a word contains the diletter "py" or "pi", it is required that there be a (completely irrelevant) python library with a name based on it 07:22:05 "happy" is a haskell package 07:22:11 but not a haskell-python bridge 07:22:14 what a waste 07:31:42 shachaf: There's probably also a haskell-python bridge called happy 07:31:56 shachaf: If there isn't, we must execute the BDFL of happy and take its place 07:32:20 Also, how do you know there isn't a python package called "happy" fitting the criterium? 07:32:39 how can you truly know anything 07:32:43 the world is a mystery 07:33:30 like birds 07:33:38 what are birds? 07:33:44 We just don't know. 07:34:10 `? birds 07:34:25 why is HackEgo so slow? we just don't know 07:34:26 bird bird bird bird 07:34:33 `hoag wisdom/bird 07:34:42 revert accbc9c5c7ec \ echo wisdom/* | shuf | head -n 10 | xargs rm \ revert \ revert 1 \ revert \ for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ learn bird bird bird bird \ learn bird is a dinosaur \ learn bird bird bird bird 07:38:12 -!- oerjan has quit (Quit: Nite). 07:43:21 `? nite 07:43:22 nite? ¯\(°​_o)/¯ 07:48:43 -!- augur has quit (Remote host closed the connection). 07:58:04 <\oren\> Aw shit I made myself sound really old! 07:58:50 <\oren\> I remarked about "waiting for the game boy advance sp instead of buying the first gba" 08:01:54 <\oren\> how does one catch oneself from saying things that will inadvertently show one's age? 08:03:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 08:03:56 That doesn't make you sound very old... 08:05:24 pikhq, older than me, I guess, but probably younger than most of the channel 08:06:00 -!- Akaibu has joined. 08:06:01 Yeah, it only makes you "maybe mid-20s" 08:08:53 I never had any Nintendo things. 08:09:09 <\oren\> Actually, there's a more general question. How do you detect statements that reveal personal information indirectly? Can an automatic system be made to build up a profile of an anonymous person based on such statments? 08:09:19 People try to make me feel like I missed out on life. 08:09:21 Scowple. 08:10:18 <\oren\> seems like a pretty hard AI task 08:13:30 <\oren\> but on the other hand a system like that can also be used to automatically prevent people from revealing too much about themselves 08:14:17 You should reveal literally everything about yourself. 08:14:25 Don't you want to make the world more open and connected? 08:15:34 shachaf: Almost all of my Nintendo things have been adulthood purchases, if that makes you feel better. 08:15:47 <\oren\> I already kinda do. I'm using my real name here... 08:16:14 pikhq: How's pooching? 08:16:22 I don't, but many of you know my real name, and those of you who don't are a trip to google.com away. 08:16:32 shachaf: Doin' okay. Hopeful for my interview on Tuesday. 08:16:45 <\oren\> pikhq: that's true for me too, but only because I have way more money now to buy everything 08:18:23 What sort? 08:18:58 Code interview for an SRE position up in SF. 08:19:01 -!- MoALTz has joined. 08:23:09 pikhq: internal? 08:49:17 -!- gamemanj has joined. 09:05:47 hi 09:07:25 -!- Destructible has quit (Quit: Page closed). 09:07:30 How should I to do keyboard mapping lookup in Xwicketset? Using XKeysymToString and XrmStringToQuark every time a key is pushed would probably be slow? 09:30:50 -!- hppavilion[1] has joined. 09:46:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 11:24:49 https://highon.coffee/blog/penetration-testing-tools-cheat-sheet/ 11:25:04 this is great 11:25:11 gcc -o exploit exploit.c i needed this so much 11:25:26 yeah, gcc -o is a really useful option 11:25:28 it like... 11:25:29 makes output 11:25:41 go to a different place! *drama* 11:28:02 i'm so glad they show how to create a suid shell for both /bin/bash and /bin/sh 11:36:43 it has some useful stuff like 11:36:52 a reference to The Martian for their ASCII table 11:37:26 -!- Akaibu has quit (Quit: Connection closed for inactivity). 11:38:25 and such lovely advice as "Use google to search exploit-db.com for exploits" (yeah, that's not suspicious) 11:45:24 -!- prooftechnique_ has quit (Ping timeout: 260 seconds). 11:46:59 -!- prooftechnique has joined. 12:10:09 -!- Reece` has joined. 12:30:02 -!- jaboja has joined. 12:45:15 -!- jaboja has quit (Read error: Connection reset by peer). 12:52:32 -!- jaboja has joined. 12:58:30 -!- jaboja has quit (Remote host closed the connection). 13:01:26 I've never hung around on #IRP, so I wouldn't've seen the dicussion involving 'memonic', if that really happened. 13:09:33 how do you read wouldn't've ? 13:24:01 would not have 13:24:36 Person A: Are you intending on destroying the world? Person B: I wouldn't've even dreamt of it. 13:24:59 (of course, person B may be telling lies) 13:25:06 (but that's not the point) 13:25:17 that was an interesting subplot 13:25:45 In any language where you can tell truth, you can tell lies 13:26:08 (as long as those truths are arbitrary) 13:26:23 What about the other way around? (what about newspeak?j 13:26:28 )* 13:27:02 As long as those lies are arbitrary. 13:27:19 everybody can tell what "ungood" means 13:27:36 for example, uncreating the universe could be considered ungood 13:28:26 Note the "as long as they're arbitrary" - you have to have enough expression to tell whatever lies you need, and by having that you also leave a hole open for telling truth 13:30:03 Even a simple operator that expresses a fact to be not-true allows expressing a truth for any lie 13:30:14 because you can just prepend that operator 13:30:18 to the lie 13:30:38 And since your oppressive regime will have to, one day, say that the words of the rebels aren't true... 13:31:02 Someone will find a way to express (perhaps with some monkey-patching of the language), that your words aren't true. 13:44:11 \oren\: http://unicodepowersymbol.com/ 13:44:36 -!- jaboja has joined. 13:52:15 \oren\: also, Tangut 13:52:26 good luck with them! 13:52:45 * lifthrasiir is looking forward the eventual encoding of classical Yi script 13:52:58 (88,000 characters proposed, probably the largest of any Unicode proposal) 13:56:39 -!- HackEgo has quit (Ping timeout: 260 seconds). 13:57:59 -!- HackEgo has joined. 13:58:55 lifthrasiir: out of interest, what's the story of your nick? 13:59:52 I've just taken a nick of appropriate complexity (deriving from Lífþrasir of Norse mythology) and tweaked it so that it is available in gmail 14:00:12 ah 14:03:24 nortti: and if you wonder about Yurume instead, https://anidb.net/ch11207 14:12:51 a language is a standard that people agree on by communicating in it. thus, what stops Tolkien's scripts from entering Unicode? 14:13:06 What is the criteria for a language? 14:13:45 And/or script for that language? 14:14:27 I have heard there are some problems with tolkien estate re. tengwar 14:14:35 but I don't remember where 14:20:27 Cirth and Tengwar are still at 160xx in http://www.unicode.org/roadmaps/smp/ 14:21:06 (But the proposal is from 1997 already.) 14:24:15 gamemanj: roughtly speaking, 1. attestation in the actual texts 2. willingness of the community 3. suitability of encoding 14:24:52 Klingon (also proposed by Everson at the same time) was formally rejected for lack of evidence for point 1. 14:24:54 I think Klingon was rejected because of 2 (the *actual* Klingon speakers use Latin transliterations) 14:25:00 Well, maybe 2. 14:25:13 Depends on how you want to think about it, I guess. 14:27:04 fizzie: if the script has enough notability and (usage and/or research), probably 1 is not a concern 14:27:18 For Tengwar, there's an actual published periodical (http://www.elvish.org/VT/) and all. 16:11:08 -!- Kaynato has joined. 16:28:57 -!- bender has quit (Ping timeout: 250 seconds). 16:30:45 -!- jaboja has quit (Ping timeout: 246 seconds). 16:31:38 -!- impomatic_ has joined. 16:37:04 -!- impomatic_ has quit (Ping timeout: 258 seconds). 16:39:38 -!- bender has joined. 16:56:23 shachaf: which "usual" meaning of "pidgin" did you have in mind? in any case, the wisdom entry resulted from a discussion about IRC clients, IIRC. 17:15:44 -!- bender has quit (Ping timeout: 250 seconds). 17:28:04 -!- Reece` has quit (Read error: Connection reset by peer). 17:45:07 -!- jaboja has joined. 17:53:15 -!- jaboja has quit (Ping timeout: 264 seconds). 18:26:30 -!- moon_ has joined. 18:38:04 -!- augur has joined. 18:40:44 -!- ais523 has joined. 18:43:44 -!- ais523|telnet has joined. 18:43:59 right 18:44:02 -!- ais523|telnet has quit (Client Quit). 18:44:14 -!- ^v^v has changed nick to ^v. 18:46:36 <\oren\> http://www.orenwatson.be/AsaClassCruiser.PNG 18:46:59 <\oren\> http://www.orenwatson.be/AsaLaunchConfig.PNG 18:47:17 <\oren\> http://www.orenwatson.be/AsaLeavingKerbin.PNG 18:47:43 virtualbox is fixed 18:50:56 what, exactly, did oren do to cause a "biome Highlands" when nowhere near the planet in question 18:51:34 and who would need a smokescreen 18:51:42 ("Smk Scrn") 18:52:08 unless... Aha! \oren\ is actually a Kerbal spy! 18:52:29 ...also, that is one big cruiser. 18:53:31 \oren\: your font doesn't have japanese numbers? 18:53:39 (I also like the screen-space optimization you've got going on there with the 7-pixel-high font in the launch config...) 18:54:58 izabera: maybe try looking in the "Chinese Characters" section... 三 18:55:24 at least, 三 seems to translate to "three" according to Google Translate - it's possible I'm just uninformed. 18:56:32 gamemanj: it means "three" but it's also sometimes used phonetically 18:56:51 kind-of like people writing "l8r" to mean "later" in text messages 18:57:04 Noted. 18:57:26 also, that font has awesome things 18:57:42 (Translation: that font has awesssss...omethings.) 18:57:46 How do i set the path for non interactive shells? 18:57:59 cd 18:58:19 no i ment $PATH 18:58:35 in whatever config they read 18:59:07 moon_: «export PATH=» and the path in their config file 18:59:08 1一 2二 3三 4四 5五 6六 7七 8八 9力 10十 ok these are all in \oren\'s font 18:59:15 but i expected them to be contiguous 18:59:24 also i think 8 is wrong 19:00:34 and there's 百 twice 19:01:46 -!- AnotherTest has joined. 19:07:21 <\oren\> izabera: unicode doesn't have them contiguous 19:08:06 <\oren\> I have all kanji from grades 1-6 in Japan if that helps 19:10:37 <\oren\> This cruiser is heading to Duna and Ike to conduct orbital reconnaissance 19:11:07 <\oren\> It has 3 years of food, water and oxygen aboard 19:11:22 <\oren\> hauling that stuff takes a lot of fuel. 19:11:37 <\oren\> so the whole thing is therefore pretty big 19:13:53 One idea to avoid having to convert a keysym to a string and then to a quark each time a key is pushed in my program might be, when the resources are loaded to create an array of the sorted keysyms mapping them to the quarks, and then search that array using bsearch to find the quark corresponding to a keysym. 19:29:15 what stupid system doesn't have contiguous numbers? 19:30:05 -!- AnotherTest has quit (Ping timeout: 250 seconds). 19:31:47 izabera: well, they're not always digits (see what ais523 said) 19:32:12 izabera: so they're closer to just random letters, arranged in whatever order it was decided they should be arranged in 19:32:24 then they decided a stupid order 19:32:38 only from a numeric perspective 19:35:06 How to convert GContext to GC with Xlib? (Such thing might want to be done if you want to create a shareable GC) 19:35:35 why only share the GC? 19:36:01 -!- J_Arcane has joined. 19:36:19 I do not quite understand the point of your question 19:36:38 I mean, AFAIK Xorg has No Real Protection (tm) against applications messing with other applications anyway (see: Every fullscreen application that abuses XRandr ever), so there's no downside to passing a sub-window 19:39:23 Yes, you can share a window, font, or whatever, but it depend what you want to share 19:42:55 so apparently a GContext is a CARD32. 19:44:45 Yes, and can be stored in a property or selection or event or whatever, like any other ID. 19:45:14 Which would be lovely if I could even actually find in any of this what a "GC" actually is. 19:45:31 oh 19:45:35 Xlib.h defines it with a typedef 19:46:11 "GC" is an opaque type used in Xlib. You can convert a GC to a GContext, but not the other way around, it seems. 19:47:21 now you know why passing a window ID might be easier 19:47:43 Yes, but it does not help if the ID you want to share is not a window ID. 19:48:39 Would be lovely, but things that return GCs seem to be... few and far between 19:49:55 also, Xlib seems to keep spooky internal fields 19:50:06 at least, that's what they say... 19:51:17 presumably, 19:51:22 Something like this would do: GC XGetGC(Display*,GC,GContext); GC XUngetGC(GC); 19:51:37 those spooky internal fields are why they don't let you do that 19:51:59 some data it can't extrapolate from the ID 19:52:19 are you sure it has to be a GContext? 19:53:06 because by the look of it you'd have to allocate a GC, then swap around an internal field, and hope Xlib doesn't notice 19:53:16 aka. bad stuff 19:53:25 -!- boily has joined. 19:53:46 Can't it to retrieve the extra data from the server? 19:53:52 @metar CYUL 19:53:52 CYUL 261800Z 21010G16KT 30SM FEW060 FEW180 BKN250 31/15 A3005 RMK CU1AC1CI7 CU TR AC TR SLP176 DENSITY ALT 1800FT 19:53:59 zzo38: IDK 19:55:04 I mean, in theory there shouldn't be any extra data 19:55:46 I would think the extra data would be any pending GC changes 19:56:10 Well, trouble is they don't document it for some insane reason 19:56:19 so who knows 19:56:26 it just says "internal stuff" 19:56:47 oh, the specific quote is: 19:56:49 "there is more to this structure, but it is private to Xlib" 19:56:53 ...which means the same thing 19:57:00 but in a more complicated manner 19:57:07 (and being more annoying about it) 19:59:00 Hbot now allows you to execute raw python as well 19:59:20 tell me, is hbot online? 20:01:48 It is, and i discovered i made a mistake, someone else decided to write the python execution script, so nvm on python exec until later 20:02:02 Plus my version was bugged 20:02:14 (and I didn't even get a chance to mess with it, either) 20:02:20 (I tried many iterations of "help"...) 20:02:34 ? 20:02:49 trying to find out what commands it has 20:03:06 unless your hbot wasn't the hbot that recently left? 20:03:12 as in, a minute or two ago? 20:03:22 No. 20:03:31 well 20:03:33 on what channel? 20:03:38 none, left the network 20:03:56 Oh, hbot is running in #hbot and #esoteric-blah 20:04:00 yes 20:04:09 enough people use hbot for it to have a channel :P 20:04:11 command prefix? 20:04:26 >>> ( we changed it due to a quirk in the ezzybot framework 20:04:32 (suffice to say I don't want to have to start with the elvish next time it joins to try and get it to output a command listing) 20:14:55 The file Xlibint.h has all of the internal structures. In addition to the stuff I expected, it has variables "rects" and "dashes" 20:22:59 gamemzzoonello 20:23:05 helloily 20:24:05 -!- jaboja has joined. 20:24:53 jabellohja 20:25:19 hmm...is jaboja a human? 20:26:02 Welp, hbot is still not working with its new python support yet 20:27:05 i'm fairly certain moon is human 20:31:01 I'm a human. Beep! 20:31:10 Can anyone help out? we are failing badly at getting hbot to run python 20:31:13 We need someone who can do python :P 20:41:25 jaboja: hello human 20:43:13 jaboja: if you are a human, what is the best way to perform: 64 + 192 20:44:34 I would run python and see what it returns 20:53:02 and how would you run python 20:55:01 gamemanj: jaboja has already proven humanity. "i would push it off onto someone else if i have to but since i don't i will do nothing" is the most human possible answer 20:55:42 anyway, i can python a python sometimes. how much do you pay for such help? 20:59:05 -!- Etaoin has joined. 20:59:14 hello friends I am here 21:01:00 Hello 21:02:10 `wisdom 21:02:31 aw is it the wrong character? 21:03:12 montreal//Montreal is a city in Canada that somehow is obsessed with Vietnamese cuisine. 21:03:33 ah it's just very slow 21:05:44 HackEgo lives in a castle of sandbags to protect iself 21:05:47 *itself 21:05:53 However, this makes it very slow to communicate with 21:06:05 since the requests have to navigate the castle, 21:06:13 while avoiding all of HackEgo's evil traps! :) 21:06:47 `wisdom 21:07:10 twnh//twnh is dubious hambiguitous help that will or will not be help. It is provided by a toe with no hair. 21:07:17 idk with all the bells and whistles of hackego I somehow prefer fungot 21:07:18 Etaoin: " more logic p0rn at fnord!') code is perfectly ok for other people reading your code first. it is defined 21:20:02 -!- moon_ has quit (Ping timeout: 250 seconds). 21:22:14 The trouble with fungot is the lack of persistence. 21:22:15 fizzie: english auxiliaries are fucked up on the discussion list" though. :p))) without letting me see the perl script to complete the operation ( ' this record set the field x to be more, eh, specbot? 21:23:36 And there are some limits as to what's practical to do with brainfuck delivered over IRC, though there's a mechanism that allows to construct a program incrementally to go beyond the line lenght limit. 21:23:42 i amnpretty amazed for what is possible with befunge 21:25:39 -!- jaboja has quit (Ping timeout: 264 seconds). 21:31:53 myname, isn't befunge turing complete? 21:32:49 Etaoin: befunge-93 is a push-down automaton unless you use bignum arithmetic 21:33:01 it only has a finitely large playfield and a stack 21:33:12 befunge-98's use of a stack stack makes it turing-complete, I think 21:33:14 fungot is written in befunge-95 iirc 21:33:14 Etaoin: i think i've done that much without any sleep a few times 21:33:41 -!- boily has quit (Quit: HORRIPILANT CHICKEN). 21:36:17 -!- ^v has quit (Ping timeout: 244 seconds). 21:46:31 <\oren\> what characters should I add next? 21:49:31 to what exactly? 21:49:42 Etaoin: -98. 21:50:13 (I don't think -95 exists; -96 and -97 do, but only barely.) 21:50:19 so it is turing complete therefore myname's amazement isn't justified ^_^ 21:50:26 yeah I just misread 21:53:51 -!- Frooxius has quit (Ping timeout: 240 seconds). 21:59:13 Etaoin: well, being theoretically able to do everything and doing something useful are two different things 21:59:44 I have to agree what fungot does in that language really is quite remarkable :) 21:59:44 Etaoin: or it couldn't build it on top level? 22:07:45 ^ that's the secret, it's just built on top level. 22:08:40 A Befunge-98 variant with non-local function calls would be an eminently practical language. 22:09:12 There's a couple of function calls in the fungot sources, but they're pretty inconvenient to do, since you have to deal with routing execution back to any of the potential callsites. 22:09:12 fizzie: you sleep in the dining room studying, and someone said at assembly that music was ripped from fnord 22:10:25 why does it keep repeating fnord 22:10:47 "Fnord: The Definitive Album" 22:11:52 Those :1-#<| and :2-#<| and #<| sequences (read from down to up) on approximately the rightmost column of lines 258-263, 231-236 and 225-227 are part of the machinery to return from the sub-interpreters so that ^ul/^bf/^def can share code. 22:12:45 And it keeps repeating fnord because that's the placeholder word it uses when the language model synthesizes the "out-of-vocabulary word" token that was used to replace overly rare words. 22:13:20 (In some styles. Other styles are unpruned that way and entirely fnord-free.) 22:13:39 nice 22:13:53 At least that's intentional. The fact that Charles Darwin uses emoticons all over the place wasn't. 22:13:58 ^style darwin 22:13:58 Selected style: darwin (Books by Charles Darwin -- you know, that evilution guy) 22:14:14 so a function call,in fungot is actually a push of the "local scope integer" which gets looked up upon return? 22:14:14 fungot: So are you saying my parents were apes? 22:14:15 myname: with respect to editors, mr. gould as distinct species, and those from/ long-styled form; both these sets correspond in length with advancing age :) characters derived from seeds are generally :) extreme thinness; and on analysis by mr. frankland, was carefully examined;/ seeds were also conspicuously larger than those :)/ 22:14:15 fizzie: " 658? 1. published in/ :( atlantic monthly,' 1859, p. 5. 22:14:43 myname: Pretty much, yes. It's the "standard" way to do it. 22:14:50 -!- Nathan2055 has joined. 22:15:35 I used to have, as a signature block, a simple recursive Fibonacci in Befunge-93. 22:16:21 (Very briefly.) 22:16:35 >#v1&#:<-1<-1\0\_.@ 22:16:35 >2-!#v_:2\^fibre^-< 22:16:35 ^:_ >$1>\#+:#$!_1^ 22:16:41 Not sure if that's the final form. 22:16:59 "it's not even the final form!!!11" 22:17:53 why fibonacci? 22:18:22 fizzie: haha, I take it you're using the Befunge stack as a callstack? 22:18:28 It's one of the canonical examples of recursion. 22:18:34 Yes. 22:19:18 why fibonacci in your signature? 22:19:53 Oh. Well, I mean, I wanted something compact in Befunge. It seemed like the thing to do. I didn't keep it for long. 22:20:20 People had JAPH programs etc. 22:20:31 japh doesn't print fibonacci 22:20:34 -!- moon_ has joined. 22:20:35 shouldn't you write a jabh? 22:21:25 but maybe fibonacci is more interesting 22:21:39 jabh? 22:21:58 I didn't have any particularly creative ideas for a JABH. And I had already spent a while compacting "fibre" (that thing) into a small-ish rectangle. 22:22:03 I think mooz helped a little. 22:23:11 I still somehow feel obfuscated c code is less readable than befunge 22:23:18 myname: JAPH is an obfuscated Perl program that prints "Just another Perl hacker." -- by extension, JABH would be the same except s/Perl/Befunge/ for both the content and the language. 22:23:57 Etaoin: That would probably depend on whether the Befunge code is (intentionally) obfuscated. 22:24:14 more obfuscate than just being befunge?! 22:24:16 madness 22:25:13 Befunge is generally much more easier to write than to read, at least IME, and I've heard that from others as well. 22:25:28 iobcc 22:25:34 i always wondered if people defined golfong in befunge 22:26:02 like, do you count chars? lines? area? circumference? 22:26:14 pixels 22:26:28 that should be a subrequirement 22:26:45 in case two languages have the same amount of characters the one that uses the least pixels wins 22:27:02 I would wager a guess most Befunge golfing that goes on happens at anagol, and that just counts bytes in the source file. 22:27:02 indisagree 22:27:45 if pixels would be relevant, you could make a substitution language that replaces the most common commands with .,:…; etc 22:28:48 I was thinking recently that if we defined a transistor's operation as f(x,y) = if y then x else 0, assuming that's correct, any language that has an if else statement is turing complete 22:28:58 fizzie: ppcg also uses bytes in the source file for befunge, I believe 22:29:05 though I'm fairly certain transistors are a bit more complicated than that 22:29:06 (and similar languages such as hexagony) 22:29:42 although interestingly, it has a rule that for unicode-heavy languages, you can use either utf-16 or utf-8 22:30:51 i'd say area would be i much nicer measurement for bf golfing 22:32:25 well since only 3 bits are needed to store a brainfuck command and since even that can be further reduced with "switch" operators maybe we could just divide the amount of bytes by 2.667 22:33:01 unless bf is befunge here ^^ 22:33:08 befinge, yeah 22:33:11 *u 22:34:00 how is area different from byte count? 22:34:26 xxxx 22:34:26 x 22:34:36 That has an area of 8 and a byte count of 6. 22:34:44 that's arguably bullshit 22:34:54 if you use the term arguably loosely 22:35:30 At least for the "area of bounding box" definition, which is admittedly only one of them. 22:35:41 izabera: it forces you to think in other ways 22:35:47 (It could also have an area of 5, but that's still quite different from the byte count.) 22:35:56 like, xxxxxxxxxxxxxxx is worse that xxxx\nxxxx 22:36:10 Well, that's true for both. 22:36:27 you'd need to make solutions as quadratic as possible 22:36:27 -!- ^v has joined. 22:36:30 * ais523 considers making a language where the only meaningful thing is the shape of the bounding box 22:36:35 i think that'd be funny 22:36:47 ais523: good idea! 22:36:59 wouldn't a vertical line be more efficient than a square? 22:37:05 because you don't count newlines 22:37:11 you do count newlines 22:37:21 i wouldn't count newlines 22:37:43 a vertical line is worse that a horizontal line 22:37:50 but why 22:37:52 since x*y = y*x 22:38:02 and you may or may not count newlines 22:38:12 if you don't, it is equally bad 22:38:21 Anyway, I think many "area"-like definitions *would* be more natural, since "xxxx\nx" and "xxxx\n x" really "should" be the same "size". 22:38:25 -!- Warrigal has changed nick to tswett. 22:38:33 fizzie: yeah 22:38:41 i'd also use the mbb 22:38:54 the what? 22:39:22 minimal bounding box 22:39:25 ok 22:40:01 i just thought that with a vertical line you get many free bytes, even if they're all newlines 22:40:13 not sure if this is any useful in befunge 22:40:32 newlines do not have any meaning as far as i know 22:41:25 They only affect where the other source characters end up in the playfield. 22:41:42 is it harder to make a squarer program? 22:42:51 that's the question. fizzies fibonacci has about 50 commands in an area of 3*19=57 22:43:38 maybe circumference of the mbb is better 22:44:03 then it would be 3+3+19+19=44 22:44:30 whereas a squere with 8*8i64 possible chars only has a circumference of 4*8=32 22:44:35 *square 22:45:11 i wonder how much code i would have to write to allow a ghci interface over hbot in python.. 22:47:01 probably more than in sh with common tools 22:47:16 http://phpthegoodparts.tumblr.com 22:47:18 what about lisp 22:47:26 Lisp? i could try :P 22:47:33 In a one-line program, if you need to go both ways you generally need to "waste" some characters to #s. In a more squarish program, you generally need to "waste" some characters to ^v<>. It's really a matter of how well you manage to structure your code to avoid either kind of waste, keeping in mind that conditionals by nature change direction, and it's possible to e.g. use _ to do a ... 22:47:39 ... combination of < and $ in a single command if you happen to know the value you want to $ is nonzero. 22:48:20 (Those are called "drop ifs".) 22:49:14 yeah, but circumference force you to be more squareish since a squre has the lowest circumference (of any rectangle) for any given area 22:50:16 fizzie: actually, something that I've been thinking about in stack-based language design 22:50:18 Sure, in an asymptotic sense. 22:50:27 is whether it's better for commands to leave values on the stack and force extra pops 22:50:32 or consume them and force extra duplicates 22:51:27 I'm only really familiar with the latter kind. 22:52:04 ais523: if you really make something out of the bounding box idea, tell me. otherwise. i may think about it 22:52:26 myname: I'm not planning to think about it much 22:52:28 too many other esolang ideas 22:52:42 i barely have any :( 22:52:48 there's one I'm thinking about that seems really promising as a new paradigm but that will be a pain to write 22:52:54 either in terms of spec or impl 22:53:51 it reminds me of functional reactive programming, but probably isn't identical 22:54:36 is it possible to #define an array in c? 22:54:55 Idk 22:54:57 Etaoin: your question is a little confused 22:55:01 you might want to clarify what you mean 22:55:05 I dont even get what our talking about ^_^ 22:55:06 note that #define is a textual substitution 22:55:18 that runs before the rest of the program is parsed 22:55:27 so you can certainly use #define to construct parts of an array declaration, or the like 22:55:32 yeah I'm daft NEVER MIND haha 22:57:36 Compound literals might also be relevant in whatever the underlying context there was. 22:58:22 Etaoin: #define array(x) int array[x]; 22:58:23 ais523: Well, ish. You can't really get arbitrary strings out of it, "just" arbitrary tokens. 22:58:24 tadaa 22:58:37 (mind, the distinction is... silly and pedantic) 22:59:08 pikhq: actually I ran into practical problems with that on mingw 22:59:18 I have a macro that stringizes its argument 22:59:21 I just forgot macro functions aren't actually functions that run at compile time :) 22:59:22 and am using it like this: 22:59:31 stringize(C:\Users\ais523) 22:59:43 this textually becomes "C:\Users\ais523" which doesn't parse 22:59:56 presumably mingw is reasoning that as \ is not a valid token, it doesn't need to escape it 23:00:21 it's just putting in quotes whatever you pass as an argument 23:00:21 Huh... I had not even thought about that. 23:01:23 izabera: Not quite: 23:01:30 it still needs to escape " 23:01:33 23:01 ,cc #define stringize(x) #x \n puts(stringize(foo"bar"baz)); 23:01:33 23:01 fizzie: foo"bar"baz 23:01:36 Right. 23:01:47 fizzie: try that with a backslash escape inside the "bar" string 23:02:13 23:02 ,cc #define stringize(x) #x \n puts(stringize(foo"bar\nquux"baz)); 23:02:16 23:02 fizzie: foo"bar\nquux"baz 23:02:25 that's exactly what I expected 23:02:29 (and IIRC what mingw did in my tests) 23:02:39 it'd escape \ inside a string literal, but not outside 23:02:41 i heard that c compilers are cheap these days 23:02:46 so you don't have to query candide 23:03:09 yes but even using the -x c /dev/stdin trick 23:03:12 The user interface is much more convenient. 23:03:12 it's more typing than using a bot 23:03:14 <\oren\> Space Cruiser Asa has arrived at Duna! http://orenwatson.be/AsaAtDuna.PNG 23:03:30 what are these screenshots? 23:03:41 Making a candide-style script has long been on my to-do list. 23:04:02 It does a lot of stuff not entirely apparent from the above simple examples. 23:04:23 https://github.com/izabera/candide 23:05:01 https://www.facebook.com/mochadepressotogoplease/videos/650852988399077/ 23:05:27 fizzie: even with those examples, it's apparent that it's doing something special wrt main 23:05:38 also I didn't realise that candide was izabera's 23:05:43 it's not 23:05:53 pragma- is the author 23:05:57 izabera: the screenshots are of a proprietary interface to a complicated and downright insane physics-engine based simulation of the interaction of solid bodies that represent liquid, solid and organic-carrying vessels for the purposes of interplanetary travel within a fictional system. 23:06:02 I'd kind of want the fancy gdb integration and print-locals stuff. 23:06:16 well, the actual candide is on github too 23:06:34 (izabera: translation: the screenshots \oren\ is posting are of Kerbal Space Program.) 23:06:44 oh 23:06:47 much clearer 23:07:18 (you can see it in the text at the top) 23:07:49 ah written text, my old enemy 23:10:43 Huh, I didn't know the World of Goo people had made one of them programmering games as well. 23:12:27 fizzie:? 23:12:41 http://store.steampowered.com/app/375820/ popped up in my "queue". 23:12:48 on Wikipedia, "2D Boy" redirects to "World Of Goo" 23:12:51 yes, really 23:13:04 https://en.wikipedia.org/w/index.php?title=2D_Boy&redirect=no 23:14:04 world of goo is great though 23:14:22 human resource machine too! 23:14:37 It could redirect to https://en.wikipedia.org/wiki/Tomorrow_Corporation instead, at least. 23:14:51 hmm, all these programming games 23:14:57 and yet I still like BF Joust best 23:15:04 (although I've played a bunch of Rubicon too) 23:15:16 hmm, the common feature between those games is that they're both based on esolangs 23:15:24 like, specific, named esolangs that existed beforehand 23:15:37 rather than inventing one for the purpose of the game 23:15:41 so, basically, you like esolang-based games 23:15:53 I liked TIS-100 even though it invented the language. 23:16:20 why would they design a new language when there are existing well tested ones? 23:16:48 "merged to World of Goo, developed only 1 game, all notability tied to that article" *shrugs* 23:17:07 wow, Tomorrow Corporation's FAQ is really useful 23:17:30 izabera: most esolangs aren't very well tested :-) 23:17:42 good point but still 23:18:01 in fact, I'd say that if reading their FAQ, make sure to have "format" implemented as something which more or less emulates the DOS version (by guessing which drive letter the drives should be) 23:19:03 to be fair, the merge predates the release of that Human Resource Factory game. 23:19:20 -!- jaboja has joined. 23:20:09 Does it predate "Little Inferno"? 23:21:18 Human Resource Factory and Little Inferno both are from Tomorrow Corporation, not 2D Boy. 23:22:33 \oren\: https://github.com/nojhan/liquidprompt ⏚ ⌁ 🕤 etc 23:22:39 right, didn't read https://2dboy.com/ carefully enough 23:30:27 ais523: what are your thoughts on manufactoria 23:30:45 I've never heard of it 23:30:52 is it possible to define a logical not function from f(x,y) = if x then y else 0? 23:31:27 Etaoin: you just did. 23:31:32 Er. 23:31:42 I did? 23:31:47 Never mind, I read you wrong. 23:32:08 you thought it said if x then x else 0? 23:32:20 no wait that doesn't make sense either ^^ 23:32:35 Nah, I thought you were asking if it was possible to define such a function as f(x,y) = if x then y else 0. 23:33:04 What sort of thing is x? 23:33:11 Etaoin: f(0,0) = 0 means that if all inputs are 0, you cannot ever get 1. 23:33:24 ais523: implausible, but i'll take your word for it 23:33:46 I'd need a built in not operation in f(x,y) right? 23:33:54 quintopia: there are lots of things I haven't heard of 23:33:57 something like f(x,y) = if x then y else !y 23:34:12 or if !x then y else 0 maybe? 23:34:21 also f(x,y) is monotonic in both arguments... another reason why this will fail. 23:34:30 ais523: it's just it seemed like the kind of thing people who hang out here would be into 23:34:46 and it's been around for...five years now? more? 23:34:48 what does monotonic mean? 23:35:06 http://pleasingfungus.com/Manufactoria/ 23:35:33 hmm, Flash 23:35:49 Etaoin: x <= x' implies f(x,y) <= f(x',y) for all x,x' and y; similarly for the second argument. 23:36:11 Etaoin: If both x and y are just booleans, then f(x,y) = if x then y else 0 is just the same thing as f(x,y) = x and y. 23:36:12 -!- MoALTz has quit (Ping timeout: 276 seconds). 23:36:58 this actually makes a lot of sense, why do I never think any of this through ^_^ 23:39:27 Etaoin: https://en.wikipedia.org/wiki/Functional_completeness#Characterization_of_functional_completeness may offer some inspiration (though you don't need functional completeness if all you want to get out is negation; negation is affine in that terminology.) 23:40:08 `unidecode 🤔 23:40:45 U+1F914 - No such unicode character name in database \ UTF-8: f0 9f a4 94 UTF-16BE: d83edd14 Decimal: 🤔 \ 🤔 (🤔) \ Uppercase: U+1F914 \ Category: Cn (Other, Not Assigned) \ \ U+FEFF ZERO WIDTH NO-BREAK SPACE \ UTF-8: ef bb bf UTF-16BE: feff Decimal:  \  \ Category: Cf (Other, Format) \ Bidi: BN (Boundary Neutral) 23:43:21 strangely, my client can render it 23:43:24 despite HackEgo not knowing what it is 23:43:47 The Unicode database used by unidecode is a couple of Unicode releases old. 23:44:00 not specifically negation, just looking for a single instruction "processor" with the simplest possible instruction 23:44:22 Etaoin: BytePusher 23:44:40 Specifically, the processor behind it, but you'll need the 16MiB of RAM to do much useful stuff with it 23:45:04 Like, you can fit a small visual novel into 16MiB, in BytePusher, with music. (Actually the music's most of the problem.) 23:45:46 -!- moon__ has joined. 23:45:47 gamemanj: I take it you've tried? 23:45:57 -!- moon_ has quit (Ping timeout: 276 seconds). 23:45:59 Etaoin: if you just want to produce circuits, nand is a popular choice. (There are only two binary operations on Booleans that are functionally complete by themselved; the other one is nor) 23:47:20 ais523: Well, I didn't get around to trying to compress the music 23:47:43 . o O ( sdeddesd ) 23:47:44 when I played music in a limited system (microcontroller, not eso) 23:47:50 I know about these of course, was thinking of something either lower level such as defining a single transistor and using it as the only command, or something more high level such as a loop :) 23:47:53 I basically expressed it as a list of (frequency, duration) pairs 23:48:22 Etaoin: I don't believe it's possible to do useful computations using nothing but identical transistors 23:48:29 you either need two different sorts of transistor, or to add in resistors 23:48:34 who's talking about useful 23:48:50 that said, there's such a thing as diode transistor logic, hmm 23:48:52 `` sed sDedDesD << themselves 23:49:14 ais523: Yeah, except what was going on was more or less: 1. Yay, so there's a free visual novel that's creative-commons licenced! Let's port it! 23:49:17 Etaoin: "useful" as in "not hideously degenerate" 23:49:36 I repeat, who's talking about useful :D 23:49:39 OK, DTL needs resistors to function too 23:50:05 those don't seem that big a problem honestly 23:50:15 just another variable to add to the function 23:50:22 as in the resistance 23:50:55 Etaoin: yes, but I was thinking more in the golfing sense 23:50:56 -!- Phantom_Hoover has joined. 23:51:01 electronics golf 23:51:13 does that exist 23:51:17 and why not 23:51:19 (the usual version I see, at least from computer scientists, is "n-channel FET" and "p-channel FET" as the minimum set of components) 23:51:23 2. Oh noes, the music is making things difficult! Solution A. Transcribe music to module format & write player? Too difficult, too much work, and CPU limits. Solution B. Lossy compression. Music sounds awful enough already, + too much work. And CPU limits. C. Lossless compression? Didn't occur to me at the time. And too much work, and CPU limits... 23:51:27 (when working at the transistor level) 23:52:07 (well, if either of those can be singularly made to act as a NOR gate, you should be fine with one) 23:52:32 (... actually, then again, you need the occasional thing to add some gain to the signal) 23:52:50 (not if the signal itself is completely simulated) 23:53:17 (If you want to go with stuff that's simulated, then just work in logic gates) 23:53:32 (If you want to work in terms of real components, then work in those...) 23:53:58 (I would (but that's not the spirit of convoluted esolangs)) 23:56:00 -!- Phantom__Hoover has joined. 23:58:14 Etaoin: so your components act in the general sense of ideal FET components, with any additional rules you may set? 23:58:18 That could be... fun. 23:58:36 potentially 23:59:02 I'll see how I feel about it in a few days 23:59:49 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds).