2026/01/21

2026-01-21 00:04:34 +0100karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-01-21 00:05:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-01-21 00:10:19 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds)
2026-01-21 00:14:19 +0100tjbc(~tjbc@user/fliife) fliife
2026-01-21 00:15:10 +0100newmind(~newmind@91-133-90-252.dyn.cablelink.at)
2026-01-21 00:15:53 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-21 00:16:03 +0100mange(~mange@user/mange) mange
2026-01-21 00:16:06 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-21 00:16:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 00:18:35 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 250 seconds)
2026-01-21 00:20:40 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-21 00:20:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-21 00:20:52 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-21 00:26:55 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-21 00:29:20 +0100newmind(~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
2026-01-21 00:31:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 00:33:49 +0100myme(~myme@2a01:799:d5e:5f00:5f14:dcc1:b627:62ff) (Ping timeout: 246 seconds)
2026-01-21 00:35:54 +0100myme(~myme@2a01:799:d5e:5f00:5fcd:f459:869a:1345) myme
2026-01-21 00:36:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-01-21 00:38:43 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2026-01-21 00:47:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 00:50:50 +0100myxos(~myxos@174-18-58-141.tcso.qwest.net) myxokephale
2026-01-21 00:52:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-21 00:53:07 +0100m_a_r_k(~m_a_r_k@archlinux/support/mark) m_a_r_k
2026-01-21 01:03:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 01:07:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-21 01:07:41 +0100Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla
2026-01-21 01:10:00 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2026-01-21 01:10:23 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-01-21 01:16:10 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-01-21 01:18:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 01:24:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-21 01:34:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 01:35:54 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-21 01:36:02 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-21 01:38:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-21 01:43:51 +0100deadnode666(~deadnode6@user/deadnode666) deadnode666
2026-01-21 01:44:23 +0100 <jackdk> @pl \f -> getCompose . lens (Compose . f)
2026-01-21 01:44:23 +0100 <lambdabot> (getCompose .) . lens . (Compose .)
2026-01-21 01:44:39 +0100 <jackdk> @botsnack
2026-01-21 01:44:39 +0100 <lambdabot> :)
2026-01-21 01:50:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 01:54:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-21 01:55:06 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2026-01-21 01:55:21 +0100Psychotic1(~Psychotic@2600:1007:b0a1:d86:de59:77c5:f4e1:331c)
2026-01-21 02:01:53 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-21 02:02:16 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-21 02:02:59 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-21 02:03:04 +0100xff0x(~xff0x@ai083101.d.east.v6connect.net) (Ping timeout: 246 seconds)
2026-01-21 02:04:46 +0100vidak(~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Quit: Konversation terminated!)
2026-01-21 02:05:33 +0100vidak(~vidak@210.1.208.15) vidak
2026-01-21 02:05:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 02:08:03 +0100vidak(~vidak@210.1.208.15) (Remote host closed the connection)
2026-01-21 02:10:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-21 02:17:39 +0100vidak(~vidak@210.1.208.15) vidak
2026-01-21 02:21:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 02:22:24 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2026-01-21 02:26:54 +0100Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.)
2026-01-21 02:26:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-21 02:27:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 02:32:27 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-01-21 02:32:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-21 02:34:37 +0100califax(~califax@user/califx) califx
2026-01-21 02:43:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 02:44:27 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 02:45:26 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 02:46:12 +0100omidmash2(~omidmash@user/omidmash) omidmash
2026-01-21 02:46:46 +0100DetourNe-DetourNetworkUK
2026-01-21 02:47:58 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-21 02:48:32 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 256 seconds)
2026-01-21 02:48:32 +0100omidmash2omidmash
2026-01-21 02:48:48 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-21 02:49:08 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-21 02:50:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-01-21 02:54:37 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds)
2026-01-21 02:58:17 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-01-21 03:01:08 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-21 03:01:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 03:03:52 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-21 03:04:02 +0100 <chromoblob> hehe, "botsnack" is neat
2026-01-21 03:06:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-21 03:11:32 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-21 03:11:57 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-21 03:14:29 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-21 03:15:02 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-21 03:17:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 03:19:10 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-21 03:19:34 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-21 03:22:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-01-21 03:22:32 +0100califax_(~califax@user/califx) califx
2026-01-21 03:23:25 +0100califax(~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in)
2026-01-21 03:23:50 +0100califax_califax
2026-01-21 03:25:37 +0100califax_(~califax@user/califx) califx
2026-01-21 03:26:40 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-01-21 03:26:51 +0100califax_califax
2026-01-21 03:33:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 03:33:12 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 03:33:57 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 03:34:41 +0100ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2026-01-21 03:35:28 +0100DetourNe-DetourNetworkUK
2026-01-21 03:36:09 +0100acidjnk(~acidjnk@p200300d6e717193125fb1aa3ce6499b2.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2026-01-21 03:36:37 +0100sajenim(~sajenim@user/sajenim) sajenim
2026-01-21 03:38:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-21 03:45:19 +0100sus03(zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2026-01-21 03:46:48 +0100sus03(zero@user/zeromomentum) zeromomentum
2026-01-21 03:48:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 03:49:38 +0100danz13817(~danza@user/danza) danza
2026-01-21 03:50:22 +0100danza(~danza@user/danza) (Read error: Connection reset by peer)
2026-01-21 03:51:37 +0100Psychotic1(~Psychotic@2600:1007:b0a1:d86:de59:77c5:f4e1:331c) (Ping timeout: 265 seconds)
2026-01-21 03:51:38 +0100sus03(zero@user/zeromomentum) (Client Quit)
2026-01-21 03:53:10 +0100sus03(zero@user/zeromomentum) zeromomentum
2026-01-21 03:53:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-21 03:57:20 +0100omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2026-01-21 03:59:28 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2026-01-21 04:00:49 +0100omidmash(~omidmash@user/omidmash) omidmash
2026-01-21 04:04:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 04:07:18 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-01-21 04:07:21 +0100ec(~ec@gateway/tor-sasl/ec) ec
2026-01-21 04:07:30 +0100califax(~califax@user/califx) califx
2026-01-21 04:08:28 +0100jmcantrell_jmcantrell
2026-01-21 04:09:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-21 04:09:29 +0100tv(~tv@user/tv) (Quit: derp)
2026-01-21 04:09:34 +0100weary-traveler(~user@user/user363627) user363627
2026-01-21 04:10:00 +0100tv(~tv@user/tv) tv
2026-01-21 04:11:12 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-01-21 04:16:11 +0100deadnode666_(~zod@user/deadnode666) deadnode666
2026-01-21 04:18:01 +0100vidak(~vidak@210.1.208.15) (Read error: Connection reset by peer)
2026-01-21 04:18:56 +0100vidak(~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak
2026-01-21 04:19:59 +0100housemate(~housemate@202.7.248.67) housemate
2026-01-21 04:20:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 04:21:39 +0100deadnode666_(~zod@user/deadnode666) (Quit: <<<<<--------!!!!!!!!!)
2026-01-21 04:24:40 +0100deadnode666(~deadnode6@user/deadnode666) (Remote host closed the connection)
2026-01-21 04:25:13 +0100deadnode666(~deadnode6@user/deadnode666) deadnode666
2026-01-21 04:25:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-21 04:25:34 +0100deadnode666(~deadnode6@user/deadnode666) (Client Quit)
2026-01-21 04:26:04 +0100deadnode666(~deadnode6@user/deadnode666) deadnode666
2026-01-21 04:26:07 +0100hellwolf(~user@7181-6760-b532-3f9c-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 264 seconds)
2026-01-21 04:26:15 +0100sus03(zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2026-01-21 04:27:42 +0100sus03(zero@user/zeromomentum) zeromomentum
2026-01-21 04:29:10 +0100hellwolf(~user@4cde-2438-8978-87b1-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2026-01-21 04:36:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 04:40:27 +0100deadnode666_(~deadnode6@user/deadnode666) deadnode666
2026-01-21 04:40:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-21 04:43:39 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-01-21 04:44:25 +0100deadnode666(~deadnode6@user/deadnode666) (Ping timeout: 246 seconds)
2026-01-21 04:44:58 +0100deadnode666_(~deadnode6@user/deadnode666) (Client Quit)
2026-01-21 04:45:10 +0100deadnode666(~deadnode6@user/deadnode666) deadnode666
2026-01-21 04:49:27 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 04:50:12 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 04:51:31 +0100deadnode666(~deadnode6@user/deadnode666) (Quit: <<<<<--------!!!!!!!!!)
2026-01-21 04:51:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 04:51:40 +0100DetourNe-DetourNetworkUK
2026-01-21 04:51:44 +0100deadnode666(~deadnode6@user/deadnode666) deadnode666
2026-01-21 04:52:19 +0100rekahsoft(~rekahsoft@70.51.99.245) (Remote host closed the connection)
2026-01-21 04:57:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-21 04:58:57 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds)
2026-01-21 04:59:58 +0100deadnode666(~deadnode6@user/deadnode666) (Quit: <<<<<--------!!!!!!!!!)
2026-01-21 05:07:13 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2026-01-21 05:07:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 05:12:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-21 05:12:23 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds)
2026-01-21 05:20:07 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-01-21 05:23:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 05:29:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-01-21 05:41:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 05:46:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-21 05:51:49 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1)
2026-01-21 05:54:54 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-21 05:57:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 05:59:41 +0100trickard_trickard
2026-01-21 06:01:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-21 06:06:51 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-21 06:07:32 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-21 06:08:55 +0100troydm(~troydm@user/troydm) troydm
2026-01-21 06:10:31 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds)
2026-01-21 06:12:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 06:13:42 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 06:15:08 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-21 06:16:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-21 06:17:09 +0100troydm(~troydm@user/troydm) (Ping timeout: 244 seconds)
2026-01-21 06:21:14 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 06:21:47 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 06:23:30 +0100DetourNe-DetourNetworkUK
2026-01-21 06:27:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 06:32:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-21 06:35:10 +0100vidak(~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Quit: Konversation terminated!)
2026-01-21 06:40:21 +0100mange(~mange@user/mange) (Remote host closed the connection)
2026-01-21 06:43:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 06:48:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-21 06:49:34 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2026-01-21 06:55:44 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-01-21 06:58:44 +0100danz13817(~danza@user/danza) (Ping timeout: 260 seconds)
2026-01-21 06:59:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 07:00:31 +0100Gestodia(~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627)
2026-01-21 07:04:02 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 07:04:11 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 07:05:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-21 07:06:14 +0100DetourNe-DetourNetworkUK
2026-01-21 07:07:22 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2026-01-21 07:08:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 07:10:21 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-21 07:12:16 +0100cupnoodle(~cupnoodle@223.187.116.106)
2026-01-21 07:13:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-21 07:24:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 07:29:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-21 07:30:44 +0100ft(~ft@p4fc2a9d7.dip0.t-ipconnect.de) (Quit: leaving)
2026-01-21 07:39:01 +0100cupnoodle(~cupnoodle@223.187.116.106) (Ping timeout: 264 seconds)
2026-01-21 07:40:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 07:45:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-21 07:56:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 08:01:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-21 08:05:20 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2026-01-21 08:09:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 08:11:19 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-01-21 08:12:18 +0100Enrico63(~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63
2026-01-21 08:14:28 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-21 08:14:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-21 08:20:07 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2026-01-21 08:25:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 08:26:34 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Excess Flood)
2026-01-21 08:29:00 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2026-01-21 08:29:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-21 08:32:52 +0100Guest83(~Guest83@161.82.235.36)
2026-01-21 08:41:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 08:42:34 +0100Guest83(~Guest83@161.82.235.36) (Quit: Client closed)
2026-01-21 08:47:07 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2026-01-21 08:47:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-01-21 08:50:41 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-01-21 08:51:43 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2026-01-21 08:51:57 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-21 08:54:42 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 08:54:59 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 08:56:54 +0100DetourNe-DetourNetworkUK
2026-01-21 08:57:28 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2026-01-21 08:57:38 +0100chele(~chele@user/chele) chele
2026-01-21 08:59:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 09:00:30 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-21 09:04:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-21 09:10:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-21 09:15:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-21 09:15:56 +0100trickard_trickard
2026-01-21 09:17:00 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-01-21 09:25:29 +0100danza(~danza@user/danza) danza
2026-01-21 09:27:55 +0100acidjnk(~acidjnk@p200300d6e7171963e9342c1b23054bda.dip0.t-ipconnect.de) acidjnk
2026-01-21 09:36:19 +0100Square(~Square@user/square) Square
2026-01-21 09:38:56 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2026-01-21 09:40:08 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 09:40:13 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 09:41:00 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-01-21 09:42:40 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 09:43:28 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 09:45:53 +0100CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-01-21 09:46:39 +0100CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 252 seconds)
2026-01-21 09:52:03 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-21 09:53:49 +0100hakutaku(~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com)
2026-01-21 09:53:52 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-01-21 09:57:41 +0100danza(~danza@user/danza) (Remote host closed the connection)
2026-01-21 09:57:53 +0100danza(~danza@user/danza) danza
2026-01-21 10:07:03 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-21 10:07:36 +0100califax_(~califax@user/califx) califx
2026-01-21 10:07:42 +0100Enrico63(~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed)
2026-01-21 10:08:23 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-01-21 10:08:50 +0100califax_califax
2026-01-21 10:11:05 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-21 10:11:18 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-21 10:30:49 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-01-21 10:32:13 +0100housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-21 10:32:23 +0100CryptLab(~NSA@146.70.183.76) (Ping timeout: 244 seconds)
2026-01-21 10:33:35 +0100CryptLab(~NSA@2a0d:5600:6:108::2e) CommanderBond007
2026-01-21 10:36:51 +0100ars23(~user@user/ars23) ars23
2026-01-21 10:37:59 +0100Square2(~Square@user/square) Square
2026-01-21 10:39:44 +0100__monty__(~toonn@user/toonn) toonn
2026-01-21 10:40:59 +0100Square(~Square@user/square) (Ping timeout: 260 seconds)
2026-01-21 10:41:59 +0100Square3(~Square4@user/square) Square
2026-01-21 10:44:47 +0100Square2(~Square@user/square) (Ping timeout: 244 seconds)
2026-01-21 10:48:14 +0100housemate(~housemate@202.7.248.67) housemate
2026-01-21 11:02:31 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2026-01-21 11:02:57 +0100trickard_trickard
2026-01-21 11:05:24 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-01-21 11:05:29 +0100califax_(~califax@user/califx) califx
2026-01-21 11:06:45 +0100califax_califax
2026-01-21 11:08:24 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
2026-01-21 11:11:03 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 11:11:17 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 11:13:34 +0100DetourNe-DetourNetworkUK
2026-01-21 11:21:24 +0100bggd_(~bgg@2a01:e0a:fd5:f510:6829:d62f:33be:1229) (Remote host closed the connection)
2026-01-21 12:02:51 +0100fp(~Thunderbi@wireless-86-50-141-134.open.aalto.fi) fp
2026-01-21 12:06:01 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-21 12:10:33 +0100fp(~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Ping timeout: 250 seconds)
2026-01-21 12:13:05 +0100xff0x(~xff0x@2405:6580:b080:900:20f:65cb:d0be:bc1e)
2026-01-21 12:27:34 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-21 12:30:15 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-21 12:30:32 +0100danz66945(~danza@user/danza) danza
2026-01-21 12:30:47 +0100danza(~danza@user/danza) (Read error: Connection reset by peer)
2026-01-21 12:32:09 +0100fp(~Thunderbi@wireless-86-50-141-134.open.aalto.fi) fp
2026-01-21 12:35:01 +0100ars23(~user@user/ars23) (Remote host closed the connection)
2026-01-21 12:37:43 +0100FloorCalc(~user@user/FloorCalc) FloorCalc
2026-01-21 12:38:39 +0100Gestodia(~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) (Quit: Client closed)
2026-01-21 12:38:51 +0100Googulator(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-21 12:39:44 +0100Googulator(~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91)
2026-01-21 12:43:16 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2026-01-21 12:44:07 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-01-21 12:44:20 +0100trickard_trickard
2026-01-21 12:46:35 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2026-01-21 12:53:57 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2026-01-21 12:55:13 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-21 12:55:25 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-21 13:02:11 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-01-21 13:03:24 +0100img(~img@user/img) img
2026-01-21 13:07:55 +0100 <gentauro> Do we have a better (history/tree/timeline) than the "O'Reilly History of Programming Languages": https://www.cs.toronto.edu/~gpenn/csc324/PLhistory.pdf (I would assume that Haskell was born from Miranda)
2026-01-21 13:11:39 +0100preflex(~preflex@user/mauke/bot/preflex) (Ping timeout: 250 seconds)
2026-01-21 13:14:11 +0100preflex(~preflex@user/mauke/bot/preflex) preflex
2026-01-21 13:18:37 +0100fp(~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Ping timeout: 264 seconds)
2026-01-21 13:19:27 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2026-01-21 13:19:47 +0100trickard_(~trickard@cpe-82-98-47-163.wireline.com.au)
2026-01-21 13:20:51 +0100Googulator64(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu)
2026-01-21 13:20:51 +0100Googulator(~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed)
2026-01-21 13:28:59 +0100lucabtz(~lucabtz@user/lucabtz) (Ping timeout: 260 seconds)
2026-01-21 13:30:19 +0100FloorCalc(~user@user/FloorCalc) (Ping timeout: 264 seconds)
2026-01-21 13:30:47 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-01-21 13:32:38 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-21 13:40:12 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2026-01-21 13:50:34 +0100CiaoSen(~Jura@ipservice-092-208-107-195.092.208.pools.vodafone-ip.de) CiaoSen
2026-01-21 13:50:52 +0100Googulator64(~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed)
2026-01-21 13:51:03 +0100Googulator64(~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91)
2026-01-21 13:51:25 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-21 13:56:16 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2026-01-21 13:57:22 +0100fp(~Thunderbi@wireless-86-50-141-134.open.aalto.fi) fp
2026-01-21 13:58:27 +0100trickard_trickard
2026-01-21 14:07:44 +0100Enrico63(~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63
2026-01-21 14:09:06 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-21 14:15:01 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2026-01-21 14:15:26 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-21 14:15:58 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 255 seconds)
2026-01-21 14:27:58 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-21 14:31:39 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-01-21 14:32:38 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-21 14:32:44 +0100fp(~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Read error: Connection reset by peer)
2026-01-21 14:32:57 +0100fp1(~Thunderbi@wireless-86-50-141-134.open.aalto.fi) fp
2026-01-21 14:35:14 +0100fp1fp
2026-01-21 14:39:39 +0100trickard__(~trickard@cpe-93-98-47-163.wireline.com.au)
2026-01-21 14:40:28 +0100trickard(~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2026-01-21 14:45:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-01-21 14:52:29 +0100trickard__trickard
2026-01-21 14:56:57 +0100trickard(~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2026-01-21 14:57:27 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au)
2026-01-21 14:59:05 +0100spew(~spew@user/spew) spew
2026-01-21 15:07:54 +0100Enrico63(~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed)
2026-01-21 15:10:45 +0100Gestodia(~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627)
2026-01-21 15:13:36 +0100ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1)
2026-01-21 15:18:37 +0100 <danz66945> the history of Haskell is complex. Several recent episodes of the interlude treat about them
2026-01-21 15:25:45 +0100 <haskellbridge> <loonycyborg> It was supposed to be union of many competing pure functional languages but among them Miranda is the only one of any prominence.
2026-01-21 15:26:32 +0100raym(~ray@user/raym) (Ping timeout: 240 seconds)
2026-01-21 15:27:51 +0100 <haskellbridge> <loonycyborg> In fact the only reason it wasn't called Miranda+ or something is because Miranda's author wanted to keep control over his creation.
2026-01-21 15:37:22 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2026-01-21 15:37:49 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
2026-01-21 15:40:42 +0100 <gentauro> danz66945: yeah, that's why I'm looking for a tree-historgram. I'm guessing that Haskell was inspired by many other PL, not just Miranda. But, some key concepts from Miranda, are intrinsic in Haskell
2026-01-21 15:41:29 +0100 <danz66945> not sure how miranda related to ML
2026-01-21 15:42:17 +0100danz66945also not sure how haskell looked out at the beginning, without monads
2026-01-21 15:42:32 +0100Enrico63(~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63
2026-01-21 15:42:36 +0100danz66945(~danza@user/danza) (Remote host closed the connection)
2026-01-21 15:42:51 +0100danza(~danza@user/danza) danza
2026-01-21 15:45:03 +0100Milan_Vanca(~milan@user/Milan-Vanca:32634) Milan_Vanca
2026-01-21 15:46:52 +0100 <haskellbridge> <loonycyborg> iirc before monads it could use either dialogues or continuations.
2026-01-21 15:48:50 +0100 <danza> continuations would make sense. Not familiar with dialogues
2026-01-21 15:49:34 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2026-01-21 15:49:57 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au)
2026-01-21 15:52:29 +0100 <dutchie> is that the thing where you do main :: [InputStuff] -> [OutputStuff]
2026-01-21 15:52:43 +0100 <lortabac> it was a while ago so I may be misremembering something, but I think this Zurihac talk is relevant: https://youtu.be/Xnvj61qkg7c?si=ieVmvSgUoPJsh63J
2026-01-21 15:53:02 +0100tremon(~tremon@83.80.159.219) tremon
2026-01-21 15:53:22 +0100 <haskellbridge> <loonycyborg> ye it takes list of inputs and returns list of outputs
2026-01-21 15:53:50 +0100 <haskellbridge> <loonycyborg> since what exactly it takes and returns isn't fixed in types entire thing could go out of sync very easily
2026-01-21 15:54:25 +0100 <danza> ^^;
2026-01-21 15:55:27 +0100 <danza> those were tough times for haskellers :)
2026-01-21 15:58:46 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-21 15:59:41 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-21 16:01:03 +0100DetourNe-DetourNetworkUK
2026-01-21 16:03:38 +0100raym(~ray@user/raym) raym
2026-01-21 16:04:28 +0100Inline(~User@2001-4dd6-dd24-0-5fac-f4ca-3e2c-ca4.ipv6dyn.netcologne.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
2026-01-21 16:05:19 +0100CiaoSen(~Jura@ipservice-092-208-107-195.092.208.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2026-01-21 16:05:58 +0100Inline(~User@2001-4dd6-dd24-0-41c1-f819-9bd9-d884.ipv6dyn.netcologne.de) Inline
2026-01-21 16:07:08 +0100Digitteknohippie(~user@user/digit) Digit
2026-01-21 16:07:49 +0100Digit(~user@user/digit) (Ping timeout: 264 seconds)
2026-01-21 16:14:18 +0100vidak(~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak
2026-01-21 16:19:09 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2026-01-21 16:20:31 +0100danza(~danza@user/danza) (Quit: got to go)
2026-01-21 16:25:13 +0100Googulator64Googulator
2026-01-21 16:27:11 +0100 <gentauro> lortabac: no lambda and no let :o https://youtu.be/Xnvj61qkg7c?t=2051 (34:11 ish)
2026-01-21 16:28:48 +0100 <lortabac> wow
2026-01-21 16:29:05 +0100 <lortabac> I need to watch that talk again
2026-01-21 16:33:16 +0100 <lortabac> that being said, Prolog doesn't have local predicates either. It's slightly inconvenient but not a showstopper
2026-01-21 16:34:03 +0100 <gentauro> blc (binary lambda calculus) from John Tromp is also very very simplistic xD
2026-01-21 16:35:05 +0100 <gentauro> «Note added September 18, 2025: I thank John Tromp for suggesting several significant improvements to the original version of this» -> https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/
2026-01-21 16:38:49 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-01-21 16:43:49 +0100 <lortabac> I don't know what "ruliology" means, but this looks both scary and fascinating at the same time
2026-01-21 16:49:24 +0100 <int-e> wolfram is the best crank
2026-01-21 16:51:05 +0100housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-21 16:58:10 +0100 <__monty__> Looks like it's the study of abstract rules. Which makes sense to me coming from someone who started out looking at cellular automata.
2026-01-21 17:00:23 +0100housemate(~housemate@202.7.248.67) housemate
2026-01-21 17:01:29 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-01-21 17:01:55 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-01-21 17:01:56 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-01-21 17:02:37 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-21 17:12:17 +0100fp(~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Ping timeout: 244 seconds)
2026-01-21 17:16:16 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-21 17:16:30 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au)
2026-01-21 17:16:42 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-01-21 17:16:42 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-01-21 17:16:42 +0100haritz(~hrtz@user/haritz) haritz
2026-01-21 17:18:10 +0100DigitteknohippieDigit
2026-01-21 17:27:12 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-01-21 17:27:15 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-01-21 17:29:32 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
2026-01-21 17:30:34 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-01-21 17:31:15 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-01-21 17:31:38 +0100 <gentauro> lortabac: https://writings.stephenwolfram.com/2026/01/what-is-ruliology/ ;)
2026-01-21 17:32:00 +0100 <lortabac> thanks
2026-01-21 17:35:20 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-01-21 17:36:14 +0100 <EvanR> ruliology... ok you can invent whatever you want but
2026-01-21 17:36:33 +0100 <EvanR> just like ruleology is easier to say
2026-01-21 17:36:38 +0100 <EvanR> and more obvious
2026-01-21 17:36:52 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-21 17:41:34 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2026-01-21 17:53:18 +0100dolio(~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in)
2026-01-21 17:59:37 +0100Googulator(~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed)
2026-01-21 18:00:07 +0100Googulator(~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91)
2026-01-21 18:00:44 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-21 18:01:43 +0100Gestodia(~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) (Quit: Client closed)
2026-01-21 18:01:48 +0100jmcantrell_jmcantrell
2026-01-21 18:03:18 +0100comerijn(~merijn@77.242.116.146) merijn
2026-01-21 18:04:09 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-01-21 18:04:24 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2026-01-21 18:04:24 +0100dolio(~dolio@130.44.140.168) dolio
2026-01-21 18:05:28 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
2026-01-21 18:05:48 +0100spew(~spew@user/spew) spew
2026-01-21 18:06:56 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2026-01-21 18:07:37 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-01-21 18:07:40 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2026-01-21 18:07:44 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2026-01-21 18:09:05 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-21 18:16:14 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-21 18:17:03 +0100jmcantrell_jmcantrell
2026-01-21 18:17:35 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2026-01-21 18:17:55 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au)
2026-01-21 18:21:37 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2026-01-21 18:30:24 +0100trickard_trickard
2026-01-21 18:31:27 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds)
2026-01-21 18:38:20 +0100Googulator(~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed)
2026-01-21 18:38:50 +0100Googulator(~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91)
2026-01-21 18:42:36 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-01-21 18:45:13 +0100Googulator73(~Googulato@77.234.89.65)
2026-01-21 18:45:53 +0100chele(~chele@user/chele) (Remote host closed the connection)
2026-01-21 18:48:45 +0100Googulator(~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Ping timeout: 272 seconds)
2026-01-21 19:00:10 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-21 19:01:40 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2026-01-21 19:07:48 +0100Googulator73Googulator
2026-01-21 19:15:25 +0100danza(~danza@user/danza) danza
2026-01-21 19:18:41 +0100 <probie> Surely it'd should be kanonology
2026-01-21 19:18:48 +0100 <probie> s/it'd/it/
2026-01-21 19:19:51 +0100 <Milan_Vanca> Hello guyz. I found another strange issue, "cabal install alex" and I can see it in user's bin dir. "cabal list --installed" and it's not there?
2026-01-21 19:21:33 +0100 <gentauro> Milan_Vanca: have you looked at `~/.cabal/bin`?
2026-01-21 19:21:41 +0100 <gentauro> they normally go there unless you provide another path
2026-01-21 19:21:59 +0100 <danza> they say thay can see it
2026-01-21 19:22:25 +0100 <Milan_Vanca> gentauro: Yes it is there.. but "cabal list --installed" does not show them, but it should as I use install so it should list installed right?
2026-01-21 19:22:42 +0100 <danza> maybe you changed dir Milan_Vanca? Cabal's scope varies depending on which package one is on
2026-01-21 19:22:43 +0100 <int-e> cabal list --installed probably only lists libraries
2026-01-21 19:22:46 +0100 <int-e> ?
2026-01-21 19:22:57 +0100 <gentauro> Milan_Vanca: if `~/.cabal/bin` is in your PATH, then you should be able to exec and do `which alex` :)
2026-01-21 19:23:28 +0100 <Milan_Vanca> int-e: So the problem is it is executable and not lib?
2026-01-21 19:23:57 +0100 <int-e> yeah, it's not a "package" (not in the package database)
2026-01-21 19:24:00 +0100 <Milan_Vanca> danza: No that's not it :) I am in the same dir.
2026-01-21 19:24:49 +0100 <Milan_Vanca> gentauro: Yes that works :) I am just confused about "cabal install" and "cabal list --installed" not be connected?
2026-01-21 19:25:02 +0100 <int-e> (I can see how this is confusing.)
2026-01-21 19:26:37 +0100 <Milan_Vanca> It looks like it shows same thing as "ghc-pkg list". Also there is "cabal register/unregister" and this goes to db in ghc-pkg?
2026-01-21 19:28:01 +0100 <Milan_Vanca> so "ghc-pkg list == cabal list --installed" to change this output one needs to "cabal register/unregister" instead of install
2026-01-21 19:28:03 +0100 <int-e> ...oh wow, v1-register is still around?
2026-01-21 19:28:07 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2026-01-21 19:28:17 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-01-21 19:28:22 +0100 <danza> you are speaking commands i rarely use, that's interesting
2026-01-21 19:28:37 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-01-21 19:29:28 +0100 <int-e> Milan_Vanca: There's `cabal install --lib` but rather than adding to GHC's package database it creates an environment file. Which, annoyingly, is a feature that ghc-pkg isn't aware of.
2026-01-21 19:29:44 +0100 <gentauro> Milan_Vanca: I'm understanding you want to list `binaries` installed by cabal right? Why not just `ls -lh ~/.cabal/bin`?
2026-01-21 19:30:33 +0100 <danza> yeah int-e that's why recently i always use cabal from a dir with a .cabal file. Otherwise it gets confusing
2026-01-21 19:30:49 +0100 <int-e> gentauro: Because, I think, Milan_Vanca is just discovering how cabal[-install] works.
2026-01-21 19:30:54 +0100 <Milan_Vanca> gentauro: As I want to understand what is going on, which command does what. But as int-e pointed out the situation is more complicated
2026-01-21 19:31:04 +0100 <Milan_Vanca> int-e: Exactly
2026-01-21 19:31:39 +0100 <Milan_Vanca> int-e: So cabal install --lib uses "local package db" and ghc-pkg is not aware of that right?
2026-01-21 19:31:46 +0100danza(~danza@user/danza) (Quit: got to go)
2026-01-21 19:32:15 +0100 <int-e> Milan_Vanca: No, environment files are a third mechanic, separate from global and user package db
2026-01-21 19:32:46 +0100 <Milan_Vanca> int-e: "ghc-pkg --user-package-db" should be able to pick libs installed with "cabal install --lib" ?
2026-01-21 19:33:00 +0100 <Milan_Vanca> int-e: Aaah :D
2026-01-21 19:33:30 +0100 <int-e> Their purpose is to be context dependent (you can have an environment in a project directory, and ghc will pick it up unless instructed not to)
2026-01-21 19:33:44 +0100 <int-e> Milan_Vanca: ghc-pkg will take the user package db into account by default
2026-01-21 19:34:20 +0100 <Milan_Vanca> Ok so there is global package db, user package db, and project env.
2026-01-21 19:34:22 +0100 <int-e> It's all rather messy, for historical reasons and possibly having too many cooks.
2026-01-21 19:35:07 +0100 <Milan_Vanca> Ookey I should just read whole doc and then ask questions :D
2026-01-21 19:35:21 +0100 <Milan_Vanca> BRB.. and thank you for answers :)
2026-01-21 19:37:44 +0100 <int-e> Milan_Vanca: for details on environments (including where GHC looks for them), see https://downloads.haskell.org/ghc/latest/docs/users_guide/packages.html#package-environments
2026-01-21 19:38:03 +0100 <Milan_Vanca> thanks
2026-01-21 19:38:21 +0100 <int-e> Personally I use GHC_ENVIRONMENT=- which disables them (and then occasionally unset that variable)
2026-01-21 19:38:57 +0100 <int-e> And then do what danza said: Don't work with standalong ghc(i) at all if there are any non-standard dependencies.
2026-01-21 19:39:04 +0100 <int-e> *standalone
2026-01-21 19:39:31 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-21 19:44:37 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-01-21 19:45:04 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-21 19:45:10 +0100 <Milan_Vanca> I am not sure I uderstand.. so when project has dependencies that are not glboaly installed, then its better to "cabal repl" instead of ghci right?
2026-01-21 19:45:29 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-21 19:45:54 +0100redshuffle(~quassel@45.43.70.75)
2026-01-21 19:46:08 +0100 <int-e> yeah that's the idea
2026-01-21 19:47:03 +0100 <int-e> leave the messy bits of informing ghci about the packages to cabal
2026-01-21 19:48:01 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-21 19:54:44 +0100Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla
2026-01-21 19:59:10 +0100spew_(~spew@user/spew) spew
2026-01-21 20:02:02 +0100spew__(~spew@user/spew) spew
2026-01-21 20:02:27 +0100spew(~spew@user/spew) (Killed (NickServ (GHOST command used by spew__)))
2026-01-21 20:02:29 +0100spew__spew
2026-01-21 20:03:53 +0100spew_(~spew@user/spew) (Ping timeout: 260 seconds)
2026-01-21 20:14:00 +0100 <Milan_Vanca> Hmmm, how should I understand "broken" package? Is it "not installed"? From ghc docs 5.9.1 "GHC only knows about packages that are installed. Installed packages live in package databases." And "Additionally, some packages may be broken: that is, they are missing from the package database, or one of their dependencies are broken"
2026-01-21 20:14:38 +0100 <Milan_Vanca> So "installed = in pkg db" "broken = not in pkg db".. I would say broken package is one in pkg db but somehow broken
2026-01-21 20:16:08 +0100 <Milan_Vanca> And also "or the version number can be omitted in which case GHC will automatically expose the latest non-broken version from the installed versions of the package." So package can be installed and broken at the same time.
2026-01-21 20:17:01 +0100 <int-e> Milan_Vanca: I guess that's technically correct? ghc-pkg will only list broken packages that are installed though, so you end up with packages that have a missing or broken dependency.
2026-01-21 20:17:42 +0100 <Milan_Vanca> Ah makes sense
2026-01-21 20:18:07 +0100 <int-e> Milan_Vanca: The most common way a package breaks would be by upgrading a dependency, which replaces the dependency by a newer version (which is a different package).
2026-01-21 20:18:40 +0100 <int-e> Also, this mostly happened with older cabal-install (1.x)
2026-01-21 20:19:30 +0100 <Milan_Vanca> Okey this makes sense.. :) Thank you
2026-01-21 20:19:33 +0100Enrico63(~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed)
2026-01-21 20:24:04 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2026-01-21 20:25:04 +0100Zemy(~Zemy@72.178.108.235) (Remote host closed the connection)
2026-01-21 20:27:37 +0100Zemy(~Zemy@72.178.108.235)
2026-01-21 20:27:46 +0100jreicher(~joelr@user/jreicher) (Quit: In transit)
2026-01-21 20:36:29 +0100Googulator(~Googulato@77.234.89.65) (Quit: Client closed)
2026-01-21 20:37:03 +0100Googulator(~Googulato@77-234-89-65.pool.digikabel.hu)
2026-01-21 20:40:05 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2026-01-21 20:40:35 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-01-21 20:40:38 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2026-01-21 20:49:47 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2026-01-21 20:51:28 +0100Brumaire_(~no@2a01:e0a:576:3670:a4e5:6ca7:3f9a:ca2) Brumaire
2026-01-21 20:51:47 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-01-21 20:51:58 +0100Brumaire(~no@94.140.114.73) (Ping timeout: 244 seconds)
2026-01-21 20:56:18 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-21 21:10:02 +0100Enrico63(~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63
2026-01-21 21:12:39 +0100Brumaire_(~no@2a01:e0a:576:3670:a4e5:6ca7:3f9a:ca2) (Ping timeout: 250 seconds)