| 2024-11-05 00:07:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 00:10:10 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-11-05 00:11:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 00:14:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-05 00:15:54 +0100 | ocra8 | (ocra8@user/ocra8) ocra8 |
| 2024-11-05 00:15:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-05 00:16:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 00:17:42 +0100 | acidjnk | (~acidjnk@p200300d6e7283f93159bb6576a1c8c4b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-11-05 00:19:20 +0100 | emfrom | (~emfrom@37.169.23.60) (Remote host closed the connection) |
| 2024-11-05 00:20:03 +0100 | emfrom | (~emfrom@37.169.23.60) |
| 2024-11-05 00:22:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 00:27:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 00:27:22 +0100 | emfrom | (~emfrom@37.169.23.60) (Remote host closed the connection) |
| 2024-11-05 00:29:20 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2024-11-05 00:37:27 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-05 00:38:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 00:40:48 +0100 | roosterphant_ | (~roosterph@185.21.217.76) |
| 2024-11-05 00:41:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-11-05 00:41:14 +0100 | ljdarj1 | ljdarj |
| 2024-11-05 00:41:22 +0100 | roosterphant | (~roosterph@185.21.217.76) (Ping timeout: 252 seconds) |
| 2024-11-05 00:41:29 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2024-11-05 00:42:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 00:43:24 +0100 | hgolden_ | (~hgolden@23.162.40.69) hgolden |
| 2024-11-05 00:45:45 +0100 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 252 seconds) |
| 2024-11-05 00:47:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-05 00:49:10 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-05 00:51:53 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2024-11-05 00:53:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 00:56:42 +0100 | <haskellbridge> | <zwro> monochrom: main = print 1 |
| 2024-11-05 01:00:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-05 01:05:51 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-11-05 01:11:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 01:13:26 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-05 01:16:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 01:17:40 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-05 01:23:47 +0100 | xff0x | (~xff0x@2405:6580:b080:900:26bf:a0f9:b4d:93d8) (Ping timeout: 265 seconds) |
| 2024-11-05 01:24:34 +0100 | rini | (~rini@user/rini) (Ping timeout: 260 seconds) |
| 2024-11-05 01:25:36 +0100 | rini | (~rini@user/rini) rini |
| 2024-11-05 01:26:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 01:31:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-05 01:37:25 +0100 | sprotte24 | (~sprotte24@p200300d16f3c620054c3529ac9abaeb8.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-05 01:37:56 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-11-05 01:39:02 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-05 01:42:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 01:46:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-05 01:48:04 +0100 | sroso | (~sroso@user/SrOso) SrOso |
| 2024-11-05 01:50:24 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-11-05 01:54:48 +0100 | jess | (meow@libera/staff/cat/jess) (Quit: Lost terminal) |
| 2024-11-05 01:57:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 02:02:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-05 02:02:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-05 02:04:38 +0100 | jess | (meow@libera/staff/cat/jess) jess |
| 2024-11-05 02:10:52 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-05 02:12:16 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-05 02:13:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 02:14:00 +0100 | <sclv> | Inst: servant has a special helper just for your use case of exposing a directory https://hackage.haskell.org/package/servant-server-0.20.2/docs/Servant-Server-StaticFiles.html#v:s… |
| 2024-11-05 02:16:43 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 2024-11-05 02:17:08 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2024-11-05 02:18:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 02:20:36 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-05 02:26:56 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-11-05 02:28:13 +0100 | madhavanmiui | (~madhavanm@152.58.212.143) |
| 2024-11-05 02:28:16 +0100 | madhavanmiui | (~madhavanm@152.58.212.143) (Client Quit) |
| 2024-11-05 02:29:08 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-05 02:29:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 02:29:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-11-05 02:30:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-05 02:39:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-05 02:48:14 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-05 02:48:18 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-05 02:48:57 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-11-05 02:50:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-05 02:50:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 02:52:22 +0100 | rvalue- | rvalue |
| 2024-11-05 02:52:38 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-11-05 02:55:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-05 03:06:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 03:10:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 03:13:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-05 03:15:31 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-05 03:18:25 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-05 03:21:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 03:26:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-05 03:31:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 03:34:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-11-05 03:35:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-05 03:36:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-05 03:37:49 +0100 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-11-05 03:39:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-11-05 03:40:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 03:43:23 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Quit: Leaving...) |
| 2024-11-05 03:51:35 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-11-05 03:52:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 03:53:51 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-11-05 03:56:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-05 03:59:25 +0100 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
| 2024-11-05 04:01:51 +0100 | hgolden_ | (~hgolden@23.162.40.69) (Ping timeout: 252 seconds) |
| 2024-11-05 04:07:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 04:14:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 04:25:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 04:28:15 +0100 | <arahael> | I'm attempting to install haskell on debian trixie. However, ghcup installs the wrong version. |
| 2024-11-05 04:28:32 +0100 | <arahael> | It's installing the version for bookworm instead. |
| 2024-11-05 04:30:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-05 04:38:57 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 2024-11-05 04:41:06 +0100 | <geekosaur> | afaict there isn't one for trixie |
| 2024-11-05 04:41:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 04:41:26 +0100 | <arahael> | Hmm, so I should stick with the distro-provided ghc and cabal et al. |
| 2024-11-05 04:41:49 +0100 | <arahael> | Or use distrobox and get myself setup with bookworm I guess. |
| 2024-11-05 04:42:13 +0100 | <geekosaur> | there are two debian distributions in the ghcup metadata from what I saw, if neither is compatible then you'll have to file a bug about getting a compatible build |
| 2024-11-05 04:42:19 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-05 04:42:19 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-11-05 04:42:35 +0100 | <arahael> | What are those two debians? |
| 2024-11-05 04:43:04 +0100 | <arahael> | I suppose it's possible ghcup don't want to support a testing release until it's properly released as stable? |
| 2024-11-05 04:43:10 +0100 | <geekosaur> | I see "< 10" and ">= 10" |
| 2024-11-05 04:43:26 +0100 | <arahael> | That's... Interesting. |
| 2024-11-05 04:43:53 +0100 | <arahael> | By contrast, I saw that ghcup instructed me to install packages that no-longer exist, and tried to install for version 11. |
| 2024-11-05 04:43:59 +0100 | <arahael> | (And I'm on version 12 - trixie) |
| 2024-11-05 04:44:00 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-11-05 04:45:33 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 252 seconds) |
| 2024-11-05 04:45:46 +0100 | <geekosaur> | sorry, once I get to a modern version it's three (<10, 10, >=11) |
| 2024-11-05 04:45:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-05 04:46:29 +0100 | <arahael> | Ah, that makes sense again, then. |
| 2024-11-05 04:46:45 +0100 | <arahael> | I could give it a go, regardless, and try the 'bookworm' version. |
| 2024-11-05 04:49:20 +0100 | <arahael> | Ah, it seems to be a little inconsistent - some of the packages are for bookworm, and some are for trixie. |
| 2024-11-05 04:49:53 +0100 | <arahael> | ghci> putStrLn "Hello World!" |
| 2024-11-05 04:49:55 +0100 | <arahael> | Hello World! |
| 2024-11-05 04:49:57 +0100 | <arahael> | All good! |
| 2024-11-05 04:53:33 +0100 | td_ | (~td@i53870904.versanet.de) (Ping timeout: 265 seconds) |
| 2024-11-05 04:54:55 +0100 | td_ | (~td@i53870915.versanet.de) |
| 2024-11-05 04:57:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 05:02:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 05:13:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 05:16:55 +0100 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Ping timeout: 264 seconds) |
| 2024-11-05 05:17:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-05 05:28:27 +0100 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2024-11-05 05:28:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 05:34:54 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-05 05:36:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 05:47:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 05:54:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-05 06:03:23 +0100 | nandv | (~nandv@2405:201:5c16:135:44cd:556f:6094:4e46) |
| 2024-11-05 06:05:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 06:10:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 06:21:53 +0100 | nandv | (~nandv@2405:201:5c16:135:44cd:556f:6094:4e46) (Ping timeout: 248 seconds) |
| 2024-11-05 06:25:21 +0100 | litharge | (litharge@libera/bot/litharge) (*.net *.split) |
| 2024-11-05 06:25:21 +0100 | td_ | (~td@i53870915.versanet.de) (*.net *.split) |
| 2024-11-05 06:25:21 +0100 | jess | (meow@libera/staff/cat/jess) (*.net *.split) |
| 2024-11-05 06:25:21 +0100 | roosterphant_ | (~roosterph@185.21.217.76) (*.net *.split) |
| 2024-11-05 06:25:21 +0100 | weary-traveler | (~user@user/user363627) (*.net *.split) |
| 2024-11-05 06:25:21 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2024-11-05 06:25:22 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2024-11-05 06:25:22 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (*.net *.split) |
| 2024-11-05 06:25:23 +0100 | hololeap | (~quassel@user/hololeap) (*.net *.split) |
| 2024-11-05 06:25:23 +0100 | guygastineau | (~guygastin@137.184.131.156) (*.net *.split) |
| 2024-11-05 06:25:23 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (*.net *.split) |
| 2024-11-05 06:25:23 +0100 | igemnace | (~igemnace@user/igemnace) (*.net *.split) |
| 2024-11-05 06:25:23 +0100 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split) |
| 2024-11-05 06:25:23 +0100 | Techcable | (sid534393@user/Techcable) (*.net *.split) |
| 2024-11-05 06:25:23 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 2024-11-05 06:25:23 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | orcus | (~orcus@mail.brprice.uk) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | krei-se | (~krei-se@p5085d46e.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | berberman | (~berberman@user/berberman) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | nckhexen | (nckx@libera/staff/owl/nckx) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | Vajb | (~Vajb@n7m8bu6eaitlx0eukg2-1.v6.elisa-mobile.fi) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split) |
| 2024-11-05 06:25:24 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | Moyst__ | (~moyst@user/moyst) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | yushyin | (Uxh5EO4c9E@karif.server-speed.net) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | rini | (~rini@user/rini) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | Digitteknohippie | (~user@user/digit) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | alphazone_ | (~alphazone@2.219.56.221) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | alp | (~alp@2001:861:e3d6:8f80:8ee1:f46d:3f90:227c) (*.net *.split) |
| 2024-11-05 06:25:25 +0100 | Leary | (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 2024-11-05 06:25:26 +0100 | Eoco | (~ian@128.101.131.218) (*.net *.split) |
| 2024-11-05 06:25:26 +0100 | JamesMowery43 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (*.net *.split) |
| 2024-11-05 06:25:26 +0100 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2024-11-05 06:25:26 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (*.net *.split) |
| 2024-11-05 06:25:26 +0100 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
| 2024-11-05 06:25:26 +0100 | img | (~img@user/img) (*.net *.split) |
| 2024-11-05 06:25:26 +0100 | Pozyomka | (~pyon@user/pyon) (*.net *.split) |
| 2024-11-05 06:25:27 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split) |
| 2024-11-05 06:25:27 +0100 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
| 2024-11-05 06:25:27 +0100 | ACuriousMoose | (~ACuriousM@156.34.161.188) (*.net *.split) |
| 2024-11-05 06:25:27 +0100 | pandeyan | (~pandeyan@135-180-52-227.fiber.dynamic.sonic.net) (*.net *.split) |
| 2024-11-05 06:25:27 +0100 | jrm | (~jrm@user/jrm) (*.net *.split) |
| 2024-11-05 06:25:27 +0100 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | Typedfern | (~Typedfern@59.red-83-37-27.dynamicip.rima-tde.net) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | mewra | (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | haveo | (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | Rembane | (~Rembane@user/Rembane) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | hovsater | (sid499516@user/hovsater) (*.net *.split) |
| 2024-11-05 06:25:28 +0100 | buhman | (sid411355@user/buhman) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | Hecate | (~mariposa@user/hecate) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | mniip_ | (mniip@libera/staff/mniip) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | Hafydd | (~Hafydd@user/hafydd) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | ouroboros | (~ouroboros@user/ouroboros) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | lbseale_ | (~quassel@user/ep1ctetus) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | ent-_ | (entgod@kapsi.fi) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | ringo_ | (~ringo@157.230.117.128) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | tok | (da65c7b04b@user/tok) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (*.net *.split) |
| 2024-11-05 06:25:29 +0100 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
| 2024-11-05 06:25:30 +0100 | flocks | (~flocks@134.122.90.60) (*.net *.split) |
| 2024-11-05 06:25:30 +0100 | coldtom | (~coldtom@coldrick.cc) (*.net *.split) |
| 2024-11-05 06:25:30 +0100 | finsternis | (~X@23.226.237.192) (*.net *.split) |
| 2024-11-05 06:25:30 +0100 | arkeet | (~arkeet@moriya.ca) (*.net *.split) |
| 2024-11-05 06:25:30 +0100 | sm | (~znc@plaintextaccounting/sm) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | bsima | (~bsima@143.198.118.179) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | crazazy | (~crazazy@tilde.town) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | masterbuilder | (~quassel@user/masterbuilder) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2024-11-05 06:25:31 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | bcksl | (~bcksl@user/bcksl) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | acro | (~acro@user/acro) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | teesquare_ | (~teesquare@user/teesquare) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | Patternmaster | (~georg@user/Patternmaster) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2024-11-05 06:25:32 +0100 | bgamari | (~bgamari@64.223.233.64) (*.net *.split) |
| 2024-11-05 06:25:33 +0100 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2024-11-05 06:25:33 +0100 | beaky | (~beaky@198.211.118.219) (*.net *.split) |
| 2024-11-05 06:25:33 +0100 | ncf | (~n@monade.li) (*.net *.split) |
| 2024-11-05 06:25:33 +0100 | ChanServ | (ChanServ@services.libera.chat) (*.net *.split) |
| 2024-11-05 06:25:51 +0100 | Sgeo_ | (~Sgeo@ool-45759c8b.dyn.optonline.net) |
| 2024-11-05 06:26:06 +0100 | ChanServ | (ChanServ@services.libera.chat) |
| 2024-11-05 06:26:06 +0100 | litharge | (litharge@libera/bot/litharge) litharge |
| 2024-11-05 06:26:06 +0100 | mercury.libera.chat | +o ChanServ |
| 2024-11-05 06:26:36 +0100 | biberu\ | (~biberu@user/biberu) biberu |
| 2024-11-05 06:26:55 +0100 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) Ram-Z |
| 2024-11-05 06:27:04 +0100 | samhh | 082AAS5CR |
| 2024-11-05 06:27:08 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-05 06:27:08 +0100 | mauke | (~mauke@user/mauke) mauke |
| 2024-11-05 06:27:08 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2024-11-05 06:27:08 +0100 | ouroboros | (~ouroboros@user/ouroboros) ouroboros |
| 2024-11-05 06:27:08 +0100 | peutri | (~peutri@bobo.desast.re) peutri |
| 2024-11-05 06:27:08 +0100 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn |
| 2024-11-05 06:27:08 +0100 | lbseale_ | (~quassel@user/ep1ctetus) ep1ctetus |
| 2024-11-05 06:27:08 +0100 | ent-_ | (entgod@kapsi.fi) ent |
| 2024-11-05 06:27:08 +0100 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2024-11-05 06:27:08 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-11-05 06:27:08 +0100 | tok | (da65c7b04b@user/tok) tok |
| 2024-11-05 06:27:08 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2024-11-05 06:27:08 +0100 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2024-11-05 06:27:08 +0100 | flocks | (~flocks@134.122.90.60) flocks |
| 2024-11-05 06:27:08 +0100 | coldtom | (~coldtom@coldrick.cc) coldtom |
| 2024-11-05 06:27:08 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2024-11-05 06:27:08 +0100 | arkeet | (~arkeet@moriya.ca) arkeet |
| 2024-11-05 06:27:08 +0100 | sm | (~znc@plaintextaccounting/sm) sm |
| 2024-11-05 06:27:08 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) mhatta |
| 2024-11-05 06:27:08 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2024-11-05 06:27:08 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) Fangs |
| 2024-11-05 06:27:08 +0100 | cheater | (~Username@user/cheater) cheater |
| 2024-11-05 06:27:08 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2024-11-05 06:27:08 +0100 | bsima | (~bsima@143.198.118.179) bsima |
| 2024-11-05 06:27:08 +0100 | crazazy | (~crazazy@tilde.town) crazazy |
| 2024-11-05 06:27:08 +0100 | masterbuilder | (~quassel@user/masterbuilder) masterbuilder |
| 2024-11-05 06:27:08 +0100 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2024-11-05 06:27:08 +0100 | Athas | (athas@sigkill.dk) Athas |
| 2024-11-05 06:27:08 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2024-11-05 06:27:08 +0100 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2024-11-05 06:27:08 +0100 | edwardk | (sid47016@haskell/developer/edwardk) edwardk |
| 2024-11-05 06:27:08 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) saolsen |
| 2024-11-05 06:27:08 +0100 | acro | (~acro@user/acro) acro |
| 2024-11-05 06:27:08 +0100 | cjay | (cjay@nerdbox.nerd2nerd.org) cjay |
| 2024-11-05 06:27:08 +0100 | teesquare_ | (~teesquare@user/teesquare) teesquare |
| 2024-11-05 06:27:08 +0100 | ncf | (~n@monade.li) ncf |
| 2024-11-05 06:27:08 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2024-11-05 06:27:08 +0100 | liskin | (~liskin@xmonad/liskin) Liskni_si |
| 2024-11-05 06:27:08 +0100 | Patternmaster | (~georg@user/Patternmaster) Patternmaster |
| 2024-11-05 06:27:08 +0100 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2024-11-05 06:27:08 +0100 | bgamari | (~bgamari@64.223.233.64) bgamari |
| 2024-11-05 06:27:08 +0100 | landonf | (landonf@mac68k.info) |
| 2024-11-05 06:27:08 +0100 | beaky | (~beaky@198.211.118.219) beaky |
| 2024-11-05 06:27:35 +0100 | finsternis | (~X@23.226.237.192) (Max SendQ exceeded) |
| 2024-11-05 06:27:36 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 243 seconds) |
| 2024-11-05 06:27:48 +0100 | rini | (~rini@user/rini) rini |
| 2024-11-05 06:27:48 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-05 06:27:48 +0100 | alp | (~alp@2001:861:e3d6:8f80:8ee1:f46d:3f90:227c) |
| 2024-11-05 06:27:48 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-11-05 06:27:48 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
| 2024-11-05 06:27:48 +0100 | JamesMowery43 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-11-05 06:27:48 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2024-11-05 06:27:48 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-11-05 06:27:48 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-11-05 06:27:48 +0100 | img | (~img@user/img) img |
| 2024-11-05 06:27:48 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2024-11-05 06:27:48 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-11-05 06:27:48 +0100 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2024-11-05 06:27:48 +0100 | ACuriousMoose | (~ACuriousM@156.34.161.188) ACuriousMoose |
| 2024-11-05 06:27:48 +0100 | pandeyan | (~pandeyan@135-180-52-227.fiber.dynamic.sonic.net) |
| 2024-11-05 06:27:48 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2024-11-05 06:27:48 +0100 | swistak | (~swistak@185.21.216.141) |
| 2024-11-05 06:27:48 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2024-11-05 06:27:48 +0100 | Typedfern | (~Typedfern@59.red-83-37-27.dynamicip.rima-tde.net) typedfern |
| 2024-11-05 06:27:48 +0100 | mewra | (~aranea@wireguard/contributorcat/mira) aranea |
| 2024-11-05 06:27:48 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2024-11-05 06:27:48 +0100 | haveo | (~weechat@pacamara.iuwt.fr) haveo |
| 2024-11-05 06:27:48 +0100 | Rembane | (~Rembane@user/Rembane) Rembane |
| 2024-11-05 06:27:48 +0100 | tnks | (sid412124@id-412124.helmsley.irccloud.com) tnks |
| 2024-11-05 06:27:48 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) NemesisD |
| 2024-11-05 06:27:48 +0100 | hovsater | (sid499516@user/hovsater) hovsater |
| 2024-11-05 06:27:48 +0100 | buhman | (sid411355@user/buhman) buhman |
| 2024-11-05 06:27:48 +0100 | Hecate | (~mariposa@user/hecate) Hecate |
| 2024-11-05 06:27:48 +0100 | mniip_ | (mniip@libera/staff/mniip) mniip |
| 2024-11-05 06:27:48 +0100 | mercury.libera.chat | +v haskellbridge |
| 2024-11-05 06:27:54 +0100 | briandaed | (~root@185.234.210.211) |
| 2024-11-05 06:28:11 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2024-11-05 06:28:25 +0100 | td_ | (~td@i53870915.versanet.de) td_ |
| 2024-11-05 06:28:25 +0100 | jess | (meow@libera/staff/cat/jess) jess |
| 2024-11-05 06:28:25 +0100 | roosterphant_ | (~roosterph@185.21.217.76) |
| 2024-11-05 06:28:25 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-05 06:28:25 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-11-05 06:28:25 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-11-05 06:28:25 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-11-05 06:28:25 +0100 | hololeap | (~quassel@user/hololeap) hololeap |
| 2024-11-05 06:28:25 +0100 | guygastineau | (~guygastin@137.184.131.156) RMSBach |
| 2024-11-05 06:28:25 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-11-05 06:28:25 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-11-05 06:28:25 +0100 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding |
| 2024-11-05 06:28:25 +0100 | Techcable | (sid534393@user/Techcable) Techcable |
| 2024-11-05 06:28:25 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2024-11-05 06:28:25 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2024-11-05 06:28:25 +0100 | orcus | (~orcus@mail.brprice.uk) |
| 2024-11-05 06:28:25 +0100 | krei-se | (~krei-se@p5085d46e.dip0.t-ipconnect.de) krei-se |
| 2024-11-05 06:28:25 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2024-11-05 06:28:25 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2024-11-05 06:28:25 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2024-11-05 06:28:25 +0100 | nckhexen | (nckx@libera/staff/owl/nckx) nckx |
| 2024-11-05 06:28:25 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2024-11-05 06:28:25 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) dunj3 |
| 2024-11-05 06:28:25 +0100 | Vajb | (~Vajb@n7m8bu6eaitlx0eukg2-1.v6.elisa-mobile.fi) |
| 2024-11-05 06:28:25 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2024-11-05 06:28:25 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) b20n |
| 2024-11-05 06:28:25 +0100 | Moyst__ | (~moyst@user/moyst) Moyst |
| 2024-11-05 06:28:25 +0100 | c_wraith | (~c_wraith@adjoint.us) c_wraith |
| 2024-11-05 06:28:25 +0100 | yushyin | (Uxh5EO4c9E@karif.server-speed.net) yushyin |
| 2024-11-05 06:28:25 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2024-11-05 06:28:34 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-11-05 06:28:48 +0100 | Me-me | (~me-me@kc.randomserver.name) (Changing host) |
| 2024-11-05 06:28:48 +0100 | Me-me | (~me-me@user/me-me) Me-me |
| 2024-11-05 06:28:50 +0100 | igemnace | (~igemnace@user/igemnace) (Max SendQ exceeded) |
| 2024-11-05 06:28:50 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2024-11-05 06:29:13 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-11-05 06:29:59 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 255 seconds) |
| 2024-11-05 06:29:59 +0100 | biberu\ | biberu |
| 2024-11-05 06:31:33 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-11-05 06:32:15 +0100 | Techcable | (sid534393@user/Techcable) (Ping timeout: 252 seconds) |
| 2024-11-05 06:33:24 +0100 | Techcable | (sid534393@user/Techcable) Techcable |
| 2024-11-05 06:33:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 06:33:51 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2024-11-05 06:35:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-05 06:35:35 +0100 | litharge | (litharge@libera/bot/litharge) (Ping timeout: 630 seconds) |
| 2024-11-05 06:35:40 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-11-05 06:36:19 +0100 | litharge | (litharge@libera/bot/litharge) litharge |
| 2024-11-05 06:38:01 +0100 | FinnBoat | (~user@29.118.67.37.rev.sfr.net) |
| 2024-11-05 06:40:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-05 06:42:14 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-05 06:43:02 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-11-05 06:46:08 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2024-11-05 06:46:52 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-11-05 06:47:49 +0100 | nandv | (~nandv@2405:201:5c16:135:e925:789:fa7f:2328) |
| 2024-11-05 06:48:30 +0100 | byte | (~byte@149.28.222.189) (Ping timeout: 252 seconds) |
| 2024-11-05 06:48:36 +0100 | natoshi-sakamoto | (~natoshi-s@2405:201:5c16:135:7459:cd00:c885:3805) |
| 2024-11-05 06:49:58 +0100 | alp | (~alp@2001:861:e3d6:8f80:8ee1:f46d:3f90:227c) (Ping timeout: 272 seconds) |
| 2024-11-05 06:51:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 06:53:06 +0100 | byte | (~byte@149.28.222.189) |
| 2024-11-05 06:56:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-05 06:57:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2024-11-05 07:04:20 +0100 | FinnBoat | (~user@29.118.67.37.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-05 07:06:34 +0100 | euleritian | (~euleritia@dynamic-176-007-145-160.176.7.pool.telefonica.de) |
| 2024-11-05 07:07:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 07:07:34 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2024-11-05 07:09:29 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-05 07:09:48 +0100 | nandv | (~nandv@2405:201:5c16:135:e925:789:fa7f:2328) (Ping timeout: 276 seconds) |
| 2024-11-05 07:11:03 +0100 | euleritian | (~euleritia@dynamic-176-007-145-160.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-11-05 07:11:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 07:14:14 +0100 | frxi | (~frxi@49.36.234.228) |
| 2024-11-05 07:14:34 +0100 | euleritian | (~euleritia@dynamic-176-006-131-070.176.6.pool.telefonica.de) |
| 2024-11-05 07:22:19 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-05 07:22:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 07:23:28 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-05 07:23:42 +0100 | euleritian | (~euleritia@dynamic-176-006-131-070.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-11-05 07:24:31 +0100 | euleritian | (~euleritia@dynamic-176-000-012-045.176.0.pool.telefonica.de) |
| 2024-11-05 07:28:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-05 07:30:03 +0100 | Sgeo_ | (~Sgeo@ool-45759c8b.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-11-05 07:32:56 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2024-11-05 07:33:12 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
| 2024-11-05 07:34:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 07:35:53 +0100 | natoshi-sakamoto | (~natoshi-s@2405:201:5c16:135:7459:cd00:c885:3805) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2024-11-05 07:35:57 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:7459:cd00:c885:3805) |
| 2024-11-05 07:36:11 +0100 | frxi | (~frxi@49.36.234.228) (Remote host closed the connection) |
| 2024-11-05 07:37:29 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-11-05 07:39:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 07:39:20 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) mulk |
| 2024-11-05 07:50:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-05 07:54:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-05 07:58:48 +0100 | acidjnk | (~acidjnk@p200300d6e7283f86fde9f223924bb8a1.dip0.t-ipconnect.de) acidjnk |
| 2024-11-05 08:02:53 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2024-11-05 08:15:38 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-05 08:23:30 +0100 | l-Shane-l | (~l-Shane-l@171.33.234.132) |
| 2024-11-05 08:27:24 +0100 | hgolden_ | (~hgolden@169.150.203.36) hgolden |
| 2024-11-05 08:29:58 +0100 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 252 seconds) |
| 2024-11-05 08:38:24 +0100 | l-Shane-l | (~l-Shane-l@171.33.234.132) (Quit: Client closed) |
| 2024-11-05 08:44:58 +0100 | l-Shane-l | (~l-Shane-l@user/l-Shane-l) l-Shane-l |
| 2024-11-05 08:46:19 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-11-05 08:47:08 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-05 08:47:43 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) |
| 2024-11-05 08:51:13 +0100 | abyss | (~nandv@185.107.56.128) |
| 2024-11-05 08:54:07 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) (Ping timeout: 264 seconds) |
| 2024-11-05 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-05 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-05 09:06:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-05 09:06:20 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) misterfish |
| 2024-11-05 09:07:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-05 09:07:34 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-11-05 09:08:58 +0100 | l-Shane-l | (~l-Shane-l@user/l-Shane-l) (Quit: Client closed) |
| 2024-11-05 09:09:22 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-05 09:14:00 +0100 | simendsjo | (~user@79.161.5.185) |
| 2024-11-05 09:24:05 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) |
| 2024-11-05 09:25:42 +0100 | abyss | (~nandv@185.107.56.128) (Ping timeout: 252 seconds) |
| 2024-11-05 09:25:44 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-11-05 09:25:56 +0100 | simendsjo | (~user@79.161.5.185) (Ping timeout: 255 seconds) |
| 2024-11-05 09:27:36 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-05 09:27:57 +0100 | alp | (~alp@static-176-175-89-30.ftth.abo.bbox.fr) |
| 2024-11-05 09:28:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-05 09:33:48 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-11-05 09:34:09 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-11-05 09:38:39 +0100 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2024-11-05 09:46:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 09:48:31 +0100 | euleritian | (~euleritia@dynamic-176-000-012-045.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-05 09:48:47 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-05 09:48:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 09:58:30 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-05 10:04:27 +0100 | enikar | (~enikar@user/enikar) (Quit: WeeChat 3.0) |
| 2024-11-05 10:04:43 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2024-11-05 10:05:14 +0100 | abyss | (~nandv@37.19.205.154) |
| 2024-11-05 10:08:33 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) (Ping timeout: 276 seconds) |
| 2024-11-05 10:08:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-05 10:08:39 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-05 10:09:06 +0100 | <Inst> | is Text `Either` Bool cancerous? |
| 2024-11-05 10:09:13 +0100 | <Inst> | or is it an actually acceptable use of Haskell syntax? |
| 2024-11-05 10:10:02 +0100 | <Inst> | also, where's the config for default fixity / precedence when you backtick a function? |
| 2024-11-05 10:11:09 +0100 | <kaol> | I get "Illegal term-level use of the type constructor or class ‘Either’" when I try anything like that. |
| 2024-11-05 10:13:22 +0100 | <Leary> | Type level or not doesn't make a difference; infix is fine iff the identifier is suitably named. "a `Or` b" would be fine, but "a `Either` b" isn't. |
| 2024-11-05 10:13:44 +0100 | <Leary> | Anyway, you can always just `type (+) = Either`. |
| 2024-11-05 10:15:30 +0100 | <tomsmeding> | arahael: I guess ghcup doesn't provide versions for newer distro versions because 1. the older ones work and 2. fewer distribution artifacts lightens the load on release managers / CI infra etc. :) |
| 2024-11-05 10:19:24 +0100 | <geekosaur> | last I heard Julian was doing his own builds on the default channel, so I imagine adding extra ones would be even more work for him. (The vanilla channel contains upstream-provided builds.) |
| 2024-11-05 10:19:28 +0100 | <Inst> | I heard people complaining about `type ($) a b = a b |
| 2024-11-05 10:20:03 +0100 | <geekosaur> | how much of that is complaining about `($)` in general? |
| 2024-11-05 10:20:15 +0100 | <Inst> | kaol: try :k instead of :t |
| 2024-11-05 10:20:51 +0100 | <Inst> | I don't know, but tbh anti-parens crusade, and the ridiculously we do with crazy stuff like do bulleting |
| 2024-11-05 10:21:03 +0100 | <Inst> | *riduculousness |
| 2024-11-05 10:21:19 +0100 | <geekosaur> | anyway I think it's acceptable to the compiler (at type level, of course) but it makes code harder to read |
| 2024-11-05 10:21:36 +0100 | <Inst> | Haskell 98 apparently defaults to infixl 9, section seems missing in Haskell 2010, though |
| 2024-11-05 10:22:04 +0100 | <geekosaur> | I strongly prefer to save operator syntax for things that are actually operator-like |
| 2024-11-05 10:22:27 +0100 | <haskellbridge> | <hellwolf> I think there is beauty in '$ <$> <$ $> <_> <_ *> >>= >=> <=<` |
| 2024-11-05 10:22:38 +0100 | <haskellbridge> | <hellwolf> * >=< |
| 2024-11-05 10:22:46 +0100 | <haskellbridge> | <hellwolf> * "$ \<$> \<$ $> \<_\> \<_ \*> >>= >=\< \<=\<\" |
| 2024-11-05 10:22:53 +0100 | <haskellbridge> | <hellwolf> * <$> <$ $> <_> <_ *> >>= >=< <=<" |
| 2024-11-05 10:23:12 +0100 | <geekosaur> | https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-820004.4.2 |
| 2024-11-05 10:23:15 +0100 | <haskellbridge> | <hellwolf> * "$, <$>, <$, $>, <_>, <_, *>, >>=, >=<, |
| 2024-11-05 10:23:27 +0100 | <haskellbridge> | <hellwolf> * <*, |
| 2024-11-05 10:23:42 +0100 | <haskellbridge> | <hellwolf> * >=>, |
| 2024-11-05 10:23:55 +0100 | <geekosaur> | ugh, those edits are cancer IRC-side |
| 2024-11-05 10:24:09 +0100 | <haskellbridge> | <hellwolf> sorry, I forget this is IRC channel, I was aware of it. |
| 2024-11-05 10:24:28 +0100 | <tomsmeding> | (isn't "cancer" a bit overblown?) |
| 2024-11-05 10:24:46 +0100 | haskellbridge | hellwolf slaps myself with a large trout in good old IRC fashion |
| 2024-11-05 10:24:46 +0100 | <Inst> | (.) doesn't seem to work that well on type level, though |
| 2024-11-05 10:24:47 +0100 | <Inst> | sorry |
| 2024-11-05 10:24:53 +0100 | <tomsmeding> | (though yes it's ugly and fairly unreadable sometimes) |
| 2024-11-05 10:25:05 +0100 | <tomsmeding> | Inst: it's called Compose |
| 2024-11-05 10:25:06 +0100 | <Inst> | the problem is that Either is supposed to be the standard sum type |
| 2024-11-05 10:25:09 +0100 | <Inst> | ah |
| 2024-11-05 10:25:13 +0100 | <tomsmeding> | but it's a newtype |
| 2024-11-05 10:25:14 +0100 | <geekosaur> | it's too overloaded, I suspect, especially given `forall …. .` |
| 2024-11-05 10:25:51 +0100 | <arahael> | tomsmeding: That does make sense. Was just a bit confusing. |
| 2024-11-05 10:25:52 +0100 | <tomsmeding> | in general, in haskell, if a type synonym / family thing doesn't work too well in haskell, an extra newtype layer often fixes things |
| 2024-11-05 10:25:52 +0100 | <haskellbridge> | <hellwolf> "(.)" |
| 2024-11-05 10:25:52 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/KtvFpYdPnvlljZESVtlFKcjB/LggDqDvOMGc (7 lines) |
| 2024-11-05 10:25:58 +0100 | geekosaur | needs to try to go back to bed |
| 2024-11-05 10:26:04 +0100 | <haskellbridge> | <hellwolf> I alwsy remember when Edward Kmett blew my mind with those combinators |
| 2024-11-05 10:26:21 +0100 | <tomsmeding> | hellwolf: (.) = fmap, so (.) . (.) = fmap fmap fmap |
| 2024-11-05 10:26:30 +0100 | <Inst> | good luck, and don't stress too much today, it'll be over when it's over, and it's over in 4-8 years afterwards anyways |
| 2024-11-05 10:27:03 +0100 | Digitteknohippie | Digit |
| 2024-11-05 10:27:03 +0100 | <haskellbridge> | <hellwolf> no, (.) != fmap. I just double checked with hoogle ;) |
| 2024-11-05 10:27:30 +0100 | <tomsmeding> | :t (.) . (.) |
| 2024-11-05 10:27:31 +0100 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2024-11-05 10:27:33 +0100 | <tomsmeding> | :t fmap fmap fmap |
| 2024-11-05 10:27:34 +0100 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 2024-11-05 10:27:35 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-05 10:27:36 +0100 | <Inst> | (.) = fmap for instance Functor (r ->) |
| 2024-11-05 10:27:51 +0100 | <tomsmeding> | now set (f1 ~ (->) a1) and (f2 ~ (->) a2) |
| 2024-11-05 10:28:04 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-05 10:31:48 +0100 | <haskellbridge> | <hellwolf> https://kf8nh.com/_heisenbridge/media/matrix.org/xKUfmoznwCHkVefPSdGMuRsW/vGfaLYyIYNk/image.png |
| 2024-11-05 10:31:53 +0100 | <haskellbridge> | <hellwolf> Hope screenshot works for IRC users too. |
| 2024-11-05 10:32:19 +0100 | <tomsmeding> | we get a link :) (wait a minute and it'll show up here https://ircbrowse.tomsmeding.com/browse/lchaskell?events_page=13963 ) |
| 2024-11-05 10:32:44 +0100 | <haskellbridge> | <hellwolf> sorry for not sorry for the digress. I figured it's an IRC channel, I can get away with some interjections. |
| 2024-11-05 10:32:46 +0100 | haskellbridge | hellwolf duck now |
| 2024-11-05 10:33:47 +0100 | <kaol> | Some people just want to see the world burn. Like by redefining map = fmap = (.). |
| 2024-11-05 10:35:22 +0100 | <kaol> | Just to get "(+1) . [1,2,3]". Not confusing at all. |
| 2024-11-05 10:35:45 +0100 | <Inst> | . is confusing, tbh |
| 2024-11-05 10:36:10 +0100 | <Inst> | you can remember it's supposed to resemble the composition operator in math, but there's a dozen other things it's used in computer science |
| 2024-11-05 10:36:21 +0100 | <Inst> | it's also used for Module.bindingInModule |
| 2024-11-05 10:36:33 +0100 | <Inst> | and RecordDotSyntax |
| 2024-11-05 10:38:23 +0100 | <kaol> | That's just syntax. I'm thinking of type level mayhem. |
| 2024-11-05 10:38:38 +0100 | <haskellbridge> | <hellwolf> . to ∘ is simplified chinese to traditional chinese. |
| 2024-11-05 10:38:52 +0100 | <merijn> | RecordDotSyntax exists solely to make Haskell's relatively clean grammar a confusing nightmare hellscape |
| 2024-11-05 10:39:17 +0100 | <kaol> | I'll happily never use it myself. |
| 2024-11-05 10:39:26 +0100 | <merijn> | It's a bad extension that should feel bad about itself >.< |
| 2024-11-05 10:41:02 +0100 | <Inst> | nice analogy, given that o takes forever to type whereas . is a keyboard default |
| 2024-11-05 10:41:26 +0100 | <Inst> | (since simplified Chinese, among other things, makes Chinese far faster to write in non-cursive forms) |
| 2024-11-05 10:42:30 +0100 | <haskellbridge> | <hellwolf> 书 / 書 (book) |
| 2024-11-05 10:42:30 +0100 | <haskellbridge> | 广 / 廣 (wide, adj.) |
| 2024-11-05 10:48:11 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-05 10:48:44 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-11-05 10:49:26 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-05 10:49:56 +0100 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-11-05 10:51:32 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-11-05 10:54:04 +0100 | rvalue- | rvalue |
| 2024-11-05 10:58:31 +0100 | enikar | (~enikar@user/enikar) (Quit: WeeChat 3.0) |
| 2024-11-05 10:59:52 +0100 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2024-11-05 11:08:05 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 255 seconds) |
| 2024-11-05 11:08:44 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-05 11:09:04 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2024-11-05 11:09:34 +0100 | l-Shane-l | (~l-Shane-l@user/l-Shane-l) l-Shane-l |
| 2024-11-05 11:13:36 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2024-11-05 11:14:17 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2024-11-05 11:16:23 +0100 | emfrom | (~emfrom@37.171.102.197) |
| 2024-11-05 11:17:37 +0100 | libertyprime | (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) libertyprime |
| 2024-11-05 11:17:48 +0100 | abyss | (~nandv@37.19.205.154) (Ping timeout: 265 seconds) |
| 2024-11-05 11:24:33 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-05 11:24:51 +0100 | alp | (~alp@static-176-175-89-30.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2024-11-05 11:25:13 +0100 | alp | (~alp@2001:861:e3d6:8f80:86cd:f9bc:2fcc:950e) |
| 2024-11-05 11:29:18 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-05 11:29:24 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-11-05 11:29:24 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (Ping timeout: 265 seconds) |
| 2024-11-05 11:29:25 +0100 | ash3en1 | ash3en |
| 2024-11-05 11:29:42 +0100 | <probie> | Handwriting is one thing, but it's the same amount of effort to type 马 as 馬 |
| 2024-11-05 11:31:32 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) kronicmage |
| 2024-11-05 11:34:08 +0100 | <probie> | . is slightly easier to type than ∘, but with a proper input method, it's not _much_ harder. My normal setup for writing unicode maths characters in code is based on Agda's input method, so it's just `\o` (two key presses) |
| 2024-11-05 11:35:29 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:7459:cd00:c885:3805) (Ping timeout: 252 seconds) |
| 2024-11-05 11:40:25 +0100 | longlongdouble | (~longlongd@117.234.189.117) |
| 2024-11-05 11:42:45 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-05 11:43:27 +0100 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-05 11:44:52 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-11-05 11:45:44 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 272 seconds) |
| 2024-11-05 11:45:45 +0100 | ash3en1 | ash3en |
| 2024-11-05 11:53:16 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-11-05 11:53:53 +0100 | <kuribas> | Is an ADT a category? |
| 2024-11-05 11:54:00 +0100 | <kuribas> | Then mapping an ADT into another one would be a functor? |
| 2024-11-05 11:56:16 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2024-11-05 12:03:14 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2024-11-05 12:03:15 +0100 | <tomsmeding> | kuribas: if it's a category, then what are its objects and its arrows? |
| 2024-11-05 12:04:53 +0100 | <kuribas> | tomsmeding: Arrows are the products and sums I suppose? |
| 2024-11-05 12:05:03 +0100 | <kuribas> | Objects are the types? |
| 2024-11-05 12:05:35 +0100 | <ncf> | ?? |
| 2024-11-05 12:05:35 +0100 | <tomsmeding> | the "standard" example of a category in the context of FP is: objects are types, arrows (morphisms) are functions |
| 2024-11-05 12:05:58 +0100 | <tomsmeding> | it works because the identity function is a thing at each type (i.e. on each object), and functions compose |
| 2024-11-05 12:06:10 +0100 | <tomsmeding> | an ADT would be one object in that category |
| 2024-11-05 12:06:53 +0100 | <tomsmeding> | kuribas: are you trying to encapsulate some kind of structure in a function from one ADT to another, more than there is in "any function"? |
| 2024-11-05 12:07:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-05 12:07:59 +0100 | <tomsmeding> | if so, then perhaps the concept of an F-algebra is what you are looking for |
| 2024-11-05 12:08:04 +0100 | <kuribas> | tomsmeding: I am reading the "databases as categories" article: https://math.libretexts.org/Bookshelves/Applied_Mathematics/Seven_Sketches_in_Compositionality%3A_…(Fong_and_Spivak)/03%3A_Databases-_Categories_functors_and_(co)limits/3.03%3A_Functors_natural_transformations_and_databases |
| 2024-11-05 12:08:11 +0100 | <kuribas> | I wonder if that works for ADTs too. |
| 2024-11-05 12:08:28 +0100 | <kuribas> | So I could transform an ADT to a database table, using a functor. |
| 2024-11-05 12:08:42 +0100 | <tomsmeding> | how on Earth does an ADT correspond to a database table? :p |
| 2024-11-05 12:09:36 +0100 | <kuribas> | An ORM for example. |
| 2024-11-05 12:10:08 +0100 | tomsmeding | is out of comfort zone |
| 2024-11-05 12:10:31 +0100 | <Inst> | wait, do database tables support sum types? |
| 2024-11-05 12:10:43 +0100 | <Inst> | as in, can a database table be in one of two different schemas? |
| 2024-11-05 12:11:06 +0100 | tomsmeding | has no clue what's going on on that page |
| 2024-11-05 12:11:11 +0100 | tomsmeding | sneaks off |
| 2024-11-05 12:11:38 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fc69:912f:320c:e811) |
| 2024-11-05 12:11:59 +0100 | <ncf> | this is the most programmer-brained introduction to presheaves i have ever seen |
| 2024-11-05 12:14:30 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-11-05 12:14:40 +0100 | <probie> | Inst: If it's not a normal relational database, then sum types may be easily supported :p. If you want to model it in a relational database and don't want to risk being two variants at once, you can have n columns, each being a nullable foreign key to that variant's table, and a constraint that exactly one of those columns is not null |
| 2024-11-05 12:14:44 +0100 | <ncf> | Inst: as long as you can come up with a notion of homomorphism between instances of different schemas, sure ("there are none" is a valid answer) |
| 2024-11-05 12:15:26 +0100 | <haskellbridge> | <hellwolf> I recalled a talk from "David Spivak: Categorical Databases". I appreciate people's relentless searches of composition, especially from mathematicians (Bartosz Milewski, et. al.) ... but sometimes someone just gotta find a concrete use case that others can understand and apply the insights. |
| 2024-11-05 12:17:20 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-11-05 12:17:23 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-05 12:18:47 +0100 | emfrom | (~emfrom@37.171.102.197) (Remote host closed the connection) |
| 2024-11-05 12:19:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-05 12:19:09 +0100 | euleritian | (~euleritia@dynamic-176-006-146-045.176.6.pool.telefonica.de) |
| 2024-11-05 12:19:26 +0100 | euleritian | (~euleritia@dynamic-176-006-146-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-05 12:19:40 +0100 | ash3en1 | ash3en |
| 2024-11-05 12:19:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 12:20:31 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Client Quit) |
| 2024-11-05 12:20:52 +0100 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-05 12:20:59 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-05 12:21:55 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 12:22:30 +0100 | longlongdouble | (~longlongd@117.234.189.117) (Ping timeout: 244 seconds) |
| 2024-11-05 12:25:54 +0100 | longlongdouble | (~longlongd@117.234.41.81) |
| 2024-11-05 12:27:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-11-05 12:31:28 +0100 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-05 12:33:04 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 2024-11-05 12:33:04 +0100 | ash3en1 | ash3en |
| 2024-11-05 12:34:11 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 12:42:42 +0100 | Guest0012 | (~Guest0012@2402:a00:401:f093:da9e:f3ff:fe4b:8a8b) |
| 2024-11-05 12:47:03 +0100 | Guest0012 | (~Guest0012@2402:a00:401:f093:da9e:f3ff:fe4b:8a8b) (Ping timeout: 256 seconds) |
| 2024-11-05 12:52:08 +0100 | libertyprime | (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Remote host closed the connection) |
| 2024-11-05 12:52:40 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-11-05 12:57:28 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-05 12:59:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-11-05 13:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-05 13:00:51 +0100 | euleritian | (~euleritia@dynamic-176-006-146-045.176.6.pool.telefonica.de) |
| 2024-11-05 13:01:24 +0100 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2024-11-05 13:02:07 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-05 13:05:32 +0100 | longlongdouble | (~longlongd@117.234.41.81) (Ping timeout: 255 seconds) |
| 2024-11-05 13:08:41 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2024-11-05 13:11:08 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 13:12:17 +0100 | longlongdouble | (~longlongd@117.225.99.28) |
| 2024-11-05 13:13:30 +0100 | euleritian | (~euleritia@dynamic-176-006-146-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-05 13:13:48 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 13:20:48 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-05 13:26:23 +0100 | longlongdouble | (~longlongd@117.225.99.28) (Ping timeout: 265 seconds) |
| 2024-11-05 13:26:42 +0100 | longlongdouble | (~longlongd@117.234.170.44) |
| 2024-11-05 13:31:13 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-11-05 13:38:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-05 13:46:30 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-05 13:49:45 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-11-05 13:57:32 +0100 | ol0ck | (~quassel@user/ol0ck) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-05 13:57:46 +0100 | ol0ck | (~quassel@2001:41d0:2:8cda::1) |
| 2024-11-05 13:58:30 +0100 | ol0ck | (~quassel@2001:41d0:2:8cda::1) (Changing host) |
| 2024-11-05 13:58:30 +0100 | ol0ck | (~quassel@user/ol0ck) ol0ck |
| 2024-11-05 13:59:32 +0100 | ol0ck | (~quassel@user/ol0ck) (Client Quit) |
| 2024-11-05 14:00:14 +0100 | ol0ck | (~quassel@user/ol0ck) ol0ck |
| 2024-11-05 14:08:45 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-05 14:09:41 +0100 | Everything | (~Everythin@178-133-144-30.mobile.vf-ua.net) Everything |
| 2024-11-05 14:12:58 +0100 | spenat | (~spenat@c-92-35-37-17.bbcust.telenor.se) |
| 2024-11-05 14:15:48 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-05 14:16:45 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-05 14:19:56 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-05 14:24:45 +0100 | Guest12 | (~Guest12@31.154.179.218) |
| 2024-11-05 14:25:11 +0100 | Guest12 | (~Guest12@31.154.179.218) (Quit: Client closed) |
| 2024-11-05 14:25:25 +0100 | Guest73 | (~Guest12@31.154.179.218) |
| 2024-11-05 14:33:44 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-05 14:34:53 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-05 14:42:09 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-11-05 14:44:06 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-05 14:45:03 +0100 | enikar | (~enikar@user/enikar) enikar |
