Logs on 2025-02-27 (liberachat/#haskell)
| 00:05:03 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 00:06:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:11:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:12:46 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:16:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 00:21:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:26:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:36:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:39:46 | × | alp quits (~alp@2001:861:8ca0:4940:b08e:d43c:4f53:7730) (Ping timeout: 248 seconds) |
| 00:41:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:47:03 | × | sprotte24 quits (~sprotte24@p200300d16f39ea0090c1360b4b7260ad.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:47:29 | → | Frozenflame joins (~Frozenfla@2001:e68:5456:103c:9c5e:561a:ec2b:5c9e) |
| 00:52:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:54:35 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:54:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:9a9a:b8fb:ffdf:8c19) (Ping timeout: 252 seconds) |
| 00:54:59 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 00:55:34 | × | Frozenflame quits (~Frozenfla@2001:e68:5456:103c:9c5e:561a:ec2b:5c9e) (Quit: Client closed) |
| 00:56:07 | → | k0zy joins (~user@user/k0zy) |
| 00:56:18 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:56:42 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 00:59:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:59:51 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:00:41 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:04:18 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 01:07:04 | → | florida joins (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) |
| 01:10:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:11:49 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f80fcc6edffa39079b3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 01:12:04 | → | messewix joins (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) |
| 01:12:04 | × | messewix quits (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) (Changing host) |
| 01:12:04 | → | messewix joins (~jmc@user/messewix) |
| 01:14:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:16:39 | → | mange joins (~user@user/mange) |
| 01:25:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:26:41 | → | bilegeek joins (~bilegeek@2600:1008:b058:b4a6:6879:65cc:a630:7179) |
| 01:30:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:38:41 | × | bilegeek quits (~bilegeek@2600:1008:b058:b4a6:6879:65cc:a630:7179) (Quit: Leaving) |
| 01:41:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:43:30 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:46:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 01:46:35 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:47:03 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 01:50:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 01:56:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:00:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:00:49 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 02:03:44 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 02:06:38 | × | tromp quits (~textual@2a02:a210:cba:8500:b949:287e:6bbd:873b) (Ping timeout: 245 seconds) |
| 02:08:14 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 02:11:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:14:10 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:16:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:25:57 | → | bilegeek joins (~bilegeek@2600:1008:b088:41a3:a4e9:a4e3:fdbd:83db) |
| 02:26:02 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 02:27:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:33:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:34:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 02:38:00 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 02:40:10 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@79.127.217.46) |
| 02:45:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:50:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:00:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:02:51 | → | feetwind joins (~mike@user/feetwind) |
| 03:04:17 | × | drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 03:05:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:16:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:19:43 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:20:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:21:42 | → | weary-traveler joins (~user@user/user363627) |
| 03:22:47 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@79.127.217.46) (Quit: Leaving) |
| 03:23:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 03:25:22 | × | user363627 quits (~user@user/user363627) (Ping timeout: 252 seconds) |
| 03:31:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:32:55 | → | drdo joins (~drdo@bl9-110-63.dsl.telepac.pt) |
| 03:36:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:43:16 | <Square2> | I realized cabal compiles every file 2 times. First a pass for every .hs file to produce a .dyn_o and then the same procedure but for a .o file. Is this in order? |
| 03:43:32 | <Square2> | and what are the differences between .dyn_o and .o? |
| 03:46:12 | × | yegorc quits (~yegorc@user/yegorc) (Quit: Leaving) |
| 03:47:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:51:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:57:36 | × | florida quits (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) (Remote host closed the connection) |
| 04:02:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:06:07 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:09:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:11:10 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 04:20:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:23:00 | Digitteknohippie | is now known as Digit |
| 04:25:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:28:54 | <Square2> | i noticed that ghc 9 is much more sensitive on order of declaration in your hs files. Maybe only when using template haskell? Is there some way to get back ghc 8 behavior where it seemed to evaluate the whole file before complaining? |
| 04:32:25 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 04:32:30 | → | aforemny joins (~aforemny@2001:9e8:6ce2:b00:1290:c2b0:bbd4:4f06) |
| 04:33:09 | × | aforemny_ quits (~aforemny@2001:9e8:6cc7:1800:f602:cc4c:87fe:731d) (Ping timeout: 260 seconds) |
| 04:35:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:38:27 | <haskellbridge> | <sm> Square2 that's a template haskell thing, "staging restriction" IIRC. The details should be somewhere in ghc release notes. |
| 04:38:43 | <Square2> | sm, thanks |
| 04:39:46 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:40:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:40:49 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 04:41:15 | <Square2> | sm, just checking. Do you know this was something that changed between ghc 8 and 9? |
| 04:41:51 | <haskellbridge> | <sm> I don't remember exactly but perhaps yes |
| 04:45:29 | <int-e> | https://downloads.haskell.org/~ghc/9.0.1/docs/html/users_guide/9.0.1-notes.html "Breaking change: Template Haskell splices now act as separation points between constraint solving passes. It is no longer possible to use an instance of a class before a splice and define that instance after a splice." |
| 04:48:02 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:51:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:51:51 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:51:59 | <Square2> | int-e, that explains it. Thanks! |
| 04:55:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:56:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 05:06:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:11:06 | → | puke joins (~puke@user/puke) |
| 05:11:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 05:13:44 | × | urdh quits (~urdh@user/urdh) (Quit: Boom!) |
| 05:15:56 | → | urdh joins (~urdh@user/urdh) |
| 05:19:03 | × | messewix quits (~jmc@user/messewix) (Quit: Konversation terminated!) |
| 05:21:22 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:21:35 | × | zlqrvx quits (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 05:21:56 | → | zlqrvx joins (~zlqrvx@user/zlqrvx) |
| 05:21:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:26:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:31:18 | → | Kal joins (~Kal@208.131.130.43) |
| 05:31:43 | × | Kal quits (~Kal@208.131.130.43) (Client Quit) |
| 05:37:15 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:37:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:41:40 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 05:43:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:44:20 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds) |
| 05:47:28 | → | poscat0x04 joins (~poscat@user/poscat) |
| 05:47:39 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 05:51:29 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 05:54:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:58:38 | × | Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 06:00:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:03:11 | → | michalz joins (~michalz@185.246.207.215) |
| 06:10:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:11:12 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 06:15:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:17:24 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 06:20:42 | → | myme joins (~myme@40.51-175-185.customer.lyse.net) |
| 06:22:51 | → | misterfish joins (~misterfis@84.53.85.146) |
| 06:22:59 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:25:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:27:14 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 06:30:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:30:10 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 06:39:05 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f56a53281fa3e7dbfe3.dip0.t-ipconnect.de) |
| 06:40:30 | → | alp joins (~alp@2001:861:8ca0:4940:3fc9:f53:768e:69c7) |
| 06:41:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:41:07 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 265 seconds) |
| 06:44:40 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 06:48:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:52:02 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 06:53:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 06:59:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:02:13 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 07:03:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:08:43 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:10:15 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:10:24 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 07:11:35 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:12:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 07:14:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:18:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:19:47 | → | Pozyomka joins (~pyon@user/pyon) |
| 07:24:25 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 07:29:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:31:24 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 07:31:49 | → | zungi joins (~tory@user/andrewchawk) |
| 07:34:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:34:26 | × | ft quits (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:36:07 | × | JamesMowery quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 07:36:27 | → | JamesMowery joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 07:38:39 | × | hattckory quits (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 07:40:01 | → | hattckory joins (~hattckory@149.102.242.103) |
| 07:40:40 | → | ensyde joins (~ensyde@2601:5c6:c200:6dc0::46e1) |
| 07:45:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:49:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:53:31 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
| 07:54:07 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:54:07 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 07:58:56 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 08:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:01:05 | → | caconym joins (~caconym@user/caconym) |
| 08:02:15 | → | CiaoSen joins (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) |
| 08:02:22 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 08:17:40 | → | fp1 joins (~Thunderbi@2001:708:20:1406::10c5) |
| 08:17:58 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 08:23:09 | → | euleritian joins (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) |
| 08:26:00 | × | bilegeek quits (~bilegeek@2600:1008:b088:41a3:a4e9:a4e3:fdbd:83db) (Quit: Leaving) |
| 08:26:37 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:26:42 | → | myxokephale joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 08:27:59 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 08:37:45 | → | merijn joins (~merijn@77.242.116.146) |
| 08:38:06 | × | hattckory quits (~hattckory@149.102.242.103) (Ping timeout: 276 seconds) |
| 08:38:38 | → | hattckory joins (~hattckory@149.102.242.103) |
| 08:39:50 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:44:02 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 08:49:14 | → | misterfish joins (~misterfis@31-161-39-137.biz.kpn.net) |
| 08:56:32 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 09:02:14 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:04:25 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:09:37 | × | hattckory quits (~hattckory@149.102.242.103) (Ping timeout: 248 seconds) |
| 09:10:31 | → | hattckory joins (~hattckory@149.102.242.103) |
| 09:13:50 | × | hattckory quits (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 09:14:17 | → | hattckory joins (~hattckory@149.102.242.103) |
| 09:15:57 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
| 09:16:10 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 09:19:52 | × | michalz quits (~michalz@185.246.207.215) (Ping timeout: 268 seconds) |
| 09:21:49 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:23:21 | × | hattckory quits (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 09:23:36 | → | hattckory joins (~hattckory@149.102.242.103) |
| 09:25:55 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:30:20 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
| 09:30:22 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 09:30:37 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 09:33:18 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f56a53281fa3e7dbfe3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 09:34:13 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:34:54 | → | agumonkey_ joins (~user@2a04:cec0:1902:1f29:f0eb:58a5:1064:f4a3) |
| 09:38:56 | × | frontin quits (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 09:43:06 | × | p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in) |
| 09:44:52 | × | euleritian quits (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:45:09 | → | euleritian joins (~euleritia@77.23.250.232) |
| 09:45:23 | → | p3n joins (~p3n@217.198.124.246) |
| 09:54:17 | × | hattckory quits (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 09:55:01 | × | fp1 quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 09:55:08 | → | hattckory joins (~hattckory@149.102.242.103) |
| 09:58:41 | × | tdsyyyyyyyyyyyyl quits (~tdsyyyyyy@108.192.66.114) (Remote host closed the connection) |
| 09:59:02 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 10:00:45 | × | dsrt^ quits (~dsrt@108.192.66.114) (Remote host closed the connection) |
| 10:01:34 | × | noctux quits (~noctux@user/noctux) (Ping timeout: 260 seconds) |
| 10:01:39 | × | off^ quits (~off@108.192.66.114) (Remote host closed the connection) |
| 10:05:03 | → | noctux joins (~noctux@user/noctux) |
| 10:05:17 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
| 10:05:45 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 10:12:00 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:16:13 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 10:16:21 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 10:17:32 | → | tomku joins (~tomku@user/tomku) |
| 10:18:47 | → | noctux joins (~noctux@user/noctux) |
| 10:21:58 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f56c529f675183b3a72.dip0.t-ipconnect.de) |
| 10:25:33 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:30:03 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:d196:5c1f:4ab7:f201) |
| 10:31:44 | × | preflex quits (~preflex@user/mauke/bot/preflex) (Read error: Connection reset by peer) |
| 10:31:44 | × | mauke quits (~mauke@user/mauke) (Read error: Connection reset by peer) |
| 10:33:50 | → | preflex joins (~preflex@user/mauke/bot/preflex) |
| 10:35:27 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:37:19 | → | mauke joins (~mauke@user/mauke) |
| 10:42:00 | → | michalz joins (~michalz@185.246.207.205) |
| 10:53:56 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
| 10:54:10 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 10:55:38 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 10:58:04 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:59:01 | × | euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 244 seconds) |
| 10:59:24 | → | euleritian joins (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) |
| 11:00:22 | → | chele joins (~chele@user/chele) |
| 11:02:28 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 11:02:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:05:41 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:06:42 | → | sprotte24 joins (~sprotte24@p200300d16f3f100071218645b0b5c6e1.dip0.t-ipconnect.de) |
| 11:08:48 | → | tabaqui1 joins (~root@87.200.129.102) |
| 11:15:38 | × | CiaoSen quits (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 265 seconds) |
| 11:17:04 | × | euleritian quits (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:17:21 | → | euleritian joins (~euleritia@77.23.250.232) |
| 11:19:11 | → | __monty__ joins (~toonn@user/toonn) |
| 11:27:42 | → | xff0x joins (~xff0x@ai066236.d.east.v6connect.net) |
| 11:33:17 | × | glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 11:34:00 | → | glguy joins (glguy@libera/staff/glguy) |
| 11:44:29 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:48:47 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 11:48:58 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:51:04 | × | ensyde quits (~ensyde@2601:5c6:c200:6dc0::46e1) (Ping timeout: 260 seconds) |
| 11:58:59 | → | cstml joins (~cstml@user/cstml) |
| 12:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 12:01:14 | <cstml> | :q |
| 12:01:23 | × | cstml quits (~cstml@user/cstml) (Client Quit) |
| 12:03:58 | → | caconym joins (~caconym@user/caconym) |
| 12:04:55 | → | cstml joins (~Thunderbi@user/cstml) |
| 12:07:56 | → | cstml1 joins (~cstml@user/cstml) |
| 12:08:03 | × | Spawns_Carpeting quits (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 12:10:48 | → | Spawns_Carpeting joins (~mobile@user/spawns-carpeting/x-6969421) |
| 12:19:15 | × | Buliarous quits (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 12:23:55 | → | CiaoSen joins (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) |
| 12:29:54 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:34:00 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 12:35:16 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 12:36:38 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f56c529f675183b3a72.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 12:48:02 | × | cstml quits (~Thunderbi@user/cstml) (Ping timeout: 244 seconds) |
| 12:49:24 | × | cstml1 quits (~cstml@user/cstml) (Ping timeout: 252 seconds) |
| 12:51:36 | × | euleritian quits (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 12:52:29 | → | euleritian joins (~euleritia@77.23.250.232) |
| 12:57:26 | → | fantom joins (~fantom@2.219.56.221) |
| 13:08:45 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 13:08:54 | × | alp quits (~alp@2001:861:8ca0:4940:3fc9:f53:768e:69c7) (Ping timeout: 246 seconds) |
| 13:13:04 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
| 13:13:21 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 13:15:18 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:17:53 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 13:19:45 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 13:21:34 | → | weary-traveler joins (~user@user/user363627) |
| 13:23:26 | → | gentauro joins (~gentauro@user/gentauro) |
| 13:25:59 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:26:01 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 13:34:11 | → | Digitteknohippie joins (~user@user/digit) |
| 13:34:31 | → | comerijn joins (~merijn@77.242.116.146) |
| 13:35:47 | × | Digit quits (~user@user/digit) (Ping timeout: 268 seconds) |
| 13:37:21 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 13:39:44 | × | sprotte24 quits (~sprotte24@p200300d16f3f100071218645b0b5c6e1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 13:40:49 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:46:24 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 13:49:01 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 13:49:06 | → | alp joins (~alp@2001:861:8ca0:4940:58d8:cc89:9d90:c4b2) |
| 13:52:40 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:53:09 | → | zungi joins (~tory@user/andrewchawk) |
| 14:00:42 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:02:23 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 14:05:05 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 14:14:03 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f56f4c4d217527f2fec.dip0.t-ipconnect.de) |
| 14:18:38 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 14:19:03 | × | CiaoSen quits (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 14:19:44 | × | manwithluck` quits (~manwithlu@2a09:bac1:5ba0:20::49:b4) (Remote host closed the connection) |
| 14:24:02 | → | manwithluck` joins (~manwithlu@2a09:bac1:5ba0:20::49:b4) |
| 14:26:45 | × | petrichor quits (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 14:27:59 | × | euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 260 seconds) |
| 14:29:19 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 14:30:10 | → | petrichor joins (~znc-user@user/petrichor) |
| 14:30:46 | → | euleritian joins (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) |
| 14:37:27 | → | cipherrot joins (~znc-user@user/petrichor) |
| 14:38:22 | × | petrichor quits (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 14:41:42 | × | cipherrot quits (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 14:42:54 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 14:44:46 | → | petrichor joins (~znc-user@user/petrichor) |
| 14:46:59 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:51:03 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 14:51:13 | Digitteknohippie | is now known as Digit |
| 14:51:29 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 14:51:51 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:53:05 | → | j1n37- joins (~j1n37@user/j1n37) |
| 14:53:29 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 14:53:57 | <EvanR> | Ed is the 'standard' text editor in the sense that it is the original editor for Unix, and thus widely available. For most purposes, however, it is superseded by full-screen editors such as GNU Emacs or GNU Moe. |
| 14:54:16 | <EvanR> | first of all, capitalizing ed at the beginning of the sentence is ridiculous |
| 14:54:32 | <EvanR> | but mainly, wtf is GNU Moe |
| 14:56:56 | <mauke> | I only know gap moe |
| 14:57:44 | <dmoerner> | i'm stuck in moe, my terminal doesn't want to pass through F1 which controls the help |
| 14:58:14 | <dmoerner> | and moe ignores control Z |
| 14:58:44 | <EvanR> | it's like the first time you used vim |
| 14:58:47 | <EvanR> | can't exit |
| 14:58:56 | <dmoerner> | that might mean it's a good editor |
| 15:01:24 | <EvanR> | control-q x |
| 15:01:58 | → | ystael joins (~ystael@user/ystael) |
| 15:03:46 | <int-e> | ...oh because it's the GNU website so they favor GNU projects |
| 15:04:44 | <EvanR> | I actually grabbed that from the ed manpage |
| 15:05:00 | <EvanR> | on GNU non-unix |
| 15:05:15 | <int-e> | Ah. But still, that's GNU ed and the same logic applies :P |
| 15:05:47 | <int-e> | (Now if they had picked nano instead I don't think that would even raise any eyebrows) |
| 15:07:26 | <probie> | nano isn't the great tbh. The only saving graces are that it has no separate edit mode and that (by default) it wastes precious screen real estate on showing the user very commonly used keybindings |
| 15:07:59 | <EvanR> | I can't seem to even install moe with apt get |
| 15:08:08 | <int-e> | As for the actual reason why the ed manpage would mention moe... https://savannah.gnu.org/users/antonio may shed some light on that. |
| 15:08:18 | × | euleritian quits (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:08:28 | <int-e> | (the moe author maintains ed) |
| 15:08:34 | × | distopico quits (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 244 seconds) |
| 15:08:35 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 15:08:58 | <EvanR> | what a conflict of interest! |
| 15:10:14 | <mauke> | vim: the moe/ed-less editor |
| 15:12:40 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
| 15:13:12 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 15:13:59 | <int-e> | probie: yeah, nano sucks, but I'd consider it to be well-known |
| 15:19:32 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 15:20:33 | → | distopico joins (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) |
| 15:22:42 | → | agumonke` joins (~user@2a04:cec0:1902:7e46:f625:ba29:78b6:f3aa) |
| 15:24:17 | × | agumonkey_ quits (~user@2a04:cec0:1902:1f29:f0eb:58a5:1064:f4a3) (Ping timeout: 244 seconds) |
| 15:26:24 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:30:37 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 15:31:21 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f56f4c4d217527f2fec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 15:31:50 | → | vpan joins (~vpan@212.117.1.172) |
| 15:40:03 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:43:36 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1) |
| 15:49:48 | × | misterfish quits (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 252 seconds) |
| 15:51:07 | × | zungi quits (~tory@user/andrewchawk) (Remote host closed the connection) |
| 15:51:29 | → | zungi joins (~tory@user/andrewchawk) |
| 15:51:53 | codolio | is now known as dolio |
| 15:56:46 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 15:58:15 | → | jrm joins (~jrm@user/jrm) |
| 16:02:10 | × | tabaqui1 quits (~root@87.200.129.102) (Ping timeout: 252 seconds) |
| 16:13:48 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:17:33 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:18:03 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:18:13 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 16:23:54 | × | sarna quits (~sarna@d168-237.icpnet.pl) (Ping timeout: 252 seconds) |
| 16:30:41 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:d196:5c1f:4ab7:f201) (Remote host closed the connection) |
| 16:32:11 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 16:32:46 | → | rvalue joins (~rvalue@user/rvalue) |
| 16:33:27 | → | ft joins (~ft@p3e9bc68d.dip0.t-ipconnect.de) |
| 16:34:09 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f56f4c4d217527f2fec.dip0.t-ipconnect.de) |
| 16:38:49 | → | sarna joins (~sarna@d224-52.icpnet.pl) |
| 16:56:19 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:59:11 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:03:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 17:09:33 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 17:09:45 | → | euleritian joins (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) |
| 17:10:56 | → | sprotte24 joins (~sprotte24@p200300d16f3f1000f5852302a25e2776.dip0.t-ipconnect.de) |
| 17:13:05 | → | romw314 joins (~romw314@user/romw314) |
| 17:17:41 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:20:02 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
| 17:20:05 | ← | romw314 parts (~romw314@user/romw314) () |
| 17:20:11 | × | euleritian quits (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:20:28 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 17:20:31 | → | euleritian joins (~euleritia@77.23.250.232) |
| 17:24:33 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 17:24:33 | × | euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 248 seconds) |
| 17:24:34 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:25:15 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 17:25:17 | → | euleritian joins (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) |
| 17:26:26 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:34:41 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:36:16 | → | sp1ff joins (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 17:36:53 | → | k_hachig_ joins (~k_hachig@2605:b100:12d:f432:f83e:81a5:daa1:718e) |
| 17:37:04 | × | k_hachig_ quits (~k_hachig@2605:b100:12d:f432:f83e:81a5:daa1:718e) (Client Quit) |
| 17:37:26 | → | k_hachig_ joins (~k_hachig@2605:b100:12d:f432:f83e:81a5:daa1:718e) |
| 17:37:41 | k_hachig_ | is now known as k_hachig |
| 17:40:10 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 17:40:19 | → | ash3en1 joins (~Thunderbi@146.70.124.222) |
| 17:41:13 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 268 seconds) |
| 17:41:14 | ash3en1 | is now known as ash3en |
| 17:47:15 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:48:13 | × | p3n quits (~p3n@217.198.124.246) (Ping timeout: 244 seconds) |
| 17:51:58 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 17:54:47 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f56f4c4d217527f2fec.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 17:55:32 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 17:57:42 | → | hseg joins (~gesh@46.120.20.40) |
| 18:00:51 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:02:57 | × | ash3en quits (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 18:03:53 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:04:46 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:05:44 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 18:08:23 | → | tabaqui1 joins (~root@87.200.129.102) |
| 18:14:29 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 18:16:20 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:18:58 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:22:29 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 18:23:33 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:25:40 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:28:21 | → | Square2 joins (~Square4@user/square) |
| 18:29:33 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 18:32:39 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:33:42 | → | weary-traveler joins (~user@user/user363627) |
| 18:36:04 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 18:37:05 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 18:49:56 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f56f4c4d217527f2fec.dip0.t-ipconnect.de) |
| 18:50:35 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:51:14 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 18:55:25 | → | notdabs joins (~Owner@2600:6c40:4300:950:24fa:651a:9708:e91a) |
| 18:59:25 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 19:03:29 | → | misterfish joins (~misterfis@84.53.85.146) |
| 19:06:01 | <tomsmeding> | who said haskell was an indentation-sensitive language https://play.haskell.org/saved/aQNtr5Aa |
| 19:07:37 | <EvanR> | good one |
| 19:08:28 | <haskellbridge> | <sm> my god |
| 19:09:37 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:11:18 | <haskellbridge> | <sm> you maniac :) |
| 19:11:34 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 19:11:50 | <haskellbridge> | <sm> should be in an executable art exhibition/contest |
| 19:12:02 | <tomsmeding> | honestly it's not very good :p |
| 19:12:34 | <haskellbridge> | <sm> I guess you make a program drawing the picture, then semi-automatedly arrange the code to match ? |
| 19:12:42 | <tomsmeding> | it's just an instance of the template "code outputs same shape as code", and I didn't try to optimise the layout of the code to fit the shape (you can see the outer circle is too thin in the left-bottom segment) |
| 19:13:05 | <tomsmeding> | it was automatically arranged to match, though I did generate the code shape from the code itself (with different parameters) |
| 19:13:13 | <tomsmeding> | s/automatically/manually/ |
| 19:13:15 | <tomsmeding> | ._. |
| 19:13:51 | <haskellbridge> | <sm> I imagine you also have to change code to make it more shapeable |
| 19:13:51 | <tomsmeding> | as usual with this stuff: challenge, figure out how the code works :p |
| 19:14:06 | <tomsmeding> | normally one would change the code to make it fit the shape better, yes |
| 19:14:09 | <tomsmeding> | but I was lazy and I didn't |
| 19:14:14 | <tomsmeding> | it worked out okay |
| 19:14:27 | <tomsmeding> | I was lucky the few long identifiers had a place to sit in the mouth :) |
| 19:14:47 | <haskellbridge> | <sm> 🚀 |
| 19:14:54 | <xerox> | very cool |
| 19:16:09 | → | Square joins (~Square@user/square) |
| 19:17:25 | <mauke> | next step: port https://metacpan.org/pod/Acme::EyeDrops |
| 19:19:04 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:19:25 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:19:46 | × | Square2 quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 19:20:36 | <tomsmeding> | hah, nice |
| 19:20:54 | <tomsmeding> | > The generated program is easier to understand than the original because its characters are bigger and easier to read. |
| 19:23:27 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 19:23:29 | → | fmira joins (~user@user/fmira) |
| 19:32:24 | → | Guest4 joins (~Guest29@c-24-56-247-252.customer.broadstripe.net) |
| 19:34:44 | × | Guest4 quits (~Guest29@c-24-56-247-252.customer.broadstripe.net) (Client Quit) |
| 19:36:49 | <haskellbridge> | <thirdofmay18081814goya> any interesting enriched categories for functional programming? |
| 19:40:14 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 19:40:18 | <ncf> | ~~Hask~~ |
| 19:43:49 | <haskellbridge> | <thirdofmay18081814goya> or well are there any interesting enriched categories where the hom object is not just a CCC's internal hom |
| 19:44:24 | <haskellbridge> | <thirdofmay18081814goya> in functional programming |
| 19:49:22 | <EvanR> | tomsmeding, I ran your smiley face code through ormolu live to see what would happen |
| 19:49:55 | × | agumonke` quits (~user@2a04:cec0:1902:7e46:f625:ba29:78b6:f3aa) (Ping timeout: 265 seconds) |
| 19:50:25 | <tomsmeding> | EvanR: did it say "this is too broken, fix your shit first"? |
| 19:50:47 | <EvanR> | it seems to have triggered an apparent bug in ormolu |
| 19:50:52 | <tomsmeding> | naturally! |
| 19:50:59 | <tomsmeding> | :D |
| 19:51:00 | <EvanR> | Formatting is not idempotent. Please, consider reporting the bug. |
| 19:51:16 | <tomsmeding> | I wonder what they'll say if they see the input code |
| 19:51:23 | <EvanR> | they will say |
| 19:51:25 | <EvanR> | :( |
| 19:51:56 | <tomsmeding> | inb4 they re-layout the code to be a :( instead and then the bug doesn't occur -- "fixed" |
| 19:52:26 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:54:13 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 20:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:42 | → | caconym joins (~caconym@user/caconym) |
| 20:00:51 | × | tabaqui1 quits (~root@87.200.129.102) (Ping timeout: 252 seconds) |
| 20:03:12 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 20:03:34 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f56f4c4d217527f2fec.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 20:04:09 | × | hseg quits (~gesh@46.120.20.40) (Ping timeout: 260 seconds) |
| 20:04:49 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:05:43 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f567091d751b62dd8ec.dip0.t-ipconnect.de) |
| 20:09:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 20:10:59 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 20:13:35 | → | zungi joins (~tory@user/andrewchawk) |
| 20:15:23 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 20:32:50 | → | agumonke` joins (~user@tri69-h04-89-85-120-232.dsl.sta.abo.bbox.fr) |
| 20:35:04 | × | davl_ quits (~davl@207.154.228.18) (Read error: Connection reset by peer) |
| 20:35:24 | → | davl joins (~davl@207.154.228.18) |
| 20:35:57 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 20:37:14 | × | disconnect3d quits (~disconnec@user/disconnect3d) (Ping timeout: 260 seconds) |
| 20:37:37 | → | disconnect3d joins (~disconnec@user/disconnect3d) |
| 20:41:55 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:51:34 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:55:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 21:05:17 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:08:22 | → | pavonia joins (~user@user/siracusa) |
| 21:09:16 | → | ash3en joins (~Thunderbi@146.70.124.222) |
| 21:10:15 | × | hattckory quits (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 21:10:39 | → | hattckory joins (~hattckory@149.102.242.103) |
| 21:11:15 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 21:13:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:16:33 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 21:18:04 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 260 seconds) |
| 21:18:04 | ash3en1 | is now known as ash3en |
| 21:18:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:19:39 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 21:23:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:28:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:28:38 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 21:28:49 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 21:29:20 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 21:30:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 21:35:10 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 21:36:37 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 21:36:37 | ChanServ | sets mode +v haskellbridge |
| 21:37:37 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:39:04 | × | hattckory quits (~hattckory@149.102.242.103) (Ping timeout: 260 seconds) |
| 21:39:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:39:52 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 21:42:04 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 21:43:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:44:49 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 21:54:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:55:03 | × | mange quits (~user@user/mange) (Remote host closed the connection) |
| 21:58:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:59:31 | × | mrmr quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 22:05:00 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 22:08:13 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 22:09:18 | → | zungi joins (~tory@user/andrewchawk) |
| 22:09:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:11:19 | × | k_hachig quits (~k_hachig@2605:b100:12d:f432:f83e:81a5:daa1:718e) (Ping timeout: 268 seconds) |
| 22:14:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:17:37 | Adeon | is now known as AdeonAdeonAdeonA |
| 22:17:45 | AdeonAdeonAdeonA | is now known as Adeon |
| 22:19:56 | → | poscat joins (~poscat@user/poscat) |
| 22:21:14 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 22:24:01 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:24:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:27:29 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 22:28:39 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 22:29:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:41:00 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:41:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:48:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:58:41 | × | agumonke` quits (~user@tri69-h04-89-85-120-232.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 22:59:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:02:43 | → | misterfish joins (~misterfis@84.53.85.146) |
| 23:03:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 23:04:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:07:07 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f567091d751b62dd8ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:10:19 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 23:11:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:15:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:15:47 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 23:19:24 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 23:19:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:30:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:30:45 | → | Square2 joins (~Square4@user/square) |
| 23:33:52 | × | Square quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 23:35:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:42:24 | × | sp1ff quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 265 seconds) |
| 23:44:58 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 23:46:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:47:34 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 23:49:24 | → | sp1ff joins (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 23:50:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:53:22 | × | zungi quits (~tory@user/andrewchawk) (Remote host closed the connection) |
| 23:53:51 | → | zungi joins (~tory@user/andrewchawk) |
| 23:57:48 | → | alfiee joins (~alfiee@user/alfiee) |
All times are in UTC on 2025-02-27.