00:00:46 `? monad 00:00:49 Monads are just monoids in the category of endofunctors. 00:03:48 `? monads 00:03:50 Monads are just free monad monad monad algebras. 00:34:51 what 00:34:58 "free monad monad monad algebras"? 00:41:53 -!- razetime has joined. 00:42:08 `cwlprits monads 00:42:11 shachäf ellioẗt oerjän oerjän shachäf Phantom_Hoovër Phantom_Hoovër oerjän oerjän oerjän nitïa 00:42:30 hmm, interesting to see nitia on the list 00:42:57 `? nitia 00:42:58 nitia is the inventor of all things. The BBC invented her. 01:09:10 -!- sprock has quit (Quit: ...). 03:03:05 -!- sprock has joined. 03:08:54 -!- SgeoComet has joined. 03:11:19 -!- SgeoComet has quit (Client Quit). 03:30:23 -!- razetime has quit (Ping timeout: 268 seconds). 03:30:34 -!- razetime has joined. 05:26:27 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in). 05:29:29 -!- slavfox has joined. 05:37:09 -!- Lord_of_Life_ has joined. 05:38:39 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 05:38:40 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 06:09:07 I had recently added a mode into my "utftovlq" program for converting data into a C code. (This can be used if you are using a compiler without #embed or if you want to include data that is not 8-bit data.) 06:54:32 -!- tromp has joined. 06:55:02 -!- tromp has quit (Client Quit). 06:58:49 -!- impomatic has joined. 07:00:50 [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=104936&oldid=79660 * Bigyihsuan * (+154) 07:02:48 -!- razetime has quit (Ping timeout: 260 seconds). 07:34:49 [[Special:Log/newusers]] create * Funnsam * New user account 07:41:59 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=104937&oldid=104887 * Funnsam * (+195) 07:49:21 [[FullFuck]] N https://esolangs.org/w/index.php?oldid=104938 * Funnsam * (+224) Created page with "==FullFuck== It is an esolang inspired by [[BrainFuck]]. The compiler was originally written in Go but ported to Rust later. ===Hello World=== +047[+]>01D[+]>007[+]>>003[+]>04F[-]>057[+]>008[-]>003[+]>006[-]>008[-]>043[-]>" 07:51:02 -!- razetime has joined. 07:53:17 [[FullFuck]] https://esolangs.org/w/index.php?diff=104939&oldid=104938 * Funnsam * (-32) /* FullFuck */ 08:06:11 -!- tromp has joined. 08:47:17 [[User:Semanticism]] N https://esolangs.org/w/index.php?oldid=104940 * Semanticism * (+694) Created page with "'''CatZ''' --- + Add to the variable - Subtract from the variable < Rotate binary array forward, equivalent to interpret as an integer in binary and than changing the start to be in the state of the previous final 09:01:35 -!- genpaku has quit (Remote host closed the connection). 09:04:42 -!- genpaku has joined. 09:51:37 -!- impomatic has quit (Remote host closed the connection). 09:55:27 [[Unhappy]] https://esolangs.org/w/index.php?diff=104941&oldid=103423 * DanielE * (+24) 10:13:02 -!- Sgeo has quit (Read error: Connection reset by peer). 10:32:36 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 10:47:03 -!- tromp has joined. 11:00:39 [[Array++]] https://esolangs.org/w/index.php?diff=104942&oldid=104622 * Z Z * (-32) changes to language 11:01:19 [[Array++]] M https://esolangs.org/w/index.php?diff=104943&oldid=104942 * Z Z * (+7) /* define */ 11:02:25 [[Array++]] M https://esolangs.org/w/index.php?diff=104944&oldid=104943 * Z Z * (+20) /* Reserved symbols */ 11:06:24 -!- razetime has quit (Ping timeout: 260 seconds). 11:36:50 -!- Thedarkb-Desktop has quit (Ping timeout: 256 seconds). 11:38:58 -!- razetime has joined. 11:49:43 [[Array++]] https://esolangs.org/w/index.php?diff=104945&oldid=104944 * Z Z * (+25) /* operators */ 11:51:35 [[Array++]] https://esolangs.org/w/index.php?diff=104946&oldid=104945 * Z Z * (-10) /* Main */ 11:51:59 [[Array++]] https://esolangs.org/w/index.php?diff=104947&oldid=104946 * Z Z * (-2) /* Reserved symbols */ 12:18:13 -!- razetime_ has joined. 12:18:15 -!- razetime has quit (Ping timeout: 268 seconds). 12:19:37 in a HTTP URL, if there's no path component but there's a query parameters component, is it universally valid if you have no slash after domain and just put a question mark after it, like https://en.wikipedia.org?curid=146927 , or is that just an extension that some software accept but I shouldn't rely on it? I know that if there's no query part either then omitting the slash will always work. 12:37:33 https://www.rfc-editor.org/rfc/rfc3986#section-3 ...path-abempty can be empty 12:38:17 so that's legal 12:43:30 we need a parody with Fermat's note with “but then the website crashed and I'm too lazy to retype it.” 12:45:22 int-e: thank you 12:45:40 though that doesn't really prove that it's legal for http urls in particular, just that it's legal syntax as a URK 12:45:44 URL 12:52:28 hmm hmm https://www.rfc-editor.org/rfc/rfc2616#section-3.2.2 12:53:40 But https://www.rfc-editor.org/rfc/rfc2616#section-5.1.2 uses absoluteURI which allows omitting the /... I wonder whether that is intended. 12:55:34 I don't know. I guess the usual rules apply... when consuming URLs, don't require a /, but when constructing them, add the / because it's the conservative choice. 12:57:57 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 12:58:26 I guess in the end that definition of the http URI scheme should override the generic URI definition, and that would make https://en.wikipedia.org?curid=146927 illegal. So hard to tell. 13:33:47 -!- razetime_ has quit (Ping timeout: 264 seconds). 13:53:21 -!- razetime has joined. 14:07:05 -!- razetime has quit (Remote host closed the connection). 14:10:35 -!- tromp has joined. 14:44:26 [[Unhappy]] M https://esolangs.org/w/index.php?diff=104948&oldid=104941 * PythonshellDebugwindow * (+0) Fix 14:44:59 [[FullFuck]] M https://esolangs.org/w/index.php?diff=104949&oldid=104939 * PythonshellDebugwindow * (+33) Stub, category 14:45:35 [[Language list]] M https://esolangs.org/w/index.php?diff=104950&oldid=104916 * PythonshellDebugwindow * (+15) /* F */ add 15:13:59 -!- Thelie has joined. 15:46:31 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:09:22 -!- tromp has joined. 17:40:53 -!- Thelie has quit (Quit: Leaving.). 17:40:59 -!- Thelie1 has joined. 17:41:03 -!- Thelie1 has quit (Remote host closed the connection). 17:42:03 -!- Thelie has joined. 18:00:30 -!- haavard has changed nick to HD. 18:00:38 -!- HD has changed nick to hd. 18:11:48 -!- hd has changed nick to h. 18:11:50 -!- Thedarkb-Desktop has joined. 18:11:51 -!- h has changed nick to Guest268. 18:11:58 -!- Guest268 has changed nick to hd. 18:24:39 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 19:09:11 -!- tromp has joined. 19:09:54 -!- sprock has quit (Remote host closed the connection). 19:10:10 -!- sprock has joined. 19:25:14 -!- Sgeo has joined. 19:28:39 -!- impomatic has joined. 19:43:25 -!- Thelie has quit (Quit: Leaving.). 19:44:00 -!- Thelie has joined. 19:47:03 -!- impomatic has quit (Quit: impomatic). 19:50:10 -!- Thelie has quit (Remote host closed the connection). 19:50:48 -!- Thelie has joined. 19:51:20 int-e: thanks 19:52:35 I'll be cautious then, add the slash when writing URLs, and, in theory, not require the slash when I accept URLs, though most likely I'll be using an existing library to parse the URL and don't control that low-level detail 19:58:29 -!- Thelie has quit (Ping timeout: 265 seconds). 21:37:44 -!- Sgeo has quit (Read error: Connection reset by peer). 21:40:28 -!- Hm has joined. 21:41:08 -!- Sgeo has joined. 21:42:58 -!- Hm has quit (Client Quit). 21:57:36 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 22:14:32 -!- tromp has joined. 22:19:53 [[I'm Blue]] N https://esolangs.org/w/index.php?oldid=104951 * LEOMOK * (+2867) Created page with "I'm Blue is a [[BF]]-derivative esolang created by [[User:LEOMOK]]. It is a list of misheard lyrics from Eiffel 65's song "Blue (Da Ba Dee)". It operates on a hypercube of an infinite number of dimensions. It is an extension of BF's tape. The datatype used is the 64-bit 22:31:00 What should a static ability "[???]--[ability]" be called, if it means: As this permanent enters the battlefield or is faced up or gains this ability by merging, it gains [ability] and loses this ability; this counts as a layer 6 effect. 23:00:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).