| 2025-01-02 00:00:28 +0100 | Catty | catties |
| 2025-01-02 00:00:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 00:01:28 +0100 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2025-01-02 00:03:21 +0100 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-01-02 00:04:44 +0100 | mxs9 | (~mxs@user/mxs) mxs |
| 2025-01-02 00:11:39 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-02 00:12:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:17:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 00:26:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 00:28:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:33:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 00:33:50 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2025-01-02 00:35:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-02 00:38:38 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-02 00:39:57 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-02 00:43:43 +0100 | Guest78 | (~Guest78@37.228.251.150) |
| 2025-01-02 00:45:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 00:47:57 +0100 | Guest78 | (~Guest78@37.228.251.150) (Client Quit) |
| 2025-01-02 00:49:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 00:50:11 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-01-02 00:57:11 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-01-02 01:03:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:04:00 +0100 | lol_ | (~lol@2603:3016:1e01:b9c0:480:d3aa:2a9:c319) |
| 2025-01-02 01:04:06 +0100 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 244 seconds) |
| 2025-01-02 01:07:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 01:07:29 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:151e:d951:3b7c:15db) (Ping timeout: 245 seconds) |
| 2025-01-02 01:20:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:24:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 01:24:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 01:32:21 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) (Quit: Leaving) |
| 2025-01-02 01:38:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 01:38:32 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-02 01:42:20 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-02 01:45:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 01:46:09 +0100 | lol_ | jcarpenter2 |
| 2025-01-02 01:53:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-02 01:56:03 +0100 | sprotte24 | (~sprotte24@p200300d16f082c00111ee0f92f452098.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-02 01:56:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:01:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 02:01:31 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-02 02:02:10 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-02 02:05:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-02 02:10:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 02:14:05 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-02 02:15:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:19:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 02:26:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-01-02 02:31:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:35:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 02:42:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-02 02:45:59 +0100 | otto_s | (~user@p5b04447a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-01-02 02:47:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 02:47:38 +0100 | otto_s | (~user@p5de2f94b.dip0.t-ipconnect.de) |
| 2025-01-02 02:48:01 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 02:52:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 03:00:51 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-02 03:04:04 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-01-02 03:08:53 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f705914636323d7efe9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-02 03:14:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-02 03:15:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:20:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 03:27:02 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) Jeanne-Kamikaze |
| 2025-01-02 03:31:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:35:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-02 03:35:42 +0100 | ft | (~ft@p3e9bc545.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-02 03:37:16 +0100 | ft | (~ft@p3e9bc62d.dip0.t-ipconnect.de) ft |
| 2025-01-02 03:46:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 03:51:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 03:52:33 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-01-02 04:02:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:05:59 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-02 04:07:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 04:17:57 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2025-01-02 04:18:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 04:28:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-02 04:37:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:39:25 +0100 | <remexre> | does anyone know what the statement of the orphan rule for multi-parameter typeclasses would be? |
| 2025-01-02 04:39:57 +0100 | <remexre> | the "at least one mentioned type is defined locally" condition wouldn't catch instance Foo Bar a and instance Foo a Baz, for instance |
| 2025-01-02 04:42:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-02 04:43:37 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 04:53:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 04:57:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 04:58:59 +0100 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 05:06:30 +0100 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-02 05:14:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:14:35 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce6:6100:dea6:831c:52d:f2f8) aforemny |
| 2025-01-02 05:16:30 +0100 | aforemny | (~aforemny@i59F4C4B7.versanet.de) (Ping timeout: 276 seconds) |
| 2025-01-02 05:16:36 +0100 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 05:16:47 +0100 | <remexre> | oh, the answer is "it doesn't guarantee that the instances are globally unique, just that non-globally-unique ones can be detected locally"... |
| 2025-01-02 05:18:31 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 244 seconds) |
| 2025-01-02 05:18:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 05:22:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 260 seconds) |
| 2025-01-02 05:22:49 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-02 05:25:08 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-02 05:30:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:35:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 05:39:10 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 05:40:18 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.53) (Quit: Leaving) |
| 2025-01-02 05:43:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-02 05:48:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 05:50:28 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-02 05:50:54 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-02 05:52:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 05:55:50 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-02 05:56:17 +0100 | housemate_ | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 05:56:30 +0100 | housemate | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-02 05:58:05 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-02 05:59:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:00:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-02 06:03:33 +0100 | mxs9 | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-02 06:03:40 +0100 | housemate_ | (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 2025-01-02 06:05:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 06:18:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:21:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 06:23:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 06:25:50 +0100 | whatsupdoc_ | (uid509081@id-509081.hampstead.irccloud.com) whatsupdoc |
| 2025-01-02 06:28:38 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-02 06:31:23 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-01-02 06:41:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 06:44:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-02 06:44:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 06:46:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 06:52:58 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 265 seconds) |
| 2025-01-02 06:56:37 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds) |
| 2025-01-02 06:58:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:04:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-02 07:17:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:22:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-02 07:24:34 +0100 | michalz | (~michalz@185.246.207.222) |
| 2025-01-02 07:28:19 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 264 seconds) |
| 2025-01-02 07:34:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:34:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2025-01-02 07:35:23 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-02 07:39:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-02 07:50:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 07:52:11 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-02 07:55:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 08:01:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 08:07:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 08:20:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 08:24:20 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-02 08:25:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-02 08:32:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-01-02 08:32:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-02 08:37:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 08:41:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 08:43:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 08:46:20 +0100 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-02 09:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-02 09:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-02 09:19:01 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-02 09:23:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 09:34:32 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-02 09:41:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-02 09:42:00 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-02 09:48:24 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 09:52:26 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f110d9e6e69048fea1c.dip0.t-ipconnect.de) acidjnk |
| 2025-01-02 10:17:33 +0100 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-01-02 10:38:42 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-02 10:44:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 10:56:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-02 11:00:07 +0100 | shane | (~shane@ana.rch.ist) (Ping timeout: 264 seconds) |
| 2025-01-02 11:03:35 +0100 | sprotte24 | (~sprotte24@p200300d16f364900cdf0214719d60c58.dip0.t-ipconnect.de) |
| 2025-01-02 11:15:48 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-02 11:23:36 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-01-02 11:43:54 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-02 11:44:46 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-02 11:51:11 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-02 11:54:15 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2025-01-02 11:54:29 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-02 12:23:55 +0100 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-02 12:25:19 +0100 | <GdeVolpiano> | Good time of the day and happy new Gregorian year, gentlepeople. |
| 2025-01-02 12:25:53 +0100 | <GdeVolpiano> | As you can guess from my difficult, but finally successful, attempt at upgrading cabal-fmt, I'm in "updating my IDE" mood these days. |
| 2025-01-02 12:26:02 +0100 | mari11261 | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 12:26:05 +0100 | <GdeVolpiano> | So I had a question: what is the status with formoulu? |
| 2025-01-02 12:26:14 +0100 | <GdeVolpiano> | From the package.mask file, it is masked because |
| 2025-01-02 12:27:50 +0100 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-02 12:27:54 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-02 12:28:39 +0100 | <GdeVolpiano> | 1 - it depends on text>=2, but if I read correctly, text-2.0.2 is available for ghc-9.4 and ghc-9.6 |
| 2025-01-02 12:28:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-02 12:28:44 +0100 | tnt2 | tnt1 |
| 2025-01-02 12:29:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 12:31:20 +0100 | <GdeVolpiano> | 2 - old versions used to depend on <ghc-lib-parser-9.6, but we now have fourmolu-0.14.0.0 in the repo, which is >=ghc-lib-parser-9.6. |
| 2025-01-02 12:32:21 +0100 | <GdeVolpiano> | Is there any blocking point left? |
| 2025-01-02 12:35:23 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-02 12:36:55 +0100 | <GdeVolpiano> | At least for ghc-9.6 and over (it depends on >=cabal-syntax-3.10 for 0.14.0.0, >=cabal-syntax-3.12 for 0.16.0.0) |
| 2025-01-02 12:37:21 +0100 | <GdeVolpiano> | Happy to work on updating the ebuild if needed |
| 2025-01-02 12:43:32 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-01-02 12:43:46 +0100 | mari11261 | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-02 12:44:58 +0100 | SlackCoder | (~SlackCode@208.26.70.132) SlackCoder |
| 2025-01-02 12:48:08 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-02 12:53:16 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-02 12:53:40 +0100 | SlackCoder | (~SlackCode@208.26.70.132) (Quit: Leaving) |
| 2025-01-02 12:59:13 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-02 13:00:21 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2025-01-02 13:02:32 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 264 seconds) |
| 2025-01-02 13:03:52 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-02 13:07:40 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 13:18:54 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 13:20:24 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2025-01-02 13:22:34 +0100 | ubert | (~Thunderbi@p200300ecdf117c291e6fdb0635c013e3.dip0.t-ipconnect.de) ubert |
| 2025-01-02 13:23:03 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-02 13:25:18 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
| 2025-01-02 13:34:21 +0100 | Square | (~Square@user/square) Square |
| 2025-01-02 13:38:56 +0100 | jespada | (~jespada@2800:a4:22f2:6500:9d09:5efe:8124:beef) jespada |
| 2025-01-02 14:05:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 14:21:27 +0100 | chris_on_linux | (~user@2a02:2149:861e:b700:224e:f6ff:fe4a:8927) chris_on_linux |
| 2025-01-02 14:23:03 +0100 | housemate | (~housemate@pa49-185-171-14.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 14:25:59 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-01-02 14:26:35 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-02 14:37:25 +0100 | housemate | (~housemate@pa49-185-171-14.pa.vic.optusnet.com.au) (Ping timeout: 248 seconds) |
| 2025-01-02 14:41:59 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 14:42:30 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2025-01-02 14:46:49 +0100 | housemate | (~housemate@pa49-184-8-92.pa.vic.optusnet.com.au) housemate |
| 2025-01-02 14:52:50 +0100 | AlexZenon_2 | (~alzenon@5.139.233.96) |
| 2025-01-02 14:53:45 +0100 | AlexZenon_2 | (~alzenon@5.139.233.96) (Client Quit) |
| 2025-01-02 14:55:40 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Read error: Connection reset by peer) |
| 2025-01-02 14:56:26 +0100 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 14:57:29 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 14:59:01 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 15:10:22 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2025-01-02 15:11:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 15:12:10 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2025-01-02 15:15:53 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2025-01-02 15:21:38 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-01-02 15:25:48 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2025-01-02 15:36:28 +0100 | shane | (~shane@ana.rch.ist) |
| 2025-01-02 15:36:53 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 15:38:09 +0100 | CiaoSen | (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-01-02 15:52:40 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-01-02 15:56:44 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-01-02 15:56:50 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 16:00:19 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-02 16:03:44 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-01-02 16:04:02 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 16:05:25 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 248 seconds) |
| 2025-01-02 16:10:25 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 16:11:42 +0100 | jespada | (~jespada@2800:a4:22f2:6500:9d09:5efe:8124:beef) (Ping timeout: 265 seconds) |
| 2025-01-02 16:14:24 +0100 | jespada | (~jespada@2800:a4:1d5:d700:d15f:78ad:2e7a:130e) jespada |
| 2025-01-02 16:15:05 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 265 seconds) |
| 2025-01-02 16:19:55 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds) |
| 2025-01-02 16:25:38 +0100 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-02 16:25:45 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-01-02 16:26:31 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 16:27:10 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2025-01-02 16:27:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-02 16:28:00 +0100 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 16:38:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-01-02 16:38:55 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 2025-01-02 16:44:34 +0100 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 16:45:05 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) orangeFlu |
| 2025-01-02 16:54:18 +0100 | johnjaye | (~pi@syn-035-146-235-019.res.spectrum.com) johnjaye |
| 2025-01-02 17:04:59 +0100 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 17:09:22 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 17:19:47 +0100 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 17:20:22 +0100 | <glguy> | Are your questions meant for the Gentoo project? |
| 2025-01-02 17:23:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 17:25:50 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2025-01-02 17:26:31 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-02 17:26:41 +0100 | housemate | (~housemate@pa49-184-8-92.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-02 17:33:38 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-02 17:51:31 +0100 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 17:51:50 +0100 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 17:53:06 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 276 seconds) |
| 2025-01-02 17:54:34 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-02 17:55:12 +0100 | chris_on_linux | (~user@2a02:2149:861e:b700:224e:f6ff:fe4a:8927) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2025-01-02 18:01:51 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 18:07:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 18:18:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:21:44 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 264 seconds) |
| 2025-01-02 18:23:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-02 18:24:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:25:47 +0100 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 18:29:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 18:39:51 +0100 | drlong67 | (~david@pool-173-49-216-118.phlapa.fios.verizon.net) |
| 2025-01-02 18:39:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-02 18:44:30 +0100 | Square | (~Square@user/square) Square |
| 2025-01-02 18:46:59 +0100 | drlong67 | (~david@pool-173-49-216-118.phlapa.fios.verizon.net) () |
| 2025-01-02 18:49:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 18:52:55 +0100 | <bwe> | is there something like on the fly type aliases? https://play.haskell.org/saved/WxMkIOjh |
| 2025-01-02 18:53:11 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-02 18:54:36 +0100 | <mauke> | you want to declare a type in the middle of another type? |
| 2025-01-02 18:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:55:18 +0100 | <bwe> | maybe that or in any way a more convenient way than explicitly defining synonyms. |
| 2025-01-02 18:55:51 +0100 | Guest74 | (~Guest74@2600:1702:5284:80:899b:7d11:ffd4:dbfc) |
| 2025-01-02 18:56:48 +0100 | <bwe> | I mean the pattern I have is using Text as type but not having the type properly named. |
| 2025-01-02 18:59:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 19:03:03 +0100 | Rockingcool | (~rockingco@2600:1702:5284:80::2f) |
| 2025-01-02 19:05:27 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-02 19:06:24 +0100 | Rockingcool | rockingcool |
| 2025-01-02 19:09:12 +0100 | rockingcool | (~rockingco@2600:1702:5284:80::2f) (Changing host) |
| 2025-01-02 19:09:12 +0100 | rockingcool | (~rockingco@user/rockingcool) rockingcool |
| 2025-01-02 19:10:29 +0100 | rockingcool | (~rockingco@user/rockingcool) (Quit: Leaving) |
| 2025-01-02 19:10:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 19:11:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-01-02 19:13:41 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:3c98:8284:e7ab:d928) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-01-02 19:14:01 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-01-02 19:15:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 19:15:57 +0100 | rockingcool | (~rockingco@user/rockingcool) rockingcool |
| 2025-01-02 19:16:28 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 252 seconds) |
| 2025-01-02 19:21:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-02 19:23:43 +0100 | <rockingcool> | Beginner here: What's the best way to 'link' with a package when compiling using `ghc`? I tried installing the 'random' package (https://hackage.haskell.org/package/random-1.1) using cabal, and got this scary message: |
| 2025-01-02 19:23:46 +0100 | <rockingcool> | WARNING: Installation might not be completed as desired! |
| 2025-01-02 19:24:45 +0100 | <geekosaur> | right, cabal and stack manage their own installations that are not directly visible |
| 2025-01-02 19:25:15 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-01-02 19:25:18 +0100 | <geekosaur> | you don't "cabal install" or "stack install" a library, you write a package description that depends on the library and cabal or stack will install an appropriate version automatically |
| 2025-01-02 19:25:38 +0100 | <rockingcool> | I see |
| 2025-01-02 19:25:47 +0100 | <geekosaur> | if you absolutely must, there's "cabal install --lib" but this has the potential to make big messes |
| 2025-01-02 19:26:00 +0100 | <geekosaur> | and is best used with --package-env |
| 2025-01-02 19:26:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 19:26:27 +0100 | <rockingcool> | are virtual envs a thing? like in python |
| 2025-01-02 19:27:27 +0100 | <haskellbridge> | <maerwald> Sandboxes, before they were prematurely ripped out of cabal |
| 2025-01-02 19:28:00 +0100 | <haskellbridge> | <maerwald> Now you have to know 3-4 underdocumented cabal shenanigans to emulate the same thing |
| 2025-01-02 19:28:15 +0100 | <haskellbridge> | <maerwald> Cabal was never good at UX |
| 2025-01-02 19:28:20 +0100 | <rockingcool> | got it |
| 2025-01-02 19:28:33 +0100 | <rockingcool> | yeah, I cam tell |
| 2025-01-02 19:28:47 +0100 | <rockingcool> | Loving haskell so far, but that's definitely a pain point |
| 2025-01-02 19:28:48 +0100 | <geekosaur> | https://cabal.readthedocs.io/en/3.12/cabal-commands.html#adding-libraries-to-ghc-package-environme… |
| 2025-01-02 19:29:05 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-02 19:29:23 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-02 19:29:25 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2025-01-02 19:30:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-01-02 19:30:45 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-02 19:31:32 +0100 | <rockingcool> | would you recommend the '--lib' approach for toy programs? |
| 2025-01-02 19:32:45 +0100 | <geekosaur> | with --package-env=., it's okay |
| 2025-01-02 19:32:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 19:33:27 +0100 | <rockingcool> | sounds good, thanks |
| 2025-01-02 19:33:38 +0100 | <geekosaur> | you really don't want to add them to the default global environment, different versdions will conflict with each other and you'll ultimately end up with horrible tangles |
| 2025-01-02 19:33:57 +0100 | <geekosaur> | (at least you can cure them by removing the environment file, which ghc will tell you it's using) |
| 2025-01-02 19:34:27 +0100 | <rockingcool> | right |
| 2025-01-02 19:34:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 19:35:33 +0100 | <rockingcool> | are there any common 'first projects' that people usually do in haskell? |
| 2025-01-02 19:35:49 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 19:35:50 +0100 | <rockingcool> | been thinking about a parser, since that seems like Haskell's strength |
| 2025-01-02 19:36:50 +0100 | <__monty__> | Parser combinators are great but I honestly wouldn't be able to recommend them as first exposure to Haskell. Depending on previous functional programming experience of course. |
| 2025-01-02 19:37:46 +0100 | <__monty__> | I think the data61 FP-course is a good practical introduction to Haskell, albeit with a bit of a steep curve if you don't have guidance or prior experience. |
| 2025-01-02 19:38:47 +0100 | <glguy> | rockingcool: depends on what you think is fun. I like making text games, IRC clients, and solving puzzles, so I use Haskell for those. It's generally suitable for what first project is something you're interested in |
| 2025-01-02 19:39:39 +0100 | <rockingcool> | my only previous exposure to FP is python, which probably doesn't even count |
| 2025-01-02 19:41:07 +0100 | <rockingcool> | glguy: Thanks for the ideas, an irc client sounds fun |
| 2025-01-02 19:41:36 +0100 | <glguy> | A bot requires less UI so that can be a good starting point on that path |
| 2025-01-02 19:42:19 +0100 | <rockingcool> | sounds good |
| 2025-01-02 19:43:06 +0100 | rockingcool | (~rockingco@user/rockingcool) (Remote host closed the connection) |
| 2025-01-02 19:43:28 +0100 | rockingcool | (~rockingco@user/rockingcool) rockingcool |
| 2025-01-02 19:44:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 19:45:00 +0100 | Guest74 | (~Guest74@2600:1702:5284:80:899b:7d11:ffd4:dbfc) (Quit: Client closed) |
| 2025-01-02 19:46:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-02 19:48:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-02 19:51:37 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-01-02 19:57:37 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-02 19:58:06 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 19:59:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 20:03:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-02 20:07:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 20:19:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 20:20:11 +0100 | Guest50 | (~Guest50@17.243.206.39) |
| 2025-01-02 20:21:18 +0100 | Guest85 | (~Guest85@2620:149:13d8:380::6d) |
| 2025-01-02 20:21:20 +0100 | Guest50 | (~Guest50@17.243.206.39) (Client Quit) |
| 2025-01-02 20:24:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 20:29:09 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2025-01-02 20:35:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 20:35:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 20:36:39 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-02 20:38:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 20:39:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-02 20:47:30 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-02 20:50:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 20:52:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 20:53:31 +0100 | Guest85 | (~Guest85@2620:149:13d8:380::6d) (Quit: Client closed) |
| 2025-01-02 20:54:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 21:00:59 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-02 21:01:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-02 21:02:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-02 21:05:24 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-01-02 21:05:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 21:06:50 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-02 21:09:16 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-02 21:11:14 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 245 seconds) |
| 2025-01-02 21:12:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-02 21:12:51 +0100 | roosterphant | (~roosterph@185.21.217.76) (Quit: Bye) |
| 2025-01-02 21:15:22 +0100 | ubert | (~Thunderbi@p200300ecdf117c291e6fdb0635c013e3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-01-02 21:15:32 +0100 | simplystuart | (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 2025-01-02 21:16:13 +0100 | ubert | (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de) ubert |
| 2025-01-02 21:16:44 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-02 21:18:44 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-02 21:19:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-02 21:21:09 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 248 seconds) |
| 2025-01-02 21:21:56 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-02 21:22:48 +0100 | fmira | (~user@user/fmira) (Client Quit) |
| 2025-01-02 21:23:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 21:28:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |