2024/09/24

2024-09-24 00:00:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 00:02:38 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-09-24 00:04:19 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-24 00:04:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-24 00:04:37 +0200euleritian(~euleritia@dynamic-176-002-006-097.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-24 00:04:54 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-24 00:05:20 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:1ce7:a140:b870:c72c)
2024-09-24 00:08:23 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-09-24 00:10:43 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:1ce7:a140:b870:c72c) (Ping timeout: 256 seconds)
2024-09-24 00:11:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 00:13:18 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-09-24 00:16:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-24 00:27:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 00:30:13 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2024-09-24 00:30:25 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2024-09-24 00:31:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 00:33:40 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:1ce7:a140:b870:c72c)
2024-09-24 00:38:05 +0200athan(~athan@2600:381:e917:4f47:c94d:35e0:82e:9afa) (Ping timeout: 252 seconds)
2024-09-24 00:41:40 +0200acidjnk(~acidjnk@p200300d6e72cfb6581c435b27e22238d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-09-24 00:42:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 00:43:15 +0200st_aldini(~Thunderbi@136.48.22.91) (Remote host closed the connection)
2024-09-24 00:49:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-24 00:51:21 +0200st_aldini(~Thunderbi@136.48.22.91) st_aldini
2024-09-24 01:01:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 01:05:14 +0200raym(~ray@user/raym) (Ping timeout: 260 seconds)
2024-09-24 01:06:45 +0200raym(~ray@user/raym) raym
2024-09-24 01:10:32 +0200pavonia(~user@user/siracusa) siracusa
2024-09-24 01:11:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 01:11:26 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:1ce7:a140:b870:c72c) (Quit: Client closed)
2024-09-24 01:11:36 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-09-24 01:14:03 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-24 01:21:24 +0200 <sm> @where+ hfd https://www.youtube.com/playlist?list=PLu6SHDdOToSe7ZOw-mR55j2GEjkNTQgrd Haskell for Dilettantes beginner video lessons
2024-09-24 01:21:57 +0200 <geekosaur> were the control chars deliberate?
2024-09-24 01:22:14 +0200 <sm> definitely not..
2024-09-24 01:22:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 01:22:19 +0200 <sm> I used an irc client and everything
2024-09-24 01:22:22 +0200 <sm> @where+ hfd https://www.youtube.com/playlist?list=PLu6SHDdOToSe7ZOw-mR55j2GEjkNTQgrd Haskell for Dilettantes beginner video lessons
2024-09-24 01:22:22 +0200 <lambdabot> Nice!
2024-09-24 01:22:36 +0200 <sm> These are very very good
2024-09-24 01:24:02 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:28fb:ea27:7e6a:7c22)
2024-09-24 01:26:58 +0200sdrfan18(~sdrfan123@2607:fb90:df8d:eacb:beef:beef:beef:0)
2024-09-24 01:27:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 01:29:29 +0200sdrfan46(~sdrfan123@2607:fb90:df8d:eacb:4a2:2773:db9f:f92f)
2024-09-24 01:29:44 +0200td_(~td@i5387092E.versanet.de) (Ping timeout: 260 seconds)
2024-09-24 01:30:55 +0200sdrfan46(~sdrfan123@2607:fb90:df8d:eacb:4a2:2773:db9f:f92f) (Client Quit)
2024-09-24 01:31:07 +0200sdrfan13(~sdrfan123@2607:fb90:df8d:eacb:beef:15:f00d:abcd)
2024-09-24 01:31:11 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:28fb:ea27:7e6a:7c22) (Ping timeout: 256 seconds)
2024-09-24 01:32:39 +0200sdrfan13(~sdrfan123@2607:fb90:df8d:eacb:beef:15:f00d:abcd) (Client Quit)
2024-09-24 01:32:52 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:f58b:d898:4d6f:bff4)
2024-09-24 01:33:27 +0200sdrfan18(~sdrfan123@2607:fb90:df8d:eacb:beef:beef:beef:0) (Ping timeout: 256 seconds)
2024-09-24 01:38:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 01:42:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-24 01:48:54 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:f58b:d898:4d6f:bff4) (Quit: Client closed)
2024-09-24 01:51:35 +0200td_(~td@i5387093C.versanet.de)
2024-09-24 01:51:38 +0200TonyStone(~TonyStone@user/TonyStone) TonyStone
2024-09-24 01:56:51 +0200talisman`(~user@2601:644:937c:ed10::ae5) (Ping timeout: 252 seconds)
2024-09-24 02:02:53 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-09-24 02:03:44 +0200Pixi(~Pixi@user/pixi) Pixi
2024-09-24 02:09:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 02:09:52 +0200supercode(~supercode@user/supercode) (Quit: Client closed)
2024-09-24 02:14:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 02:21:17 +0200weary-traveler(~user@user/user363627) user363627
2024-09-24 02:24:21 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds)
2024-09-24 02:24:54 +0200sourcetarius(~sourcetar@user/sourcetarius) sourcetarius
2024-09-24 02:25:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 02:30:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 02:30:30 +0200xff0x(~xff0x@2405:6580:b080:900:b584:aeff:cd71:1980) (Ping timeout: 244 seconds)
2024-09-24 02:31:24 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2024-09-24 02:41:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 02:46:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 02:54:54 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds)
2024-09-24 02:56:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 03:01:40 +0200user363627(~user@user/user363627) user363627
2024-09-24 03:01:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 03:02:06 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-24 03:02:51 +0200ystael(~ystael@user/ystael) (Ping timeout: 246 seconds)
2024-09-24 03:02:54 +0200Guest43(~Guest83@ip72-220-26-89.sd.sd.cox.net)
2024-09-24 03:03:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-24 03:04:44 +0200Guest43(~Guest83@ip72-220-26-89.sd.sd.cox.net) (Client Quit)
2024-09-24 03:04:46 +0200weary-traveler(~user@user/user363627) (Ping timeout: 252 seconds)
2024-09-24 03:14:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-24 03:18:15 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-09-24 03:25:33 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-09-24 03:27:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-24 03:28:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 03:33:26 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-09-24 03:33:41 +0200califax(~califax@user/califx) califx
2024-09-24 03:33:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-24 03:36:11 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-24 03:44:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 03:49:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 03:50:00 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-09-24 03:50:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-09-24 04:00:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 04:03:50 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds)
2024-09-24 04:05:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-24 04:08:15 +0200vgtw(~vgtw@user/vgtw) vgtw
2024-09-24 04:08:45 +0200barthandelous01(barth@triton.blinkenshell.org) (Ping timeout: 276 seconds)
2024-09-24 04:09:26 +0200biberu\(~biberu@user/biberu) biberu
2024-09-24 04:09:43 +0200nefercheprure(tma@twin.jikos.cz) TMA
2024-09-24 04:09:43 +0200barthandelous01(barth@triton.blinkenshell.org) barthandelous01
2024-09-24 04:10:56 +0200vgtw_(~vgtw@user/vgtw) (Ping timeout: 252 seconds)
2024-09-24 04:10:56 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 252 seconds)
2024-09-24 04:12:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-24 04:13:18 +0200biberu(~biberu@user/biberu) (Ping timeout: 276 seconds)
2024-09-24 04:13:18 +0200biberu\biberu
2024-09-24 04:13:35 +0200madhavanmiui(~madhavanm@2409:40f4:36:18af:8000::)
2024-09-24 04:15:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 04:16:21 +0200madhavanmiui(~madhavanm@2409:40f4:36:18af:8000::) (Client Quit)
2024-09-24 04:18:20 +0200td_(~td@i5387093C.versanet.de) (Ping timeout: 265 seconds)
2024-09-24 04:20:09 +0200td_(~td@i53870915.versanet.de) td_
2024-09-24 04:21:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 04:28:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-24 04:29:07 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-24 04:31:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 04:32:23 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-09-24 04:35:29 +0200lucy(~lucy@user/lucy) (Ping timeout: 248 seconds)
2024-09-24 04:36:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 04:37:19 +0200lucy(~lucy@user/lucy) lucy
2024-09-24 04:39:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-24 04:39:58 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-09-24 04:40:31 +0200Square2(~Square4@user/square) (Remote host closed the connection)
2024-09-24 04:41:10 +0200Square2(~Square4@user/square) Square
2024-09-24 04:44:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-24 04:47:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 04:47:54 +0200lucy(~lucy@user/lucy) (Ping timeout: 252 seconds)
2024-09-24 04:49:40 +0200lucy(~lucy@user/lucy) lucy
2024-09-24 04:52:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-24 04:55:37 +0200Square2(~Square4@user/square) (Remote host closed the connection)
2024-09-24 04:56:17 +0200Square2(~Square4@user/square) Square
2024-09-24 04:57:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 05:02:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-24 05:03:03 +0200weary-traveler(~user@user/user363627) user363627
2024-09-24 05:06:40 +0200user363627(~user@user/user363627) (Ping timeout: 265 seconds)
2024-09-24 05:13:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 05:20:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 05:21:27 +0200lucy(~lucy@user/lucy) (Ping timeout: 246 seconds)
2024-09-24 05:23:23 +0200lucy(~lucy@user/lucy) lucy
2024-09-24 05:30:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 05:35:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-24 05:38:30 +0200hueso(~root@user/hueso) (Ping timeout: 252 seconds)
2024-09-24 05:38:50 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-09-24 05:39:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-09-24 05:40:13 +0200Lord_of_Life_Lord_of_Life
2024-09-24 05:46:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 05:51:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 05:53:25 +0200aforemny_(~aforemny@2001:9e8:6cce:5500:5f4c:90e9:3663:cd7f) aforemny
2024-09-24 05:54:31 +0200aforemny(~aforemny@2001:9e8:6cf4:c300:4f5a:3b5d:ebdb:6aa8) (Ping timeout: 252 seconds)
2024-09-24 05:57:15 +0200hueso(~root@user/hueso) hueso
2024-09-24 06:02:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 06:03:25 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-24 06:05:33 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-09-24 06:05:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) finn_elija
2024-09-24 06:07:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-24 06:18:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 06:23:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-24 06:23:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-24 06:33:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 06:39:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 06:46:51 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 246 seconds)
2024-09-24 06:49:11 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2024-09-24 06:49:11 +0200ChanServ+v haskellbridge
2024-09-24 06:49:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 06:53:28 +0200michalz(~michalz@185.246.207.217)
2024-09-24 06:54:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 06:58:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 06:58:51 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-24 07:03:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 07:14:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 07:14:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-09-24 07:22:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-24 07:22:47 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-24 07:26:59 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-09-24 07:30:09 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-24 07:33:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 07:39:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-24 07:40:23 +0200tomku(~tomku@user/tomku) (Ping timeout: 245 seconds)
2024-09-24 07:48:30 +0200lockywolf(~lockywolf@public.lockywolf.net) lockywolf
2024-09-24 07:49:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 07:52:31 +0200tomku(~tomku@user/tomku) tomku
2024-09-24 07:54:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 07:59:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 08:04:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-24 08:05:38 +0200lystra(~lystra@208.59.105.41) (Ping timeout: 272 seconds)
2024-09-24 08:11:19 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-09-24 08:15:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 08:18:27 +0200lystra(~lystra@208.59.105.41) lystra
2024-09-24 08:20:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-24 08:21:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 08:26:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-24 08:37:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 08:42:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-24 08:44:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-24 08:46:33 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-24 08:49:05 +0200briandaed(~root@185.234.210.211) (Quit: Lost terminal)
2024-09-24 08:50:05 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-09-24 08:53:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 08:54:51 +0200CiaoSen(~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen
2024-09-24 09:00:01 +0200caconym(~caconym@user/caconym) (Remote host closed the connection)
2024-09-24 09:00:38 +0200caconym(~caconym@user/caconym) caconym
2024-09-24 09:03:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-24 09:06:30 +0200CiaoSen(~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Quit: CiaoSen)
2024-09-24 09:07:23 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds)
2024-09-24 09:07:23 +0200sourcetarius(~sourcetar@user/sourcetarius) (Ping timeout: 252 seconds)
2024-09-24 09:11:09 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2024-09-24 09:14:51 +0200CiaoSen(~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen
2024-09-24 09:20:47 +0200misterfish(~misterfis@87.215.131.102) misterfish
2024-09-24 09:23:37 +0200mud(~mud@user/kadoban) (Read error: Connection reset by peer)
2024-09-24 09:24:14 +0200mud(~mud@user/kadoban) kadoban
2024-09-24 09:26:22 +0200acidjnk(~acidjnk@p200300d6e72cfb5784448b270f7e5b02.dip0.t-ipconnect.de) acidjnk
2024-09-24 09:52:07 +0200Inst_(~Inst@user/Inst) Inst
2024-09-24 09:53:24 +0200sourcetarius(~sourcetar@user/sourcetarius) sourcetarius
2024-09-24 09:53:24 +0200synchromesh(~john@2406:5a00:241a:5600:793d:2863:f8b8:724f) (Read error: Connection reset by peer)
2024-09-24 09:54:17 +0200synchromesh(~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) synchromesh
2024-09-24 09:54:17 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-24 09:55:12 +0200Inst(~Inst@user/Inst) (Ping timeout: 276 seconds)
2024-09-24 09:58:17 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-09-24 10:00:51 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert
2024-09-24 10:03:08 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-09-24 10:05:19 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2024-09-24 10:09:48 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-24 10:14:17 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-09-24 10:20:48 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-24 10:28:12 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2024-09-24 10:32:02 +0200ft(~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving)
2024-09-24 10:42:22 +0200euandreh(~Thunderbi@189.6.105.228) (Ping timeout: 244 seconds)
2024-09-24 10:44:24 +0200euandreh(~Thunderbi@189.6.105.228) euandreh
2024-09-24 10:46:09 +0200chele(~chele@user/chele) chele
2024-09-24 10:46:31 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2024-09-24 10:59:54 +0200CiaoSen(~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
2024-09-24 11:07:49 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
2024-09-24 11:09:21 +0200foul_owl(~kerry@185.219.141.162) (Ping timeout: 246 seconds)
2024-09-24 11:13:51 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-09-24 11:14:10 +0200nefercheprureTMA
2024-09-24 11:21:55 +0200foul_owl(~kerry@185.216.231.181) foul_owl
2024-09-24 11:22:18 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-09-24 11:22:44 +0200foul_owl(~kerry@185.216.231.181) (Read error: Connection reset by peer)
2024-09-24 11:23:05 +0200euleritian(~euleritia@77.22.252.56)
2024-09-24 11:25:23 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2024-09-24 11:29:41 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-24 11:30:35 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-24 11:40:20 +0200foul_owl(~kerry@185.219.141.164) foul_owl
2024-09-24 11:42:51 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-09-24 11:43:01 +0200euleritian(~euleritia@77.22.252.56)
2024-09-24 11:44:20 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds)
2024-09-24 12:01:25 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2024-09-24 12:02:07 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-24 12:03:18 +0200lucy(~lucy@user/lucy) (Ping timeout: 245 seconds)
2024-09-24 12:03:32 +0200sourcetarius(~sourcetar@user/sourcetarius) (Quit: sourcetarius)
2024-09-24 12:05:29 +0200__monty__(~toonn@user/toonn) toonn
2024-09-24 12:16:16 +0200CiaoSen(~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen
2024-09-24 12:16:33 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78) (Ping timeout: 246 seconds)
2024-09-24 12:16:58 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-09-24 12:21:06 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-09-24 12:29:41 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-24 12:37:13 +0200 <sprout> > f (a, b) = (f a, f b)
2024-09-24 12:37:15 +0200 <lambdabot> <hint>:1:10: error: parse error on input ‘=’
2024-09-24 12:37:33 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2024-09-24 12:37:36 +0200 <sprout> > \f (a, b) -> (f a, f b)
2024-09-24 12:37:38 +0200 <lambdabot> error:
2024-09-24 12:37:38 +0200 <lambdabot> • No instance for (Typeable t0)
2024-09-24 12:37:39 +0200 <lambdabot> arising from a use of ‘show_M26583726709348514278’
2024-09-24 12:38:10 +0200 <ski> @type \f (a,b) -> (f a,f b)
2024-09-24 12:38:11 +0200 <lambdabot> (t -> b) -> (t, t) -> (b, b)
2024-09-24 12:38:42 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-24 12:39:08 +0200Digit(~user@user/digit) (Ping timeout: 245 seconds)
2024-09-24 12:39:11 +0200Digitteknohippie(~user@user/digit) Digit
2024-09-24 12:42:10 +0200yoneda(~mike@193.206.102.122)
2024-09-24 12:43:09 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2024-09-24 12:45:35 +0200DigitteknohippieDigit
2024-09-24 12:46:52 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-24 12:47:01 +0200lucy(~lucy@user/lucy) lucy
2024-09-24 12:49:39 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2024-09-24 12:49:51 +0200ubert1(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert
2024-09-24 12:51:53 +0200comerijn(~merijn@77.242.116.146) merijn
2024-09-24 12:52:13 +0200ubert1ubert
2024-09-24 12:53:59 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-09-24 12:54:34 +0200lucy(~lucy@user/lucy) (Ping timeout: 260 seconds)
2024-09-24 12:56:12 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2024-09-24 12:56:29 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert
2024-09-24 13:00:04 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-24 13:00:17 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds)
2024-09-24 13:01:05 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 248 seconds)
2024-09-24 13:02:20 +0200caconym(~caconym@user/caconym) caconym
2024-09-24 13:13:23 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert
2024-09-24 13:31:03 +0200rosco(~rosco@175.136.158.234) rosco
2024-09-24 13:36:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-24 13:37:00 +0200blah(~user@i220-220-150-1.s41.a013.ap.plala.or.jp)
2024-09-24 13:40:17 +0200lucy(~lucy@user/lucy) lucy
2024-09-24 13:40:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-24 13:41:08 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-09-24 13:42:56 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-09-24 13:42:56 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-09-24 13:43:55 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-24 13:50:27 +0200stiell(~stiell@gateway/tor-sasl/stiell) stiell
2024-09-24 13:52:39 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-09-24 13:53:22 +0200echoreply(~echoreply@45.32.163.16) echoreply
2024-09-24 13:53:46 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-09-24 13:53:52 +0200euleritian(~euleritia@dynamic-176-006-139-104.176.6.pool.telefonica.de)
2024-09-24 13:55:22 +0200 <tomsmeding> @type \f -> bimap f f
2024-09-24 13:55:23 +0200 <lambdabot> Bifunctor p => (a -> d) -> p a a -> p d d
2024-09-24 13:56:51 +0200 <tomsmeding> @type join bimap
2024-09-24 13:56:52 +0200 <lambdabot> Bifunctor p => (c -> d) -> p c c -> p d d
2024-09-24 13:57:55 +0200 <Rembane> @type \f -> (f *** f)
2024-09-24 13:57:56 +0200 <lambdabot> Arrow a => a b' c' -> a (b', b') (c', c')
2024-09-24 13:58:00 +0200 <Rembane> :D
2024-09-24 13:58:02 +0200 <Rembane> Sorry
2024-09-24 13:58:06 +0200echoreply(~echoreply@45.32.163.16) (Client Quit)
2024-09-24 13:58:46 +0200 <tomsmeding> @type join (***)
2024-09-24 13:58:47 +0200 <lambdabot> Arrow a => a b' c' -> a (b', b') (c', c')
2024-09-24 13:59:24 +0200 <Rembane> Neat!
2024-09-24 14:00:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-24 14:01:03 +0200euleritian(~euleritia@dynamic-176-006-139-104.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-24 14:01:20 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-24 14:02:28 +0200synchromesh(~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) (Read error: Connection reset by peer)
2024-09-24 14:03:53 +0200synchromesh(~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) synchromesh
2024-09-24 14:04:05 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2024-09-24 14:05:41 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2024-09-24 14:06:05 +0200identity(~identity@user/ZharMeny) identity
2024-09-24 14:09:42 +0200rvalue(~rvalue@user/rvalue) rvalue
2024-09-24 14:10:02 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-24 14:24:21 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds)
2024-09-24 14:26:12 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-09-24 14:27:24 +0200Digitteknohippie(~user@user/digit) Digit
2024-09-24 14:27:30 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2024-09-24 14:32:17 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds)
2024-09-24 14:47:46 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2024-09-24 14:48:45 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2024-09-24 14:53:35 +0200weary-traveler(~user@user/user363627) user363627
2024-09-24 14:54:09 +0200xff0x(~xff0x@2405:6580:b080:900:dc1b:498c:28de:28be)
2024-09-24 14:56:19 +0200identity`(~identity@user/ZharMeny) identity
2024-09-24 14:56:53 +0200identity(~identity@user/ZharMeny) (Ping timeout: 248 seconds)
2024-09-24 14:57:27 +0200identity`identity
2024-09-24 14:59:53 +0200DigitteknohippieDigit
2024-09-24 15:01:47 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-24 15:06:10 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2024-09-24 15:08:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-24 15:37:03 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-24 15:38:12 +0200ystael(~ystael@user/ystael) ystael
2024-09-24 15:43:21 +0200adamCS__(~adamCS@70.107.91.225)
2024-09-24 15:49:19 +0200CiaoSen(~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds)
2024-09-24 15:56:41 +0200lucy(~lucy@user/lucy) (Ping timeout: 255 seconds)
2024-09-24 16:05:41 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2024-09-24 16:05:58 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-24 16:15:49 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-09-24 16:19:38 +0200Digitteknohippie(~user@user/digit) Digit
2024-09-24 16:19:48 +0200Digit(~user@user/digit) (Ping timeout: 246 seconds)
2024-09-24 16:22:37 +0200mud(~mud@user/kadoban) (Ping timeout: 252 seconds)
2024-09-24 16:24:14 +0200mud(~mud@user/kadoban) kadoban
2024-09-24 16:24:14 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-24 16:24:47 +0200CiaoSen(~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen
2024-09-24 16:24:50 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-24 16:30:31 +0200 <Athas> Today I taught a lecture on free monads. I wonder if the students got any of it.
2024-09-24 16:31:48 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Remote host closed the connection)
2024-09-24 16:31:54 +0200ubert1(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert
2024-09-24 16:34:13 +0200ubert1ubert
2024-09-24 16:36:42 +0200 <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 16:37:19 +0200 <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 16:37:35 +0200 <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 16:37:36 +0200 <raehik> I'm a little hesitant because I can't find any examples out there
2024-09-24 16:38:29 +0200 <Athas> Or do the XOR comparison first, then extract the eight bytes.
2024-09-24 16:39:03 +0200CiaoSen(~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
2024-09-24 16:39:11 +0200 <raehik> Athas: I'm trying to avoid single byte operations since they're inefficient (for my Word64)
2024-09-24 16:39:19 +0200 <raehik> what do you mean "extract the eight bytes"?
2024-09-24 16:41:30 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:60ed:f19e:406e:c9e9)
2024-09-24 16:44:05 +0200 <Athas> Well, if you want to avoid single byte operations, then it won't apply anyway.
2024-09-24 16:44:19 +0200 <raehik> what won't apply?
2024-09-24 16:45:05 +0200 <raehik> oh I think I see, extract those pairs and do some checks as in your earlier msg
2024-09-24 16:45:35 +0200 <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 16:45:55 +0200 <c_wraith> Data.Bits has countLeadingZeroes
2024-09-24 16:47:34 +0200tremon(~tremon@83.80.159.219) tremon
2024-09-24 16:49:38 +0200 <raehik> ahhh that's what I want glguy , c_wraith ! thanks
2024-09-24 16:50:20 +0200christiaanb(uid84827@id-84827.lymington.irccloud.com) christiaanb
2024-09-24 16:50:31 +0200 <raehik> also, any others experiencing hoogle.haskell.org issues?
2024-09-24 16:57:05 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2024-09-24 17:02:49 +0200 <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 17:02:51 +0200 <tomsmeding> ;)
2024-09-24 17:03:13 +0200 <tomsmeding> probie had some suggestions
2024-09-24 17:03:24 +0200 <tomsmeding> and yes, hoogle is very slow recently
2024-09-24 17:05:53 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 252 seconds)
2024-09-24 17:06:18 +0200 <raehik> tomsmeding: thx :o :D
2024-09-24 17:06:48 +0200athan(~athan@146.newark-18rh15rt.nj.dial-access.att.net) athan
2024-09-24 17:12:59 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2024-09-24 17:16:29 +0200yoneda(~mike@193.206.102.122) (Quit: leaving)
2024-09-24 17:16:36 +0200DigitteknohippieDigit
2024-09-24 17:18:11 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-09-24 17:20:40 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-24 17:30:41 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-24 17:30:54 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-24 17:40:31 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-24 17:51:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-24 17:55:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-24 17:57:32 +0200comerijn(~merijn@77.242.116.146) merijn
2024-09-24 17:59:01 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-09-24 17:59:31 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2024-09-24 18:00:57 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-24 18:03:54 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2024-09-24 18:04:18 +0200zlqrvx_(~zlqrvx@101.175.150.247) (Ping timeout: 252 seconds)
2024-09-24 18:07:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-24 18:08:30 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-09-24 18:09:34 +0200 <raehik> re: idx of first non-match byte: > idxFail = ctz (wordExpect `xor` wordActual) `unsafeShiftR` 3
2024-09-24 18:10:09 +0200 <raehik> then to obtain the byte itself, > (wordActual `unsafeShiftR` (idxFail*8)) .&. 0xFF
2024-09-24 18:13:21 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-09-24 18:14:03 +0200 <raehik> a bit longwinded but it lets me chunk literal parsing, while still performing fine-grained "which character failed" error handling
2024-09-24 18:16:37 +0200zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2024-09-24 18:19:47 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-09-24 18:19:59 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-09-24 18:29:33 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-09-24 18:38:43 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-24 18:39:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-24 18:47:32 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-09-24 18:53:05 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-09-24 18:53:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-24 18:53:48 +0200euleritian(~euleritia@dynamic-176-006-134-112.176.6.pool.telefonica.de)
2024-09-24 18:57:53 +0200euleritian(~euleritia@dynamic-176-006-134-112.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-24 18:58:12 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-24 18:59:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 18:59:33 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-09-24 19:00:00 +0200christiaanb(uid84827@id-84827.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-24 19:00:16 +0200lucy(~lucy@user/lucy) lucy
2024-09-24 19:07:14 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-09-24 19:07:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-24 19:07:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-24 19:10:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-24 19:10:59 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-09-24 19:11:23 +0200blah(~user@i220-220-150-1.s41.a013.ap.plala.or.jp) (Read error: Connection reset by peer)
2024-09-24 19:12:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-09-24 19:18:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 19:20:03 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 276 seconds)
2024-09-24 19:21:26 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-24 19:22:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-24 19:23:25 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-09-24 19:23:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-24 19:31:49 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-09-24 19:33:57 +0200sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.3.5)
2024-09-24 19:34:19 +0200sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101
2024-09-24 19:34:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 19:38:06 +0200rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-09-24 19:38:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-24 19:39:56 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-24 19:39:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 19:40:38 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-24 19:44:52 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Read error: Connection reset by peer)
2024-09-24 19:44:57 +0200sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.3.5)
2024-09-24 19:45:23 +0200sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101
2024-09-24 19:45:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-09-24 19:46:56 +0200sdrfan123(~sdrfan123@2607:fb90:df8d:eacb:60ed:f19e:406e:c9e9) (Quit: Client closed)
2024-09-24 19:48:06 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-09-24 19:49:26 +0200sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) (Read error: Connection reset by peer)
2024-09-24 19:49:57 +0200sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101
2024-09-24 19:50:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 19:51:38 +0200athan(~athan@146.newark-18rh15rt.nj.dial-access.att.net) (Ping timeout: 245 seconds)
2024-09-24 19:53:08 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin)
2024-09-24 19:55:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-24 19:55:18 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-24 19:56:48 +0200lucy(~lucy@user/lucy) (Ping timeout: 246 seconds)
2024-09-24 19:58:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 19:58:44 +0200lucy(~lucy@user/lucy) lucy
2024-09-24 19:58:49 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds)
2024-09-24 19:59:08 +0200 <[exa]> Athas: what did you use as examples btw?
2024-09-24 19:59:26 +0200 <[exa]> btw hoogle seems very down recently
2024-09-24 19:59:55 +0200 <raehik> for me too ;_;
2024-09-24 20:03:01 +0200 <geekosaur> https://hoogle.mangoiv.com makes a good alternative, as does stackage's hoogle
2024-09-24 20:03:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-24 20:07:18 +0200lucy(~lucy@user/lucy) (Ping timeout: 246 seconds)
2024-09-24 20:07:34 +0200 <Athas> [exa]: these ones: https://diku-dk.github.io/ap-notes/chapter_4.html
2024-09-24 20:07:42 +0200 <Athas> Important examples were memoisation and async.
2024-09-24 20:07:49 +0200 <Athas> And logging I guess.
2024-09-24 20:07:52 +0200 <Athas> Nothing very fancy.
2024-09-24 20:09:17 +0200lucy(~lucy@user/lucy) lucy
2024-09-24 20:12:18 +0200 <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 20:12:52 +0200 <Athas> That's right, that's a typo.
2024-09-24 20:13:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-24 20:14:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 20:14:20 +0200 <[exa]> Athas: o nice
2024-09-24 20:14:31 +0200 <ski> s/e by itself/f by itself/
2024-09-24 20:15:55 +0200 <[exa]> Athas: the fibs memo example is super nice
2024-09-24 20:16:15 +0200 <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 20:19:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-24 20:21:10 +0200 <[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 20:25:03 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-09-24 20:27:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-24 20:28:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-24 20:29:11 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye)
2024-09-24 20:29:38 +0200ft(~ft@p508db65d.dip0.t-ipconnect.de) ft
2024-09-24 20:29:41 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery
2024-09-24 20:29:48 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Client Quit)
2024-09-24 20:30:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 20:30:33 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery
2024-09-24 20:33:01 +0200 <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 20:34:22 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-24 20:34:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 20:41:01 +0200rvalue-(~rvalue@user/rvalue) rvalue
2024-09-24 20:41:47 +0200bsima-bsima
2024-09-24 20:41:55 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-24 20:41:57 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 248 seconds)
2024-09-24 20:42:42 +0200 <[exa]> Athas: well, I guess that if anyone wanted to learn, they managed. :)
2024-09-24 20:43:31 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-09-24 20:44:26 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-09-24 20:45:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 20:49:54 +0200rvalue-rvalue
2024-09-24 20:50:41 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-24 20:50:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-24 20:56:32 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-09-24 20:57:25 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds)
2024-09-24 21:00:00 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-24 21:00:39 +0200caconym(~caconym@user/caconym) caconym
2024-09-24 21:01:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-09-24 21:01:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 21:03:40 +0200AlexZenon(~alzenon@178.34.162.53) (Ping timeout: 265 seconds)
2024-09-24 21:04:08 +0200AlexNoo(~AlexNoo@178.34.162.53) (Ping timeout: 245 seconds)
2024-09-24 21:06:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-24 21:07:01 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-09-24 21:08:14 +0200AlexNoo(~AlexNoo@178.34.162.53)
2024-09-24 21:09:03 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-24 21:09:30 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-24 21:13:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-24 21:17:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 21:18:34 +0200aforemny_(~aforemny@2001:9e8:6cce:5500:5f4c:90e9:3663:cd7f) (Ping timeout: 260 seconds)
2024-09-24 21:22:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 21:23:10 +0200weary-traveler(~user@user/user363627) user363627
2024-09-24 21:23:30 +0200AlexZenon(~alzenon@178.34.162.53)
2024-09-24 21:24:39 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2024-09-24 21:27:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-24 21:29:49 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 260 seconds)
2024-09-24 21:30:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-24 21:30:36 +0200barzo(~barzo@2a02:ff0:220:b48d:30d2:5a7f:7f2e:47f4) barzo
2024-09-24 21:31:20 +0200barzo(~barzo@2a02:ff0:220:b48d:30d2:5a7f:7f2e:47f4) (Remote host closed the connection)
2024-09-24 21:31:56 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-09-24 21:33:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 21:38:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 21:42:39 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2024-09-24 21:43:00 +0200lol_(~lol@2603:3016:1e01:b9e0:e851:abc9:7d40:8ecd)
2024-09-24 21:43:31 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2024-09-24 21:44:19 +0200Digitteknohippie(~user@user/digit) Digit
2024-09-24 21:44:32 +0200Digit(~user@user/digit) (Ping timeout: 255 seconds)
2024-09-24 21:44:57 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds)
2024-09-24 21:47:09 +0200jcarpenter2(~lol@2603:3016:1e01:b9e0:556a:bf96:e167:c835) (Ping timeout: 260 seconds)
2024-09-24 21:48:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 21:53:13 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-09-24 21:53:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-24 21:53:58 +0200 <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 21:59:58 +0200 <monochrom> Does /dev/null count? >:)
2024-09-24 22:00:11 +0200 <monochrom> "The data sink model"
2024-09-24 22:00:23 +0200 <haskellbridge> <thirdofmay18081814goya> monochrom: will read up on that, ty
2024-09-24 22:00:35 +0200 <geekosaur> *snicker*
2024-09-24 22:03:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-24 22:04:11 +0200 <[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 22:04:39 +0200 <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 22:04:41 +0200 <haskellbridge> <thirdofmay18081814goya> [exa]: ty for recs!
2024-09-24 22:04:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 22:05:27 +0200 <[exa]> thirdofmay18081814goya btw sounded a bit like an XYZ question, any reason why you'd need such a messaging protocol?
2024-09-24 22:06:08 +0200 <haskellbridge> <thirdofmay18081814goya> am just thinking about modeling security in a distributed system
2024-09-24 22:06:12 +0200 <[exa]> monochrom: oh man
2024-09-24 22:06:27 +0200 <[exa]> monochrom: we got exact protocol on retaining and then destroying the paper exams
2024-09-24 22:06:40 +0200 <[exa]> there are folks who have whole cabinets of this stuff
2024-09-24 22:07:27 +0200 <[exa]> thirdofmay18081814goya: ah so. good luck there. :D
2024-09-24 22:07:40 +0200 <[exa]> (spoiler: secure distributed systems kinda emerge from doing everything right locally)
2024-09-24 22:09:05 +0200DigitteknohippieDigit
2024-09-24 22:09:35 +0200ft(~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving)
2024-09-24 22:10:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 22:11:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-09-24 22:12:47 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 265 seconds)
2024-09-24 22:13:39 +0200ft(~ft@p508db65d.dip0.t-ipconnect.de) ft
2024-09-24 22:14:52 +0200cyphase(~cyphase@user/cyphase) cyphase
2024-09-24 22:22:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 22:22:26 +0200 <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 22:23:19 +0200 <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 22:26:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-24 22:28:58 +0200demcgovern(~demcgover@216.106.58.132.reverse.socket.net) demcgovern
2024-09-24 22:34:10 +0200 <EvanR> a tree with no defined operations
2024-09-24 22:37:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 22:38:25 +0200 <[exa]> stuff that happened in RealWorld
2024-09-24 22:42:10 +0200athan(~athan@108.147.188.33) athan
2024-09-24 22:42:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-24 22:46:10 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2024-09-24 22:53:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 22:54:05 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-24 22:54:42 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-09-24 22:56:46 +0200 <EvanR> stays in RealWorld
2024-09-24 22:58:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-24 23:00:37 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds)
2024-09-24 23:02:07 +0200 <geekosaur> depends on whether you count the microbiome >.>
2024-09-24 23:02:34 +0200 <monochrom> Haha didn't think of that. :)
2024-09-24 23:02:47 +0200 <Rembane> Do microbiome hear?
2024-09-24 23:03:03 +0200 <geekosaur> as vibration, yes
2024-09-24 23:03:09 +0200 <monochrom> They certainly have multitudes of messaging systems. :)
2024-09-24 23:05:05 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-24 23:05:07 +0200 <Rembane> Oh. Sweet! :D
2024-09-24 23:05:56 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2024-09-24 23:07:10 +0200 <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 23:07:55 +0200 <EvanR> so you really have to have a good alibi to claim "no one heard it"
2024-09-24 23:08:13 +0200 <monochrom> I was in a Faraday cage.
2024-09-24 23:08:39 +0200 <EvanR> I was in the LIGO detector
2024-09-24 23:08:54 +0200 <EvanR> it takes a collision of black holes to get through into there
2024-09-24 23:09:06 +0200 <Rembane> I slept, was drunk, and wasn't even there. It was his fault!
2024-09-24 23:09:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 23:09:24 +0200 <monochrom> I was in a quantum computer, so nothing from the outside entangled with me.
2024-09-24 23:09:45 +0200 <EvanR> are you kidding, those things are full of wormholes
2024-09-24 23:10:05 +0200 <monochrom> Yeah but it was strictly an intranet.
2024-09-24 23:10:30 +0200 <monochrom> I entangled with myself. Are you happy now? >:)
2024-09-24 23:12:23 +0200 <EvanR> gross
2024-09-24 23:12:56 +0200 <Rembane> Do you have iptables installed on your quantum computer?
2024-09-24 23:14:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-24 23:14:39 +0200 <darkling> No need. You just have some observer give it a really hard stare every so often.
2024-09-24 23:15:23 +0200 <Rembane> So everything collapses?
2024-09-24 23:15:41 +0200 <darkling> It's the only way to be sure.
2024-09-24 23:17:30 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-09-24 23:17:44 +0200 <Rembane> Safety first!
2024-09-24 23:17:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-24 23:18:00 +0200ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert
2024-09-24 23:25:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 23:30:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-24 23:33:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-09-24 23:40:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-24 23:42:20 +0200lucy(~lucy@user/lucy) (Ping timeout: 272 seconds)
2024-09-24 23:43:36 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2024-09-24 23:43:42 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-24 23:45:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-24 23:46:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-24 23:49:40 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-09-24 23:51:23 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-09-24 23:56:12 +0200hgolden_(~hgolden@204.152.216.106) (Ping timeout: 252 seconds)
2024-09-24 23:56:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn