2025/02/27

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