2025/01/09

Newest at the top

2025-01-09 07:18:27 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2025-01-09 07:12:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-09 07:09:37 +0100housemate(~housemate@pa49-199-197-80.pa.vic.optusnet.com.au) housemate
2025-01-09 07:08:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 06:58:07 +0100 <EvanR> or there's some kind of language feature to kind of help like mutable variables
2025-01-09 06:57:42 +0100 <EvanR> where it's like, not as inconvenient to just write almost the same code over again, and less people complain about it XD
2025-01-09 06:57:03 +0100 <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
2025-01-09 06:56:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-09 06:49:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 06:38:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-09 06:30:43 +0100housemate(~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) (Read error: Connection reset by peer)
2025-01-09 06:30:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 06:28:54 +0100michalz(~michalz@185.246.207.221)
2025-01-09 06:24:58 +0100YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:cec4:708e:faa4:70c5) youngfrog
2025-01-09 06:24:37 +0100YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2025-01-09 06:24:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-09 06:19:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 06:16:25 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-09 06:11:26 +0100talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2025-01-09 06:08:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-09 06:03:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 05:59:27 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-09 05:53:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-09 05:52:38 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-01-09 05:48:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 05:35:17 +0100hueso(~root@user/hueso) hueso
2025-01-09 05:31:29 +0100hueso(~root@user/hueso) (Quit: hueso)
2025-01-09 05:30:15 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-01-09 05:29:30 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-01-09 05:26:45 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-01-09 05:26:14 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-01-09 05:24:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-09 05:19:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 05:15:56 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-01-09 05:15:01 +0100 <hololeap> it's also a desugared version of what OrPatterns+ViewPatterns would do
2025-01-09 05:13:27 +0100 <hololeap> kind of a duh moment
2025-01-09 05:13:15 +0100 <hololeap> I think I see now what to do here (use a shared function but normalize the two types so there is no Either)
2025-01-09 05:09:13 +0100nkatte(~nkatte@user/nkatte) (Quit: nkatte)
2025-01-09 05:08:59 +0100gdr3941`(~user@50.234.116.5) (Quit: done)
2025-01-09 05:08:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-09 05:01:42 +0100housemate(~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) housemate
2025-01-09 05:01:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 05:00:53 +0100user363627(~user@user/user363627) (Ping timeout: 248 seconds)
2025-01-09 04:58:45 +0100gdr3941(~user@50.234.116.5) (Ping timeout: 248 seconds)
2025-01-09 04:57:40 +0100nkatte(~nkatte@user/nkatte) nkatte
2025-01-09 04:57:03 +0100weary-traveler(~user@user/user363627) user363627
2025-01-09 04:56:20 +0100nkatte(~nkatte@user/nkatte) (Quit: nkatte)
2025-01-09 04:55:50 +0100gdr3941`(~user@50.234.116.5)
2025-01-09 04:55:02 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds)
2025-01-09 04:50:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)