00:01:55 -!- LKoen has quit (Remote host closed the connection). 00:03:45 -!- LKoen has joined. 00:36:37 -!- ArthurStrong has joined. 00:41:59 -!- arseniiv has quit (Ping timeout: 246 seconds). 00:53:59 -!- FreeFull has quit. 01:40:50 -!- sprocklem has quit (Quit: brb). 01:41:05 -!- sprocklem has joined. 01:56:29 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 02:05:18 -!- sprocklem has quit (Ping timeout: 245 seconds). 02:31:21 -!- sprocklem has joined. 03:01:34 -!- Frater_EST has quit (Read error: Connection reset by peer). 03:01:43 -!- Frater_EST has joined. 03:02:22 -!- Frater_EST has left. 03:13:59 -!- sprocklem has quit (Ping timeout: 268 seconds). 03:24:39 -!- sprocklem has joined. 03:36:38 -!- sprocklem has quit (Ping timeout: 246 seconds). 03:46:36 -!- imode has joined. 04:02:43 -!- sprocklem has joined. 04:07:38 -!- ArthurStrong has quit (Quit: leaving). 04:17:38 -!- sprocklem has quit (Ping timeout: 265 seconds). 04:33:11 -!- sprocklem has joined. 05:27:48 -!- sprocklem has quit (Ping timeout: 268 seconds). 06:00:07 -!- FraterEST has joined. 06:01:35 -!- FraterEST has quit (Remote host closed the connection). 06:03:25 -!- sprocklem has joined. 06:17:31 Empathic Healer {2WB} Creature - Cleric Horror (2/2) ;; Lifelink ;; First strike ;; {T}, Pay X life: Prevent the next X damage to target damageable this turn. 06:21:31 Hymn to Aurora {1WG} Legendary Enchantment ;; +1: Add one mana of any color. ;; +1: Change all manas in your mana pool into a single color of your choice. ;; -X: Target player gains X life. 06:24:32 Discordant Crossroads {?} World Enchantment ;; Nonworld permanents enter the battlefield tapped. 07:02:56 -!- zzo38 has quit (Ping timeout: 265 seconds). 07:03:32 -!- imode has quit (Ping timeout: 248 seconds). 07:03:46 -!- zzo38 has joined. 08:49:23 -!- bunnyocto has joined. 08:55:38 zzo38: the mana cost for that last one is {3}, it's called Orb of Dreams 08:57:39 zzo38: Empathic Healer looks interesting 09:01:51 -!- x_ has joined. 09:02:04 -!- tromp_ has joined. 09:03:09 -!- dnm_ has joined. 09:03:30 -!- atriq has joined. 09:04:50 -!- Bowserinator_ has joined. 09:06:04 -!- shig_ has joined. 09:06:08 -!- jix_ has joined. 09:06:21 -!- voidio has joined. 09:06:30 -!- iczero- has joined. 09:09:03 -!- fungot` has joined. 09:09:23 -!- iczero- has changed nick to wlp1s1. 09:09:38 -!- sftp_ has joined. 09:10:45 -!- zzo38 has quit (*.net *.split). 09:10:45 -!- sftp has quit (*.net *.split). 09:10:45 -!- grumble has quit (*.net *.split). 09:10:46 -!- Guest67969 has quit (*.net *.split). 09:10:46 -!- fungot has quit (*.net *.split). 09:10:46 -!- quintopia has quit (*.net *.split). 09:10:46 -!- shig has quit (*.net *.split). 09:10:46 -!- jix has quit (*.net *.split). 09:10:46 -!- iovoid has quit (*.net *.split). 09:10:46 -!- tromp has quit (*.net *.split). 09:10:47 -!- Taneb has quit (*.net *.split). 09:10:47 -!- Deewiant has quit (*.net *.split). 09:10:47 -!- sparr has quit (*.net *.split). 09:10:48 -!- kingoffrance has quit (*.net *.split). 09:10:48 -!- shinh has quit (*.net *.split). 09:10:48 -!- paul2520 has quit (*.net *.split). 09:10:48 -!- Bowserinator has quit (*.net *.split). 09:10:48 -!- iczero has quit (*.net *.split). 09:10:48 -!- haavard has quit (*.net *.split). 09:10:48 -!- Melvar has quit (*.net *.split). 09:10:49 -!- gitlogger has quit (*.net *.split). 09:10:49 -!- dnm has quit (*.net *.split). 09:10:51 -!- dnm_ has changed nick to dnm. 09:10:52 -!- sftp_ has changed nick to sftp. 09:10:59 -!- quintopia has joined. 09:11:13 -!- grumble has joined. 09:11:32 -!- wlp1s1 has changed nick to iczero. 09:12:18 -!- mniip has quit (Ping timeout: 608 seconds). 09:16:55 -!- mniip has joined. 09:16:59 -!- Deewiant has joined. 09:17:26 -!- Melvar has joined. 09:17:57 -!- haavard has joined. 09:17:58 -!- shinh has joined. 09:18:03 -!- sparr has joined. 09:18:32 -!- paul2520 has joined. 09:19:47 -!- Guest67969 has joined. 09:21:33 yay. all asm tests finally pass for memcmp and memcpy 09:23:46 but writing asm is way too painful. 09:23:50 gotta start working on the compiler :) 09:30:11 -!- zzo38 has joined. 09:32:25 Except the type and supertype. 09:34:28 bunnyocto: Assembly language of what computer? 09:34:47 or at least introduce some macros for the assembler :) 09:34:52 zzo38: A made up one 09:35:03 see https://github.com/bunnyocto/bootstrap 09:35:43 Yes, allowing macros in assembler is good 09:37:20 -!- b_jonas has quit (Remote host closed the connection). 09:54:59 -!- x_ has changed nick to kingoffrance. 09:59:35 -!- arseniiv has joined. 10:18:25 -!- cpressey has joined. 10:25:43 ok. added .save, .ret and .eof 10:26:00 this way you don't have to remember to pop saved registers, .ret will take care of it. Just use .save to save them. 10:36:31 -!- Lord_of_Life has quit (Ping timeout: 250 seconds). 10:38:06 -!- Lord_of_Life has joined. 10:39:02 Could not compile assembly file "stdlib_test.S": "Invalid line: \".m\\txcallc\\tstd::test::memcpy\"! Unknown op \".m\"!"! 10:39:07 too much string nesting... 10:39:57 -!- stux|away has quit (Ping timeout: 265 seconds). 10:53:55 now I could add .whilenz or something. Hm. 10:54:10 the problem is it's gonna produce slow code. 10:54:37 because jumps don't take immediate addresses 10:54:41 so you have to juggle registers. 10:55:07 so if you're nesting whiles or ifs then you'll have to juggle registers 10:55:37 or constantly reload the address at every jump 10:56:24 but I mean... 10:59:05 -!- stux|away has joined. 11:12:45 technically the assembler can calculate which registers need to be saved and where 11:13:03 if the user declares which registers he/she wants to use 11:14:03 neat 11:16:58 http://codepad.org/zQvvtSqq 11:17:45 based on var and args I can determine which registers are in use and which need to be saved before a call 11:19:04 also I can determine which need to be saved within the function 11:19:10 so no need for .save directives either :) 11:19:12 haha 11:27:21 genius :D 11:38:24 -!- bunnyocto has quit (Remote host closed the connection). 11:39:30 -!- bunnyocto has joined. 11:57:24 -!- tromp_ has quit (Ping timeout: 248 seconds). 12:01:41 -!- bunnyocto has quit (Remote host closed the connection). 12:02:58 -!- tromp has joined. 12:29:14 -!- rain1 has joined. 12:43:37 -!- rain1 has quit (Quit: Lost terminal). 12:47:39 -!- rain1 has joined. 12:50:09 -!- A__ has joined. 12:52:35 Is there a way to make a TC proof more complicated? 12:53:55 you could explain it badly 12:54:00 or do needless extra work 12:54:12 or do a much more difficult reduction than necessary 12:54:26 explain everything obvious as detailed as possible and skip the parts that are actually necessary to proof as obvious 12:54:31 just take a black sharpie and "classify" random portions 12:55:23 what prompted the question? 12:55:58 everything should be made as simple as possible, and no simpler; less is more; i posit that confusion via ambiguity can be accomplished by selective omissions 12:55:59 FireFly: I need to analyze a long text in order to get a character frequency. 12:58:12 -!- A__ has left. 13:01:45 -!- A-ee has joined. 13:02:18 Did I just see "trimp"? 13:04:24 No I didn't. (I feel that I am always thinking of the trim function.) 13:04:32 -!- A-ee has left. 13:27:38 -!- A__ has joined. 13:28:54 https://github.com/A-ee/w I only need 1 commit for a final golfing language. (Golfscript seems to have 8) 13:29:16 Wait... what's happening? 13:29:23 8-commits 13:29:51 -!- A__ has quit (Remote host closed the connection). 13:43:40 -!- atriq has changed nick to Taneb. 14:07:22 -!- bunnyocto has joined. 14:15:38 -!- kritixilithos has joined. 14:17:46 i find tensor products very hard to learn 14:37:03 [[Intcode]] https://esolangs.org/w/index.php?diff=68002&oldid=67987 * Yay * (+4) 14:37:05 rain1: those products of modules you mentioned? 14:38:48 I don’t know almost anything about modules in general, I read mostly about linear spaces, and of course these are much less complex 14:47:22 [[Intcode]] https://esolangs.org/w/index.php?diff=68003&oldid=68002 * Yay * (+396) added section "Advent Of Code" 14:49:55 [[Intcode]] M https://esolangs.org/w/index.php?diff=68004&oldid=68003 * Yay * (+55) /* Advent of Code */ test 14:53:09 [[Intcode]] https://esolangs.org/w/index.php?diff=68005&oldid=68004 * Yay * (+337) /* Advent of Code */ 14:53:51 [[Intcode]] https://esolangs.org/w/index.php?diff=68006&oldid=68005 * Yay * (+0) /* Advent of Code */ add caps 14:57:32 -!- arseniiv_ has joined. 14:59:48 -!- arseniiv has quit (Ping timeout: 248 seconds). 15:04:33 -!- cpressey has quit (Quit: A la prochaine.). 15:14:02 http://codepad.org/5ArFNbEi haha 15:14:18 it won't produce the most efficient code but whatever works 15:16:01 arseniiv_: yeah it's an algebra thing im trying to pick up 15:16:18 I think linear spaces are the prototypical example 15:21:45 -!- arseniiv_ has changed nick to arseniiv. 15:22:38 rain1: ah, are you considering tensor products of arbitrary algebraic structures? 15:23:18 hm I think I don’t know if that’s defined somewhere 15:23:32 yeah 15:23:42 i found a definition i like today 15:23:57 it would be nice! 15:23:59 https://imgur.com/a/dOoZFKQ 15:24:25 it has a defining universal property like usual in category theory 15:26:30 ah, I think that definition is very close to the one for vector spaces; (i), …, (iii) and quotienting are certainly familiar 16:02:37 well i am no mathematician, but to backwards segueway to yesterday, re: roman numerals in papers, lower and upper case, is something i would do for nesting/multiple levels, e.g. Section I subsection i subsubsection A subsubsubsection a subsubsubsubsection 1 i.e. it was useful for me simply as another layer of sections 16:03:24 so i would totally use them in that manner for any kind of paper, merely to differentiate layers 16:07:19 someone knows how hard it is to build some kind of a one-pass automaton equivalent to a bunch of sequential string replacements? Tried to google but yet to find something 16:31:01 a what? 16:31:24 sequential string replacements, like thue 16:31:31 perhaps 16:41:30 are there non-sequential string replacements 17:03:32 -!- B_cegdgfe has joined. 17:06:58 -!- B_cegdgfe has quit (Read error: Connection reset by peer). 17:20:58 -!- bunnyocto has quit (Remote host closed the connection). 17:37:29 -!- voidio has changed nick to iovoid. 17:53:28 -!- FreeFull has joined. 17:58:22 -!- LKoen has joined. 18:11:47 rain1: yeah, just without looping back after the last replacement, and each replacement is made as many times as possible during the single pass, so for example ab → b applied to abaabaaab will give babaab 18:12:47 are there non-sequential string replacements => yeah, it’s possible to make certain replacements in parallel, like "abc"[a → b, b → c, c → a] = "bca" 18:14:43 when the substring to replace are all disjoints, this is natural, and when not, one could handle conflicts in a not too unnatural way too, e. g. picking the longest replaceable substring LTR 18:14:54 s/the substring/the substrings 18:17:08 I think my case could be answered by an algorithm to compose two string-replacing DFAs, I think it shouldn’t be hard to reinvent one, given that I use certain prefixes of a yet-to-be-replaced suffix of the string as states of such a DFA; I think that would work 18:29:36 -!- bunnyocto has joined. 18:29:51 If I'm blind and using OCR to solve captchas 18:29:54 Am I a robot then? 18:30:49 we've already evolved into machines in our minds 18:31:22 also... wouldn't it be against antidiscrimination laws to exclude robots? 18:31:47 robots aren't a protected class, yet 18:33:49 too bad. 18:34:21 well... actually that's great :D 18:35:18 time to implement memset 18:37:19 -!- kritixilithos has quit (Quit: quit). 18:37:25 we've already evolved into machines in our minds => oh, Röyksopp! 18:37:40 :D 18:37:44 glad someone got the reference!! 18:37:53 there are many nice songs in that album 18:37:56 yes 18:37:59 it's a personal favorite 18:38:08 hm I would say so maybe too 18:38:11 in fact i think i'll listen to it while i drive home 18:39:22 i've heard one of the better ways to crack captchas is to set up a porn site and make people solve a captcha to get in, which is actually a captcha presented from the site you're trying to get into 18:39:54 either that or you pay someone in bangladesh $0.001 per captcha 18:40:20 -!- subleq has quit (Ping timeout: 246 seconds). 18:42:24 -!- subleq has joined. 18:50:48 yeh that happens. 18:50:57 * bunnyocto worked in research for security for 4 years 18:51:12 (security & privacy to be specific) 18:51:27 then I got schizophrenia. 18:51:28 haha 19:00:11 :′( hopefully it got better? (uh I don’t even know how to talk properly about such matters, sorry if I’m impolite) 19:10:18 i also like that there's a browser plugin that just solves recaptcha via the audio challenge 19:10:54 it got a little better. 19:11:25 is it related to your work? 19:18:12 security seems like a field that would both attract and encourage paranoia 19:19:42 yeh 19:19:57 I'm very good at being paranoid. 19:30:28 [[User]] N https://esolangs.org/w/index.php?oldid=68007 * Hex96 * (+174) Created page with "User is an esolang by [[user:hex96|hex]] which requires an esolangs account. This is basicly chicken but you say your username instead of chicken, the commands are the same." 19:30:53 [[User:Hex96]] https://esolangs.org/w/index.php?diff=68008&oldid=67972 * Hex96 * (+11) /* List of esolangs */ 19:54:07 -!- Frater_EST has joined. 19:57:17 so one thing's bothering me about medeival movies 19:57:29 *medieval 19:58:17 an arrow to the head is portraied as lethal 19:58:27 *portrayed 19:58:42 but it just penetrates the tip so maybe an inch or two 19:58:51 that'll probably just result in damage to the frontal lobe 19:58:56 which isn't really lethal 19:59:58 I think generally the lethality of wounds is drastically exagerrated in movies. 20:00:01 one cut and dead. 20:00:18 i generally think the people tend to look too clean-shaven, nice haircut, etc. 20:13:20 I want to figure out how to make better rules for injury in Scientific Role Playing System (SciRPS) 20:13:59 I never got struck by an arrow, nor ever shot anyone else with an arrow, so I don't know 20:14:54 well.. a lobotomy is basically destroying someones frontal lobe... which is sometimes lethal, sometimes the patients left severely disabled, other times it "worked" (for some fucked up definition of worked) 20:15:20 so I'd presume that a shot to the head that doesn't penetrate deeply is probably non lethal... maybe infection 20:15:32 but you might want to discuss your ideas with a pathologist. 20:15:43 they oughta know what is lethal on how soon 20:18:33 Yes, although I don't know a pathologist 20:18:52 I would hope that real scientists and real martial artists will help me to design SciRPS 20:20:45 -!- b_jonas has joined. 21:01:54 fungot, what do you want for Christmas? 21:01:54 b_jonas: i don't know 21:02:46 fungo, why the backtick? 21:02:52 fungot, why the backtick? 21:02:53 bunnyocto: i apologize. 21:02:58 good bot. 21:03:06 so well-mannered 21:06:48 -!- Frater_EST has left. 21:19:19 -!- bunnyocto has quit (Remote host closed the connection). 21:26:12 -!- grumble has quit (Quit: 'tis the season to watch a nice wholesome christmas movie, like die hard for example). 21:27:41 -!- gurmble has joined. 21:28:51 -!- gurmble has changed nick to grumble. 21:42:07 -!- sprocklem has quit (Remote host closed the connection). 21:45:16 -!- sprocklem has joined. 21:55:13 -!- tromp_ has joined. 21:58:05 -!- tromp has quit (Ping timeout: 246 seconds). 22:36:49 -!- Lord_of_Life_ has joined. 22:38:28 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 22:39:48 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 22:40:35 -!- rain1 has quit (Quit: Lost terminal). 23:17:11 Why the backtick, indeed. 23:17:20 -!- fungot` has changed nick to fungot. 23:18:43 Grumble, Inkscape's doing a really weird thing: when I have an object that has any clones selected (not sure if the clones are relevant), the UI widgets (other than the drawing canvas) stop responding, or even updating. 23:28:02 fizzie: it's not a very old version of Inkscape, right? 23:29:06 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 23:29:42 Not a terribly old. "Inkscape 0.92.4 (5da689c313, 2019-01-14)" 23:30:37 I managed to make it start working again after a bit, but then I opened the "Fill and Stroke..." sidebar and it started bugging out again. 23:31:52 It also uses 100% of CPU (of one core) as long as the object is selected. 23:32:53 Selecting one of the clones doesn't cause it to bug out, nor does selecting an object that doesn't have clones. 23:33:07 (Thing is, I wanted to copy the color of the object that has clones.) 23:34:50 Hm, well. Using the "pick color from image" thing worked as a workaround. But it's still a bug. 23:36:00 https://bugs.launchpad.net/inkscape/+bug/1462051 apparently.