00:06:50 -!- salpynx has joined. 00:25:27 -!- 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.”). 00:27:29 -!- tromp has joined. 00:35:05 -!- craigo has quit (Ping timeout: 240 seconds). 00:44:09 -!- tromp has quit (Read error: Connection timed out). 00:45:11 Enchant creature. When enchanted creature dies, you may play a replacement creature card from your hand as if it had flash. If you do, return all permanents that were attached to enchanted creature from the graveyard to the battlefield under your control attached to the replacement creature. 00:45:59 That's neat. 00:47:44 That is good, but maybe make enchant permanent, and then you can play another card that shares a type with it. The other consideration is if you do not control or do not own the enchanted permanent, then? 00:50:38 I like the idea though. 00:51:38 Maybe it is supposed to work on opponent's cards and then you control the replacement, though, in which case that is OK. 00:51:44 i,i enchant spell on the stack 00:52:29 "on the stack" is redundant (an object is only a "spell" while it is on the stack), although I had that idea too. 00:53:22 Then you could replace a spell on the stack with another spell -- even a sorcery? -- but it would keep its existing stack position. 00:53:42 Cale: Oh that is _nice_ 00:53:58 That makes other enchantments better! 00:54:58 shachaf: enchant spell or ability on the stack >:D 00:55:15 pikhq: I was considering that a bit but it seemed too far even for me. 00:56:02 Yeah, it's a card that works for and against auras :) 00:56:30 I had another idea about recovering Auras: The next time a nontoken Aura dies this turn, you may cast it. 00:57:44 Cale: Oh, whoa, you could enchant an opponent's creature with this. 00:57:47 I didn't think of that. 00:58:23 Oooh 00:58:25 Sneaky 00:58:36 Yes, I thought of that too, which is what I was mentioning 00:58:52 To a lesser extent, that also works against equipment 00:59:00 Oh, zzo38 said that too, I missed it. 00:59:03 I mean you can always re-equip, but that can be costly 00:59:32 Also stealing opponents' equipment perhaps 01:00:36 Equipment doesn't die when the creature it is attached to dies, so there is no effect on Equipment, I think. 01:01:16 But I think perhaps it should be "enchant permanent" instead of "enchant creature", and require the replacement card to share a type with it. 01:01:31 Also, the card as described would return itself too; is that intentional? 01:01:44 ah, right, they wouldn't go to the graveyard, so they couldn't be returned from there 01:01:57 Also, I think it can be useful even if there isn't anything else attached to it, since it grants flash 01:01:59 Yeah, I was considering excluding itself as well 01:02:42 -!- tromp has joined. 01:04:08 But it seemed simpler to describe without that exclusion. 01:17:34 [[User:Salpynx/Gdelfish]] https://esolangs.org/w/index.php?diff=76182&oldid=76045 * Salpynx * (+37) /* External resources */ link to my code from late 2019 01:18:31 [[Special:Log/move]] move * Salpynx * moved [[User:Salpynx/Gdelfish]] to [[Gdelfish]]: 'publishing' this thing 01:19:00 -!- tromp has quit (Read error: Connection timed out). 01:21:56 [[Gdelfish]] https://esolangs.org/w/index.php?diff=76185&oldid=76183 * Salpynx * (+126) Categories 01:26:11 [[Language list]] https://esolangs.org/w/index.php?diff=76186&oldid=76159 * Salpynx * (+35) adding my 2 0D Gdel numbering languages 01:33:15 That page I just moved to mainspace has a lot of maths formulas that could benefit from style review. I'm not a mathematician, and I was taking deliberate liberties with some of the notation. If anyone has any tips on improving the notation I'd be happy to learn and improve them. 01:34:55 Hopefully the concept comes across, the language is joke-like, but it's a moderately serious attempt to explore mathematical meta-programming ideas with fully 0-dimesional Godel numbers, and directly convert between input and output encodings 01:35:37 I'd be interested in reading on any related topics if anyone knows of anything 01:50:30 My related 'Brainfoctal' lang is basically a clone of a ridiculous number of similar bf copies, but AFAICT mine is the first and only one that doesn't make a point of being 1 dimensional, unlike Lenguage or Unary. 01:52:42 0D is interesting to me because 'symbol' encoding becomes really fluid, there are (potentially) unlimited ways of viewing or processing the 'code' 02:03:19 -!- Phantom___Hoover has joined. 02:09:23 -!- Phantom___Hoover has quit (Ping timeout: 240 seconds). 02:12:30 This C99 draft is dated Septermber 7, 2007. 02:12:34 I guess that's why it's a draft. 02:17:22 Must be an early one, 2099 isn't for some years yet 02:17:59 and Septermber hasn't even been invented yet! 02:36:45 [[Triple Threat]] https://esolangs.org/w/index.php?diff=76187&oldid=53004 * Qwertyu63 * (+117) 02:51:12 I read that as Comiket 99 for a second there 03:02:25 shachaf: Morch is coming along nicely though 03:02:39 hi Cale 03:02:42 hi 03:03:07 Are you into SAT solvers? 03:03:21 I've never really used one 03:03:45 I really oughtta k-now w-ho's w-ho. 03:19:27 -!- Caenbe has joined. 03:20:40 -!- Caenbe has quit (Remote host closed the connection). 03:28:48 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 03:43:54 Nor have I really used an SAT solver 04:18:05 I've been oddly avoidant of doing computer-type things lately for a girl who named herself "Ada" 04:18:21 I blame being a professional computer toucher for my day job 04:25:52 [[Nop]] https://esolangs.org/w/index.php?diff=76188&oldid=66020 * D * (+22) 04:32:57 -!- TheLie has joined. 04:35:02 How to program random schedules in cron? 04:40:38 -!- salpynx has quit (Remote host closed the connection). 04:40:51 You know, that's an interesting question 04:41:33 I don't think you can do it easily in "standard" cron, but I don't know if it's possible in any reasonably common crons at all 04:41:37 Maybe? Maybe not? 04:45:19 -!- sugarpie has joined. 04:45:59 Eschew obfuscation 04:46:46 -!- salpynx has joined. 04:48:47 use cron to regularly schedule a task that generates a random at task , by random offset maybe? 04:54:24 at now + $RANDOM minutes < commands.txt but triggered by cron to make it repeating. Never tried this specifically, but 'at' is useful for non-regular scheduling 04:55:36 `? eschew 04:55:37 eschew? ¯\(°​_o)/¯ 05:10:10 -!- TheLie has quit (Remote host closed the connection). 05:16:28 -!- sugarpie has quit (Remote host closed the connection). 05:20:16 salpynx: Yeah, I guess so 05:21:17 Also, how to make sounds from a command scheduled with "at"? 05:22:33 Why is that different from other commands? 05:23:08 Because it does not have access to some of the things needed for that purpose, or at least that is what I have found, when I tried. 05:23:34 (Although I may have just made a stupid mistake, perhaps) 05:34:58 What things? How do you normally make sounds? 05:36:05 I normally use aplay 05:37:36 Ah. I don't know, sounds like the sort of thing you'd need to debug if it doesn't work. 05:37:48 Maybe aplay prints errors. Maybe at runs with different permissions? 05:39:26 at execute commands using /bin/sh which can be a pain if using bashism (not sure if that's what is causing your aplay problems, it might be permissions) 05:40:29 depends on your system though; plenty systems have /bin/sh=bash 05:41:58 On my computer, /bin/sh is linked to dash, and not to bash 05:42:16 *nod* 05:44:04 ptrace is such a mess. 05:50:28 aplay works fine with dash for me. I don't have a access to a system that has both at and aplay available simultaneously. Running aplay through at with different perms and looking for error output is a good suggestion 05:51:12 OK 05:53:33 Unfortunately, Linux audio has a lot of moving pieces 05:53:38 Just about anything could be broken 05:57:25 The pulseaudio API is so scow. :-( 05:58:24 -!- Arcorann has quit (Ping timeout: 256 seconds). 05:59:10 I don't like PulseAudio either, but some programs use it. 06:02:11 huh 06:02:20 pulseaudio is awesome 06:03:42 Have you written code using libpulse? 06:03:49 also, it's possible that aplay just refuses to play something in a noninteractive shell (even though i don't think that's likely) 06:04:09 no, but it works better than anything else before for me 06:04:25 just use the alsa compat stuff for pulseaudio and aplay will work fine. 06:05:08 I am, but it doesn't give you access to everything. 06:05:33 For example I can't figure out a way to get an event when I turn on my bluetooth headphones (and the default audio device switches to them). 06:05:46 So right now I poll it every 10 seconds which is p. scow. 06:05:54 -!- tromp has joined. 06:06:20 and alsa has that? 06:06:27 I'm not sure. 06:06:34 i doubt that 06:06:35 doubtful. 06:06:38 ALSA is not great either, it certainly has its problems. 06:06:50 But libpulse is way less pleasant and more complicated in unnecessary ways. 06:07:01 Also, ideally I wouldn't either libasound or libpulse, because they're both LGPL-licensed. 06:07:04 use 06:07:12 also, i really wanted to use orca but i fail to create a virtual midi device 06:07:28 my question is, on the *BSDs, how does firefox utilize audio? 06:07:38 you can't even use firefox without pulse. 06:07:44 -!- tromp_ has joined. 06:07:50 Failed to create a virtual MIDI device? As in a synthesizer or something for it to write to? 06:08:41 to write to it and make it play sounds 06:09:28 I wrote a mini synthesizer and implemented basic MIDI support to use a MIDI keyboard with it. 06:09:36 but everything i found made me use jack manually 06:09:48 Then I was pretty surprised when I went to a web page while it was running, and the web page outputted MIDI to my synthesizer. 06:10:09 That was pretty surprising! I was trying to figure out what was going on before I realized it was my program. 06:10:38 What if you want to use Firefox with no audio? 06:11:08 pulse is apparently still required! 06:11:21 -!- tromp has quit (Ping timeout: 244 seconds). 06:12:28 -!- kritixilithos has joined. 06:31:39 -!- tromp_ has quit (Remote host closed the connection). 06:35:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 06:36:16 -!- kritixilithos has joined. 06:41:59 -!- tromp has joined. 06:48:21 -!- Arcorann has joined. 07:09:32 [[Language list]] https://esolangs.org/w/index.php?diff=76189&oldid=76186 * Salpynx * (+33) /* I */ forgot to add Isthmus Cyclicus Crypticus 07:18:49 -!- imode has quit (Ping timeout: 264 seconds). 07:46:19 U+01DA LATIN SMALL ANGRY LETTER U [ǚ] 07:49:51 [[Talk:Minsky Swap]] https://esolangs.org/w/index.php?diff=76190&oldid=76181 * Keymaker * (+483) Reply. 07:53:43 -!- kritixilithos has quit (Ping timeout: 240 seconds). 08:03:21 -!- kritixilithos has joined. 08:05:43 -!- hendursaga has quit (Ping timeout: 240 seconds). 08:08:08 -!- rain1 has joined. 08:30:38 -!- Phantom___Hoover has joined. 08:34:16 -!- Sgeo has quit (Read error: Connection reset by peer). 08:44:30 [[1+]] https://esolangs.org/w/index.php?diff=76191&oldid=76021 * TwilightSparkle * (+44) 09:04:01 -!- kspalaiologos has joined. 09:05:38 -!- b_jonas has quit (Quit: leaving). 09:15:24 -!- salpynx has quit (Remote host closed the connection). 09:19:51 [[1+/Minimalization]] N https://esolangs.org/w/index.php?oldid=76192 * TwilightSparkle * (+1213) Created page with "This page contains attempts on minimizing the number of 1+ instructions, similar to [[BF instruction minimalization]]. We also uses the same restrictions that is, there exists..." 09:20:33 [[1+/Minimalization]] https://esolangs.org/w/index.php?diff=76193&oldid=76192 * TwilightSparkle * (-16) 09:21:06 -!- Arcorann has quit (Read error: Connection reset by peer). 09:26:58 -!- Arcorann has joined. 09:27:17 [[1+/Minimalization]] https://esolangs.org/w/index.php?diff=76194&oldid=76193 * TwilightSparkle * (+13) 09:48:43 [[1+/Minimalization]] https://esolangs.org/w/index.php?diff=76195&oldid=76194 * TwilightSparkle * (+91) 09:50:14 -!- t20kdc has joined. 09:50:27 [[1+/Minimalization]] https://esolangs.org/w/index.php?diff=76196&oldid=76195 * TwilightSparkle * (+73) 09:54:37 [[1+/Minimalization]] https://esolangs.org/w/index.php?diff=76197&oldid=76196 * TwilightSparkle * (+37) 10:02:38 [[1+/Snippets]] https://esolangs.org/w/index.php?diff=76198&oldid=75853 * TwilightSparkle * (+94) /* Easy */ 10:05:28 [[1+/Minimalization]] M https://esolangs.org/w/index.php?diff=76199&oldid=76197 * TwilightSparkle * (+16) Links 10:20:28 [[1+/Minimalization]] https://esolangs.org/w/index.php?diff=76200&oldid=76199 * TwilightSparkle * (+459) 10:34:46 -!- craigo has joined. 10:47:15 [[1+/Minimalization]] https://esolangs.org/w/index.php?diff=76201&oldid=76200 * TwilightSparkle * (+308) /* Minimalization */ 11:00:16 -!- Lord_of_Life_ has joined. 11:02:47 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 11:03:08 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 11:08:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 11:53:30 If there are UNSAT certificates in practice, is there such a thing as a QBF certificate? 12:22:36 I guess so. Not sure they always exist though. What class is QBF in? Are there already undecidable problems there? 12:23:05 It's PSPACE-complete. 12:23:31 I'm curious whether there's anything in practice. Then again, do people even use QBF in practice? 12:24:02 They can probably settle for something lower in the hierarchy for a lot of things. 12:24:17 [[Talk:!lyriclydemoteestablishcommunism!]] https://esolangs.org/w/index.php?diff=76202&oldid=75360 * TwilightSparkle * (+102) 12:24:18 [[Rui]] M https://esolangs.org/w/index.php?diff=76203&oldid=76117 * Sinthorion * (-2) improve formatting 12:24:24 Right, so it's closed under complement, I read. 12:25:04 I have no idea whether QBF is used in practice. Might also depend on your definition of 'practice'. 12:33:40 -!- TheLie has joined. 12:41:33 -!- hendursaga has joined. 12:51:17 -!- TheLie has quit (Remote host closed the connection). 12:56:03 -!- hendursaga has quit (Quit: hendursaga). 12:56:16 -!- hendursaga has joined. 13:24:35 -!- kritixilithos has joined. 13:28:43 -!- kritixilithos has quit (Ping timeout: 240 seconds). 13:39:29 -!- kritixilithos has joined. 13:40:49 -!- MDude has joined. 15:03:48 -!- kspalaiologos has quit (Read error: Connection reset by peer). 15:04:06 -!- kspalaiologos has joined. 15:04:18 I've had an awesome idea today about osdev in pure brainfuck 15:04:30 it's totally doable with just `+-[]<>' 15:04:54 my initial idea was, to store an interrupt driver that would watch over tape MMIO regions and issue an interrupt when the conditions are met 15:05:09 now, the question arises, how do I execute x86 machine code using brainfuck 15:05:17 I have came up with a genius idea of hooking the 0x1Ch interrupt 15:05:25 the timer interrupt will call the machine code located on the tape 15:05:45 because that's where I'll set the handler to be 15:06:40 I can hook interrupts just by performing memory read/write 15:07:32 say, tape is located at 0x0000:0x5000 15:07:44 when I boot, I write the driver code to the tape, then rewind back to the start 15:08:06 and then I navigate 5000x left and then adjust to entry `0x1Ch' in the interrupt table 15:08:26 the problem here is that I need to clear the interrupt flag, otherwise bad things may happen, I haven't found out a way of doing so so I guess I'll just have to rely on the fact that nothing breaks 15:21:31 kspalaiologos: I do have a theoretical idea - require a no-op timer handler to be setup, and then place the real one 0x100 bytes away, so you can inc/dec to control timer interrupt enabledness 15:21:48 I can't require anything 15:21:52 this has to be _pure_ brainfuck 15:22:16 you have to have an interpreter which enables interrupts, surely 15:23:59 nope, I compile my brainfuck to C 15:24:09 I put the tape on 0x0000:0x0500 15:24:28 `+` => `tape[mp]++;` `-` => `tape[mp]--;` etc... 15:24:30 ​+`? No such file or directory 15:38:08 -!- xkapastel has joined. 16:01:05 [[Asm2bf]] M https://esolangs.org/w/index.php?diff=76204&oldid=72347 * Palaiologos * (-7) 16:04:46 -!- Arcorann has quit (Read error: Connection reset by peer). 16:09:51 -!- b_jonas has joined. 16:16:39 -!- tromp has quit (Remote host closed the connection). 16:21:08 [[Minsky Swap]] https://esolangs.org/w/index.php?diff=76205&oldid=76136 * Caenbe * (+604) /* Computational class */ Added non-TC proof 16:32:46 [[Selmotic]] https://esolangs.org/w/index.php?diff=76206&oldid=76164 * Caenbe * (+433) /* Consequences */ Changed this section to Computation class and expanded a bit 16:41:15 -!- LKoen has joined. 16:51:40 -!- tromp has joined. 16:56:53 -!- tromp has quit (Ping timeout: 272 seconds). 17:05:30 -!- TheLie has joined. 17:09:32 -!- tromp has joined. 17:40:51 [[User:Caenbe]] https://esolangs.org/w/index.php?diff=76207&oldid=76163 * Caenbe * (+211) 17:48:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 18:14:10 -!- kritixilithos has joined. 19:00:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 19:08:12 -!- Sgeo has joined. 19:16:01 -!- imode has joined. 19:23:11 -!- tromp has quit (Remote host closed the connection). 19:37:37 [[User:Caenbe]] https://esolangs.org/w/index.php?diff=76208&oldid=76207 * Caenbe * (-62) 19:38:13 -!- TheLie has quit (Remote host closed the connection). 19:39:50 -!- aaaaaa has joined. 19:46:07 -!- aaaaaa has left. 19:49:18 -!- kspalaiologos has quit (Quit: Leaving). 20:00:00 -!- tromp has joined. 20:04:35 -!- tromp has quit (Ping timeout: 246 seconds). 20:42:00 I think that Solar Hijri calendar is good if you will use anno mundi (but a new scientific kind of anno mundi, rather than the old kind) instead of Hegira. 20:54:48 -!- tromp has joined. 20:59:07 -!- tromp has quit (Ping timeout: 260 seconds). 21:05:02 -!- APic has quit (Ping timeout: 260 seconds). 21:06:18 -!- APic has joined. 21:08:22 -!- tromp has joined. 21:11:55 -!- salpynx has joined. 21:21:52 -!- salpynx has quit (Remote host closed the connection). 21:46:44 -!- salpynx has joined. 21:53:46 -!- xkapastel has quit (Quit: Connection closed for inactivity). 22:06:18 -!- TheLie has joined. 23:00:33 -!- adu has joined. 23:01:05 is there a channel for grammar? 23:03:05 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 23:03:09 I don't know, but if you have a question about grammar then I suppose you can ask 23:03:24 -!- Lord_of_Life has joined. 23:06:48 -!- TheLie has quit (Remote host closed the connection). 23:13:36 -!- LKoen has quit (Remote host closed the connection). 23:14:52 -!- t20kdc has quit (Remote host closed the connection). 23:17:32 -!- xkapastel has joined. 23:40:26 -!- xelxebar_ has quit (Quit: ZNC 1.7.2+deb3 - https://znc.in). 23:40:43 -!- xelxebar has joined. 23:48:50 -!- adu has quit (Ping timeout: 245 seconds).