| 2024-09-24 00:02:53 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-24 00:03:44 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2024-09-24 00:09:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 00:09:52 +0000 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-09-24 00:14:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 00:21:17 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-24 00:24:21 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2024-09-24 00:24:54 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-24 00:25:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 00:30:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 00:30:30 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b584:aeff:cd71:1980) (Ping timeout: 244 seconds) |
| 2024-09-24 00:31:24 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-24 00:41:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 00:46:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 00:54:54 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-09-24 00:56:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 01:01:40 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2024-09-24 01:01:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 01:02:06 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-24 01:02:51 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2024-09-24 01:02:54 +0000 | Guest43 | (~Guest83@ip72-220-26-89.sd.sd.cox.net) |
| 2024-09-24 01:03:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 01:04:44 +0000 | Guest43 | (~Guest83@ip72-220-26-89.sd.sd.cox.net) (Client Quit) |
| 2024-09-24 01:04:46 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2024-09-24 01:14:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-24 01:18:15 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-09-24 01:25:33 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-24 01:27:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-24 01:28:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 01:33:26 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-24 01:33:41 +0000 | califax | (~califax@user/califx) califx |
| 2024-09-24 01:33:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-24 01:36:11 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-24 01:44:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 01:49:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 01:50:00 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-24 01:50:27 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-24 02:00:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 02:03:50 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-24 02:05:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-24 02:08:15 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2024-09-24 02:08:45 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 276 seconds) |
| 2024-09-24 02:09:26 +0000 | biberu\ | (~biberu@user/biberu) biberu |
| 2024-09-24 02:09:43 +0000 | nefercheprure | (tma@twin.jikos.cz) TMA |
| 2024-09-24 02:09:43 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) barthandelous01 |
| 2024-09-24 02:10:56 +0000 | vgtw_ | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2024-09-24 02:10:56 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 2024-09-24 02:12:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 02:13:18 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 276 seconds) |
| 2024-09-24 02:13:18 +0000 | biberu\ | biberu |
| 2024-09-24 02:13:35 +0000 | madhavanmiui | (~madhavanm@2409:40f4:36:18af:8000::) |
| 2024-09-24 02:15:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 02:16:21 +0000 | madhavanmiui | (~madhavanm@2409:40f4:36:18af:8000::) (Client Quit) |
| 2024-09-24 02:18:20 +0000 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 265 seconds) |
| 2024-09-24 02:20:09 +0000 | td_ | (~td@i53870915.versanet.de) td_ |
| 2024-09-24 02:21:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 02:28:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-24 02:29:07 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-24 02:31:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 02:32:23 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-09-24 02:35:29 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 248 seconds) |
| 2024-09-24 02:36:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 02:37:19 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 02:39:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 02:39:58 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-24 02:40:31 +0000 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2024-09-24 02:41:10 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-09-24 02:44:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-24 02:47:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 02:47:54 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 252 seconds) |
| 2024-09-24 02:49:40 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 02:52:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-24 02:55:37 +0000 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2024-09-24 02:56:17 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-09-24 02:57:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 03:02:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-24 03:03:03 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-24 03:06:40 +0000 | user363627 | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2024-09-24 03:13:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 03:20:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 03:21:27 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
| 2024-09-24 03:23:23 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 03:30:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 03:35:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-24 03:38:30 +0000 | hueso | (~root@user/hueso) (Ping timeout: 252 seconds) |
| 2024-09-24 03:38:50 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-09-24 03:39:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-09-24 03:40:13 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-24 03:46:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 03:51:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 03:53:25 +0000 | aforemny_ | (~aforemny@2001:9e8:6cce:5500:5f4c:90e9:3663:cd7f) aforemny |
| 2024-09-24 03:54:31 +0000 | aforemny | (~aforemny@2001:9e8:6cf4:c300:4f5a:3b5d:ebdb:6aa8) (Ping timeout: 252 seconds) |
| 2024-09-24 03:57:15 +0000 | hueso | (~root@user/hueso) hueso |
| 2024-09-24 04:02:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 04:03:25 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-24 04:05:33 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-24 04:05:53 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
| 2024-09-24 04:07:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-24 04:18:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 04:23:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-24 04:23:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-24 04:33:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 04:39:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 04:46:51 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-24 04:49:11 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-09-24 04:49:11 +0000 | ChanServ | +v haskellbridge |
| 2024-09-24 04:49:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 04:53:28 +0000 | michalz | (~michalz@185.246.207.217) |
| 2024-09-24 04:54:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 04:58:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 04:58:51 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-24 05:03:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 05:14:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 05:14:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-09-24 05:22:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 05:22:47 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-24 05:26:59 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-24 05:30:09 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-24 05:33:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 05:39:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-24 05:40:23 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 245 seconds) |
| 2024-09-24 05:48:30 +0000 | lockywolf | (~lockywolf@public.lockywolf.net) lockywolf |
| 2024-09-24 05:49:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 05:52:31 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2024-09-24 05:54:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 05:59:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 06:04:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 06:05:38 +0000 | lystra | (~lystra@208.59.105.41) (Ping timeout: 272 seconds) |
| 2024-09-24 06:11:19 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-09-24 06:15:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 06:18:27 +0000 | lystra | (~lystra@208.59.105.41) lystra |
| 2024-09-24 06:20:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-24 06:21:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 06:26:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-24 06:37:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 06:42:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-24 06:44:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 06:46:33 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-24 06:49:05 +0000 | briandaed | (~root@185.234.210.211) (Quit: Lost terminal) |
| 2024-09-24 06:50:05 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-24 06:53:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 06:54:51 +0000 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-24 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Remote host closed the connection) |
| 2024-09-24 07:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-24 07:03:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 07:06:30 +0000 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Quit: CiaoSen) |
| 2024-09-24 07:07:23 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-09-24 07:07:23 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 252 seconds) |
| 2024-09-24 07:11:09 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-24 07:14:51 +0000 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-24 07:20:47 +0000 | misterfish | (~misterfis@87.215.131.102) misterfish |
| 2024-09-24 07:23:37 +0000 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2024-09-24 07:24:14 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2024-09-24 07:26:22 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb5784448b270f7e5b02.dip0.t-ipconnect.de) acidjnk |
| 2024-09-24 07:52:07 +0000 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-09-24 07:53:24 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-24 07:53:24 +0000 | synchromesh | (~john@2406:5a00:241a:5600:793d:2863:f8b8:724f) (Read error: Connection reset by peer) |
| 2024-09-24 07:54:17 +0000 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) synchromesh |
| 2024-09-24 07:54:17 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 07:55:12 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 276 seconds) |
| 2024-09-24 07:58:17 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-24 08:00:51 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 08:03:08 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-09-24 08:05:19 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-09-24 08:09:48 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 08:14:17 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-24 08:20:48 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-24 08:28:12 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-09-24 08:32:02 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-24 08:42:22 +0000 | euandreh | (~Thunderbi@189.6.105.228) (Ping timeout: 244 seconds) |
| 2024-09-24 08:44:24 +0000 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-09-24 08:46:09 +0000 | chele | (~chele@user/chele) chele |
| 2024-09-24 08:46:31 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-09-24 08:59:54 +0000 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-24 09:07:49 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2024-09-24 09:09:21 +0000 | foul_owl | (~kerry@185.219.141.162) (Ping timeout: 246 seconds) |
| 2024-09-24 09:13:51 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-24 09:14:10 +0000 | nefercheprure | TMA |
| 2024-09-24 09:21:55 +0000 | foul_owl | (~kerry@185.216.231.181) foul_owl |
| 2024-09-24 09:22:18 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-09-24 09:22:44 +0000 | foul_owl | (~kerry@185.216.231.181) (Read error: Connection reset by peer) |
| 2024-09-24 09:23:05 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-24 09:25:23 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-09-24 09:29:41 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-24 09:30:35 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 09:40:20 +0000 | foul_owl | (~kerry@185.219.141.164) foul_owl |
| 2024-09-24 09:42:51 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-09-24 09:43:01 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-24 09:44:20 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-24 10:01:25 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-09-24 10:02:07 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 10:03:18 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 245 seconds) |
| 2024-09-24 10:03:32 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-24 10:05:29 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-24 10:16:16 +0000 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-24 10:16:33 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 246 seconds) |
| 2024-09-24 10:16:58 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-09-24 10:21:06 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-24 10:29:41 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 10:37:13 +0000 | <sprout> | > f (a, b) = (f a, f b) |
| 2024-09-24 10:37:15 +0000 | <lambdabot> | <hint>:1:10: error: parse error on input ‘=’ |
| 2024-09-24 10:37:33 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-09-24 10:37:36 +0000 | <sprout> | > \f (a, b) -> (f a, f b) |
| 2024-09-24 10:37:38 +0000 | <lambdabot> | error: |
| 2024-09-24 10:37:38 +0000 | <lambdabot> | • No instance for (Typeable t0) |
| 2024-09-24 10:37:39 +0000 | <lambdabot> | arising from a use of ‘show_M26583726709348514278’ |
| 2024-09-24 10:38:10 +0000 | <ski> | @type \f (a,b) -> (f a,f b) |
| 2024-09-24 10:38:11 +0000 | <lambdabot> | (t -> b) -> (t, t) -> (b, b) |
| 2024-09-24 10:38:42 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 10:39:08 +0000 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2024-09-24 10:39:11 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-24 10:42:10 +0000 | yoneda | (~mike@193.206.102.122) |
| 2024-09-24 10:43:09 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-09-24 10:45:35 +0000 | Digitteknohippie | Digit |
| 2024-09-24 10:46:52 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 10:47:01 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 10:49:39 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2024-09-24 10:49:51 +0000 | ubert1 | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 10:51:53 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 10:52:13 +0000 | ubert1 | ubert |
| 2024-09-24 10:53:59 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-09-24 10:54:34 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 260 seconds) |
| 2024-09-24 10:56:12 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2024-09-24 10:56:29 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 11:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-24 11:00:17 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2024-09-24 11:01:05 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-09-24 11:02:20 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-24 11:13:23 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 11:31:03 +0000 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-24 11:36:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 11:37:00 +0000 | blah | (~user@i220-220-150-1.s41.a013.ap.plala.or.jp) |
| 2024-09-24 11:40:17 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 11:40:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 11:41:08 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-24 11:42:56 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-09-24 11:42:56 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-09-24 11:43:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 11:50:27 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-09-24 11:52:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-24 11:53:22 +0000 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2024-09-24 11:53:46 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-09-24 11:53:52 +0000 | euleritian | (~euleritia@dynamic-176-006-139-104.176.6.pool.telefonica.de) |
| 2024-09-24 11:55:22 +0000 | <tomsmeding> | @type \f -> bimap f f |
| 2024-09-24 11:55:23 +0000 | <lambdabot> | Bifunctor p => (a -> d) -> p a a -> p d d |
| 2024-09-24 11:56:51 +0000 | <tomsmeding> | @type join bimap |
| 2024-09-24 11:56:52 +0000 | <lambdabot> | Bifunctor p => (c -> d) -> p c c -> p d d |
| 2024-09-24 11:57:55 +0000 | <Rembane> | @type \f -> (f *** f) |
| 2024-09-24 11:57:56 +0000 | <lambdabot> | Arrow a => a b' c' -> a (b', b') (c', c') |
| 2024-09-24 11:58:00 +0000 | <Rembane> | :D |
| 2024-09-24 11:58:02 +0000 | <Rembane> | Sorry |
| 2024-09-24 11:58:06 +0000 | echoreply | (~echoreply@45.32.163.16) (Client Quit) |
| 2024-09-24 11:58:46 +0000 | <tomsmeding> | @type join (***) |
| 2024-09-24 11:58:47 +0000 | <lambdabot> | Arrow a => a b' c' -> a (b', b') (c', c') |
| 2024-09-24 11:59:24 +0000 | <Rembane> | Neat! |
| 2024-09-24 12:00:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 12:01:03 +0000 | euleritian | (~euleritia@dynamic-176-006-139-104.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-24 12:01:20 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 12:02:28 +0000 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) (Read error: Connection reset by peer) |
| 2024-09-24 12:03:53 +0000 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) synchromesh |
| 2024-09-24 12:04:05 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-09-24 12:05:41 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-09-24 12:06:05 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-24 12:09:42 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-09-24 12:10:02 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 12:24:21 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-09-24 12:26:12 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-09-24 12:27:24 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-24 12:27:30 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-09-24 12:32:17 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds) |
| 2024-09-24 12:47:46 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-09-24 12:48:45 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2024-09-24 12:53:35 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-24 12:54:09 +0000 | xff0x | (~xff0x@2405:6580:b080:900:dc1b:498c:28de:28be) |
| 2024-09-24 12:56:19 +0000 | identity` | (~identity@user/ZharMeny) identity |
| 2024-09-24 12:56:53 +0000 | identity | (~identity@user/ZharMeny) (Ping timeout: 248 seconds) |
| 2024-09-24 12:57:27 +0000 | identity` | identity |
| 2024-09-24 12:59:53 +0000 | Digitteknohippie | Digit |
| 2024-09-24 13:01:47 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-24 13:06:10 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-09-24 13:08:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 13:37:03 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 13:38:12 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2024-09-24 13:43:21 +0000 | adamCS__ | (~adamCS@70.107.91.225) |
| 2024-09-24 13:49:19 +0000 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
| 2024-09-24 13:56:41 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 255 seconds) |
| 2024-09-24 14:05:41 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-09-24 14:05:58 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 14:15:49 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-24 14:19:38 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-24 14:19:48 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-09-24 14:22:37 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2024-09-24 14:24:14 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2024-09-24 14:24:14 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-24 14:24:47 +0000 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-24 14:24:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 14:30:31 +0000 | <Athas> | Today I taught a lecture on free monads. I wonder if the students got any of it. |
| 2024-09-24 14:31:48 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2024-09-24 14:31:54 +0000 | ubert1 | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 14:34:13 +0000 | ubert1 | ubert |
| 2024-09-24 14:36:42 +0000 | <raehik> | I have two Words (say Word64). How can I efficiently find the index of the first pair of bytes that don't match? |
| 2024-09-24 14:37:19 +0000 | <raehik> | My intuition says to XOR the Words, then find the leftmost (or rightmost depending on endianness) null byte, for which there's an efficient algorithm out there |
| 2024-09-24 14:37:35 +0000 | <Athas> | raehik: for efficiency, it is probably best to have a kind of unrolled loop that compares all the eight byte pairs. |
| 2024-09-24 14:37:36 +0000 | <raehik> | I'm a little hesitant because I can't find any examples out there |
| 2024-09-24 14:38:29 +0000 | <Athas> | Or do the XOR comparison first, then extract the eight bytes. |
| 2024-09-24 14:39:03 +0000 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-24 14:39:11 +0000 | <raehik> | Athas: I'm trying to avoid single byte operations since they're inefficient (for my Word64) |
| 2024-09-24 14:39:19 +0000 | <raehik> | what do you mean "extract the eight bytes"? |
| 2024-09-24 14:41:30 +0000 | sdrfan123 | (~sdrfan123@2607:fb90:df8d:eacb:60ed:f19e:406e:c9e9) |
| 2024-09-24 14:44:05 +0000 | <Athas> | Well, if you want to avoid single byte operations, then it won't apply anyway. |
| 2024-09-24 14:44:19 +0000 | <raehik> | what won't apply? |
| 2024-09-24 14:45:05 +0000 | <raehik> | oh I think I see, extract those pairs and do some checks as in your earlier msg |
| 2024-09-24 14:45:35 +0000 | <glguy> | after you xor you'd want to find the number of leading zeros and then turn that into an index (divide it by 8) |
| 2024-09-24 14:45:55 +0000 | <c_wraith> | Data.Bits has countLeadingZeroes |
| 2024-09-24 14:47:34 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2024-09-24 14:49:38 +0000 | <raehik> | ahhh that's what I want glguy , c_wraith ! thanks |
| 2024-09-24 14:50:20 +0000 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) christiaanb |
| 2024-09-24 14:50:31 +0000 | <raehik> | also, any others experiencing hoogle.haskell.org issues? |
| 2024-09-24 14:57:05 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-09-24 15:02:49 +0000 | <tomsmeding> | raehik: also see: everything from here to the bottom of the page https://ircbrowse.tomsmeding.com/day/lchaskell/2024/09/23?id=1363304#trid1363304 |
| 2024-09-24 15:02:51 +0000 | <tomsmeding> | ;) |
| 2024-09-24 15:03:13 +0000 | <tomsmeding> | probie had some suggestions |
| 2024-09-24 15:03:24 +0000 | <tomsmeding> | and yes, hoogle is very slow recently |
| 2024-09-24 15:05:53 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-09-24 15:06:18 +0000 | <raehik> | tomsmeding: thx :o :D |
| 2024-09-24 15:06:48 +0000 | athan | (~athan@146.newark-18rh15rt.nj.dial-access.att.net) athan |
| 2024-09-24 15:12:59 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2024-09-24 15:16:29 +0000 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2024-09-24 15:16:36 +0000 | Digitteknohippie | Digit |
| 2024-09-24 15:18:11 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-24 15:20:40 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-24 15:30:41 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-24 15:30:54 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-24 15:40:31 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-24 15:51:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 15:55:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-24 15:57:32 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 15:59:01 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-24 15:59:31 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-09-24 16:00:57 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-24 16:03:54 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-09-24 16:04:18 +0000 | zlqrvx_ | (~zlqrvx@101.175.150.247) (Ping timeout: 252 seconds) |
| 2024-09-24 16:07:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 16:08:30 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-24 16:09:34 +0000 | <raehik> | re: idx of first non-match byte: > idxFail = ctz (wordExpect `xor` wordActual) `unsafeShiftR` 3 |
| 2024-09-24 16:10:09 +0000 | <raehik> | then to obtain the byte itself, > (wordActual `unsafeShiftR` (idxFail*8)) .&. 0xFF |
| 2024-09-24 16:13:21 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-09-24 16:14:03 +0000 | <raehik> | a bit longwinded but it lets me chunk literal parsing, while still performing fine-grained "which character failed" error handling |
| 2024-09-24 16:16:37 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-09-24 16:19:47 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-24 16:19:59 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-09-24 16:29:33 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-24 16:38:43 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-24 16:39:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 16:47:32 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-09-24 16:53:05 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-09-24 16:53:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 16:53:48 +0000 | euleritian | (~euleritia@dynamic-176-006-134-112.176.6.pool.telefonica.de) |
| 2024-09-24 16:57:53 +0000 | euleritian | (~euleritia@dynamic-176-006-134-112.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-24 16:58:12 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 16:59:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 16:59:33 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-09-24 17:00:00 +0000 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-24 17:00:16 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 17:07:14 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-24 17:07:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 17:07:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-24 17:10:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 17:10:59 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-24 17:11:23 +0000 | blah | (~user@i220-220-150-1.s41.a013.ap.plala.or.jp) (Read error: Connection reset by peer) |
| 2024-09-24 17:12:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-24 17:18:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 17:20:03 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2024-09-24 17:21:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-24 17:22:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 17:23:25 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-09-24 17:23:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-24 17:31:49 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-24 17:33:57 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.3.5) |
| 2024-09-24 17:34:19 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2024-09-24 17:34:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 17:38:06 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-24 17:38:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-24 17:39:56 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-24 17:39:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 17:40:38 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-24 17:44:52 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-09-24 17:44:57 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.3.5) |
| 2024-09-24 17:45:23 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2024-09-24 17:45:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-24 17:46:56 +0000 | sdrfan123 | (~sdrfan123@2607:fb90:df8d:eacb:60ed:f19e:406e:c9e9) (Quit: Client closed) |
| 2024-09-24 17:48:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-24 17:49:26 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2024-09-24 17:49:57 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2024-09-24 17:50:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 17:51:38 +0000 | athan | (~athan@146.newark-18rh15rt.nj.dial-access.att.net) (Ping timeout: 245 seconds) |
| 2024-09-24 17:53:08 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin) |
| 2024-09-24 17:55:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-24 17:55:18 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-24 17:56:48 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
| 2024-09-24 17:58:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 17:58:44 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 17:58:49 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-09-24 17:59:08 +0000 | <[exa]> | Athas: what did you use as examples btw? |
| 2024-09-24 17:59:26 +0000 | <[exa]> | btw hoogle seems very down recently |
| 2024-09-24 17:59:55 +0000 | <raehik> | for me too ;_; |
| 2024-09-24 18:03:01 +0000 | <geekosaur> | https://hoogle.mangoiv.com makes a good alternative, as does stackage's hoogle |
| 2024-09-24 18:03:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-24 18:07:18 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
| 2024-09-24 18:07:34 +0000 | <Athas> | [exa]: these ones: https://diku-dk.github.io/ap-notes/chapter_4.html |
| 2024-09-24 18:07:42 +0000 | <Athas> | Important examples were memoisation and async. |
| 2024-09-24 18:07:49 +0000 | <Athas> | And logging I guess. |
| 2024-09-24 18:07:52 +0000 | <Athas> | Nothing very fancy. |
| 2024-09-24 18:09:17 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 18:12:18 +0000 | <ski> | "This is an instance of "\higher-rank polymorphism\", where we abstract not over types , but type constructors ." -- no, this is just a higher-order type, it's not higher-rank at all |
| 2024-09-24 18:12:52 +0000 | <Athas> | That's right, that's a typo. |
| 2024-09-24 18:13:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 18:14:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 18:14:20 +0000 | <[exa]> | Athas: o nice |
| 2024-09-24 18:14:31 +0000 | <ski> | s/e by itself/f by itself/ |
| 2024-09-24 18:15:55 +0000 | <[exa]> | Athas: the fibs memo example is super nice |
| 2024-09-24 18:16:15 +0000 | <ski> | (if you think of `Functor' as a dictionary data type, then its data constructor would be higher-rank, yes. also, operations on higher-order data types would often be higher-rank (just as operations on parameterized data types would often be polymorphic, but that data type is still not itself polymorphic)) |
| 2024-09-24 18:19:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 18:21:10 +0000 | <[exa]> | Athas: I was explaining these once and kinda started with "join without actual join" and then I was mocking IO ("for the unit tests, if you'd ever want to do that") which went pretty well, I think people saw that as a very annoying thing in general so some relief was welcome |
| 2024-09-24 18:25:03 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-24 18:27:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 18:28:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-24 18:29:11 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-09-24 18:29:38 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) ft |
| 2024-09-24 18:29:41 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-24 18:29:48 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Client Quit) |
| 2024-09-24 18:30:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 18:30:33 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-24 18:33:01 +0000 | <Athas> | [exa]: my initial explanatio for why this was interesting was also as a more principled form of mocking. I just hope the students are sufficiently versed in software engineering to grasp that concept. Sadly, I doubt it. |
| 2024-09-24 18:34:22 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-24 18:34:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 18:41:01 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-09-24 18:41:47 +0000 | bsima- | bsima |
| 2024-09-24 18:41:55 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-24 18:41:57 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2024-09-24 18:42:42 +0000 | <[exa]> | Athas: well, I guess that if anyone wanted to learn, they managed. :) |
| 2024-09-24 18:43:31 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-09-24 18:44:26 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-24 18:45:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 18:49:54 +0000 | rvalue- | rvalue |
| 2024-09-24 18:50:41 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-24 18:50:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 18:56:32 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-24 18:57:25 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-09-24 19:00:00 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-24 19:00:39 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-24 19:01:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-24 19:01:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 19:03:40 +0000 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 265 seconds) |
| 2024-09-24 19:04:08 +0000 | AlexNoo | (~AlexNoo@178.34.162.53) (Ping timeout: 245 seconds) |
| 2024-09-24 19:06:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-24 19:07:01 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-24 19:08:14 +0000 | AlexNoo | (~AlexNoo@178.34.162.53) |
| 2024-09-24 19:09:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 19:09:30 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-24 19:13:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-24 19:17:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 19:18:34 +0000 | aforemny_ | (~aforemny@2001:9e8:6cce:5500:5f4c:90e9:3663:cd7f) (Ping timeout: 260 seconds) |
| 2024-09-24 19:22:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 19:23:10 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-24 19:23:30 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-24 19:24:39 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-09-24 19:27:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 19:29:49 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 260 seconds) |
| 2024-09-24 19:30:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 19:30:36 +0000 | barzo | (~barzo@2a02:ff0:220:b48d:30d2:5a7f:7f2e:47f4) barzo |
| 2024-09-24 19:31:20 +0000 | barzo | (~barzo@2a02:ff0:220:b48d:30d2:5a7f:7f2e:47f4) (Remote host closed the connection) |
| 2024-09-24 19:31:56 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-24 19:33:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 19:38:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 19:42:39 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-09-24 19:43:00 +0000 | lol_ | (~lol@2603:3016:1e01:b9e0:e851:abc9:7d40:8ecd) |
| 2024-09-24 19:43:31 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-09-24 19:44:19 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-24 19:44:32 +0000 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2024-09-24 19:44:57 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-24 19:47:09 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:556a:bf96:e167:c835) (Ping timeout: 260 seconds) |
| 2024-09-24 19:48:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 19:53:13 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-09-24 19:53:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-24 19:53:58 +0000 | <haskellbridge> | <thirdofmay18081814goya> is there an instance of cryptographic message-passing that is not modeled by: a message, a sender, a receiver, a channel, an encryption key, and a decryption key? |
| 2024-09-24 19:59:58 +0000 | <monochrom> | Does /dev/null count? >:) |
| 2024-09-24 20:00:11 +0000 | <monochrom> | "The data sink model" |
| 2024-09-24 20:00:23 +0000 | <haskellbridge> | <thirdofmay18081814goya> monochrom: will read up on that, ty |
| 2024-09-24 20:00:35 +0000 | <geekosaur> | *snicker* |
| 2024-09-24 20:03:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 20:04:11 +0000 | <[exa]> | thirdofmay18081814goya: stuff with ephemeral keys (DH-like) doesn't have exact enc/dec keys, and various groupy protocols get pretty wild in there (see partial homomorphic encryption) |
| 2024-09-24 20:04:39 +0000 | <monochrom> | Don't laugh, in education (and in business before they went paperless), secure destruction of exam papers is a thing to protect student privacy and avoid exam question leaks. Profs can put past exam papers into a locked box at the department; some company comes periodically to pick them up and shred them before sending to recycling. |
| 2024-09-24 20:04:41 +0000 | <haskellbridge> | <thirdofmay18081814goya> [exa]: ty for recs! |
| 2024-09-24 20:04:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 20:05:27 +0000 | <[exa]> | thirdofmay18081814goya btw sounded a bit like an XYZ question, any reason why you'd need such a messaging protocol? |
| 2024-09-24 20:06:08 +0000 | <haskellbridge> | <thirdofmay18081814goya> am just thinking about modeling security in a distributed system |
| 2024-09-24 20:06:12 +0000 | <[exa]> | monochrom: oh man |
| 2024-09-24 20:06:27 +0000 | <[exa]> | monochrom: we got exact protocol on retaining and then destroying the paper exams |
| 2024-09-24 20:06:40 +0000 | <[exa]> | there are folks who have whole cabinets of this stuff |
| 2024-09-24 20:07:27 +0000 | <[exa]> | thirdofmay18081814goya: ah so. good luck there. :D |
| 2024-09-24 20:07:40 +0000 | <[exa]> | (spoiler: secure distributed systems kinda emerge from doing everything right locally) |
| 2024-09-24 20:09:05 +0000 | Digitteknohippie | Digit |
| 2024-09-24 20:09:35 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-24 20:10:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 20:11:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-24 20:12:47 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2024-09-24 20:13:39 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) ft |
| 2024-09-24 20:14:52 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-09-24 20:22:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 20:22:26 +0000 | <monochrom> | There is also an oxymoron in "messaging but no message no sender no receiver". It's why I thought of /dev/null instinctly. |
| 2024-09-24 20:23:19 +0000 | <monochrom> | If a tree falls in a forest and no one is around to hear it, is it still a messaging system? >:) |
| 2024-09-24 20:26:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 20:28:58 +0000 | demcgovern | (~demcgover@216.106.58.132.reverse.socket.net) demcgovern |
| 2024-09-24 20:34:10 +0000 | <EvanR> | a tree with no defined operations |
| 2024-09-24 20:37:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 20:38:25 +0000 | <[exa]> | stuff that happened in RealWorld |
| 2024-09-24 20:42:10 +0000 | athan | (~athan@108.147.188.33) athan |
| 2024-09-24 20:42:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 20:46:10 +0000 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2024-09-24 20:53:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 20:54:05 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-24 20:54:42 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-24 20:56:46 +0000 | <EvanR> | stays in RealWorld |
| 2024-09-24 20:58:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-24 21:00:37 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 2024-09-24 21:02:07 +0000 | <geekosaur> | depends on whether you count the microbiome >.> |
| 2024-09-24 21:02:34 +0000 | <monochrom> | Haha didn't think of that. :) |
| 2024-09-24 21:02:47 +0000 | <Rembane> | Do microbiome hear? |
| 2024-09-24 21:03:03 +0000 | <geekosaur> | as vibration, yes |
| 2024-09-24 21:03:09 +0000 | <monochrom> | They certainly have multitudes of messaging systems. :) |
| 2024-09-24 21:05:05 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-24 21:05:07 +0000 | <Rembane> | Oh. Sweet! :D |
| 2024-09-24 21:05:56 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-24 21:07:10 +0000 | <EvanR> | the tree falling event's influence propagates out at the speed of light exerting causal influence on everything in the future light cone |
| 2024-09-24 21:07:55 +0000 | <EvanR> | so you really have to have a good alibi to claim "no one heard it" |
| 2024-09-24 21:08:13 +0000 | <monochrom> | I was in a Faraday cage. |
| 2024-09-24 21:08:39 +0000 | <EvanR> | I was in the LIGO detector |
| 2024-09-24 21:08:54 +0000 | <EvanR> | it takes a collision of black holes to get through into there |
| 2024-09-24 21:09:06 +0000 | <Rembane> | I slept, was drunk, and wasn't even there. It was his fault! |
| 2024-09-24 21:09:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 21:09:24 +0000 | <monochrom> | I was in a quantum computer, so nothing from the outside entangled with me. |
| 2024-09-24 21:09:45 +0000 | <EvanR> | are you kidding, those things are full of wormholes |
| 2024-09-24 21:10:05 +0000 | <monochrom> | Yeah but it was strictly an intranet. |
| 2024-09-24 21:10:30 +0000 | <monochrom> | I entangled with myself. Are you happy now? >:) |
| 2024-09-24 21:12:23 +0000 | <EvanR> | gross |
| 2024-09-24 21:12:56 +0000 | <Rembane> | Do you have iptables installed on your quantum computer? |
| 2024-09-24 21:14:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-24 21:14:39 +0000 | <darkling> | No need. You just have some observer give it a really hard stare every so often. |
| 2024-09-24 21:15:23 +0000 | <Rembane> | So everything collapses? |
| 2024-09-24 21:15:41 +0000 | <darkling> | It's the only way to be sure. |
| 2024-09-24 21:17:30 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-24 21:17:44 +0000 | <Rembane> | Safety first! |
| 2024-09-24 21:17:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-24 21:18:00 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 21:25:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 21:30:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-24 21:33:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-24 21:40:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 21:42:20 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 272 seconds) |
| 2024-09-24 21:43:36 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-09-24 21:43:42 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-24 21:45:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 21:46:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-24 21:49:40 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-24 21:51:23 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-24 21:56:12 +0000 | hgolden_ | (~hgolden@204.152.216.106) (Ping timeout: 252 seconds) |
| 2024-09-24 21:56:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 22:00:08 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-09-24 22:00:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-24 22:01:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 22:09:41 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-24 22:09:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-24 22:11:18 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-24 22:12:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 22:13:55 +0000 | itaipu | (~itaipu@168.121.98.63) (Ping timeout: 264 seconds) |
| 2024-09-24 22:15:06 +0000 | demcgovern | (~demcgover@216.106.58.132.reverse.socket.net) (Quit: Client closed) |
| 2024-09-24 22:22:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-24 22:23:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 22:27:03 +0000 | itaipu | (~itaipu@168.121.99.42) itaipu |
| 2024-09-24 22:28:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-24 22:29:03 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 22:38:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 22:39:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 22:43:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 22:44:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-24 22:46:14 +0000 | athan | (~athan@108.147.188.33) (Ping timeout: 260 seconds) |
| 2024-09-24 22:50:49 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-24 22:54:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 23:00:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-24 23:03:07 +0000 | marcux | (~marcux@177.139.77.85) |
| 2024-09-24 23:03:35 +0000 | marcux | (~marcux@177.139.77.85) (Changing host) |
| 2024-09-24 23:03:35 +0000 | marcux | (~marcux@user/marcux) marcux |
| 2024-09-24 23:08:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 23:10:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 23:13:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-24 23:14:08 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-24 23:15:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-24 23:16:56 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-09-24 23:16:56 +0000 | ljdarj1 | ljdarj |
| 2024-09-24 23:17:35 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb5784448b270f7e5b02.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-24 23:20:50 +0000 | marcux | (~marcux@user/marcux) (Remote host closed the connection) |
| 2024-09-24 23:20:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-24 23:21:37 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-09-24 23:23:46 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:3e09:7111:c63e:2d47) |
| 2024-09-24 23:25:21 +0000 | xff0x | (~xff0x@2405:6580:b080:900:dc1b:498c:28de:28be) (Ping timeout: 276 seconds) |
| 2024-09-24 23:26:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 23:28:49 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-24 23:30:28 +0000 | krei-se- | (~krei-se@p57af2362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-09-24 23:31:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-24 23:32:40 +0000 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
| 2024-09-24 23:36:24 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 276 seconds) |
| 2024-09-24 23:39:35 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-24 23:40:20 +0000 | euandreh | (~Thunderbi@189.6.105.228) (Ping timeout: 255 seconds) |
| 2024-09-24 23:40:53 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-09-24 23:42:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 23:42:36 +0000 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-09-24 23:42:52 +0000 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-09-24 23:44:35 +0000 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
| 2024-09-24 23:45:21 +0000 | <raehik> | Is there a way to force a type variable to be inferred, in a `data` declaration? |
| 2024-09-24 23:45:59 +0000 | <raehik> | I have `data Magic (a :: k) = Magic`, which is fine, but `:t Magic` gives `Magic :: forall k (a :: k). Magic a` |
| 2024-09-24 23:47:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-24 23:47:18 +0000 | <raehik> | Alternatively, can I do what I want with a pattern synonym? |
| 2024-09-24 23:47:33 +0000 | <geekosaur> | I'm not even sure what you want |
| 2024-09-24 23:47:35 +0000 | <Lears> | What /do/ you want, though? |
| 2024-09-24 23:47:50 +0000 | <geekosaur> | ^5 |
| 2024-09-24 23:48:14 +0000 | <raehik> | I want `Magic :: forall {k} (a :: k). Magic a` |
| 2024-09-24 23:48:36 +0000 | <raehik> | I want to force `k` to be inferred (because for my uses it will be) |
| 2024-09-24 23:48:45 +0000 | <Lears> | Perhaps GADTSyntax will allow it? |
| 2024-09-24 23:49:39 +0000 | <raehik> | hmm not sure how I would write it with GADT syntax (I don't use them much) |
| 2024-09-24 23:50:11 +0000 | <Lears> | `data Magic a where Magic :: forall {k} (a :: k). Magic a` |
| 2024-09-24 23:50:39 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
| 2024-09-24 23:50:44 +0000 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_applications.html#manually-def… which confirms it's only supported with GADTSyntax |
| 2024-09-24 23:52:06 +0000 | <geekosaur> | and gives an example thereof |
| 2024-09-24 23:52:33 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 23:53:38 +0000 | <raehik> | thank you very much Lears , geekosaur ! I simply never knew that and didn't find it with my googling |
| 2024-09-24 23:54:46 +0000 | <geekosaur> | it is kinda unfortunate that this isn't what one normally thinks of with "inferred" (type inference being the usual thing) |
| 2024-09-24 23:55:20 +0000 | <raehik> | the pattern synonym worked as well, I didn't know they were fine with foralls |
| 2024-09-24 23:55:40 +0000 | <geekosaur> | I personally think more of "visibility" than "inference" here |
| 2024-09-24 23:55:41 +0000 | <raehik> | but the GADT is perfect |
| 2024-09-24 23:55:57 +0000 | <raehik> | geekosaur: Yeah, agreed. I went by the name in the docs |
| 2024-09-24 23:57:22 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-24 23:57:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 23:58:35 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-24 23:58:59 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 265 seconds) |