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 <zzo38> 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 <zzo38> 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 <zzo38> 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 <b_jonas> zzo38: the mana cost for that last one is {3}, it's called Orb of Dreams
08:57:39 <b_jonas> 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 <bunnyocto> yay. all asm tests finally pass for memcmp and memcpy
09:23:46 <bunnyocto> but writing asm is way too painful.
09:23:50 <bunnyocto> gotta start working on the compiler :)
09:30:11 -!- zzo38 has joined.
09:32:25 <zzo38> Except the type and supertype.
09:34:28 <zzo38> bunnyocto: Assembly language of what computer?
09:34:47 <bunnyocto> or at least introduce some macros for the assembler :)
09:35:03 <bunnyocto> see https://github.com/bunnyocto/bootstrap
09:35:43 <zzo38> 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:26:00 <bunnyocto> 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 <bunnyocto> Could not compile assembly file "stdlib_test.S": "Invalid line: \".m\\txcallc\\tstd::test::memcpy\"! Unknown op \".m\"!"!
10:39:57 -!- stux|away has quit (Ping timeout: 265 seconds).
10:53:55 <bunnyocto> now I could add .whilenz or something. Hm.
10:54:10 <bunnyocto> the problem is it's gonna produce slow code.
10:54:37 <bunnyocto> because jumps don't take immediate addresses
10:55:07 <bunnyocto> so if you're nesting whiles or ifs then you'll have to juggle registers
10:55:37 <bunnyocto> or constantly reload the address at every jump
10:59:05 -!- stux|away has joined.
11:12:45 <bunnyocto> technically the assembler can calculate which registers need to be saved and where
11:13:03 <bunnyocto> if the user declares which registers he/she wants to use
11:17:45 <bunnyocto> 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 <bunnyocto> also I can determine which need to be saved within the function
11:19:10 <bunnyocto> so no need for .save directives either :)
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 <A__> Is there a way to make a TC proof more complicated?
12:53:55 <rain1> you could explain it badly
12:54:00 <rain1> or do needless extra work
12:54:12 <rain1> or do a much more difficult reduction than necessary
12:54:26 <myname> explain everything obvious as detailed as possible and skip the parts that are actually necessary to proof as obvious
12:54:31 <kingoffrance> just take a black sharpie and "classify" random portions
12:55:23 <FireFly> what prompted the question?
12:55:58 <kingoffrance> 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 <A__> 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 <A-ee> Did I just see "trimp"?
13:04:24 <A-ee> 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 <A__> https://github.com/A-ee/w I only need 1 commit for a final golfing language. (Golfscript seems to have 8)
13:29:16 <A__> Wait... what's happening?
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 <rain1> i find tensor products very hard to learn
14:37:03 <esowiki> [[Intcode]] https://esolangs.org/w/index.php?diff=68002&oldid=67987 * Yay * (+4)
14:37:05 <arseniiv> rain1: those products of modules you mentioned?
14:38:48 <arseniiv> 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 <esowiki> [[Intcode]] https://esolangs.org/w/index.php?diff=68003&oldid=68002 * Yay * (+396) added section "Advent Of Code"
14:49:55 <esowiki> [[Intcode]] M https://esolangs.org/w/index.php?diff=68004&oldid=68003 * Yay * (+55) /* Advent of Code */ test
14:53:09 <esowiki> [[Intcode]] https://esolangs.org/w/index.php?diff=68005&oldid=68004 * Yay * (+337) /* Advent of Code */
14:53:51 <esowiki> [[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:18 <bunnyocto> it won't produce the most efficient code but whatever works
15:16:01 <rain1> arseniiv_: yeah it's an algebra thing im trying to pick up
15:16:18 <rain1> I think linear spaces are the prototypical example
15:21:45 -!- arseniiv_ has changed nick to arseniiv.
15:22:38 <arseniiv> rain1: ah, are you considering tensor products of arbitrary algebraic structures?
15:23:18 <arseniiv> hm I think I don’t know if that’s defined somewhere
15:23:42 <rain1> i found a definition i like today
15:23:59 <rain1> https://imgur.com/a/dOoZFKQ
15:24:25 <rain1> it has a defining universal property like usual in category theory
15:26:30 <arseniiv> ah, I think that definition is very close to the one for vector spaces; (i), …, (iii) and quotienting are certainly familiar
16:02:37 <kingoffrance> 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 <kingoffrance> so i would totally use them in that manner for any kind of paper, merely to differentiate layers
16:07:19 <arseniiv> 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:24 <rain1> sequential string replacements, like thue
16:41:30 <bunnyocto> 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 <arseniiv> 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 <arseniiv> <bunnyocto> 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 <arseniiv> 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 <arseniiv> s/the substring/the substrings
18:17:08 <arseniiv> 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 <bunnyocto> If I'm blind and using OCR to solve captchas
18:30:49 <kmc> we've already evolved into machines in our minds
18:31:22 <bunnyocto> also... wouldn't it be against antidiscrimination laws to exclude robots?
18:31:47 <kmc> robots aren't a protected class, yet
18:37:19 -!- kritixilithos has quit (Quit: quit).
18:37:25 <arseniiv> <kmc> we've already evolved into machines in our minds => oh, Röyksopp!
18:37:44 <kmc> glad someone got the reference!!
18:37:53 <arseniiv> there are many nice songs in that album
18:37:59 <kmc> it's a personal favorite
18:38:11 <kmc> in fact i think i'll listen to it while i drive home
18:39:22 <kmc> 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 <kmc> 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:57 * bunnyocto worked in research for security for 4 years
18:51:12 <bunnyocto> (security & privacy to be specific)
19:00:11 <arseniiv> :′( 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 <myname> i also like that there's a browser plugin that just solves recaptcha via the audio challenge
19:11:25 <myname> is it related to your work?
19:18:12 <kmc> security seems like a field that would both attract and encourage paranoia
19:30:28 <esowiki> [[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 <esowiki> [[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 <bunnyocto> so one thing's bothering me about medeival movies
19:58:17 <bunnyocto> an arrow to the head is portraied as lethal
19:58:42 <bunnyocto> but it just penetrates the tip so maybe an inch or two
19:58:51 <bunnyocto> that'll probably just result in damage to the frontal lobe
19:59:58 <bunnyocto> I think generally the lethality of wounds is drastically exagerrated in movies.
20:00:18 <kingoffrance> i generally think the people tend to look too clean-shaven, nice haircut, etc.
20:13:20 <zzo38> I want to figure out how to make better rules for injury in Scientific Role Playing System (SciRPS)
20:13:59 <zzo38> I never got struck by an arrow, nor ever shot anyone else with an arrow, so I don't know
20:14:54 <bunnyocto> 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 <bunnyocto> so I'd presume that a shot to the head that doesn't penetrate deeply is probably non lethal... maybe infection
20:15:32 <bunnyocto> but you might want to discuss your ideas with a pathologist.
20:15:43 <bunnyocto> they oughta know what is lethal on how soon
20:18:33 <zzo38> Yes, although I don't know a pathologist
20:18:52 <zzo38> 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 <b_jonas> fungot, what do you want for Christmas?
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:20 -!- fungot` has changed nick to fungot.
23:18:43 <fizzie> 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 <b_jonas> 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 <fizzie> Not a terribly old. "Inkscape 0.92.4 (5da689c313, 2019-01-14)"
23:30:37 <fizzie> 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 <fizzie> It also uses 100% of CPU (of one core) as long as the object is selected.
23:32:53 <fizzie> 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 <fizzie> (Thing is, I wanted to copy the color of the object that has clones.)
23:34:50 <fizzie> Hm, well. Using the "pick color from image" thing worked as a workaround. But it's still a bug.
23:36:00 <fizzie> https://bugs.launchpad.net/inkscape/+bug/1462051 apparently.