2025-01-04 00:00:21 +0100 | <monochrom> | If you have an unboxed vector and it's mutable and you are in ST/IO modifying it in-place, there should not be that much allocation, at least not allocation a whole new copy of the whole vector. |
2025-01-04 00:01:36 +0100 | <haskellbridge> | <magic_rb> Yes but im pulling out the Int from it, doing some compressions and then returning a Bool to the calling code saying "yep exists" and doing that hundreds of times per frame |
2025-01-04 00:01:40 +0100 | <haskellbridge> | <magic_rb> Which adds up |
2025-01-04 00:01:41 +0100 | <monochrom> | or rather, s/there should not be/that should not be the cause of/ |
2025-01-04 00:02:21 +0100 | <haskellbridge> | <magic_rb> The exists function does nothing else, it takes a Int, accesses the vectors from behind a STRef and then returns a Bool |
2025-01-04 00:03:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 00:13:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 00:14:46 +0100 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
2025-01-04 00:15:52 +0100 | foul_owl | (~kerry@193.42.0.124) (Ping timeout: 252 seconds) |
2025-01-04 00:17:57 +0100 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
2025-01-04 00:18:32 +0100 | xal | (~xal@mx1.xal.systems) xal |
2025-01-04 00:18:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2025-01-04 00:20:31 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2025-01-04 00:23:26 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2025-01-04 00:23:26 +0100 | ChanServ | +v haskellbridge |
2025-01-04 00:25:58 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.40) Jeanne-Kamikaze |
2025-01-04 00:26:14 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.40) (Remote host closed the connection) |
2025-01-04 00:28:07 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.40) Jeanne-Kamikaze |
2025-01-04 00:29:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 00:33:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 00:41:19 +0100 | foul_owl | (~kerry@185.203.219.80) foul_owl |
2025-01-04 00:42:55 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
2025-01-04 00:44:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 00:46:55 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 264 seconds) |
2025-01-04 00:47:40 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 272 seconds) |
2025-01-04 00:49:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 00:50:16 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 00:50:18 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-01-04 00:51:01 +0100 | <sm> | lambdabot's where db contains enlightenment: https://ifdb.org/viewgame?id=fn8r65rg7upfff0o , but I see no Haskell connection - will clean it out unless you know otherwise |
2025-01-04 00:52:27 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
2025-01-04 00:54:25 +0100 | <sm> | @where+ enlightenment |
2025-01-04 00:54:25 +0100 | <lambdabot> | It is forgotten. |
2025-01-04 00:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 00:55:31 +0100 | <sm> | @where+ nikki https://github.com/nikki-and-the-robots/nikki |
2025-01-04 00:55:31 +0100 | <lambdabot> | Done. |
2025-01-04 00:58:01 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-01-04 00:59:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 01:02:03 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2025-01-04 01:04:19 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2025-01-04 01:04:38 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-01-04 01:06:57 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-01-04 01:10:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 01:10:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-01-04 01:10:57 +0100 | ljdarj1 | ljdarj |
2025-01-04 01:16:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 01:21:02 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
2025-01-04 01:21:12 +0100 | sprotte24 | (~sprotte24@p200300d16f1ef200acc092aad64c3103.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-01-04 01:24:36 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
2025-01-04 01:26:37 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.40) (Quit: Leaving) |
2025-01-04 01:27:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 01:34:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2025-01-04 01:41:32 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2025-01-04 01:43:06 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
2025-01-04 01:45:33 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
2025-01-04 01:45:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 01:46:04 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2025-01-04 01:46:14 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 01:48:02 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-01-04 01:50:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 01:51:21 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 01:52:35 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
2025-01-04 01:55:39 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
2025-01-04 01:56:15 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2025-01-04 01:59:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 02:02:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-01-04 02:04:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 02:09:35 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f650d9e6e69048fea1c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-01-04 02:10:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-01-04 02:11:55 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-01-04 02:15:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 02:18:55 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
2025-01-04 02:19:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 02:30:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 02:32:26 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-01-04 02:32:41 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 02:35:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2025-01-04 02:35:32 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-01-04 02:43:21 +0100 | califax | (~califax@user/califx) califx |
2025-01-04 02:44:14 +0100 | otto_s | (~user@p4ff27e6d.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-01-04 02:45:37 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-01-04 02:45:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 02:46:04 +0100 | otto_s | (~user@p5de2fd3f.dip0.t-ipconnect.de) |
2025-01-04 02:50:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 02:50:37 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
2025-01-04 02:53:21 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 248 seconds) |
2025-01-04 02:53:26 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze |
2025-01-04 03:00:15 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
2025-01-04 03:00:59 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 03:01:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 03:02:45 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
2025-01-04 03:06:02 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
2025-01-04 03:06:05 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 260 seconds) |
2025-01-04 03:07:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-04 03:14:39 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 03:19:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 03:19:22 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
2025-01-04 03:23:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 03:24:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: pillow time) |
2025-01-04 03:28:31 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 03:33:08 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2025-01-04 03:34:09 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 246 seconds) |
2025-01-04 03:34:30 +0100 | dabs | (~Owner@2600:1700:69cf:9000:cdd4:bc4b:f69f:7dcd) (Read error: Connection reset by peer) |
2025-01-04 03:34:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 03:38:06 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
2025-01-04 03:38:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-04 03:39:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 03:41:38 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 03:46:35 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 03:48:02 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
2025-01-04 03:50:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 03:54:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 03:55:06 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 04:00:07 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 04:05:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 04:08:41 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 04:10:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 04:13:39 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 04:15:01 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-01-04 04:19:27 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 276 seconds) |
2025-01-04 04:20:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 04:22:13 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 04:22:27 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
2025-01-04 04:25:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 04:27:11 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 04:32:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-01-04 04:33:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 04:33:59 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 04:38:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2025-01-04 04:42:55 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-04 04:48:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 04:49:25 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 04:55:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 04:55:21 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2025-01-04 04:56:18 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 05:01:19 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
2025-01-04 05:05:05 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-01-04 05:06:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 05:07:25 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 05:10:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 05:12:05 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 248 seconds) |
2025-01-04 05:15:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6592:e8c3:c948:25b2) (Ping timeout: 265 seconds) |
2025-01-04 05:17:03 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 246 seconds) |
2025-01-04 05:18:41 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 05:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 05:23:17 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 248 seconds) |
2025-01-04 05:26:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 05:30:44 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 05:35:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-04 05:35:49 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 05:36:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9eea:e9b7:c052:2e2b) |
2025-01-04 05:37:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 05:38:36 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
2025-01-04 05:39:52 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
2025-01-04 05:41:13 +0100 | Guest44 | (~Guest44@2405:201:6023:f02f:10c6:5052:ce4a:df9e) |
2025-01-04 05:41:16 +0100 | gawen | (~gawen@user/gawen) gawen |
2025-01-04 05:42:03 +0100 | Guest44 | (~Guest44@2405:201:6023:f02f:10c6:5052:ce4a:df9e) (Client Quit) |
2025-01-04 05:42:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 05:42:20 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 05:46:25 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:ece:4698:cd8b:41e1) (Quit: No Ping reply in 180 seconds.) |
2025-01-04 05:47:40 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:25c5:ab3d:d3f4:6796) fun-safe-math |
2025-01-04 05:51:16 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
2025-01-04 05:52:17 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
2025-01-04 05:52:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 05:57:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 05:57:58 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 05:58:54 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
2025-01-04 06:02:48 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
2025-01-04 06:07:01 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
2025-01-04 06:08:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 06:12:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 06:15:15 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 06:19:49 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 248 seconds) |
2025-01-04 06:23:18 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2025-01-04 06:23:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 06:24:31 +0100 | <Leary> | magic_rb: I suggest writing these functions directly in `ST s`; they can always be generalised with `stToPrim` anyway. Being monad-polymorphic interferes with optimisation. The other option is to litter your code with `SPECIALISE` pragmata. |
2025-01-04 06:25:10 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-01-04 06:26:45 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 06:30:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-04 06:31:53 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 06:34:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 06:38:29 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 06:39:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 06:43:08 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
2025-01-04 06:43:21 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-01-04 06:49:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 06:50:33 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 06:54:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 06:55:20 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
2025-01-04 06:57:13 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-01-04 07:02:34 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 07:07:17 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 248 seconds) |
2025-01-04 07:10:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 07:11:52 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) (Quit: Leaving) |
2025-01-04 07:14:18 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 07:14:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 07:19:06 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
2025-01-04 07:25:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 07:26:28 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 07:30:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2025-01-04 07:31:30 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 260 seconds) |
2025-01-04 07:35:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 07:36:41 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-01-04 07:37:54 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 07:38:33 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-01-04 07:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2025-01-04 07:40:52 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-01-04 07:48:50 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 272 seconds) |
2025-01-04 07:50:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 07:53:18 +0100 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-01-04 07:53:23 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-04 07:54:49 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-01-04 07:54:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-04 07:55:40 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 07:57:43 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-01-04 08:00:15 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
2025-01-04 08:00:32 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-01-04 08:01:17 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2025-01-04 08:04:28 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-01-04 08:05:19 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-04 08:06:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 08:06:07 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
2025-01-04 08:06:47 +0100 | CiaoSen | (~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) CiaoSen |
2025-01-04 08:10:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2025-01-04 08:12:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-04 08:13:38 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 08:13:48 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
2025-01-04 08:13:49 +0100 | tnt2 | tnt1 |
2025-01-04 08:18:42 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
2025-01-04 08:21:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 08:26:40 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 08:28:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 08:43:01 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
2025-01-04 08:43:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 08:45:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-01-04 08:48:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 08:57:06 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 08:59:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 09:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-01-04 09:00:43 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-01-04 09:01:04 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-01-04 09:01:04 +0100 | homo | (~homo@user/homo) homo |
2025-01-04 09:02:55 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-04 09:04:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-04 09:08:03 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 246 seconds) |
2025-01-04 09:08:32 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2025-01-04 09:11:43 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-01-04 09:15:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 09:18:55 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2025-01-04 09:20:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 09:20:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-04 09:20:31 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
2025-01-04 09:20:43 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-01-04 09:21:29 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-01-04 09:25:45 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-04 09:30:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 09:32:29 +0100 | housemate | (~housemate@pa49-183-77-28.pa.vic.optusnet.com.au) housemate |
2025-01-04 09:32:49 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 09:34:21 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) (Ping timeout: 252 seconds) |
2025-01-04 09:35:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2025-01-04 09:37:51 +0100 | housemate | (~housemate@pa49-183-77-28.pa.vic.optusnet.com.au) (Remote host closed the connection) |
2025-01-04 09:38:08 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
2025-01-04 09:39:52 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
2025-01-04 09:46:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 09:46:58 +0100 | xdminsy | (~xdminsy@117.147.71.240) (Read error: Connection reset by peer) |
2025-01-04 09:48:02 +0100 | xdminsy | (~xdminsy@117.147.71.240) xdminsy |
2025-01-04 09:50:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 10:01:47 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-01-04 10:03:16 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-04 10:04:54 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 10:07:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 10:07:33 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Read error: Connection reset by peer) |
2025-01-04 10:10:22 +0100 | AlexNoo | (~AlexNoo@5.139.233.96) (Quit: Leaving) |
2025-01-04 10:10:57 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-01-04 10:11:41 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-04 10:16:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 10:22:43 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2025-01-04 10:27:08 +0100 | AlexNoo | (~AlexNoo@5.139.233.96) |
2025-01-04 10:28:14 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 265 seconds) |
2025-01-04 10:32:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 10:33:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2025-01-04 10:37:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-04 10:40:53 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
2025-01-04 10:42:45 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
2025-01-04 10:47:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-04 10:48:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 10:57:45 +0100 | sroso | (~sroso@user/SrOso) SrOso |
2025-01-04 10:57:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2025-01-04 11:01:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-01-04 11:08:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 11:08:49 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f76a14a9c782d5dbd43.dip0.t-ipconnect.de) acidjnk |
2025-01-04 11:12:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 11:13:24 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2025-01-04 11:20:49 +0100 | CiaoSen | (~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
2025-01-04 11:23:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 11:27:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2025-01-04 11:36:55 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-01-04 11:38:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 11:43:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 11:50:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-04 11:54:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 11:55:31 +0100 | remexre | (~remexre@user/remexre) remexre |
2025-01-04 11:56:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-01-04 11:59:36 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
2025-01-04 11:59:50 +0100 | housemate | (~housemate@180.150.20.155) housemate |
2025-01-04 12:01:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 12:03:27 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 265 seconds) |
2025-01-04 12:06:27 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-01-04 12:08:48 +0100 | housemate | (~housemate@180.150.20.155) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
2025-01-04 12:15:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-01-04 12:21:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 12:21:38 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-01-04 12:26:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 12:27:47 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-01-04 12:32:54 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-01-04 12:35:24 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
2025-01-04 12:36:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 12:41:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 12:43:55 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-01-04 12:51:58 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2025-01-04 12:51:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 12:52:57 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 276 seconds) |
2025-01-04 12:56:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 12:59:20 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-04 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-01-04 13:02:14 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-01-04 13:04:14 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
2025-01-04 13:06:59 +0100 | xdminsy | (~xdminsy@117.147.71.240) (Read error: Connection reset by peer) |
2025-01-04 13:07:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 13:07:29 +0100 | xdminsy | (~xdminsy@117.147.71.240) xdminsy |
2025-01-04 13:14:04 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-01-04 13:14:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2025-01-04 13:14:34 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-01-04 13:16:52 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-01-04 13:20:05 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f76a14a9c782d5dbd43.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-01-04 13:24:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 13:26:41 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-01-04 13:29:10 +0100 | CiaoSen | (~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) CiaoSen |
2025-01-04 13:29:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-04 13:37:36 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-01-04 13:39:09 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
2025-01-04 13:40:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 13:46:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 13:53:50 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds) |
2025-01-04 13:58:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 13:58:22 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f76a14a9c782d5dbd43.dip0.t-ipconnect.de) |
2025-01-04 14:00:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-01-04 14:01:34 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2025-01-04 14:03:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2025-01-04 14:05:50 +0100 | CiaoSen | (~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
2025-01-04 14:06:32 +0100 | ubert | (~Thunderbi@p200300ecdf117c0e0996fc53182b6276.dip0.t-ipconnect.de) ubert |
2025-01-04 14:10:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 14:14:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 14:15:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-01-04 14:25:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 14:30:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 14:39:02 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
2025-01-04 14:41:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 14:47:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 14:51:37 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-01-04 14:56:25 +0100 | ubert | (~Thunderbi@p200300ecdf117c0e0996fc53182b6276.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-01-04 14:57:00 +0100 | xdminsy | (~xdminsy@117.147.71.240) (Read error: Connection reset by peer) |
2025-01-04 14:58:13 +0100 | xdminsy | (~xdminsy@117.147.71.240) xdminsy |
2025-01-04 14:58:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 15:02:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 15:08:12 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-01-04 15:13:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 15:13:55 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
2025-01-04 15:20:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-04 15:21:35 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-01-04 15:21:41 +0100 | xdminsy | (~xdminsy@117.147.71.240) (Ping timeout: 248 seconds) |
2025-01-04 15:21:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2025-01-04 15:22:29 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-01-04 15:22:32 +0100 | xdminsy | (~xdminsy@117.147.71.240) xdminsy |
2025-01-04 15:31:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 15:31:52 +0100 | Square | (~Square@user/square) Square |
2025-01-04 15:36:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 15:47:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 15:47:58 +0100 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
2025-01-04 15:51:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2025-01-04 15:54:28 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
2025-01-04 16:02:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 16:07:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2025-01-04 16:09:40 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
2025-01-04 16:17:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 16:22:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 16:24:30 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 246 seconds) |
2025-01-04 16:26:21 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
2025-01-04 16:26:41 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (Client Quit) |
2025-01-04 16:28:01 +0100 | <hellwolf> | I still find it challenging to support tupleN and Solo seemlessly with one typeclass function. It may need both overlappable and undecidable instances. My strategy is to have two distinct functions always, one for Solo without the Solo tag, one for N-tuple. |
2025-01-04 16:28:12 +0100 | <hellwolf> | Does anyone have experience with such trite ? |
2025-01-04 16:28:54 +0100 | housemate | (~housemate@pa49-184-1-177.pa.vic.optusnet.com.au) housemate |
2025-01-04 16:30:46 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-01-04 16:31:22 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
2025-01-04 16:33:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 16:36:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-04 16:37:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 16:39:44 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f7668d37e9a63f3942c.dip0.t-ipconnect.de) acidjnk |
2025-01-04 16:40:19 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f76a14a9c782d5dbd43.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2025-01-04 16:44:32 +0100 | <geekosaur> | https://github.com/haskell/cabal/pull/10270 might give you something to work from? (it changes how Cabal's structured hashes work with tuples/Solo, which code might be useful for you?) |
2025-01-04 16:48:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 16:49:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-01-04 16:51:58 +0100 | <hellwolf> | let me see |
2025-01-04 16:55:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-04 16:55:25 +0100 | <hellwolf> | in fairness, I think it is because I defined TupleN as type family, which prompts the usage of undecidableinstances if used in conjunction with type classes. |
2025-01-04 16:55:45 +0100 | <hellwolf> | maybe I should just learn to live with UndecidableInstances in certain places |
2025-01-04 16:57:11 +0100 | <hellwolf> | Actually, there is also a default method trick, which will check constraint without resorting to UncecidableInstances |
2025-01-04 16:57:41 +0100 | <hellwolf> | So that I can make that work for all tupleN, and override it for MkSolo-less solo values. |
2025-01-04 16:58:21 +0100 | <hellwolf> | hmmm, no, then that instance will be for all types, since its instance head is simply "a" |
2025-01-04 16:58:37 +0100 | <hellwolf> | will try more another day... |
2025-01-04 16:59:26 +0100 | <hellwolf> | fwiw, this is example of the type signatures I have in a few places: https://paste.tomsmeding.com/hE4h3Qs3 |
2025-01-04 16:59:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 17:02:28 +0100 | housemate_ | (~housemate@180.150.20.155) housemate |
2025-01-04 17:02:54 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
2025-01-04 17:04:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2025-01-04 17:04:59 +0100 | housemate | (~housemate@pa49-184-1-177.pa.vic.optusnet.com.au) (Ping timeout: 245 seconds) |
2025-01-04 17:07:09 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-01-04 17:08:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-01-04 17:12:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-04 17:15:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 17:19:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 17:27:32 +0100 | frankenstein__ | (~housemate@pa49-185-180-246.pa.vic.optusnet.com.au) housemate |
2025-01-04 17:29:56 +0100 | housemate_ | (~housemate@180.150.20.155) (Ping timeout: 252 seconds) |
2025-01-04 17:30:58 +0100 | ft | (~ft@p508db62f.dip0.t-ipconnect.de) ft |
2025-01-04 17:34:24 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
2025-01-04 17:34:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 17:39:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 17:41:14 +0100 | frankenstein__ | (~housemate@pa49-185-180-246.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
2025-01-04 17:46:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 17:48:30 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f7668d37e9a63f3942c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2025-01-04 17:54:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-04 17:59:16 +0100 | mjrosenb | (~mjrosenb@70.18.10.118) |
2025-01-04 18:00:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 18:04:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 18:04:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-01-04 18:10:11 +0100 | spew | (~spew@135.233.119.40) (Remote host closed the connection) |
2025-01-04 18:10:26 +0100 | spew | (~spew@135.233.119.40) spew |
2025-01-04 18:16:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 18:20:13 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.40) Jeanne-Kamikaze |
2025-01-04 18:20:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 18:22:36 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
2025-01-04 18:25:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 18:29:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 18:38:41 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-01-04 18:40:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 18:42:32 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-01-04 18:42:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-01-04 18:43:28 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
2025-01-04 18:45:56 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-01-04 18:47:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2025-01-04 18:48:08 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-01-04 18:51:37 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-01-04 18:58:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 18:58:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-01-04 19:02:59 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
2025-01-04 19:04:08 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2025-01-04 19:06:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 19:06:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-04 19:06:25 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.40) (Quit: Leaving) |
2025-01-04 19:09:01 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
2025-01-04 19:09:11 +0100 | <hellwolf> | is defining operator (.:=) (.<-) future proof for the overloadded dot worlds? |
2025-01-04 19:12:10 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f7668d37e9a63f3942c.dip0.t-ipconnect.de) acidjnk |
2025-01-04 19:15:01 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-01-04 19:15:06 +0100 | <monochrom> | Let us take a look at the GHC user's guide on that. |
2025-01-04 19:15:48 +0100 | <monochrom> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/overloaded_record_dot.html |
2025-01-04 19:16:21 +0100 | <monochrom> | Ugh OK that doesn't say anything about how the lexer and parser works. |
2025-01-04 19:16:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 19:17:05 +0100 | <hellwolf> | :p |
2025-01-04 19:17:23 +0100 | <monochrom> | I'm going to guess that only <alphabetical_name>.<alphabetical_name> is recognized as record dot, so foo.:= will not be affected. |
2025-01-04 19:17:59 +0100 | <hellwolf> | a quick search on hoogle suggests that there are plenty of (.***) operators exist in the wild |
2025-01-04 19:18:16 +0100 | <monochrom> | Yeah that's also a goo assurance. |
2025-01-04 19:18:48 +0100 | <hellwolf> | you just need to disregard the possibility of the likes of GHC 9.0 deep subsumption saga would not happen again. |
2025-01-04 19:18:52 +0100 | <monochrom> | Like how NP-completeness allows you to tell your boss "I can't make it fast but all of CS can't either" >:) |
2025-01-04 19:19:40 +0100 | <monochrom> | Oh that one is easily solved by being less pointfree. |
2025-01-04 19:19:49 +0100 | <hellwolf> | but I think it could be a sick tradition, say, at 10.0, we introduce a ecosystem wide breaking change that would have to be rolled back by 10.2 |
2025-01-04 19:20:29 +0100 | nshepperd27 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
2025-01-04 19:20:55 +0100 | <hellwolf> | > solved by being less pointfree |
2025-01-04 19:20:55 +0100 | <hellwolf> | gosh, we just had this conversation yesterday. I was coerced to be more pointfree by hlint. |
2025-01-04 19:21:08 +0100 | <lambdabot> | error: |
2025-01-04 19:21:08 +0100 | <lambdabot> | • Variable not in scope: solved :: t0 -> t1 -> t2 -> t3 -> t |
2025-01-04 19:21:08 +0100 | <lambdabot> | • Perhaps you meant ‘folded’ (imported from Control.Lens)error: |
2025-01-04 19:21:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2025-01-04 19:22:16 +0100 | monochrom | ran into it, but quickly discovered that eta expansion solves it, it's annoying but merely annoying, don't understand why other people make it sound like apocalypical. |
2025-01-04 19:22:18 +0100 | nshepperd2 | (~nshepperd@static.117.72.21.65.clients.your-server.de) (Ping timeout: 276 seconds) |
2025-01-04 19:22:18 +0100 | nshepperd27 | nshepperd2 |
2025-01-04 19:22:34 +0100 | <monochrom> | Oh I don't even use hlint. |
2025-01-04 19:23:12 +0100 | <int-e> | but do you :set -Wno-x-partial in your .ghci |
2025-01-04 19:24:28 +0100 | <monochrom> | I teach Haskell as part of a course, I am supposed to write elementary code because students are new to Haskell so "f x = g (h x)" and "(\x -> x + 5)" are more appropriate, I don't need a linter that tells me to write code beginners don't understand. |
2025-01-04 19:24:51 +0100 | <monochrom> | Also Haskell is only part of the course, not going to waste time on cute (+ 5) syntax. |
2025-01-04 19:25:38 +0100 | <monochrom> | I don't even have time to teach ($), I write "m <*> n = liftA2 (\f x -> f x) m n" explicitly. |
2025-01-04 19:26:25 +0100 | <hellwolf> | also, there is people saying hlint is for beginners :D |
2025-01-04 19:26:27 +0100 | <hellwolf> | so confusing |
2025-01-04 19:26:35 +0100 | <monochrom> | What does -Wno-x-partial do? |
2025-01-04 19:26:58 +0100 | <int-e> | it silences the warnings about head and tail and a few more functions like that |
2025-01-04 19:26:58 +0100 | <geekosaur> | stops recent ghc from warning about things like `head` |
2025-01-04 19:27:14 +0100 | <monochrom> | To be fair, some hlint advices are for beginners and code smells. But not the majority. |
2025-01-04 19:27:33 +0100 | <geekosaur> | hlint is trying to get beginners to write more mature code. monochrom's course is not about that |
2025-01-04 19:27:34 +0100 | <monochrom> | The majority is about pretending to be an expert. |
2025-01-04 19:27:43 +0100 | Guest78 | (~Guest78@37.228.251.150) |
2025-01-04 19:28:06 +0100 | <monochrom> | Ah, what is "x" doing there? :) |
2025-01-04 19:28:20 +0100 | <geekosaur> | "x-" prefix is for user defined warnings |
2025-01-04 19:28:34 +0100 | <geekosaur> | x-partial isn't built into ghc; it's defined by base |
2025-01-04 19:28:56 +0100 | <monochrom> | Oh like email headers have X-Spamassassin: ... |
2025-01-04 19:29:04 +0100 | <geekosaur> | exactly |
2025-01-04 19:29:23 +0100 | <monochrom> | Haha you missed the opportunity for "X-actly" |
2025-01-04 19:29:35 +0100 | <monochrom> | Sorry! I love bad puns and dad jokes. |
2025-01-04 19:29:41 +0100 | <geekosaur> | I'm not defining a new word 😛 |
2025-01-04 19:30:58 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-01-04 19:32:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 19:32:42 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
2025-01-04 19:33:53 +0100 | Lord_of_Life_ | Lord_of_Life |
2025-01-04 19:34:37 +0100 | <monochrom> | There is also a difference between "you wrote f x = g 4 x, why not f = g 4" and "you wrote f x = g 4 x, it can be simplified to f = g 4 because ..." |
2025-01-04 19:35:19 +0100 | <monochrom> | A reminder tool for experts can do the former (as is supposed to). That is not for beginner unless you want to foster cargo culting. |
2025-01-04 19:35:44 +0100 | <monochrom> | For beginner, you want to foster learning, curiosity, growth. You are supposed to do the latter. |
2025-01-04 19:36:17 +0100 | <monochrom> | hlint does the former so it is not for beginner unless you encourage cargo culting. |
2025-01-04 19:37:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-04 19:43:25 +0100 | <haskellbridge> | <maerwald> They are not the same |
2025-01-04 19:44:23 +0100 | <haskellbridge> | <maerwald> https://github.com/quchen/articles/blob/master/fbut.md#f-x---is-not-f--x--- |
2025-01-04 19:44:36 +0100 | <haskellbridge> | <maerwald> Hlint is not an expert tool |
2025-01-04 19:45:05 +0100 | <haskellbridge> | <maerwald> An expert tool would suggest what actually makes sense in the context |
2025-01-04 19:45:22 +0100 | <haskellbridge> | <maerwald> Not just simplistic conversion rules |
2025-01-04 19:45:59 +0100 | <haskellbridge> | <sm> One of these days someone will train an LLM on Haskell specifically and it will be pretty good |
2025-01-04 19:46:21 +0100 | <monochrom> | I will be happy enough to just get people to agree that hlint is not for beginners. I don't really mind if it is not for experts either, or anyone at all! |
2025-01-04 19:47:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 19:52:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2025-01-04 19:53:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-04 19:59:07 +0100 | CiaoSen | (~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) CiaoSen |
2025-01-04 20:01:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-04 20:02:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 20:07:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 20:12:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-04 20:18:14 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
2025-01-04 20:18:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 20:19:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-01-04 20:19:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-01-04 20:21:56 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
2025-01-04 20:22:20 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
2025-01-04 20:23:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 20:32:41 +0100 | <hellwolf> | https://paste.tomsmeding.com/k2Mfmo9N which syntax is more palatable to you |
2025-01-04 20:33:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 20:34:34 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-01-04 20:34:37 +0100 | <hellwolf> | shoot, I should use list (:) for the 2nd form: https://paste.tomsmeding.com/ZI361mZo |
2025-01-04 20:35:18 +0100 | <monochrom> | Is :| the constructor for NonEmpty? |
2025-01-04 20:35:29 +0100 | <hellwolf> | yes |
2025-01-04 20:35:32 +0100 | <hellwolf> | I needed a NomEmpty |
2025-01-04 20:36:36 +0100 | <monochrom> | Is it always 2 assignments? Is it always only known to be at least 1 assignment? |
2025-01-04 20:36:44 +0100 | <hellwolf> | 1 or more |
2025-01-04 20:36:56 +0100 | <hellwolf> | x1 :| x2 ... : [] |
2025-01-04 20:37:02 +0100 | <monochrom> | Then definitely non-empty list. |
2025-01-04 20:37:15 +0100 | <hellwolf> | yea, getting obvious. |
2025-01-04 20:37:22 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-01-04 20:37:22 +0100 | <monochrom> | Each assignment in the long term is better off as x:=y rather than (x,y). |
2025-01-04 20:37:35 +0100 | <hellwolf> | yea, but := is data constructor, darn it |
2025-01-04 20:37:43 +0100 | <hellwolf> | I banged my head against the wall for this |
2025-01-04 20:37:49 +0100 | <monochrom> | In general, your own type and well-thought name rather than generic (,) and Either. |
2025-01-04 20:37:49 +0100 | <hellwolf> | *is for |
2025-01-04 20:38:17 +0100 | michalz | (~michalz@185.246.207.197) |
2025-01-04 20:38:29 +0100 | <monochrom> | But only for long term benefit! I just use (,) and Either for short-term toy throw-away code. |
2025-01-04 20:39:28 +0100 | <tomsmeding> | what's the problem with (:=) being a data constructor? |
2025-01-04 20:39:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-01-04 20:40:10 +0100 | <hellwolf> | it's the "silly" rule of Haskell |
2025-01-04 20:40:18 +0100 | <hellwolf> | ah, you mean why the problem |
2025-01-04 20:40:23 +0100 | <tomsmeding> | yes :) |
2025-01-04 20:40:27 +0100 | <monochrom> | I think this "darn it" is the pleasant surprise kind, "darn it, didn't know this is perfect!" |
2025-01-04 20:40:33 +0100 | <hellwolf> | hmm, well, that's harder to explain without the context |
2025-01-04 20:40:39 +0100 | <tomsmeding> | data a := b = a := b |
2025-01-04 20:40:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-04 20:40:57 +0100 | <monochrom> | too many equals =_= |
2025-01-04 20:41:02 +0100 | <monochrom> | I mean haha |
2025-01-04 20:41:14 +0100 | <tomsmeding> | data Asg a b = a := b -- monochrom's version |
2025-01-04 20:41:18 +0100 | <hellwolf> | i need something return my monad |
2025-01-04 20:41:20 +0100 | <hellwolf> | := wouldn't help |
2025-01-04 20:41:34 +0100 | <hellwolf> | though it would look nice and more familiar to people. |
2025-01-04 20:41:55 +0100 | <hellwolf> | */familiar/intuitive/ |
2025-01-04 20:42:14 +0100 | sprotte24 | (~sprotte24@p200300d16f44f900dcc58d79fe1b895a.dip0.t-ipconnect.de) |
2025-01-04 20:43:08 +0100 | <monochrom> | I wonder if @= works |
2025-01-04 20:43:20 +0100 | tomsmeding | . o O ( =: ) |
2025-01-04 20:44:04 +0100 | <monochrom> | I'm a rebel so I would also consider != haha |
2025-01-04 20:45:11 +0100 | <tomsmeding> | <~ |
2025-01-04 20:45:52 +0100 | <monochrom> | Also, did you know that you had an accidental pun? Some people explain monads as contexts, so "hard to explain without the context... there is a monad..." haha |
2025-01-04 20:46:01 +0100 | <int-e> | . o O ( I kind of like this stupid piece of code (a generic implementation of properFraction) https://paste.debian.net/1342452/ ) |
2025-01-04 20:46:28 +0100 | remexre | (~remexre@user/remexre) remexre |
2025-01-04 20:49:47 +0100 | <monochrom> | Yeah that is interesting. |
2025-01-04 20:51:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-04 20:51:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 20:52:00 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 276 seconds) |
2025-01-04 20:52:03 +0100 | sprotte24 | (~sprotte24@p200300d16f44f900dcc58d79fe1b895a.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-01-04 20:53:05 +0100 | <monochrom> | This is using long division! |
2025-01-04 20:53:21 +0100 | sprotte24 | (~sprotte24@p200300d16f44f900dcc58d79fe1b895a.dip0.t-ipconnect.de) |
2025-01-04 20:53:39 +0100 | <int-e> | yeah, kind of :) |
2025-01-04 20:53:58 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
2025-01-04 20:56:19 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
2025-01-04 20:56:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2025-01-04 20:58:16 +0100 | <hellwolf> | reversed operation, that is =: could be considered |
2025-01-04 20:58:51 +0100 | <hellwolf> | probably for people reading from right to left is rather an accidental bless. |
2025-01-04 21:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-01-04 21:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-01-04 21:01:07 +0100 | <hellwolf> | anyways, if you are curious, this is the final point of the raw syntax I am settled with for the first release: https://paste.tomsmeding.com/hreFdlHK . Plenty work can still be done for syntactic sugar improvements, but I am gonna take it easy on that and gather more feedback before more opinionated designs. |
2025-01-04 21:03:56 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
2025-01-04 21:05:45 +0100 | welterde1 | welterde |
2025-01-04 21:06:00 +0100 | welterde | (~welterde@thinkbase.srv.welterde.de) (Quit: WeeChat 3.8) |
2025-01-04 21:06:13 +0100 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
2025-01-04 21:06:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-04 21:12:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 21:16:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 21:17:23 +0100 | homo | (~homo@user/homo) homo |
2025-01-04 21:27:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 21:30:16 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
2025-01-04 21:32:17 +0100 | Guest78 | (~Guest78@37.228.251.150) (Quit: Client closed) |
2025-01-04 21:33:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 21:36:45 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-01-04 21:38:23 +0100 | Guest78 | (~Guest78@37.228.251.150) |
2025-01-04 21:42:14 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-01-04 21:44:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 21:46:51 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
2025-01-04 21:48:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-04 21:48:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 21:55:25 +0100 | <sshine> | in order to understand monads, one must first understand monads. |
2025-01-04 22:01:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-04 22:04:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 22:08:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-04 22:19:01 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
2025-01-04 22:19:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 22:20:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-04 22:22:29 +0100 | <haskellbridge> | <Bowuigi> Does that mean that in order to understand comonads, one must first counderstand comonads? |
2025-01-04 22:23:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-04 22:27:00 +0100 | Guest78 | (~Guest78@37.228.251.150) (Quit: Client closed) |
2025-01-04 22:29:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-04 22:32:15 +0100 | iteratee | (~kyle@162.218.222.207) iteratee |
2025-01-04 22:34:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-01-04 22:34:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 22:38:47 +0100 | <monochrom> | In the opposite category, monads understand you! |
2025-01-04 22:39:26 +0100 | <monochrom> | Also: |
2025-01-04 22:39:31 +0100 | <monochrom> | @quote monochrom cccpy |
2025-01-04 22:39:31 +0100 | <lambdabot> | No quotes match. |
2025-01-04 22:39:32 +0100 | <monochrom> | @quote monochrom cccp |
2025-01-04 22:39:33 +0100 | <lambdabot> | monochrom says: in Soviet Russia, you have current-continuation-calls-procedure (CCCP) |
2025-01-04 22:40:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-01-04 22:41:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 22:43:04 +0100 | <haskellbridge> | <Bowuigi> How "deep" do you have to dualize in Category Theory to get the extra theorems? Which arrows exactly do you have to reverse? |
2025-01-04 22:43:27 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
2025-01-04 22:44:47 +0100 | <haskellbridge> | <Bowuigi> Is it all the arrows, even those inside definitions? |
2025-01-04 22:52:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 22:54:15 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2025-01-04 22:57:05 +0100 | CiaoSen | (~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
2025-01-04 22:57:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 23:00:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-04 23:02:07 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 252 seconds) |
2025-01-04 23:08:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 23:13:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-04 23:15:39 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 276 seconds) |
2025-01-04 23:17:59 +0100 | ponup | (~santiago@user/ponup) ponup |
2025-01-04 23:18:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-01-04 23:18:01 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
2025-01-04 23:20:34 +0100 | homo_ | (~homo@user/homo) homo |
2025-01-04 23:23:17 +0100 | homo | (~homo@user/homo) (Ping timeout: 248 seconds) |
2025-01-04 23:23:33 +0100 | homo_ | homo |
2025-01-04 23:23:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 23:28:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-04 23:34:58 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
2025-01-04 23:39:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 23:43:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-04 23:43:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-04 23:48:13 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-01-04 23:49:39 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2025-01-04 23:50:45 +0100 | homo | (~homo@user/homo) (Ping timeout: 276 seconds) |
2025-01-04 23:54:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-04 23:58:41 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
2025-01-04 23:59:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |