00:02:35 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
00:04:04 -!- Lord_of_Life has joined.
00:05:13 -!- Lord_of_Life has quit (Excess Flood).
00:26:04 -!- Lord_of_Life has joined.
00:41:31 -!- DOS_User_webchat has joined.
00:42:00 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190270&oldid=190212 * PrySigneToFry * (+361)
00:46:27 -!- DOS_User_webchat has quit (Quit: Client closed).
00:46:39 -!- DOS_User_webchat has joined.
00:47:39 -!- DOS_User_webchat has quit (Client Quit).
00:48:32 -!- amby has quit (Remote host closed the connection).
00:50:16 <esolangs> [[FlamePL/Python Interpreter]] https://esolangs.org/w/index.php?diff=190271&oldid=190091 * PrySigneToFry * (-24) Update interpreter for higher precision in '''decimal'''
00:58:23 -!- FreeFull has quit (Ping timeout: 272 seconds).
00:59:53 -!- FreeFull has joined.
01:16:42 -!- MarkFan8901 has joined.
01:17:07 <MarkFan8901> korvo: we read back through the logs for this channel to see what you had to say after
01:17:30 <korvo> MarkFan8901: I'm sorry! I shouldn't talk about others that way.
01:19:10 <korvo> Don't worry about it.
01:20:05 <MarkFan8901> we do think what you said is a very useful thing we should keep in mind while we make things for ralsei
01:20:29 <MarkFan8901> but the real insight we got came from the broader picture we got from discussing with you for so long
01:20:45 <MarkFan8901> we dont think any short answer could have replaced what we learned from you
01:21:59 <korvo> I'm glad it was useful, but I'm still not excusing myself. People expect better from me.
01:23:32 <MarkFan8901> we get thats frustrating when you had something important to say that youd been leading up to the whole time
01:23:52 <MarkFan8901> truth be told we are kind of noobs at esolanging
01:24:22 <MarkFan8901> we've only really watched esolangs and generally other math concepts from afar and this has really been our first time getting our hands dirty
01:25:08 <MarkFan8901> something we didnt say during the whole conversation was that we've actually had the core concept of ralsei for like two years
01:25:13 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190272&oldid=190270 * PrySigneToFry * (+187)
01:25:27 <MarkFan8901> and all the work we've done in those two years has kind of just been us flailing around with ideas
01:26:03 <MarkFan8901> we got some good progress done more recently, as in we were able to refine our vision of exactly *what* we wanted to be clearer
01:26:41 <esolangs> [[Integer Stack Machine]] https://esolangs.org/w/index.php?diff=190273&oldid=189838 * Doors * (+212) Modification of variants, some other minor changes, added note
01:27:08 <MarkFan8901> but we knew we were still missing something
01:27:35 <MarkFan8901> and we were kind of sick of just reiterating over and over again without any tangible reward
01:28:27 <MarkFan8901> being able to talk with you for hours about all the ideas we had accumulated in our head over that whole time frame felt incredibly reassuring
01:29:26 <MarkFan8901> not just cuz youve also been working on another metalanguage, but because you cleary have lots of wisdom with how to approach esolang design
01:30:27 <MarkFan8901> youve already had a massive impact on how we're thinking about ralsei now
01:30:38 <MarkFan8901> and we dont think you realize just how smart you are
01:30:52 <korvo> Meh. I'm just some arrogant piece of shit. But I'm glad that you've got some new ideas to explore.
01:31:24 <MarkFan8901> we dont devalue others cuz theyre too overconfident
01:32:17 <MarkFan8901> if anything else, it's okay, we've gotten the core insight you wanted to share
01:32:39 <MarkFan8901> model your language around what its supposed to manipulate and nothing else
01:32:51 <korvo> I'd rather not be manipulative at all.
01:33:11 <korvo> Anyway, sorry again. Peace.
01:33:29 <MarkFan8901> we will follow your advice in spite of your self hatred
01:33:34 -!- MarkFan8901 has quit (Remote host closed the connection).
01:37:09 <esolangs> [[Flowchart]] https://esolangs.org/w/index.php?diff=190274&oldid=190267 * Aadenboy * (+611) tightening the definitions here; sucks that the implementation might be AI generated
01:38:15 <aadenboy> thinking about it, an implementation doesn't seem terribly difficult to make
01:39:54 <esolangs> [[Flowchart]] https://esolangs.org/w/index.php?diff=190275&oldid=190274 * Aadenboy * (+41)
02:07:01 -!- xelxebar has quit (Server closed connection).
02:07:21 -!- xelxebar has joined.
02:33:12 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
02:34:17 -!- Lord_of_Life has joined.
03:01:56 <esolangs> [[User:Miui/Drafts/Nomea]] https://esolangs.org/w/index.php?diff=190276&oldid=189614 * Miui * (+67) lewl
03:10:57 -!- shikhin has quit (Server closed connection).
03:11:05 -!- shikhin has joined.
03:12:12 -!- shikhin has changed hostmask to ~shikhin@offtopia/offtopian.
03:27:03 <aadenboy> it's rather funny that the implementer (ambiguous) seemed to think that Flowchart doesn't actually have byte output solely based on the truth machine alone
03:27:26 <aadenboy> and left out making a text generator entirely
03:27:47 <esolangs> [[User:Miui/Drafts/TTP]] N https://esolangs.org/w/index.php?oldid=190277 * Miui * (+365) collecting materials for this draft
03:29:01 <esolangs> [[Flowchart]] https://esolangs.org/w/index.php?diff=190278&oldid=190275 * Aadenboy * (+90)
03:29:14 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190279&oldid=190277 * Miui * (+7) /* Definitions */ add pronunciation
03:34:38 <esolangs> [[Flowchart]] M https://esolangs.org/w/index.php?diff=190280&oldid=190278 * Aadenboy * (-17) wikipedia
03:34:46 <esolangs> [[Flowchart]] M https://esolangs.org/w/index.php?diff=190281&oldid=190280 * Aadenboy * (+0)
03:58:51 <b_jonas> I still can't figure out whether in English to call the place where you buy things "shop" or "store", or long high-quality videos "film" or "movie". For some words the decision is easy, like if I watch the film or movie I make pop-maize, because "corn" is strictly more ambiguous than "maize", but "shop" and "store" both have other common meanings too.
04:07:26 <zzo38> It might also depend on the context
04:32:32 <aadenboy> that can be a regional thing too I think
04:41:28 -!- lisbeths has joined.
04:49:56 -!- Sgeo has quit (Read error: Connection reset by peer).
05:20:13 <esolangs> [[Talk:UCL]] https://esolangs.org/w/index.php?diff=190282&oldid=190198 * None1 * (+286)
05:25:44 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190283&oldid=190272 * None1 * (+309) /* Features, restrictions, and twists */
05:26:01 <esolangs> [[Ghmi-Asden Tnauin]] M https://esolangs.org/w/index.php?diff=190284&oldid=190283 * None1 * (-1) /* Features, restrictions, and twists */
05:44:35 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190285&oldid=190284 * None1 * (+383)
05:47:07 -!- zemhill_ has quit (Server closed connection).
05:47:17 -!- zemhill_ has joined.
05:47:17 -!- ChanServ has set channel mode: +v zemhill_.
05:50:41 <esolangs> [[Ghmi-Asden Tnauin]] M https://esolangs.org/w/index.php?diff=190286&oldid=190285 * None1 * (+3)
05:54:05 <esolangs> [[Ghmi-Asden Tnauin]] M https://esolangs.org/w/index.php?diff=190287&oldid=190286 * None1 * (+134)
06:02:42 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190288&oldid=190287 * None1 * (+8) /* Features, restrictions, and twists */
06:15:10 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190289&oldid=190288 * PrySigneToFry * (+454)
06:17:53 <esolangs> [[Talk:Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190290&oldid=190185 * PrySigneToFry * (+348) /* N.A.U.G.H.T */ new section
06:26:10 <esolangs> [[]] M https://esolangs.org/w/index.php?diff=190291&oldid=190258 * Dragoneater67mobile * (+9) seems incomplete
06:53:21 <esolangs> [[Talk:Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190292&oldid=190290 * None1 * (+303) /* N.A.U.G.H.T */
06:53:37 <esolangs> [[Talk:Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190293&oldid=190292 * None1 * (+17) /* N.A.U.G.H.T */
06:53:57 <esolangs> [[Talk:Ghmi-Asden Tnauin]] M https://esolangs.org/w/index.php?diff=190294&oldid=190293 * None1 * (+0)
06:54:52 <esolangs> [[]] https://esolangs.org/w/index.php?diff=190295&oldid=190144 * None1 * (+17) /* Type 106 */
06:55:14 <esolangs> [[]] M https://esolangs.org/w/index.php?diff=190296&oldid=190295 * None1 * (+0) /* Type 105 */
07:02:52 -!- tromp has joined.
07:05:22 <esolangs> [[?index.php]] https://esolangs.org/w/index.php?diff=190297&oldid=190227 * Dragoneater67mobile * (+48) /* Examples */ add the most important example
07:07:01 <esolangs> [[?index.php]] M https://esolangs.org/w/index.php?diff=190298&oldid=190297 * Dragoneater67mobile * (+3) /* Truth machine */ fix
07:07:24 <esolangs> [[?index.php]] M https://esolangs.org/w/index.php?diff=190299&oldid=190298 * Dragoneater67mobile * (-2) /* Truth machine */ whar
07:09:21 -!- Guest39 has joined.
07:10:05 -!- snitz has joined.
07:25:26 <esolangs> [[Fish]] https://esolangs.org/w/index.php?diff=190300&oldid=187441 * Marcus 2n2 * (+170) /* Examples */
07:35:12 -!- Guest39 has quit (Quit: Client closed).
07:41:50 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190301&oldid=190289 * None1 * (+155) /* Features, restrictions, and twists */
07:41:59 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190302&oldid=190301 * None1 * (-1) /* Cat */
07:42:13 <esolangs> [[Ghmi-Asden Tnauin]] M https://esolangs.org/w/index.php?diff=190303&oldid=190302 * None1 * (+1) /* Cat */
07:43:32 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190304&oldid=190303 * None1 * (+156) /* Features, restrictions, and twists */
07:45:00 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190305&oldid=190304 * None1 * (+36) /* Examples */
07:46:02 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190306&oldid=190305 * None1 * (+81) /* Rules */
07:48:11 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
07:48:53 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
07:51:46 -!- snitz has quit (Quit: Leaving).
07:56:53 -!- isabella has quit (Server closed connection).
07:57:17 -!- izabera has joined.
07:57:45 -!- izabera has changed hostmask to izabera@user/meow/izabera.
07:57:45 -!- tromp has joined.
07:57:55 -!- izabera has changed nick to isabella.
08:00:00 <esolangs> [[Plea]] M https://esolangs.org/w/index.php?diff=190307&oldid=189554 * UnavgAustralian * (-26)
08:04:48 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190308&oldid=190279 * Miui * (+341) further sketching+drafting, brainstorming, note collection.
08:05:16 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190309&oldid=190308 * Miui * (-1) /* Definitions */ fixing color coded highlights
08:08:47 -!- Lord_of_Life has joined.
08:09:38 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190310&oldid=190309 * Miui * (+75) /* Definitions */ include textbook
08:24:47 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190311&oldid=190310 * Miui * (+58) /* Definitions */ update reference format
08:26:47 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190312&oldid=190311 * Miui * (+1) /* Definitions */ format "textbook:Harper" -> "textbook: Harper"
08:27:57 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190313&oldid=190312 * Miui * (-79) add WIP template
08:28:55 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190314&oldid=190313 * Miui * (+1) /* Definitions */ "HandbookSixth" -> "Handbook Sixth"
08:29:29 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190315&oldid=190314 * Miui * (-1) /* Definitions */ "HandbookSixth" -> "Handbook Sixth"
08:30:38 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190316&oldid=190315 * Miui * (+0) /* Definitions */ Change color of word "HACKING" from perwinkle to blue
08:41:04 <esolangs> [[Self-modifying Brainfuck]] https://esolangs.org/w/index.php?diff=190317&oldid=113851 * None1 * (+106) /* See also */
08:43:23 <esolangs> [[List of quines]] https://esolangs.org/w/index.php?diff=190318&oldid=189476 * None1 * (+152) /* QWOP */ Add smbf and smbf#
08:44:28 <esolangs> [[Self-modifying Brainfuck]] https://esolangs.org/w/index.php?diff=190319&oldid=190317 * None1 * (+109) /* External resources */
08:45:14 <esolangs> [[List of quines]] https://esolangs.org/w/index.php?diff=190320&oldid=190318 * None1 * (+3256) /* Real Quines */
08:45:36 <esolangs> [[List of quines]] https://esolangs.org/w/index.php?diff=190321&oldid=190320 * None1 * (+10) /* ORK */
08:46:03 <esolangs> [[List of quines]] https://esolangs.org/w/index.php?diff=190322&oldid=190321 * None1 * (+20) /* ORK */
08:47:56 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190323&oldid=190316 * Miui * (+12) include page number for definition of TTP
08:49:14 <esolangs> [[ORK]] https://esolangs.org/w/index.php?diff=190324&oldid=190193 * None1 * (-58) /* Quine */
08:49:27 <esolangs> [[List of quines]] https://esolangs.org/w/index.php?diff=190325&oldid=190322 * None1 * (-58) /* ORK */
08:50:34 <esolangs> [[ORK]] M https://esolangs.org/w/index.php?diff=190326&oldid=190324 * None1 * (-116) /* Quine */
08:51:20 <esolangs> [[List of quines]] M https://esolangs.org/w/index.php?diff=190327&oldid=190325 * None1 * (+4)
08:55:01 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190328&oldid=190323 * Miui * (+264) add definition of threat intelligence + references section
08:57:27 <esolangs> [[Error quine]] M https://esolangs.org/w/index.php?diff=190329&oldid=176753 * None1 * (+0) /* How to write an error quine */
08:58:03 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190330&oldid=190328 * Miui * (+287) add definition for "incident response" + reference
08:58:48 <esolangs> [[Talk:SyntaxError: invalid syntax]] https://esolangs.org/w/index.php?diff=190331&oldid=133209 * None1 * (+343) /* An abbreviation for this Esolang */
08:59:19 <esolangs> [[NohtyP]] M https://esolangs.org/w/index.php?diff=190332&oldid=117182 * None1 * (-9)
08:59:59 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190333&oldid=190330 * Miui * (-2) /* References */ fix formatting
09:02:03 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190334&oldid=190333 * Miui * (+224) add definition of forensics + reference
09:03:14 <esolangs> [[It's burning. It's burning. It's burning. It's burning. It's burning. It's burning. It's burning. It's burning.]] https://esolangs.org/w/index.php?diff=190335&oldid=189535 * Dragoneater67mobile * (-21) /* Overview */
09:06:19 <esolangs> [[NohtyP]] M https://esolangs.org/w/index.php?diff=190336&oldid=190332 * Dragoneater67mobile * (+1) correct wording
09:06:47 <esolangs> [[SyntaxError: invalid syntax]] https://esolangs.org/w/index.php?diff=190337&oldid=125485 * None1 * (+2119)
09:07:41 <esolangs> [[SyntaxError: not a chance]] N https://esolangs.org/w/index.php?oldid=190338 * None1 * (+67) Redirected page to [[SyntaxError: invalid syntax#SyntaxError: not a chance]]
09:09:38 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190339&oldid=190334 * Miui * (+325)
09:09:40 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=190340&oldid=190140 * None1 * (+48) /* Error simulators */
09:09:53 <esolangs> [[Joke language list]] M https://esolangs.org/w/index.php?diff=190341&oldid=190340 * None1 * (+0) /* Error simulators */
09:10:11 <esolangs> [[User:None1]] https://esolangs.org/w/index.php?diff=190342&oldid=190141 * None1 * (+75) /* My Esolangs */
09:10:22 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190343&oldid=190339 * Miui * (-14) remove accidental mistake/error
09:10:30 <esolangs> [[User:None1]] M https://esolangs.org/w/index.php?diff=190344&oldid=190342 * None1 * (-1) /* My Esolangs */
09:12:18 <esolangs> [[SyntaxError: invalid syntax]] M https://esolangs.org/w/index.php?diff=190345&oldid=190337 * None1 * (+6) /* SyntaxError: not a chance */
09:14:09 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190346&oldid=190343 * Miui * (+291) add definition of threat hunting + reference
09:15:37 <esolangs> [[Immutable Brainfuck]] https://esolangs.org/w/index.php?diff=190347&oldid=190246 * Rainwave * (+1561) Added Turing completeness proof
09:16:20 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190348&oldid=190346 * Miui * (+64) /* Theorem */ update theorem.
09:18:29 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190349&oldid=190348 * Miui * (+77) add reference for theorem
09:18:39 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190350&oldid=190349 * Miui * (+1) /* Theorem */ format
09:18:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:23:43 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190351&oldid=190350 * Miui * (+140) /* Definitions */ add definition for POC
09:26:54 -!- tromp has joined.
09:30:28 <esolangs> [[Talk:Immutable Brainfuck]] N https://esolangs.org/w/index.php?oldid=190352 * Blashyrkh * (+152) /* Input EOF */ new section
09:30:46 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190353&oldid=190351 * Miui * (+126) /* Definitions */ add color code and codename for the POC
09:36:01 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190354&oldid=190353 * Miui * (+61) /* Definitions */ color code blue force
09:39:11 <esolangs> [[Immutable Brainfuck]] M https://esolangs.org/w/index.php?diff=190355&oldid=190347 * Rainwave * (+47) Clarified EOF behavior
09:41:27 <esolangs> [[Talk:Immutable Brainfuck]] https://esolangs.org/w/index.php?diff=190356&oldid=190352 * Rainwave * (+178)
09:42:21 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190357&oldid=190354 * Miui * (+119) update page description
09:43:34 <esolangs> [[Immutable Brainfuck]] M https://esolangs.org/w/index.php?diff=190358&oldid=190355 * Rainwave * (-16) nevermind
09:44:36 <esolangs> [[Talk:Immutable Brainfuck]] M https://esolangs.org/w/index.php?diff=190359&oldid=190356 * Rainwave * (+172)
09:51:51 <esolangs> [[Talk:Immutable Brainfuck]] https://esolangs.org/w/index.php?diff=190360&oldid=190359 * Blashyrkh * (+197) How to distinguish EOF and U+0000 and still keep it reversible
09:54:12 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190361&oldid=190357 * Miui * (+86) /* Theorem */
09:55:25 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190362&oldid=190361 * Miui * (+43) /* Computational Model */
09:56:00 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190363&oldid=190362 * Miui * (-5) /* Computational Model */
09:57:34 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190364&oldid=190363 * Miui * (+15) /* Computational Model */
09:59:46 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190365&oldid=190364 * Miui * (+182) /* Computational Model */
10:00:48 <esolangs> [[Talk:Immutable Brainfuck]] https://esolangs.org/w/index.php?diff=190366&oldid=190360 * Rainwave * (+223)
10:03:28 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190367&oldid=190365 * Miui * (+216) /* Computational Model */
10:04:00 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190368&oldid=190367 * Miui * (+0) /* Computational Model */
10:04:52 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190369&oldid=190368 * Miui * (+16) /* Computational Model */
10:09:18 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190370&oldid=190369 * Miui * (+214) /* Computational Model */
10:10:18 -!- lisbeths has quit (Quit: Connection closed for inactivity).
10:12:12 -!- sftp has quit (Ping timeout: 245 seconds).
10:29:44 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190371&oldid=190370 * Miui * (+364)
10:34:13 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190372&oldid=190371 * Miui * (+398) /* Computational Model */
10:35:44 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190373&oldid=190372 * Miui * (+0) /* Computational Model */
10:36:16 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190374&oldid=190373 * Miui * (+0) /* Computational Model */ sketching rules...
10:38:38 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190375&oldid=190374 * Miui * (+67) color coding for readability
10:53:32 -!- sftp has joined.
10:53:32 -!- sftp has changed hostmask to ~sftp@user/sftp.
10:58:37 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190376&oldid=190375 * Miui * (+171) /* Definitions */ add defintion of Kill Chain
10:59:10 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190377&oldid=190376 * Miui * (-23) /* Definitions */
11:03:27 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190378&oldid=190377 * Miui * (+114) add attack cards rule for 0 days
11:03:38 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190379&oldid=190378 * Miui * (+2) /* Computational Model */
11:08:49 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190380&oldid=190379 * Miui * (+414) /* Computational Model */
11:09:37 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190381&oldid=190380 * Miui * (+0) /* Computational Model */
11:29:46 <esolangs> [[User:Miui]] https://esolangs.org/w/index.php?diff=190382&oldid=190039 * Miui * (+58) /* drafts */ add TTP to drafts
11:55:02 -!- FireFly has quit (Server closed connection).
11:55:27 -!- FireFly has joined.
12:01:25 -!- ais523 has joined.
12:02:16 <ais523> b_jonas: "shop" versus "store" is really difficult to explain (there is a fuzzy boundary and some things fall into both categories)
12:02:52 <ais523> it reminds me of trying to explain the meaning of the British English word "lorry" to an American (it has a fuzzy boundary with "truck", which is used as a general term in American English for anything that's either a lorry or a truck in British English)
12:04:31 <ais523> thinking about it, "shop" versus "store" seems highly correlated with the width of the aisle between the shelves (the aisles are narrower in shops) but I don't think that's the actual difference, I think it's just correlated with the thing that makes the actual difference
12:05:33 <ais523> or, hmm, a shop I went to recently didn't really have aisles at all, all the products were on shelves on the wall but there weren't interior shelves
12:06:21 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
12:06:22 <ais523> maybe it's related to the physical size of the products? shops tend to sell physically small things (this would make sense as a correlation because the smaller the products, the narrower the isles can be)
12:08:09 <ais523> Wiktionary says "store" is American English – that could explain why it hasn't expanded to all the meanings of "shop" in British English
12:11:06 <ais523> land is cheaper in the USA than the UK, so buildings tend to be larger there – perhaps "store" in the UK is reflecting a meaning along the lines of "place that you buy things that would not look out of place in the USA" which is why it's distinct from "shop"
12:11:55 <ais523> …this helps explain "truck" versus "lorry" too, I think, many things can be either, but the things that are unambiguously "truck" (e.g. pickup trucks) are more common in the USA than the UK, so we may have borrowed their naming
12:16:22 <esolangs> [[User:5anz/Sandbox]] https://esolangs.org/w/index.php?diff=190383&oldid=180452 * 5anz * (+834)
12:17:42 <ais523> meanwhile I've never heard "popmaize" (Wiktionary says it exists but is rare), "popcorn" is a much more common name for it on both sides of the Atlantic
12:17:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:23:55 -!- ursa-major has quit (Server closed connection).
12:24:04 -!- ursa-major has joined.
12:24:24 -!- tromp has joined.
12:28:04 -!- Lord_of_Life has joined.
12:31:14 <esolangs> [[Circuit Diagram]] https://esolangs.org/w/index.php?diff=190384&oldid=104920 * Bangyen * (+100)
12:53:12 <esolangs> [[Integer Stack Machine]] https://esolangs.org/w/index.php?diff=190385&oldid=190273 * Doors * (+317) Added proof sketch that variant "Duplicative" is undecidable by reduction to a 2CM
13:02:16 <esolangs> [[Integer Stack Machine]] M https://esolangs.org/w/index.php?diff=190386&oldid=190385 * Doors * (+385) Additional information to variant "Micro"
13:04:55 <b_jonas> ais523: oh, so you use both "shop" and "store" for places to buy but distinguish between them. I didn't know that was a thing, I thought it was just a difference between speakers (roughly "store" for americans and "shop" for british, but that's obviously a simplification).
13:05:07 <b_jonas> I used "popmaize" ironically, I think it's called "popcorn" everywhere
13:05:39 <esolangs> [[Kicks]] N https://esolangs.org/w/index.php?oldid=190387 * Klk bb * (+656) Created page with "[[Kicks]] is small [[:Category:Markup Languages|markup]] esolang [[Category:Markup Languages]] ==Syntax== ^abc abc<br> ^abc^ abc<br> ^^abc^^ <br> ^^^ <br> <p> ^ (newline) ==Examples== ===Happy New Year 9999=== <pre> HAPPY NEW YEAR 9999 ^^^ ^ H
13:05:42 <b_jonas> but if I want to use "maize" for other uses of this particular cereal then I might as well say "popmaize", it's understandable enough
13:06:13 <esolangs> [[User:Klk bb]] https://esolangs.org/w/index.php?diff=190388&oldid=190249 * Klk bb * (+12)
13:06:35 <ais523> a large building which is divided into a number of floors, each selling a different type of product, typically with lots of open space and maybe a restaurant or two, is known as a "department store" even in the UK
13:06:44 <ais523> although they aren't as common as they used to be
13:07:07 <b_jonas> the packaging actually says "popcorn" on it
13:07:51 <ais523> "popmaize" is a little confusing because most people aren't sure whether the sort of corn that is used to make popcorn actually is maize, or whether it's a different plant
13:08:32 <b_jonas> it's specific breeds of maize, so I'm not sure if that's a meaningful distinction.
13:08:52 <ais523> indeed, but I had to look it up
13:08:52 <b_jonas> cereal has hundreds of specialized types within the general categories of maize, wheat, rice
13:09:44 <b_jonas> (rye, oat, barley, millet, sorghum)
13:11:12 <ais523> given that I looked up maize already, it seems that there are six types of maize (each of which would consist of numerous strains), but different strains within a single type are more interchangeable than different types are
13:11:28 <ais523> from memory, I think there are three non-interchangeable types of rice
13:14:13 <b_jonas> so the six type correspond to easy to understand categories of use, like one to pop, one to cook without grinding, one to grind to flour and bake dough, one to make alcoholic drinks, one to make fuel?
13:21:03 <ais523> sweetcorn is fairly distinct in terms of uses, at least
13:22:20 <ais523> it is used as a vegetable rather than a cereal (and is technically a fruit)
13:23:57 <ais523> and there's one type which is mostly endosperm and mostly useful for grinding into flour, which is also a distinct use
13:24:01 <ais523> the others are more complicated, though
13:24:32 <b_jonas> what does "used as a vegetable rather than a cereal" mean? less protein? don't grind it down to flour?
13:26:17 <ais523> I eat quite a bit of sweetcorn, normally as a salad ingredient
13:27:02 <ais523> although it's also common to use it as a substitute for peas, or to mix it with them
13:28:06 <ais523> I think the main distinction is that it contains much more sugar and less starch than other types of corn
13:29:43 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190389&oldid=190381 * Miui * (+708) defining kill chain + adding reference, submitting before memory chokes out on my computer
13:40:17 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190390&oldid=190306 * PrySigneToFry * (+0) Little fix
13:40:58 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190391&oldid=190389 * Miui * (+313) /* Definitions */ add more kill chain definitions, need to submit because memory is scarce
13:42:38 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190392&oldid=190391 * Miui * (+86) /* References */ adding references (piecemeal because memory is scarce)
13:46:24 <esolangs> [[Special:Log/newusers]] create * AlessandroMarp * New user account
13:46:56 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190393&oldid=190392 * Miui * (+252)
13:50:46 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190394&oldid=190393 * Miui * (+185) /* Definitions */ add more kill chain definitions, need to submit because memory is scarce
13:51:03 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190395&oldid=190394 * Miui * (+95) /* References */ adding references (piecemeal because memory is scarce)
13:56:36 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=190396&oldid=190008 * AlessandroMarp * (+182)
13:57:17 <esolangs> [[Talk:Integer Stack Machine]] N https://esolangs.org/w/index.php?oldid=190397 * PkmnQ * (+1999) /* Decidability of Simple */ new section
13:58:41 <esolangs> [[Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190398&oldid=190390 * PrySigneToFry * (+1117)
14:00:05 <esolangs> [[Kicks]] https://esolangs.org/w/index.php?diff=190399&oldid=190387 * PrySigneToFry * (+11)
14:13:12 -!- joast has quit (Quit: Leaving.).
14:21:51 -!- perlbot has quit (Server closed connection).
14:25:16 -!- perlbot has joined.
14:25:16 -!- ChanServ has set channel mode: +v perlbot.
14:30:51 <esolangs> [[NotDeadfish++]] N https://esolangs.org/w/index.php?oldid=190400 * Cordership * (+473) Created page with "NotDeadfish++ is a deadfish-derivative-derivative by [[User:Cordership]]. ==Syntax== {|class=wikitable ! Operation !! Definiton !! Abbreviation for: |- | i || Increment the accumulator. || increment |- | d || Decrement the accumulator. || decrement |- | s || Squ
14:31:10 <esolangs> [[User:Cordership]] https://esolangs.org/w/index.php?diff=190401&oldid=189574 * Cordership * (+21) /* Esolangs */
14:37:18 <esolangs> [[User:Klk bb/Sandbox]] https://esolangs.org/w/index.php?diff=190402&oldid=189908 * Klk bb * (+212)
14:39:04 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190403&oldid=190395 * Miui * (-5) /* Theorem */ will be -> is
14:40:22 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190404&oldid=190403 * Miui * (-10) /* Definitions */ Thought Police definition
14:41:18 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190405&oldid=190404 * Miui * (+18) /* Computational Model */
14:41:33 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190406&oldid=190405 * Miui * (+0) /* Computational Model */
14:46:55 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190407&oldid=190406 * Miui * (+101) define POC (0x)
14:47:20 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190408&oldid=190407 * Miui * (-1) /* Definitions */
14:48:14 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190409&oldid=190408 * Miui * (+13) /* Definitions */
14:48:35 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190410&oldid=190409 * Miui * (+42) /* References */
14:51:24 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
14:57:09 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
14:57:41 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190411&oldid=190410 * Miui * (+173) /* Definitions */ define response
14:59:20 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190412&oldid=190411 * Miui * (-180) /* Definitions */
15:00:08 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190413&oldid=190412 * Miui * (-1812) /* Computational Model */
15:00:15 -!- Lord_of_Life has joined.
15:00:36 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190414&oldid=190413 * Miui * (+1817) /* Definitions */ moving things around
15:00:46 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190415&oldid=190414 * Miui * (-12) /* Definitions */
15:03:54 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190416&oldid=190415 * Miui * (+61) /* Definitions */ define response to detection of an attack
15:05:20 <esolangs> [[?index.php]] M https://esolangs.org/w/index.php?diff=190417&oldid=190299 * Dragoneater67mobile * (+44) /* Overview */ i feel like i need to state the obvious
15:11:11 <korvo> "popped maize" is a thing in the USA, as are other various "popped" or "puffed" cereals. I used to eat "puffs" for breakfast as a kid; they were made from corn and sugar, and the sugar is also made from corn.
15:13:00 -!- mcfrdy has quit (Server closed connection).
15:13:05 -!- joast has joined.
15:13:18 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190418&oldid=190416 * Miui * (+184) /* Definitions */ define response and APT
15:13:20 -!- mcfrdy has joined.
15:15:39 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190419&oldid=190418 * Miui * (+89) /* Definitions */ cite textbook re: responses to an attack chain
15:16:06 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190420&oldid=190419 * Miui * (-3) /* Definitions */ fix typo
15:17:25 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190421&oldid=190420 * Miui * (+157) /* Core Rules */
15:17:40 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190422&oldid=190421 * Miui * (+1) /* Core Rules */ describe Runner win condition
15:18:30 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190423&oldid=190422 * Miui * (+29) /* Core Rules */
15:20:57 -!- lisbeths has joined.
15:22:35 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190424&oldid=190423 * Miui * (+277) /* Definitions */ define Corp remediation ruleset
15:23:38 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190425&oldid=190424 * Miui * (+21) /* Core Rules */
15:26:12 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190426&oldid=190425 * Miui * (+59) /* Definitions */ color-coded highlight for MITRE
15:27:10 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190427&oldid=190426 * Miui * (+59) /* Definitions */ color-code/highlight MITRE
15:28:57 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190428&oldid=190427 * Miui * (+62) /* Definitions */ highlight/color APT
15:29:30 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190429&oldid=190428 * Miui * (-3) /* Definitions */
15:30:21 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190430&oldid=190429 * Miui * (+59) highlight/color-code APT
15:31:17 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190431&oldid=190430 * Miui * (+18) /* Response Rules */ link truth-machine
15:31:42 <esolangs> [[User:Miui/Drafts/TTP]] M https://esolangs.org/w/index.php?diff=190432&oldid=190431 * Miui * (+0) /* Response Rules */ fixed link
15:33:33 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190433&oldid=190432 * Miui * (-1) /* Definitions */
15:35:07 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190434&oldid=190433 * Miui * (+59) /* Definitions */ highlight
15:37:52 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190435&oldid=190434 * Miui * (+26) /* Definitions */
15:48:06 <esolangs> [[Talk:Q!?]] https://esolangs.org/w/index.php?diff=190436&oldid=169960 * * (+189)
15:50:12 -!- potter has quit (Server closed connection).
15:51:38 -!- potter has joined.
15:54:53 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190437&oldid=190435 * Miui * (+343) /* Response Rules */ define response cards for Corp
15:55:16 <esolangs> [[Flowchart]] https://esolangs.org/w/index.php?diff=190438&oldid=190281 * Aadenboy * (+127)
15:55:30 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190439&oldid=190437 * Miui * (+2) /* Consequences */ Implementation
16:03:41 <esolangs> [[User talk:Raiseafloppafan7741]] https://esolangs.org/w/index.php?diff=190440&oldid=190052 * * (+213) /* how */ new section
16:03:50 <esolangs> [[Flowchart]] https://esolangs.org/w/index.php?diff=190441&oldid=190438 * Aadenboy * (+90)
16:04:03 <esolangs> [[Flowchart]] M https://esolangs.org/w/index.php?diff=190442&oldid=190441 * Aadenboy * (+6) /* Structure */
16:05:45 <esolangs> [[Flowchart]] https://esolangs.org/w/index.php?diff=190443&oldid=190442 * Aadenboy * (-21) /* Structure */
16:06:42 <esolangs> [[Talk:Around and around, sleeping sound]] https://esolangs.org/w/index.php?diff=190444&oldid=184713 * ImOnlyHereForReversibleComputing * (+2268) /* Computational class */
16:14:31 -!- tromp has joined.
16:22:37 -!- dcreager has quit (Server closed connection).
16:22:44 -!- dcreager has joined.
16:28:22 <esolangs> [[The Thought Police]] N https://esolangs.org/w/index.php?oldid=190445 * Miui * (+8366) Create language page
16:29:59 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=190446&oldid=190240 * Miui * (+25) /* T */ add The Thought Police
16:31:31 <esolangs> [[User:Miui]] https://esolangs.org/w/index.php?diff=190447&oldid=190382 * Miui * (+99) /* esolangs */
16:36:25 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
16:40:39 -!- Lord_of_Life has joined.
16:42:15 <esolangs> [[Talk:Around and around, sleeping sound]] https://esolangs.org/w/index.php?diff=190448&oldid=190444 * PkmnQ * (+784) /* Computational class */
16:43:20 -!- Lykaina has quit (Server closed connection).
16:43:40 -!- Lykaina has joined.
16:44:07 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:59:05 <esolangs> [[]] N https://esolangs.org/w/index.php?oldid=190449 * Klk bb * (+687) Created page with "[[]] is [[:Category:Brainfuck equivalents|bf equivalent]] esolang <div style="float:right; margin-left:20px; width:250px;"> __TOC__ </div> ==Differences from [[bf]]== {| class="wikitable" ![[Bf]]!! [[]] |- |<code>+</code>|| |- |<code>-</code>|| |- |<code>.</code>|| |- |<code>,</
16:59:37 -!- tromp has joined.
16:59:47 <esolangs> [[]] https://esolangs.org/w/index.php?diff=190450&oldid=190449 * Klk bb * (+20)
16:59:57 <esolangs> [[]] https://esolangs.org/w/index.php?diff=190451&oldid=190450 * Klk bb * (+0)
17:00:31 <esolangs> [[User talk:Raiseafloppafan7741]] https://esolangs.org/w/index.php?diff=190452&oldid=190440 * Raiseafloppafan7741 * (+446) /* how */ long story short, I forgot to set "treat signature as wikitext"
17:00:41 <esolangs> [[User:Klk bb]] https://esolangs.org/w/index.php?diff=190453&oldid=190388 * Klk bb * (+31)
17:06:44 <esolangs> [[User talk:Raiseafloppafan7741]] M https://esolangs.org/w/index.php?diff=190454&oldid=190452 * Raiseafloppafan7741 * (+0) /* how */ oops wrong case
17:07:56 <esolangs> [[Flowchart]] https://esolangs.org/w/index.php?diff=190455&oldid=190443 * Aadenboy * (+0) /* Structure */
17:14:48 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:16:20 <esolangs> [[Talk:Around and around, sleeping sound]] M https://esolangs.org/w/index.php?diff=190456&oldid=190448 * Aadenboy * (-3) minor structuring
17:25:31 <esolangs> [[Talk:Q!?]] https://esolangs.org/w/index.php?diff=190457&oldid=190436 * Yayimhere2(school) * (+145)
17:30:35 -!- tromp has joined.
17:38:43 <esolangs> [[Talk:Integer Stack Machine]] https://esolangs.org/w/index.php?diff=190458&oldid=190397 * Doors * (+213)
17:48:00 <esolangs> [[Talk:Ghmi-Asden Tnauin]] https://esolangs.org/w/index.php?diff=190459&oldid=190294 * Miui * (+185) attempting to dispel misunderstanding
17:49:19 <esolangs> [[Special:Log/newusers]] create * Tenebrous * New user account
18:01:34 <esolangs> [[The Thought Police]] M https://esolangs.org/w/index.php?diff=190460&oldid=190445 * Miui * (-4) /* Definitions */ removed quotation marks
18:06:13 <esolangs> [[]] https://esolangs.org/w/index.php?diff=190461&oldid=190451 * Aadenboy * (-72)
18:11:47 <esolangs> [[Esocow]] N https://esolangs.org/w/index.php?oldid=190462 * Miui * (+32) The Thought Police Deny Serial Harassment
18:13:47 <esolangs> [[ESOCOW]] N https://esolangs.org/w/index.php?oldid=190463 * Miui * (+32) THE THOUGHT POLICE DENY SERIAL HARASSMENT (Nope. You shouldnt let them make this page either)
18:27:50 <esolangs> [[User:Miui]] https://esolangs.org/w/index.php?diff=190464&oldid=190447 * Miui * (+37) /* esolangs */ Need help with The Thought Police. Not really sure what to do.
18:35:52 <esolangs> [[File talk:Arsenic.svg.webp]] M https://esolangs.org/w/index.php?diff=190465&oldid=190244 * Ractangle * (+186)
18:48:23 <aadenboy> ais523 https://esolangs.org/wiki/File:Arsenic.svg.webp is a reupload of https://commons.wikimedia.org/wiki/File:Arsenic.svg, which is not public domain
18:48:39 <aadenboy> er, https://commons.wikimedia.org/wiki/File:Arsenic.svg without that comma
18:49:41 <ais523> aadenboy: I'm not totally sure it's copyrightable, it might be too simple (the svg source code is probably copyrightable but that wasn't uploaded)
18:50:22 <ais523> might be best to delete it anyway, just to be on the safe side
18:52:04 <esolangs> [[Special:Log/delete]] delete * Ais523 * deleted "[[File:Arsenic.svg.webp]]": unused, and unclear copyright status (it is a screenshot of the output of a copyrighted SVG file [[commons:File:Arsenic.svg]], but the output is simple enough that it might be uncopyrightable)
18:52:15 <ais523> given that it's unused there isn't much of a reason not to delete it
18:52:58 <aadenboy> I think it might just be a conversion of the SVG since the transparency and weird cropping was preserved
18:53:44 <ais523> maybe; this is hard to distinguish from a screenshot (and might theoretically be the same thing)
18:56:58 <ais523> I guess screenshots don't normally preserve transparency (although there's no reason in theory why they couldn't, at least if you can limit the area screenshotted in the z axis)
18:59:59 <aadenboy> macs can capture windows with their shadows preserved, that's the only instance of that I can think of
19:01:06 <ais523> in any case, it is not possible to edit an edit summary after performing the edit/move/deletion
19:02:00 <ais523> (it is possible to for an admin delete the edit summary, although this power is hardly ever used and mostly only exists so that people can't abuse edit summaries for insults, doxxing, etc.)
19:03:16 <aadenboy> https://aadenboy.github.io/miscellaneous/Screenshot%202026-08-25%20at%2012.00.13%E2%80%AFPM.png example of window capturing
19:05:16 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
19:08:41 <ais523> now I'm imagining a computer where, if the desktop background and everything above it has a non-maxed-out alpha, you can see or partially see right through the computer
19:09:20 <ais523> I guess even if the computer isn't physically capable of having a transparent screen, it could still pretend to do so in screenshots
19:11:22 <aadenboy> I imagine you'd only need a camera (or several to prevent perspective distortion?) and adding it to screenshots
19:11:39 <ais523> https://en.wikipedia.org/wiki/See-through_display
19:11:56 <ais523> the camera wouldn't work unless you also had an eye tracker
19:11:57 -!- AlsoJAA has quit (Server closed connection).
19:12:06 -!- AlsoJAA has joined.
19:12:08 <ais523> because what you could see through the screen would depend on viewing angle
19:12:58 <aadenboy> maybe not an eye tracker, just a position tracker
19:13:14 <ais523> hmm, you need to know where the eyes are but not which way they're looking
19:13:39 <aadenboy> hang on isn't this just augmented reality
19:13:40 <b_jonas> sure, windows can logically have a transparency layer. I usually don't want them to have one because it's ugly and a waste of video memory and processing power, but they can be.
19:13:55 <b_jonas> there are see-through displays but I don't think there's one that has an independently changing transparency layer
19:13:57 <ais523> I guess this distinction should be "eye tracker" versus "gaze tracker", but I think that may be incompatible with existing language
19:14:34 <ais523> b_jonas: I don't want to imply that this is necessarily a good idea, it's just fun to think about
19:16:08 <ais523> anyway, Wikipedia's list of see-through displays doesn't seem to have any which are capable of all three states {opaque, emissive, transparent}, but you could do it in theory by combining two different technologies
19:16:31 <ais523> like using a transparent OLED screen in front of a transparent LCD screen
19:17:02 <ais523> (the LCD does the alpha, the OLED does the color channels)
19:18:48 <aadenboy> you could probably get window depth from putting multiple of those pairs together
19:19:26 <korvo> https://retrocomputing.stackexchange.com/q/32825/22614 Anybody know about the proof of the four color theorem? I'd like to know which supercomputer(s) were used to verify it. This appears to be a more difficult research question than anticipated.
19:19:42 <korvo> I do *not* have wiki content in mind here.
19:24:38 -!- Lord_of_Life has joined.
19:35:19 <esolangs> [[]] https://esolangs.org/w/index.php?diff=190466&oldid=190461 * Corbin * (-292) Identify a TDS, fix categories, fix formatting.
19:35:56 <ais523> korvo: I think the supercomputers at the time mostly did vectorized floating-point maths which wouldn't have been useful in this case, so my guess is that it was likely done on a cluster of more ordinary computers (but this is an educated guess, I don't know the answer)
19:36:33 <ais523> I still remember when "floating-point operations per second" was the main statistic used to quantify the power of a supercomputer
20:06:14 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
20:09:38 -!- ais523 has quit (Quit: quit).
20:11:02 -!- Lord_of_Life has joined.
20:15:22 <esolangs> [[Esolang:2026 topicality proposal]] https://esolangs.org/w/index.php?diff=190467&oldid=183953 * * (+94)
20:17:02 <b_jonas> ais523: I'd assume it wouldn't be directly opaque, emissinve, and transparent, but rather opaque black, opaque matte white, and transparent, and you'd have a light behind you. imagine an e-ink display if you want, but not necessarily optimized for low power consumption. ideally you'd want multiple separate color channels for how transparent it is for different colors of light, and three or four separate
20:17:08 <b_jonas> color channels for how matte reflective it is for different colors, but that'd be hard to manufacture.
20:17:29 <int-e> "We had access to IBM computers (a 360-75 at Urbana-Champaign, a 370-159 at the University's Chicago Circle Campus, and later a 370-168 of the University of Illinois administrative data processing unit)." https://doi.org/10.1215%2Fijm%2F1256049012
20:18:09 <b_jonas> alternately it could have a thick transparent pane on the front and that one is lit from the edge to provide some light even when the room is dark
20:19:12 <b_jonas> int-e: but isn't there a somewhat easier proof found later, with less computation required?
20:19:49 <int-e> I thought the question was about the original proof.
20:20:25 <esolangs> [[Talk:Q!?]] https://esolangs.org/w/index.php?diff=190468&oldid=190457 * * (+188)
20:30:44 <esolangs> [[Esolang:2026 topicality proposal (Language)]] N https://esolangs.org/w/index.php?oldid=190469 * Hotcrystal0 * (+48) Redirected page to [[Esolang2026 topicality proposal]]
20:32:07 <int-e> Apparently the 2005 Coq formalization took 3 days to run, I'd assume on a fairly standard PC. They say that a 1996 effort that used optimized C code took 3 hours, I didn't check details.
20:32:45 <b_jonas> wow, I thought it would be much faster
20:35:26 <korvo> int-e: Nice find. If you answer on SE then I'll accept it.
20:38:03 <esolangs> [[Offset]] N https://esolangs.org/w/index.php?oldid=190470 * Rainwave * (+5244) Not so new language
20:40:39 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=190471&oldid=190446 * Rainwave * (+13) Added Offset
20:41:44 <esolangs> [[User:Rainwave]] https://esolangs.org/w/index.php?diff=190472&oldid=190239 * Rainwave * (+17) Added Offset
20:42:23 <b_jonas> by the way, Tom Scott just released a video about one of the earliest computers, way back during World War II, and that one wasn't doing floating-point operations, only it was secret for decades so it might have influenced the design of other earlier computers less because of that. https://factorio.com/support/contact
20:42:31 <esolangs> [[Talk:Offset]] N https://esolangs.org/w/index.php?oldid=190473 * Blashyrkh * (+328) Created page with "<blockquote>His goal was to create a minimalistic language that has no explicit branching. To perform any computation, the program has to rewrite its own instructions as it runs.</blockquote> You should take a look at [[BytePusher]] then. --~~~~"
20:43:51 <b_jonas> but it's true that even back during the war, some other computers would have wanted floating-point operations, or at least fast fixed-point high multiplication, for numeric simulations
20:44:00 <int-e> b_jonas: without clicking it, that link doesn't look correct
20:49:16 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
20:50:29 -!- Lord_of_Life has joined.
20:54:24 -!- Lord_of_Life has quit (Client Quit).
21:14:32 -!- Lord_of_Life has joined.
21:15:10 <esolangs> [[Talk:-2147483648 bytes .-.]] N https://esolangs.org/w/index.php?oldid=190474 * Gribnit * (+164) kicks hive
21:15:56 <esolangs> [[The Thought Police]] https://esolangs.org/w/index.php?diff=190475&oldid=190460 * Miui * (+307) /* Computational Model */ define computational class as of yet unknown
21:19:17 -!- amby has joined.
21:26:35 <esolangs> [[Talk:Wizzcake+]] N https://esolangs.org/w/index.php?oldid=190476 * Gribnit * (+172) seems applicable
21:28:38 <esolangs> [[The Thought Police]] M https://esolangs.org/w/index.php?diff=190477&oldid=190475 * Miui * (+1) /* Computation Class */ add apostrophe
21:29:06 <esolangs> [[Retrograde]] N https://esolangs.org/w/index.php?oldid=190478 * ImOnlyHereForReversibleComputing * (+13713) Created page with "Retrograde is a reversible programming language investigated by [[User:ImOnlyHereForReversibleComputing]] at least as early as July 2022, but first posted in August 2026. The language has an unusual control structure which is unexpectedly ge
21:29:50 <esolangs> [[Talk:ShitLang]] https://esolangs.org/w/index.php?diff=190479&oldid=93906 * Gribnit * (+126) needless commentary
21:30:10 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=190480&oldid=190471 * ImOnlyHereForReversibleComputing * (+17)
21:30:50 <esolangs> [[The Thought Police]] https://esolangs.org/w/index.php?diff=190481&oldid=190477 * Miui * (+59) /* Response Rules */ add highlight/color-code
21:31:28 <esolangs> [[The Thought Police]] M https://esolangs.org/w/index.php?diff=190482&oldid=190481 * Miui * (+2) /* Computation Class */ Computation -> Computational
21:35:22 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190483&oldid=190439 * Miui * (-8298) page has been moved to W.I.P languages
21:40:31 <esolangs> [[User:Miui/Drafts/TTP]] https://esolangs.org/w/index.php?diff=190484&oldid=190483 * * (+32) redirect cuz why not
21:40:49 <esolangs> [[User:ImOnlyHereForReversibleComputing]] N https://esolangs.org/w/index.php?oldid=190485 * ImOnlyHereForReversibleComputing * (+512) Created page with "I'm [[User:ImOnlyHereForReversibleComputing]] and I'm only here for reversible computing. I'm currently writing the [https://blog.dev-info-r-d.com/category/reversible_primer/ Reversible Programming Primer], a compre
21:46:52 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:48:20 -!- tromp has joined.
21:52:50 <esolangs> [[The Thought Police]] https://esolangs.org/w/index.php?diff=190486&oldid=190482 * Miui * (+155) /* Computational Class */ specify intended computational class.
22:08:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:23:33 <esolangs> [[Esolang:2026 topicality proposal]] https://esolangs.org/w/index.php?diff=190487&oldid=190467 * Aadenboy * (+9)
22:41:41 <esolangs> [[Talk:S]] https://esolangs.org/w/index.php?diff=190488&oldid=183410 * Gribnit * (+126) oh no
23:02:31 -!- integral has quit (Server closed connection).
23:02:44 -!- integral has joined.
23:15:29 -!- citrons has quit (Server closed connection).
23:15:40 -!- citrons has joined.