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