Logs on 2025-01-09 (liberachat/#haskell)
| 00:00:02 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 00:00:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:00:37 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 00:00:42 | → | lol_ joins (~lol@2603:3016:1e01:b9c0:794b:ce9f:2a3d:41ae) |
| 00:00:47 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 00:01:19 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 00:01:20 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 00:03:48 | <haskellbridge> | <magic_rb> Oh i made the repo private, damn |
| 00:03:49 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:04:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:04:55 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b9c0:480:d3aa:2a9:c319) (Ping timeout: 264 seconds) |
| 00:10:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:18:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 00:29:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:30:50 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:32:50 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 260 seconds) |
| 00:34:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:37:19 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 00:40:41 | → | agent314 joins (~quassel@37.19.210.25) |
| 00:41:03 | × | alist quits (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) (Remote host closed the connection) |
| 00:43:17 | → | saulosilva joins (~saulosilv@181.216.220.21) |
| 00:45:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:46:56 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f68a1608a41cd6a32b2.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 00:47:05 | × | xff0x quits (~xff0x@2405:6580:b080:900:6d94:dd0b:4250:b8b3) (Ping timeout: 252 seconds) |
| 00:47:58 | × | sprotte24 quits (~sprotte24@p200300d16f1e660091235e642331973a.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:51:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 00:59:36 | × | saulosilva quits (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 01:01:42 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 01:01:44 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 01:02:19 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 01:02:20 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 01:02:54 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 01:02:54 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 01:03:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:07:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:12:12 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 01:18:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:20:36 | × | dysthesis quits (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 01:22:42 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 265 seconds) |
| 01:22:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:24:10 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 01:25:24 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:26:51 | × | agent314 quits (~quassel@37.19.210.25) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 01:33:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:35:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 01:36:05 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:37:52 | → | califax joins (~califax@user/califx) |
| 01:38:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:38:40 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:39:51 | × | otto_s quits (~user@p4ff2701d.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 01:41:18 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 01:41:32 | → | otto_s joins (~user@p4ff270f4.dip0.t-ipconnect.de) |
| 01:48:40 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
| 01:48:52 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:49:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:51:07 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 01:51:07 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:51:35 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 01:51:45 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 01:52:52 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 01:53:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:54:28 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:03:17 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 02:03:26 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 02:03:43 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 02:03:43 | ChanServ | sets mode +v haskellbridge |
| 02:03:59 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 02:04:00 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 02:04:33 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 02:04:34 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 02:04:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:08:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 02:11:31 | → | Square2 joins (~Square4@user/square) |
| 02:14:00 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 02:14:20 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 02:15:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:19:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:25:03 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 02:26:34 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:26:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:34:00 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 02:38:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:44:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:48:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:52:06 | × | migas977 quits (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 02:52:49 | → | migas9778 joins (~migas@static.140.65.63.178.clients.your-server.de) |
| 02:54:24 | × | migas9778 quits (~migas@static.140.65.63.178.clients.your-server.de) (Client Quit) |
| 02:54:55 | → | migas9778 joins (~migas@static.140.65.63.178.clients.your-server.de) |
| 02:59:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:02:28 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) |
| 03:04:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:04:34 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 03:04:56 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 03:04:58 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 03:05:32 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 03:05:41 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 03:05:42 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) (Client Quit) |
| 03:06:14 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 03:15:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:19:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:20:05 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 03:22:12 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 03:25:28 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 03:30:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:35:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:36:33 | <hololeap> | how to handle case statements where two of the three branches share most of the same code, but not all? |
| 03:37:09 | <hololeap> | I could shove the shared code into some function, or add another inner case statements with a redundant extra branch |
| 03:38:54 | <glguy> | hololeap: shared function is a good default |
| 03:42:10 | <ephemient> | speaking of which, I'm a little amazed it took so long for this to arrive, but it finally did: https://downloads.haskell.org/ghc/9.12.1/docs/users_guide/exts/or_patterns.html |
| 03:42:34 | <jle`> | hyped for or patterns |
| 03:42:37 | <jle`> | also hyped for multiline strings |
| 03:42:50 | <hololeap> | that would be perfect for this |
| 03:42:55 | <hololeap> | (or patterns) |
| 03:42:56 | <jle`> | er hyped as in hyped to migrate lol |
| 03:44:30 | <hololeap> | in this code I'm working on, the two branches that share code have different types attached to their constructors, so now my shared function needs to take an Either |
| 03:45:14 | <hololeap> | which is just really clunky |
| 03:45:26 | → | gdr3941 joins (~user@50.234.116.5) |
| 03:45:28 | <glguy> | then or-patterns probably wouldn't have helped |
| 03:46:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:46:12 | glguy | . o O (or-patterns combined with view patterns) |
| 03:48:24 | <hololeap> | I just need to separate the two constructors that share common logic into their own type, I think, so I can do a nested case statement without the final `_ -> undefined` redundant catchall |
| 03:48:50 | <hololeap> | or turn off -Wincomplete-patterns (boo) |
| 03:50:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:55:02 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 03:55:50 | → | gdr3941` joins (~user@50.234.116.5) |
| 03:56:20 | × | nkatte quits (~nkatte@user/nkatte) (Quit: nkatte) |
| 03:57:03 | → | weary-traveler joins (~user@user/user363627) |
| 03:57:40 | → | nkatte joins (~nkatte@user/nkatte) |
| 03:58:45 | × | gdr3941 quits (~user@50.234.116.5) (Ping timeout: 248 seconds) |
| 04:00:53 | × | user363627 quits (~user@user/user363627) (Ping timeout: 248 seconds) |
| 04:01:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:01:42 | → | housemate joins (~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) |
| 04:08:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:08:59 | × | gdr3941` quits (~user@50.234.116.5) (Quit: done) |
| 04:09:13 | × | nkatte quits (~nkatte@user/nkatte) (Quit: nkatte) |
| 04:13:15 | <hololeap> | I think I see now what to do here (use a shared function but normalize the two types so there is no Either) |
| 04:13:27 | <hololeap> | kind of a duh moment |
| 04:15:01 | <hololeap> | it's also a desugared version of what OrPatterns+ViewPatterns would do |
| 04:15:56 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 04:19:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:24:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 04:26:14 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 04:26:45 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 04:29:30 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 04:30:15 | → | gmg joins (~user@user/gehmehgeh) |
| 04:31:29 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 04:35:17 | → | hueso joins (~root@user/hueso) |
| 04:48:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:52:38 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 04:53:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:59:27 | × | dysthesis quits (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 05:03:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:08:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:11:26 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 05:16:25 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:19:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:24:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:24:37 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 05:24:58 | → | YoungFrog joins (~youngfrog@2a02:a03f:c9db:fc00:cec4:708e:faa4:70c5) |
| 05:28:54 | → | michalz joins (~michalz@185.246.207.221) |
| 05:30:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:30:43 | × | housemate quits (~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 05:38:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:49:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:56:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:57:03 | <EvanR> | this kind of stuff really bleeds into your norms of what to do in imperative languages where that code duplication comes up a lot |
| 05:57:42 | <EvanR> | where it's like, not as inconvenient to just write almost the same code over again, and less people complain about it XD |
| 05:58:07 | <EvanR> | or there's some kind of language feature to kind of help like mutable variables |
| 06:08:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:09:37 | → | housemate joins (~housemate@pa49-199-197-80.pa.vic.optusnet.com.au) |
| 06:12:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:18:27 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:23:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:28:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 06:31:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:40:42 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 06:40:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 06:42:12 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 06:48:49 | × | HappyNewYear2025 quits (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 06:51:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:55:15 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f4469bf750ee24b39bc.dip0.t-ipconnect.de) |
| 06:56:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:57:14 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 07:01:41 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 07:03:33 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 07:04:56 | → | hawer joins (~newyear@2.219.56.221) |
| 07:06:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:08:54 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:10:28 | → | CiaoSen joins (~Jura@46.167.29.227) |
| 07:10:31 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 07:10:55 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 07:10:57 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 07:11:39 | → | gmg joins (~user@user/gehmehgeh) |
| 07:16:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 07:17:40 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 07:19:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 07:21:16 | × | Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 07:21:59 | → | agent314 joins (~quassel@37.19.210.25) |
| 07:25:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:26:10 | <haskellbridge> | <maerwald> hololeap: Either is fine |
| 07:26:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:27:02 | <haskellbridge> | <maerwald> if you have more than one or it comes up all the time, then there's time to abstract |
| 07:27:27 | <haskellbridge> | <maerwald> I abstract when I see recurring patterns, not when something feels off at the start |
| 07:27:36 | <haskellbridge> | <maerwald> otherwise there's no way to finish anything |
| 07:31:07 | <haskellbridge> | <magic_rb> The enemy of progress, refactoring |
| 07:31:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:31:50 | <haskellbridge> | <maerwald> yeah, prototyping first... finish it, then think about the mess you created |
| 07:32:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:33:56 | → | HappyNewYear2025 joins (~newyear@2.219.56.221) |
| 07:34:46 | <hololeap> | true. this has just come up in the past so I figured I would ask |
| 07:36:21 | × | hawer quits (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 07:36:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:45:36 | → | jjnkn joins (~jjnkn@45.12.27.165) |
| 07:49:15 | → | alist joins (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) |
| 07:53:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:57:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 08:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:38 | → | caconym joins (~caconym@user/caconym) |
| 08:05:41 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:10:12 | → | alecs joins (~alecs@nat16.software.imdea.org) |
| 08:12:19 | → | vpan joins (~vpan@212.117.1.172) |
| 08:16:39 | × | agent314 quits (~quassel@37.19.210.25) (Ping timeout: 244 seconds) |
| 08:18:32 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:27:13 | → | dnerchm^ joins (dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) |
| 08:30:08 | → | agent314 joins (~quassel@37.19.210.25) |
| 08:41:12 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 08:46:55 | × | dtman34 quits (~dtman34@2601:447:d080:1a3c:6104:fe1a:e15b:6312) (Ping timeout: 260 seconds) |
| 08:49:08 | → | merijn joins (~merijn@77.242.116.146) |
| 08:57:16 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 08:59:19 | → | Guest62 joins (~Guest62@212.233.194.115) |
| 09:00:12 | × | Guest62 quits (~Guest62@212.233.194.115) (Write error: Broken pipe) |
| 09:02:23 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:06:41 | → | dtman34 joins (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) |
| 09:06:56 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:22:39 | × | vpan quits (~vpan@212.117.1.172) (Ping timeout: 265 seconds) |
| 09:24:35 | → | vpan joins (~vpan@212.117.1.172) |
| 09:26:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:27:24 | × | housemate quits (~housemate@pa49-199-197-80.pa.vic.optusnet.com.au) (Ping timeout: 276 seconds) |
| 09:35:24 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:40:14 | → | jespada joins (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) |
| 09:44:24 | → | __monty__ joins (~toonn@user/toonn) |
| 09:48:53 | → | rynite joins (~bwkam@user/rynite) |
| 09:52:14 | × | JamesMowery439 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 244 seconds) |
| 09:52:48 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:59:40 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 10:01:02 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 10:05:29 | → | merijn joins (~merijn@77.242.116.146) |
| 10:06:56 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:5e7:9f65:befb:1c46) |
| 10:14:17 | → | sprotte24 joins (~sprotte24@p200300d16f253600814d8e598f05b539.dip0.t-ipconnect.de) |
| 10:17:05 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:24:46 | → | comerijn joins (~merijn@77.242.116.146) |
| 10:26:33 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 10:27:39 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 10:39:13 | × | mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 10:39:42 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 10:39:48 | <haskellbridge> | <hellwolf> make it compile, git commit, refactor, git commit |
| 10:39:58 | <haskellbridge> | <hellwolf> Haskell is great for this flow |
| 10:40:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:40:08 | × | jespada quits (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 10:40:50 | <haskellbridge> | <hellwolf> (oh, I should say, even better, to have a test framework and test before git commit) |
| 10:42:03 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 10:42:55 | <haskellbridge> | <maerwald> most of the Haskell companies I've worked at didn't have an acutal test suite... I think IOG was the exception |
| 10:44:26 | <orangeFlu> | what other haskell companies are out there? |
| 10:44:38 | → | alexherbo2 joins (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) |
| 10:44:48 | <hellwolf> | maerwald: that's surprising to hear |
| 10:44:54 | <hellwolf> | Mercury |
| 10:45:01 | <hellwolf> | Scrive |
| 10:45:02 | <hellwolf> | etc. |
| 10:46:13 | <hellwolf> | may I start a new topic, has it ever been discussed about having operators for `quot, rem, div, mod` |
| 10:46:21 | <hellwolf> | ? |
| 10:47:08 | <hellwolf> | say `//, //_, %, %_' where the variants without "_" matches the behaviour you would most likely encounter in other languages (truncating towards zero) |
| 10:47:13 | <mari-estel> | i guess it has. Finding the conv is a different matter |
| 10:47:41 | <mari-estel> | @hoogle % |
| 10:47:42 | <lambdabot> | Data.Ratio (%) :: Integral a => a -> a -> Ratio a |
| 10:47:42 | <lambdabot> | GHC.Real (%) :: Integral a => a -> a -> Ratio a |
| 10:47:42 | <lambdabot> | Protolude (%) :: Integral a => a -> a -> Ratio a |
| 10:48:03 | <mari-estel> | @hoogle // |
| 10:48:05 | <hellwolf> | ones with "_" truncating towards negative infinity |
| 10:48:10 | <lambdabot> | GHC.Arr (//) :: Ix i => Array i e -> [(i, e)] -> Array i e |
| 10:48:10 | <lambdabot> | Data.Vector (//) :: Vector a -> [(Int, a)] -> Vector a |
| 10:48:10 | <lambdabot> | Data.Vector.Generic (//) :: Vector v a => v a -> [(Int, a)] -> v a |
| 10:48:40 | <mari-estel> | hm _ conventionally means "discard returned" |
| 10:48:43 | <hellwolf> | incidentally, I didn't know that recent Python and Java uses "//" to mean integral divisions. |
| 10:48:58 | <hellwolf> | 01-09 12:48 <mari-estel> hm _ conventionally means "discard returned" |
| 10:48:58 | <hellwolf> | I know, but I dont' know what better variant to use. |
| 10:49:05 | → | kadobanana joins (~mud@user/kadoban) |
| 10:49:16 | <hellwolf> | //- ? |
| 10:49:23 | <mari-estel> | maybe they do not need to become operators |
| 10:49:35 | <hellwolf> | could be an option. |
| 10:49:57 | × | mud quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 10:53:56 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
| 10:54:14 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 10:55:02 | × | byorgey quits (~byorgey@user/byorgey) (Ping timeout: 252 seconds) |
| 10:55:09 | → | byorgey joins (~byorgey@user/byorgey) |
| 10:55:49 | <orangeFlu> | Java does not have // afaik |
| 10:57:01 | <hellwolf> | am I being scammed by ChatGPT? |
| 10:57:02 | <__monty__> | Alternatively, if you don't want to define them for yourself, you could add conceals (or whatever your editor calls them) for `div` et al. if you think it reads better or whatever. |
| 10:57:23 | <__monty__> | Isn't that a line comment in Java? |
| 10:57:35 | <hellwolf> | ya... :D |
| 10:58:22 | <hellwolf> | > 2. **Integer or Floor Division**: Denoted by "//" in Python and Java 8 onwards, '%' in Swift or the `div` function in Pascal. This operator rounds the result down to the nearest whole number. For example, in Python, 5//2 will result in 2. |
| 10:58:23 | <lambdabot> | <hint>:1:4: error: parse error on input ‘**’ |
| 10:58:31 | <hellwolf> | nix-shell$ echo "Does Java not have // integer division operator, with two slashes" | chatgpt |
| 10:58:31 | <hellwolf> | No, Java does not have a "//" operator for integer division. It uses the single "/" operator for both integer and floating point division. The type of division it performs (integer or floating point) depends on the types of the operands. If both operands are integers, it will perform integer division. If either or both operands are floating points, it will perform floating point division. |
| 10:58:39 | <hellwolf> | I should stop using gpt for serious stuff. |
| 10:59:24 | <enikar> | indeed ;) |
| 10:59:57 | <hellwolf> | A cut and smart parrot is a parrot, after all. |
| 11:00:45 | <enikar> | :) |
| 11:03:50 | <__monty__> | The lack of operators encouraging the use of divMod and quotRem is actually kind of a feature. |
| 11:04:47 | <hellwolf> | I already find two semantics for "//" in two different languages |
| 11:04:50 | <hellwolf> | not a good start :) |
| 11:04:56 | <hellwolf> | one for div one for quot |
| 11:05:11 | <hellwolf> | in python, it is `div` |
| 11:08:59 | × | CiaoSen quits (~Jura@46.167.29.227) (Ping timeout: 265 seconds) |
| 11:13:00 | <[exa]> | hellwolf: in julia the // is the rational % |
| 11:13:14 | → | traxex joins (traxex@user/traxex) |
| 11:13:40 | <[exa]> | (and many other languages are sufficiently lucky to have inherited the // comments from C to avoid this issue. :D) |
| 11:14:30 | <haskellbridge> | <hellwolf> okay, you guys convinced me that I should shove "divMod" "quotRem" to people's throat. |
| 11:16:29 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 11:21:41 | → | xff0x joins (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) |
| 11:29:40 | × | alexherbo2 quits (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) (Ping timeout: 240 seconds) |
| 11:33:45 | → | alexherbo2 joins (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) |
| 11:41:10 | → | merijn joins (~merijn@77.242.116.146) |
| 11:44:19 | × | alexherbo2 quits (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) (Remote host closed the connection) |
| 11:49:55 | × | euphores quits (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 11:50:02 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 11:57:43 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:58:13 | × | forell quits (~forell@user/forell) (Ping timeout: 248 seconds) |
| 11:59:36 | → | euphores joins (~SASL_euph@user/euphores) |
| 12:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 12:01:06 | → | __monty__ joins (~toonn@user/toonn) |
| 12:02:17 | → | caconym joins (~caconym@user/caconym) |
| 12:03:50 | → | hseg joins (~gesh@46.120.21.249) |
| 12:04:12 | × | yin quits (~z@user/zero) (Read error: Connection reset by peer) |
| 12:07:17 | → | jespada joins (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) |
| 12:07:49 | → | zero joins (~z@user/zero) |
| 12:17:34 | → | CiaoSen joins (~Jura@2a05:5800:226:eb00:ca4b:d6ff:fec1:99da) |
| 12:30:23 | → | alexherbo2 joins (~alexherbo@2a02-8440-e505-36d8-5418-ab3c-fe52-b949.rev.sfr.net) |
| 12:32:07 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 12:32:18 | → | Digitteknohippie joins (~user@user/digit) |
| 12:33:26 | × | Digit quits (~user@user/digit) (Ping timeout: 244 seconds) |
| 12:33:59 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 12:41:49 | → | forell joins (~forell@user/forell) |
| 12:47:31 | → | nkatte joins (~nkatte@user/nkatte) |
| 12:52:22 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 12:53:04 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 244 seconds) |
| 12:55:19 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 12:55:52 | → | haritz joins (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 12:57:29 | × | pja quits (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Ping timeout: 252 seconds) |
| 12:57:41 | × | haritz quits (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 12:57:41 | → | haritz joins (~hrtz@user/haritz) |
| 13:01:27 | → | pja joins (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 13:06:28 | → | gmg joins (~user@user/gehmehgeh) |
| 13:07:45 | × | pja quits (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Ping timeout: 252 seconds) |
| 13:09:03 | → | Digit joins (~user@user/digit) |
| 13:09:44 | → | pja joins (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 13:16:01 | × | CiaoSen quits (~Jura@2a05:5800:226:eb00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 13:18:42 | × | sprotte24 quits (~sprotte24@p200300d16f253600814d8e598f05b539.dip0.t-ipconnect.de) (Quit: Leaving) |
| 13:31:46 | × | alexherbo2 quits (~alexherbo@2a02-8440-e505-36d8-5418-ab3c-fe52-b949.rev.sfr.net) (Remote host closed the connection) |
| 13:32:16 | × | xff0x quits (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) (Ping timeout: 252 seconds) |
| 13:34:28 | → | alexherbo2 joins (~alexherbo@2a02-8440-e505-36d8-5418-ab3c-fe52-b949.rev.sfr.net) |
| 13:34:50 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:35:18 | → | xff0x joins (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) |
| 13:35:30 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 13:43:55 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:01:33 | → | Pixi` joins (~Pixi@user/pixi) |
| 14:04:09 | → | Pixi__ joins (~Pixi@user/pixi) |
| 14:04:23 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 14:04:50 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 14:06:39 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.4.4) |
| 14:07:00 | × | Pixi` quits (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 14:08:03 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 14:10:32 | × | hseg quits (~gesh@46.120.21.249) (Quit: WeeChat 4.5.1) |
| 14:12:23 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 14:15:08 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 14:18:40 | → | ystael joins (~ystael@user/ystael) |
| 14:20:47 | → | gentauro joins (~gentauro@user/gentauro) |
| 14:21:02 | → | haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 14:21:05 | × | haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 14:21:05 | → | haritz joins (~hrtz@user/haritz) |
| 14:22:24 | → | rekahsoft joins (~rekahsoft@70.51.99.237) |
| 14:37:19 | <hellwolf> | Can you reexport exposed-modules from an internal library without having to duplicate that listing? |
| 14:37:22 | <hellwolf> | (cabal question) |
| 14:37:54 | × | cheater quits (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 14:38:57 | × | mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 14:39:25 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 14:39:57 | → | CiaoSen joins (~Jura@2a05:5800:226:eb00:ca4b:d6ff:fec1:99da) |
| 14:40:48 | → | cheater joins (~Username@user/cheater) |
| 14:49:45 | × | CiaoSen quits (~Jura@2a05:5800:226:eb00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 15:02:17 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 15:03:08 | → | Guest55 joins (~Guest55@2a00:23c8:8d83:f901:879:abcb:e464:33a2) |
| 15:03:39 | × | Guest55 quits (~Guest55@2a00:23c8:8d83:f901:879:abcb:e464:33a2) (Client Quit) |
| 15:13:53 | → | pavonia joins (~user@user/siracusa) |
| 15:15:16 | → | Digitteknohippie joins (~user@user/digit) |
| 15:16:27 | × | Digit quits (~user@user/digit) (Ping timeout: 265 seconds) |
| 15:18:19 | lol_ | is now known as jcarpenter2 |
| 15:19:09 | <merijn> | reexporting is always gonna involve a duplicate listing |
| 15:19:21 | <merijn> | because you have to write down what to reexport |
| 15:19:56 | <merijn> | hellwolf: You can re-export them from the public library too |
| 15:20:02 | <merijn> | (in the source, I mean) |
| 15:20:05 | <merijn> | depending on what makes sense |
| 15:21:33 | Digitteknohippie | is now known as Digit |
| 15:24:29 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:25:17 | <tomsmeding> | hellwolf: have you tried a 'common' stanza? Not sure if it works for exposed-modules, but worth a try https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#common-stanzas |
| 15:27:13 | <mari-estel> | nice, i want to recall to simplify some cabal files with lot of repetitions |
| 15:27:44 | <tomsmeding> | the `cabal init` default cabal file actually uses a 'common' stanza already, to share `ghc-options: -Wall` |
| 15:27:56 | <haskellbridge> | <hellwolf> oh, I do use common stanza |
| 15:28:01 | <haskellbridge> | <hellwolf> but I haven't realized that I could use that |
| 15:28:10 | → | saulosilva joins (~saulosilv@181.216.220.21) |
| 15:28:12 | <tomsmeding> | well I don't know if it works for exposed-modules too :p |
| 15:28:17 | <haskellbridge> | <hellwolf> but I am not sure I like that approach for module listing |
| 15:28:21 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 15:28:27 | <haskellbridge> | <hellwolf> it feels like distorting the structure of cabal file |
| 15:28:34 | <haskellbridge> | <hellwolf> (if it work) |
| 15:28:35 | <tomsmeding> | if you don't want this, then indeed the only recourse is re-listing |
| 15:28:49 | → | housemate joins (~housemate@pa49-185-147-81.pa.vic.optusnet.com.au) |
| 15:30:32 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 15:30:57 | × | alexherbo2 quits (~alexherbo@2a02-8440-e505-36d8-5418-ab3c-fe52-b949.rev.sfr.net) (Remote host closed the connection) |
| 15:32:54 | <tomsmeding> | exposed-modules is not in the right section of the cabal docs, makes me suspect it doesn't work with 'common' |
| 15:33:03 | <tomsmeding> | (perhaps for good reason) |
| 15:33:46 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 15:33:56 | × | saulosilva quits (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 15:34:33 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:35:15 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 15:35:31 | × | housemate quits (~housemate@pa49-185-147-81.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 15:36:20 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:37:53 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 248 seconds) |
| 15:37:59 | → | housemate joins (~housemate@pa49-185-123-160.pa.vic.optusnet.com.au) |
| 15:38:38 | <hellwolf> | | Warning: yul-dsl.cabal:36:3: Unknown field: "exposed-modules" |
| 15:39:01 | <hellwolf> | kinda expected |
| 15:39:04 | <hellwolf> | logically |
| 15:40:03 | → | Square joins (~Square@user/square) |
| 15:45:21 | → | housemate_ joins (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) |
| 15:46:37 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 15:47:15 | × | housemate quits (~housemate@pa49-185-123-160.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 15:47:23 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 15:47:23 | tnt2 | is now known as tnt1 |
| 15:48:02 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 15:49:24 | → | weary-traveler joins (~user@user/user363627) |
| 15:49:39 | × | housemate_ quits (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 15:49:44 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:51:27 | → | housemate joins (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) |
| 15:51:49 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds) |
| 15:54:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 15:54:50 | × | housemate quits (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 15:55:10 | → | housemate joins (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) |
| 15:56:40 | → | Everything joins (~Everythin@195.138.86.118) |
| 15:59:45 | → | merijn joins (~merijn@77.242.116.146) |
| 16:01:34 | <mari-estel> | saw your post from haskell weekly, hellwolf. Cool project! |
| 16:03:56 | × | ft quits (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 16:05:25 | × | jespada quits (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:06:03 | <hellwolf> | mari-estel: cool :) I didn't know it got published there, me very happy. Anything particularly interests you? |
| 16:11:35 | → | oo_miguel joins (~Thunderbi@78.10.206.35) |
| 16:12:38 | <mari-estel> | well there are several interesting aspects. I am not familiar with ethereum but i am glad that there are more safe tools to work with contracts |
| 16:14:54 | → | Everythi1g joins (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 16:15:13 | × | Everything quits (~Everythin@195.138.86.118) (Quit: leaving) |
| 16:15:15 | × | Everythi1g quits (~Everythin@static.208.206.21.65.clients.your-server.de) (Client Quit) |
| 16:15:34 | → | Everything joins (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 16:16:38 | <hellwolf> | I try to make that case. |
| 16:17:43 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 16:20:10 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f4469bf750ee24b39bc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:36:51 | → | sprotte24 joins (~sprotte24@p200300d16f253600c5a38787ced491fd.dip0.t-ipconnect.de) |
| 16:38:10 | → | jespada joins (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) |
| 16:42:29 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 245 seconds) |
| 16:44:01 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f445c3b9e2aa830e6c1.dip0.t-ipconnect.de) |
| 16:45:12 | × | dtman34 quits (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 16:46:02 | → | housemate_ joins (~housemate@pa49-199-91-123.pa.vic.optusnet.com.au) |
| 16:47:48 | × | housemate quits (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 16:54:21 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 17:08:58 | → | ft joins (~ft@p4fc2a354.dip0.t-ipconnect.de) |
| 17:10:04 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 17:11:13 | × | housemate_ quits (~housemate@pa49-199-91-123.pa.vic.optusnet.com.au) (Ping timeout: 248 seconds) |
| 17:11:16 | → | hueso joins (~root@user/hueso) |
| 17:13:57 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:5e7:9f65:befb:1c46) (Read error: Connection reset by peer) |
| 17:15:15 | × | rynite quits (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 17:16:28 | × | haritz quits (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 17:18:56 | → | haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 17:18:58 | × | haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 17:18:58 | → | haritz joins (~hrtz@user/haritz) |
| 17:30:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:35:30 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 17:41:05 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f445c3b9e2aa830e6c1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 17:44:04 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 17:44:11 | × | dnerchm^ quits (dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 17:46:33 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) |
| 17:53:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:58:36 | × | oo_miguel quits (~Thunderbi@78.10.206.35) (Quit: oo_miguel) |
| 18:00:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:02:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:06:21 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:07:05 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 18:08:01 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:08:39 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:11:26 | × | jespada quits (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:14:07 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:14:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:20:30 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 18:22:42 | → | housemate joins (~housemate@pa49-183-34-52.pa.vic.optusnet.com.au) |
| 18:24:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:25:48 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 18:26:27 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:28:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:30:06 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:32:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:34:03 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:35:01 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 18:35:27 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:39:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 18:41:52 | × | noctuks quits (mBZ68nSsKe@user/noctux) (Ping timeout: 265 seconds) |
| 18:43:48 | × | s4msung quits (~s4msung@user/s4msung) (Ping timeout: 265 seconds) |
| 18:45:17 | → | euouae joins (~euouae@user/euouae) |
| 18:45:34 | <euouae> | Hello, on debian I installed everything with ghcup and set it at recommended versions. |
| 18:45:46 | <euouae> | On Emacs I've tried to use lsp, lsp-haskell & haskell-mode all together but I get: "Executable names we failed to find: haskell-language-server-9.8.4,haskell-language-server" |
| 18:47:07 | <euouae> | I don't understand this error. ghcup list says my hls is 2.9.0.1 'latest,recommended'. |
| 18:50:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:53:04 | <enikar> | PATH issue? |
| 18:53:24 | <euouae> | I set my $PATH in .profile to source ~/.ghcup/env |
| 18:53:54 | <cheater> | hello |
| 18:53:59 | <cheater> | is anyone rewriting ghc in rust |
| 18:54:01 | <mauke> | does it list "✔✔ ghc 9.4.8 recommended,base-4.17.2.1 hls-powered"? |
| 18:54:18 | <euouae> | mauke |
| 18:54:19 | <euouae> | yes |
| 18:54:47 | <mauke> | huh, why is emacs looking for 9.8.4, then |
| 18:55:13 | <euouae> | I'm not sure what that is about mauke. |
| 18:55:20 | <mauke> | oh, are you editing a project that specifies ghc 9.8.4 (maybe indirectly, through a stackage resolver or base version)? |
| 18:55:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:55:48 | <euouae> | maybe, let me check |
| 18:56:32 | <euouae> | ah you're genius mauke |
| 18:56:46 | <euouae> | I had an older `stack upgrade` before I went with ghcup (I had forgotten) so it bumped me on to 3.3.1 |
| 18:56:56 | <euouae> | and then ghcup took me down to 3.1.1 |
| 19:04:06 | → | P1RATEZ joins (~piratez@user/p1ratez) |
| 19:05:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:05:59 | → | saulosilva joins (~saulosilv@181.216.220.21) |
| 19:08:19 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 19:09:27 | × | housemate quits (~housemate@pa49-183-34-52.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 19:10:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:13:10 | × | yushyin quits (~yushyin@mail.karif.server-speed.net) (Read error: Connection reset by peer) |
| 19:13:14 | → | noctuks joins (MR7CNKXm0J@user/noctux) |
| 19:13:15 | → | s4msung joins (wBrkYH9KHh@user/s4msung) |
| 19:13:15 | → | yushyin2 joins (CinQEuz8mT@mail.karif.server-speed.net) |
| 19:13:16 | → | visilii joins (~visilii@188.254.110.9) |
| 19:13:20 | × | visilii_ quits (~visilii@188.254.110.9) (Ping timeout: 252 seconds) |
| 19:14:16 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 19:15:39 | yushyin2 | is now known as yushyin |
| 19:21:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:24:19 | × | P1RATEZ quits (~piratez@user/p1ratez) (Remote host closed the connection) |
| 19:25:44 | → | jespada joins (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) |
| 19:28:39 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:30:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:34:50 | × | jespada quits (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 19:34:54 | → | OftenFaded1 joins (~OftenFade@user/tisktisk) |
| 19:38:22 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 19:38:46 | → | housemate joins (~housemate@pa49-184-10-32.pa.vic.optusnet.com.au) |
| 19:41:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:46:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:48:52 | → | housemate_ joins (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) |
| 19:49:35 | × | housemate_ quits (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 19:51:14 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:51:28 | × | housemate quits (~housemate@pa49-184-10-32.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 19:53:59 | → | homo joins (~homo@user/homo) |
| 19:56:35 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 19:57:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:00:06 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:33 | × | saulosilva quits (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 20:00:44 | → | caconym joins (~caconym@user/caconym) |
| 20:01:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:09:31 | → | housemate joins (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) |
| 20:10:55 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 20:12:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:17:40 | × | Pozyomka quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 20:19:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:26:48 | <euouae> | is there a ghci command to search by type, e.g. if I want to find functions that have 'Rational' in them? |
| 20:26:52 | <euouae> | in thier signautres |
| 20:27:06 | <mauke> | don't think so |
| 20:27:51 | <tomsmeding> | euouae: in haddocks you can search inside a particular package for stuff like that |
| 20:28:01 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) |
| 20:28:23 | <tomsmeding> | e.g. go here https://hackage.haskell.org/package/base and press 's' (or click the "Quick Jump" link) |
| 20:28:28 | <tomsmeding> | it doesn't quite find everything, though |
| 20:29:02 | <euouae> | alright thank you |
| 20:30:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:34:22 | → | Pozyomka joins (~pyon@user/pyon) |
| 20:35:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:36:04 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:40:52 | × | agent314 quits (~quassel@37.19.210.25) (Ping timeout: 244 seconds) |
| 20:43:07 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:43:20 | × | jjnkn quits (~jjnkn@45.12.27.165) (Ping timeout: 264 seconds) |
| 20:51:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:54:17 | × | housemate quits (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 20:55:50 | <euouae> | I'm trying to use inits1 <https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-List.html#v:inits1> but I'm getting complaints that inits1 is not exported by Data.List |
| 20:55:59 | <euouae> | what am I doing wrong? |
| 20:56:09 | <euouae> | I'm using Haskell2010 |
| 20:57:40 | <tomsmeding> | euouae: says "since base-4.21.0.0" |
| 20:57:51 | <tomsmeding> | that's ghc 9.12 |
| 20:58:11 | → | housemate joins (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) |
| 20:58:29 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:59:10 | <euouae> | tomsmeding: ah got it. thank you. I thought I saw `inits` also being base-4.21 ... not too familiar with the versions |
| 20:59:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:59:54 | <tomsmeding> | you're on 9.4.8, right? here's your base: https://hackage.haskell.org/package/base-4.17.2.1 |
| 21:01:42 | × | housemate quits (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 21:02:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 21:02:49 | → | supercode joins (~supercode@user/supercode) |
| 21:03:01 | <tomsmeding> | (you can find the relation between ghc and base versions using `ghcup tui`) |
| 21:03:37 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:03:40 | <tomsmeding> | soon (tm) base may be decoupled from ghc version, but not yet |
| 21:08:39 | <euouae> | nice thank you |
| 21:08:44 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 21:09:12 | <euouae> | I did not realize ghcup list/tui lists the coupling of ghc with base |
| 21:09:37 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:10:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:10:47 | <euouae> | I'm thinking of disabling -Wtype-defaults, is it a bad idea? |
| 21:12:25 | → | housemate joins (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) |
| 21:15:49 | × | housemate quits (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 21:15:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 21:16:18 | → | housemate joins (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) |
| 21:23:03 | × | pja quits (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Ping timeout: 252 seconds) |
| 21:24:42 | → | pja joins (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 21:26:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:30:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:31:43 | × | housemate quits (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 21:39:57 | → | dtman34 joins (~dtman34@2601:447:d080:1a3c:18d7:3d42:6693:9459) |
| 21:40:11 | → | TMA joins (tma@twin.jikos.cz) |
| 21:41:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:42:29 | → | housemate joins (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) |
| 21:46:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 21:47:41 | <haskellbridge> | <magic_rb> for my CI/CD thing if someone remembers from yesterday, i tried hasql, but its nowhere near as nice as persistent+esqueleto, those two together seem like magic |
| 21:48:26 | <haskellbridge> | <magic_rb> it could be as nice, but not having a full eDSL and not having it auto generate all the selects and stuff from the haskell data types is bothersome |
| 21:48:56 | <haskellbridge> | <magic_rb> i want to change the name of a column now and nothing will yell at me at compile time "hey you changed it, but not everywhere" :/ |
| 21:53:32 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 21:54:37 | <EvanR> | only change names of columns via a migration |
| 21:54:59 | <EvanR> | and database versions can be tracked in the filesystem ... at some cost to your sanity |
| 21:55:12 | <EvanR> | by filesystem I mean type system |
| 21:55:18 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 21:57:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:01:56 | × | housemate quits (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 22:04:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:07:12 | × | dtman34 quits (~dtman34@2601:447:d080:1a3c:18d7:3d42:6693:9459) (Ping timeout: 246 seconds) |
| 22:08:45 | <haskellbridge> | <magic_rb> Still, migrations wort help the fact that the queries as you write them with hasql-th arent column matched against some definition of the table |
| 22:08:55 | <haskellbridge> | <magic_rb> (I also couldnt figure out how to use the migrations package) |
| 22:15:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:16:10 | × | euouae quits (~euouae@user/euouae) () |
| 22:19:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 22:20:31 | → | dtman34 joins (~dtman34@2601:447:d080:1a3c:ea66:e6de:89d7:22da) |
| 22:21:13 | → | g00gler joins (uid125351@id-125351.uxbridge.irccloud.com) |
| 22:23:41 | × | Everything quits (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 22:24:46 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 22:25:03 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 22:30:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:30:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:30:49 | → | housemate joins (~housemate@pa49-183-78-10.pa.vic.optusnet.com.au) |
| 22:31:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 22:34:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:36:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:45:43 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 264 seconds) |
| 22:45:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:50:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:51:09 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:54:12 | → | agent314 joins (~quassel@37.19.210.25) |
| 22:55:15 | × | alist quits (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) (Remote host closed the connection) |
| 23:01:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:01:37 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 23:03:00 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 23:06:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:07:38 | × | Buliarous quits (~gypsydang@46.232.210.139) (Ping timeout: 252 seconds) |
| 23:09:17 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 23:10:13 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 23:10:49 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 23:11:11 | × | Buliarous quits (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 23:11:40 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 23:12:33 | × | xff0x quits (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) (Quit: xff0x) |
| 23:13:40 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 23:16:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:21:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:21:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:22:49 | → | housemate_ joins (~housemate@pa49-185-168-48.pa.vic.optusnet.com.au) |
| 23:23:08 | × | housemate_ quits (~housemate@pa49-185-168-48.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 23:24:57 | × | housemate quits (~housemate@pa49-183-78-10.pa.vic.optusnet.com.au) (Ping timeout: 244 seconds) |
| 23:30:02 | × | euphores quits (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 23:30:47 | → | euphores joins (~SASL_euph@user/euphores) |
| 23:32:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:38:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:42:45 | × | philopsos quits (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 23:44:11 | → | xff0x joins (~xff0x@2405:6580:b080:900:fcda:45c6:b5b3:4ead) |
| 23:50:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:51:59 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:54:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:55:45 | → | dsrt^ joins (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
All times are in UTC on 2025-01-09.