IRCBrowse

2024/07/29

2024-07-29 00:00:32 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-07-29 00:01:59 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-29 00:01:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 00:02:11 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 00:04:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 00:05:08 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 00:05:20 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-29 00:07:23 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-07-29 00:16:58 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-07-29 00:28:48 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-29 00:30:43 +0200acidjnk(~acidjnk@p200300d6e72cfb26bd154e804722854a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-07-29 00:34:02 +0200monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2024-07-29 00:35:45 +0200monochrom(trebla@216.138.220.146)
2024-07-29 00:43:25 +0200bolivood(~bolivood@2a0d:6fc2:5d11:200:bd4c:6a06:416e:add9) (Ping timeout: 252 seconds)
2024-07-29 00:48:31 +0200ZharMeny(~user@user/ZharMeny)
2024-07-29 00:59:24 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 272 seconds)
2024-07-29 01:03:39 +0200Volt_(~Volt_@72.252.192.240)
2024-07-29 01:06:22 +0200bolivood(~bolivood@2a0d:6fc2:5d11:200:d10c:9938:d7a4:76d)
2024-07-29 01:40:13 +0200Digitteknohippie(~user@user/digit)
2024-07-29 01:40:14 +0200MadeleineSydney(~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net)
2024-07-29 01:40:31 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-29 01:40:54 +0200califax(~califax@user/califx)
2024-07-29 01:41:14 +0200Digit(~user@user/digit) (Ping timeout: 255 seconds)
2024-07-29 01:45:34 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 01:46:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 01:46:00 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-07-29 01:46:04 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-07-29 01:46:54 +0200jcarpenter2(~lol@2603:3016:1e01:b9a0:1873:d817:999f:f868)
2024-07-29 01:47:34 +0200lol_(~lol@2603:3016:1e01:b9a0:b0d0:e22d:2e3b:6bd1) (Ping timeout: 260 seconds)
2024-07-29 01:51:59 +0200gentauro(~gentauro@user/gentauro)
2024-07-29 01:53:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-29 01:55:34 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 01:55:48 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 245 seconds)
2024-07-29 01:56:27 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 01:56:50 +0200Eoco(~ian@128.101.131.218)
2024-07-29 01:57:51 +0200DigitteknohippieDigit
2024-07-29 02:08:51 +0200MadeleineSydney(~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney)
2024-07-29 02:09:35 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2024-07-29 02:12:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-07-29 02:26:23 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2024-07-29 02:27:18 +0200ZharMeny(~user@user/ZharMeny) (Ping timeout: 276 seconds)
2024-07-29 02:32:02 +0200MadeleineSydney(~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net)
2024-07-29 02:32:28 +0200sssggg(~sssggg@syn-069-203-107-019.res.spectrum.com)
2024-07-29 02:40:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-29 02:40:16 +0200MadeleineSydney(~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney)
2024-07-29 02:47:52 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-29 02:58:26 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds)
2024-07-29 03:02:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-29 03:03:00 +0200Inst(~Inst@user/Inst) (Ping timeout: 260 seconds)
2024-07-29 03:06:42 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-29 03:09:16 +0200sssggg(~sssggg@syn-069-203-107-019.res.spectrum.com) (Quit: Client closed)
2024-07-29 03:13:51 +0200Inst(~Inst@user/Inst)
2024-07-29 03:15:17 +0200sindu(~sindu@83-243-191-191.fth.tafjordconnect.net)
2024-07-29 03:17:25 +0200ticat(~ticat@awork087080.netvigator.com)
2024-07-29 03:20:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-29 03:32:16 +0200ticat(~ticat@awork087080.netvigator.com) (Quit: Client closed)
2024-07-29 03:37:35 +0200bolivood(~bolivood@2a0d:6fc2:5d11:200:d10c:9938:d7a4:76d) (Ping timeout: 265 seconds)
2024-07-29 03:37:51 +0200aforemny_(~aforemny@2001:9e8:6cd1:fe00:219f:a7e:bbef:3a95)
2024-07-29 03:38:43 +0200aforemny(~aforemny@2001:9e8:6cc0:600:cc61:be70:932b:db06) (Ping timeout: 245 seconds)
2024-07-29 03:45:56 +0200boemeke(~boemeke@132.255.146.110)
2024-07-29 03:47:17 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-07-29 03:47:36 +0200EvanR(~EvanR@user/evanr)
2024-07-29 03:52:47 +0200boemeke53(~boemeke@132.255.146.110)
2024-07-29 03:55:42 +0200Volt_(~Volt_@72.252.192.240) ()
2024-07-29 04:08:25 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 244 seconds)
2024-07-29 04:10:57 +0200td_(~td@i5387090A.versanet.de) (Ping timeout: 252 seconds)
2024-07-29 04:12:47 +0200td_(~td@i5387090C.versanet.de)
2024-07-29 04:43:16 +0200Cale(~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c)
2024-07-29 04:54:42 +0200rvalue(~rvalue@user/rvalue)
2024-07-29 05:06:21 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-29 05:06:21 +0200ChanServ+v haskellbridge
2024-07-29 05:14:05 +0200aforemny(~aforemny@2001:9e8:6cdc:9000:226:e6cc:3b9e:4c5f)
2024-07-29 05:15:01 +0200aforemny_(~aforemny@2001:9e8:6cd1:fe00:219f:a7e:bbef:3a95) (Ping timeout: 248 seconds)
2024-07-29 05:17:09 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds)
2024-07-29 05:21:44 +0200tabaqui(~root@87.200.123.114) (Ping timeout: 252 seconds)
2024-07-29 05:28:55 +0200jcarpenter2(~lol@2603:3016:1e01:b9a0:1873:d817:999f:f868) (Ping timeout: 264 seconds)
2024-07-29 05:32:54 +0200sindu(~sindu@83-243-191-191.fth.tafjordconnect.net) (Ping timeout: 260 seconds)
2024-07-29 05:36:27 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2024-07-29 05:38:34 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-29 05:49:31 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-07-29 05:52:02 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2024-07-29 05:52:02 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Changing host)
2024-07-29 05:52:02 +0200nek0(~nek0@user/nek0)
2024-07-29 05:52:03 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 276 seconds)
2024-07-29 05:57:17 +0200hayk(~hayk@141.136.90.108) (Quit: hayk)
2024-07-29 05:57:47 +0200jcarpenter2(~lol@2603:3016:1e01:b980:d79:f8af:5690:6860)
2024-07-29 06:00:53 +0200hayk(~hayk@141.136.90.108)
2024-07-29 06:18:27 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-29 06:18:42 +0200hueso(~root@user/hueso) (Ping timeout: 276 seconds)
2024-07-29 06:20:59 +0200hueso(~root@user/hueso)
2024-07-29 06:29:50 +0200 <Inst> by the way, is anyone familiar with sumi.news? It's not that remarkable of a site, but it's a Haskell-powered news aggregator without ads
2024-07-29 06:51:21 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-07-29 06:52:20 +0200hayk(~hayk@141.136.90.108) (Quit: hayk)
2024-07-29 06:53:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-29 07:04:42 +0200michalz(~michalz@185.246.207.197)
2024-07-29 07:23:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-29 07:27:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-29 07:29:35 +0200placidusax(~user@user/meritamen)
2024-07-29 07:30:03 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-29 07:33:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-29 07:36:26 +0200jinsun_(~jinsun@user/jinsun)
2024-07-29 07:36:26 +0200jinsun(~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services)))
2024-07-29 07:36:26 +0200jinsun_jinsun
2024-07-29 07:45:36 +0200setofsets(~setofsets@45-181-100-131.plugartelecom.net.br)
2024-07-29 07:58:13 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-29 07:58:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-29 08:07:15 +0200Square2(~Square@user/square) (Ping timeout: 276 seconds)
2024-07-29 08:11:34 +0200Square2(~Square@user/square)
2024-07-29 08:28:33 +0200Square2(~Square@user/square) (Ping timeout: 248 seconds)
2024-07-29 08:29:02 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-07-29 08:30:04 +0200acidjnk(~acidjnk@p200300d6e72cfb85a5f5f2578d37d7d1.dip0.t-ipconnect.de)
2024-07-29 08:35:20 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-07-29 08:35:56 +0200euleritian(~euleritia@dynamic-176-006-142-089.176.6.pool.telefonica.de)
2024-07-29 08:37:59 +0200billchenchina-(~billchenc@210.110.131.60)
2024-07-29 08:44:37 +0200euphores(~SASL_euph@user/euphores)
2024-07-29 08:45:02 +0200boemeke(~boemeke@132.255.146.110) (Quit: Client closed)
2024-07-29 08:45:04 +0200boemeke53(~boemeke@132.255.146.110) (Quit: Client closed)
2024-07-29 08:46:49 +0200arahael(~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Changing host)
2024-07-29 08:46:49 +0200arahael(~arahael@user/arahael)
2024-07-29 08:49:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-29 08:58:37 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-29 08:58:41 +0200rosco(~rosco@14.191.95.214)
2024-07-29 09:10:14 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-29 09:10:47 +0200misterfish(~misterfis@84.53.85.146)
2024-07-29 09:11:27 +0200rosco(~rosco@14.191.95.214) (Quit: Lost terminal)
2024-07-29 09:11:45 +0200rosco(~rosco@14.191.95.214)
2024-07-29 09:17:48 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-07-29 09:19:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-29 09:23:16 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-29 09:34:29 +0200billchenchina-(~billchenc@210.110.131.60) (Quit: Leaving)
2024-07-29 09:43:01 +0200setofsets(~setofsets@45-181-100-131.plugartelecom.net.br) (Quit: Client closed)
2024-07-29 09:46:37 +0200__monty__(~toonn@user/toonn)
2024-07-29 09:48:00 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-07-29 09:56:49 +0200gmg(~user@user/gehmehgeh)
2024-07-29 09:56:54 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-29 09:57:51 +0200rosco(~rosco@14.191.95.214) (Quit: Lost terminal)
2024-07-29 09:58:24 +0200cfricke(~cfricke@user/cfricke)
2024-07-29 10:02:14 +0200tomku(~tomku@user/tomku) (Ping timeout: 260 seconds)
2024-07-29 10:02:28 +0200tomku(~tomku@user/tomku)
2024-07-29 10:02:49 +0200CiaoSen(~Jura@2a05:5800:2e9:3100:e6b9:7aff:fe80:3d03)
2024-07-29 10:06:03 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-29 10:06:21 +0200lockywolf(~lockywolf@public.lockywolf.net)
2024-07-29 10:09:09 +0200billchenchina-(~billchenc@116.89.172.24)
2024-07-29 10:15:43 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: on the move)
2024-07-29 10:18:26 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-29 10:21:28 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-29 10:27:45 +0200euleritian(~euleritia@dynamic-176-006-142-089.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-29 10:28:02 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 10:34:56 +0200billchenchina-(~billchenc@116.89.172.24) (Quit: Leaving)
2024-07-29 10:38:42 +0200MadeleineSydney(~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net)
2024-07-29 10:38:42 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 276 seconds)
2024-07-29 10:38:50 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-29 10:40:57 +0200MadeleineSydney(~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Client Quit)
2024-07-29 10:43:25 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 10:44:04 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 10:47:32 +0200hljhcjwzzh(~anton@m90-131-33-112.cust.tele2.lt)
2024-07-29 10:50:34 +0200wryish(~wryish@216.246.119.62) (Quit: %blank%)
2024-07-29 10:50:52 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1)
2024-07-29 10:52:39 +0200chele(~chele@user/chele)
2024-07-29 10:55:11 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 255 seconds)
2024-07-29 10:55:45 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-07-29 10:56:08 +0200Inst(~Inst@user/Inst)
2024-07-29 10:59:03 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 11:10:54 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2024-07-29 11:11:31 +0200misterfish(~misterfis@84.53.85.146)
2024-07-29 11:14:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-29 11:26:44 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 11:31:53 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 11:34:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds)
2024-07-29 11:36:51 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-07-29 11:39:05 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-07-29 11:44:04 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 11:45:29 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-07-29 11:47:17 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-07-29 11:48:53 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 11:49:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-29 12:00:00 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 12:01:31 +0200Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: leaving)
2024-07-29 12:08:09 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 12:10:04 +0200Guest42(~Guest94@62.101.184.61.dyn.user.ono.com)
2024-07-29 12:14:30 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-07-29 12:14:57 +0200Guest42(~Guest94@62.101.184.61.dyn.user.ono.com) (Ping timeout: 256 seconds)
2024-07-29 12:18:05 +0200marko(~marko@APN-122-12-44-gprs.simobil.net)
2024-07-29 12:20:39 +0200hc(~hc@2407:d200:d002:43:229:85:195:3) (Ping timeout: 260 seconds)
2024-07-29 12:22:19 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 264 seconds)
2024-07-29 12:27:29 +0200desantra(~skykanin@user/skykanin)
2024-07-29 12:32:11 +0200CiaoSen(~Jura@2a05:5800:2e9:3100:e6b9:7aff:fe80:3d03) (Ping timeout: 252 seconds)
2024-07-29 12:34:32 +0200desantra(~skykanin@user/skykanin) (Quit: WeeChat 4.3.4)
2024-07-29 12:36:13 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 12:41:01 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 12:50:01 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-07-29 12:51:57 +0200hc(~hc@2407:d200:d002:43:229:85:195:3)
2024-07-29 12:52:55 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 12:54:09 +0200dans59786(~danse-nr3@user/danse-nr3)
2024-07-29 12:55:24 +0200hljhcjwzzh(~anton@m90-131-33-112.cust.tele2.lt) (Ping timeout: 252 seconds)
2024-07-29 12:56:01 +0200tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2024-07-29 12:56:15 +0200tomku(~tomku@user/tomku)
2024-07-29 12:56:28 +0200dans59786(~danse-nr3@user/danse-nr3) (Client Quit)
2024-07-29 12:56:30 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds)
2024-07-29 12:57:27 +0200tabaqui(~root@87.200.123.114)
2024-07-29 12:59:09 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 13:03:11 +0200MadeleineSydney(~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net)
2024-07-29 13:11:04 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 13:14:22 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-07-29 13:14:36 +0200euleritian(~euleritia@dynamic-176-006-133-119.176.6.pool.telefonica.de)
2024-07-29 13:22:16 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-07-29 13:22:56 +0200LawrenceBerkheim(~LBerkheim@user/LawrenceBerkheim)
2024-07-29 13:24:24 +0200gmg(~user@user/gehmehgeh)
2024-07-29 13:25:35 +0200ZharMeny(~user@185.248.130.75)
2024-07-29 13:27:29 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 13:28:26 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-29 13:30:54 +0200marko(~marko@APN-122-12-44-gprs.simobil.net) (Remote host closed the connection)
2024-07-29 13:33:53 +0200ZharMeny(~user@185.248.130.75) (Changing host)
2024-07-29 13:33:53 +0200ZharMeny(~user@user/ZharMeny)
2024-07-29 13:34:04 +0200visilii(~visilii@46.61.242.52)
2024-07-29 13:38:17 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 13:38:46 +0200visilii(~visilii@46.61.242.52) (Ping timeout: 272 seconds)
2024-07-29 13:40:51 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-29 13:41:28 +0200visilii(~visilii@188.254.126.125)
2024-07-29 13:50:08 +0200danse-nr3(~danse-nr3@user/danse-nr3) ()
2024-07-29 13:52:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-07-29 13:53:32 +0200CiaoSen(~Jura@2a05:5800:2e9:3100:e6b9:7aff:fe80:3d03)
2024-07-29 13:56:03 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 13:57:22 +0200MadeleineSydney(~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Remote host closed the connection)
2024-07-29 14:02:03 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 14:04:01 +0200jerg(~jerg@2001:a61:2510:4100::bb0)
2024-07-29 14:11:29 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 248 seconds)
2024-07-29 14:11:39 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 14:17:55 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 14:29:29 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 14:36:03 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 14:39:03 +0200 <ncf> > id :: f a ~ g b => g a -> f b -- type application injectivity
2024-07-29 14:39:05 +0200 <lambdabot> error:
2024-07-29 14:39:05 +0200 <lambdabot> • No instance for (Typeable b0)
2024-07-29 14:39:05 +0200 <lambdabot> arising from a use of ‘show_M11994018058135706268’
2024-07-29 14:42:08 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-29 14:42:32 +0200visilii_(~visilii@188.254.110.38)
2024-07-29 14:44:30 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2024-07-29 14:45:35 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2024-07-29 14:45:54 +0200visilii(~visilii@188.254.126.125) (Ping timeout: 272 seconds)
2024-07-29 14:48:12 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 14:54:45 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 14:58:03 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 276 seconds)
2024-07-29 15:01:59 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-07-29 15:03:43 +0200CiaoSen(~Jura@2a05:5800:2e9:3100:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds)
2024-07-29 15:06:12 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 15:06:29 +0200Guest18(~Guest18@126.188.73.86.rev.sfr.net)
2024-07-29 15:07:51 +0200visilii(~visilii@46.61.242.163)
2024-07-29 15:10:16 +0200ystael(~ystael@user/ystael)
2024-07-29 15:11:11 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 15:11:31 +0200visilii_(~visilii@188.254.110.38) (Ping timeout: 264 seconds)
2024-07-29 15:12:59 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 15:15:04 +0200AlexZenon(~alzenon@94.233.241.102) (Ping timeout: 260 seconds)
2024-07-29 15:16:59 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-07-29 15:18:36 +0200visilii_(~visilii@46.61.242.91)
2024-07-29 15:19:07 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 15:20:18 +0200visilii-(~visilii@46.61.242.229)
2024-07-29 15:21:13 +0200visilii(~visilii@46.61.242.163) (Ping timeout: 252 seconds)
2024-07-29 15:23:21 +0200visilii(~visilii@188.254.110.171)
2024-07-29 15:23:49 +0200visilii_(~visilii@46.61.242.91) (Ping timeout: 260 seconds)
2024-07-29 15:26:00 +0200visilii-(~visilii@46.61.242.229) (Ping timeout: 252 seconds)
2024-07-29 15:26:15 +0200AlexZenon(~alzenon@94.233.241.102)
2024-07-29 15:26:27 +0200Guest18(~Guest18@126.188.73.86.rev.sfr.net) (Quit: Connection closed)
2024-07-29 15:29:10 +0200euleritian(~euleritia@dynamic-176-006-133-119.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-29 15:29:48 +0200euleritian(~euleritia@dynamic-176-006-133-119.176.6.pool.telefonica.de)
2024-07-29 15:29:57 +0200euleritian(~euleritia@dynamic-176-006-133-119.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-29 15:30:13 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 15:30:15 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 15:33:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 15:33:37 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 15:34:07 +0200visilii_(~visilii@188.254.126.209)
2024-07-29 15:35:46 +0200visilii-(~visilii@46.61.242.98)
2024-07-29 15:36:07 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 15:37:44 +0200visilii(~visilii@188.254.110.171) (Ping timeout: 252 seconds)
2024-07-29 15:37:45 +0200hayk(~hayk@141.136.90.108)
2024-07-29 15:39:12 +0200visilii_(~visilii@188.254.126.209) (Ping timeout: 252 seconds)
2024-07-29 15:41:38 +0200visilii(~visilii@213.24.125.189)
2024-07-29 15:41:38 +0200visilii-(~visilii@46.61.242.98) (Read error: Connection reset by peer)
2024-07-29 15:48:07 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 15:48:07 +0200visilii_(~visilii@46.61.242.235)
2024-07-29 15:51:43 +0200visilii(~visilii@213.24.125.189) (Ping timeout: 264 seconds)
2024-07-29 15:54:15 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 15:58:15 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-29 15:59:38 +0200visilii(~visilii@46.61.242.192)
2024-07-29 16:02:31 +0200visilii_(~visilii@46.61.242.235) (Ping timeout: 264 seconds)
2024-07-29 16:02:34 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 16:04:52 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-29 16:06:24 +0200visilii_(~visilii@46.61.242.51)
2024-07-29 16:08:40 +0200visilii-(~visilii@46.61.242.99)
2024-07-29 16:09:37 +0200visilii(~visilii@46.61.242.192) (Ping timeout: 252 seconds)
2024-07-29 16:12:11 +0200visilii_(~visilii@46.61.242.51) (Ping timeout: 252 seconds)
2024-07-29 16:22:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-29 16:25:26 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-29 16:25:35 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: Ping timeout (120 seconds))
2024-07-29 16:25:54 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se)
2024-07-29 16:26:00 +0200ghodawalaaman(~thelounge@user/thelounge8234) (Quit: Ping timeout (120 seconds))
2024-07-29 16:26:46 +0200ghodawalaaman(~thelounge@user/thelounge8234)
2024-07-29 16:40:13 +0200LawrenceBerkheim(~LBerkheim@user/LawrenceBerkheim) (Remote host closed the connection)
2024-07-29 16:44:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-29 16:46:57 +0200skyesoss(~Thunderbi@128.135.204.35)
2024-07-29 16:51:26 +0200visilii-(~visilii@46.61.242.99) (Ping timeout: 252 seconds)
2024-07-29 16:54:55 +0200CiaoSen(~Jura@2a05:5800:2e9:3100:e6b9:7aff:fe80:3d03)
2024-07-29 16:55:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-29 16:59:10 +0200hayk(~hayk@141.136.90.108) (Quit: hayk)
2024-07-29 16:59:29 +0200VedantT(~VedantT@2603:6000:b500:29a9:dc64:eeed:c9d3:d94b)
2024-07-29 17:00:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-07-29 17:06:16 +0200Enrico63(~Enrico63@81.109.143.226)
2024-07-29 17:07:31 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-07-29 17:10:48 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: on the move)
2024-07-29 17:11:51 +0200visilii(~visilii@46.61.242.102)
2024-07-29 17:12:55 +0200VedantT(~VedantT@2603:6000:b500:29a9:dc64:eeed:c9d3:d94b) (Quit: Client closed)
2024-07-29 17:17:10 +0200visilii_(~visilii@213.24.125.21)
2024-07-29 17:19:40 +0200visilii(~visilii@46.61.242.102) (Ping timeout: 252 seconds)
2024-07-29 17:23:12 +0200 <Enrico63> Hi, can anybody help me understand why I observe discrepancies between the versions (of installed and set tools) in GHCup vs when I do `cabal info`? For instance, if I install and set GHC 9.4.8 or 9.8.2 via GHCup and then do `cabal info ghc`, I get 9.4.8 and 9.8.2 respectively, which is what I expected. However, even though HLS 2.7.0.0 is installed
2024-07-29 17:23:12 +0200 <Enrico63> according to GHCup (and it works because I use it in the IDE), doing `cabal info hls` shows Versions installed: [ Not installed ]. I have also asked the question on stackoverflow at https://stackoverflow.com/questions/78803163/confusion-between-ghcup-and-cabal-as-regards-versions… but I haven't got any reply yet.
2024-07-29 17:30:57 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-29 17:37:45 +0200rvalue-(~rvalue@user/rvalue)
2024-07-29 17:38:23 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 255 seconds)
2024-07-29 17:40:56 +0200visilii_(~visilii@213.24.125.21) (Ping timeout: 252 seconds)
2024-07-29 17:41:46 +0200rvalue-rvalue
2024-07-29 17:44:49 +0200 <sclv> Enrico63: answered on the stackoverflow question
2024-07-29 17:45:25 +0200 <sclv> `cabal info` is for package info, not executables. so its just not telling you the info you're looking for, and in fact its info on what's installed is these days almost never useful to you at all.
2024-07-29 17:46:17 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 17:48:53 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-07-29 17:53:31 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-07-29 17:57:41 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-07-29 18:00:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-29 18:00:44 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2024-07-29 18:01:04 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 18:05:26 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-07-29 18:08:07 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-29 18:08:25 +0200 <c_wraith> huh. Typeable is actually deeply weird now, isn't it?
2024-07-29 18:09:17 +0200 <danse-nr3> well if /you/ say that OO... i'm not gonna touch it even with a stick
2024-07-29 18:10:21 +0200 <c_wraith> I mean, it's not really a class anymore. Like Coercible
2024-07-29 18:11:06 +0200 <c_wraith> I've just had to put a Typeable constraint on something that would be inferred from the other constraints if it worked like real classes.
2024-07-29 18:11:07 +0200 <dolio> Yeah, it's not something you can manually specify, or have to request deriving of.
2024-07-29 18:11:56 +0200 <c_wraith> It's really not a problem, just a surprise that I had to specify it.
2024-07-29 18:11:57 +0200 <Rembane> Does Typeable have a flavour like Generic?
2024-07-29 18:12:19 +0200 <Rembane> As in, it's very useful but does not fit the mental model for many other type classes.
2024-07-29 18:12:37 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2024-07-29 18:12:51 +0200 <c_wraith> I'd say it fits those two criteria
2024-07-29 18:13:05 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 248 seconds)
2024-07-29 18:13:16 +0200 <c_wraith> Though it goes about it very differently than how Generic does
2024-07-29 18:13:25 +0200 <dolio> I'm not aware of it working any differently with respect to 'superclasses' if that's what you're talking about.
2024-07-29 18:14:40 +0200placidusax(~user@user/meritamen) (Ping timeout: 252 seconds)
2024-07-29 18:15:57 +0200 <c_wraith> Well, I'm specifically looking at a case where ghc isn't deriving the constraint `Typeable es' from `Exception (Foo es)`.
2024-07-29 18:16:09 +0200placidusax(~user@user/meritamen)
2024-07-29 18:16:33 +0200 <c_wraith> But Typeable is a superclass of Exception
2024-07-29 18:16:58 +0200 <c_wraith> if it was a normal class, the Typeable instance for Foo would add the Typeable constraint on es
2024-07-29 18:17:57 +0200 <dolio> Well, it wouldn't have to necessarily.
2024-07-29 18:18:49 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-07-29 18:19:08 +0200misterfish(~misterfis@178.225.21.32)
2024-07-29 18:19:42 +0200 <c_wraith> Well. In a technical sense it wouldn't have to, but the way the automatic instances of Typeable work it would add that constraint
2024-07-29 18:19:54 +0200ZharMeny(~user@user/ZharMeny) (Ping timeout: 252 seconds)
2024-07-29 18:21:05 +0200placidusax(~user@user/meritamen) (Ping timeout: 248 seconds)
2024-07-29 18:21:59 +0200placidusax(~user@user/meritamen)
2024-07-29 18:24:12 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2024-07-29 18:25:02 +0200misterfish(~misterfis@178.225.21.32) (Ping timeout: 272 seconds)
2024-07-29 18:26:59 +0200placidusax(~user@user/meritamen) (Ping timeout: 260 seconds)
2024-07-29 18:27:21 +0200placidusax(~user@user/meritamen)
2024-07-29 18:32:02 +0200 <c_wraith> I guess from a perspective of runtime behavior, it probably would cost a lot to pass around all the possible Typeable dictionaries that might be inferred from a type with a lot of parameters
2024-07-29 18:32:03 +0200placidusax(~user@user/meritamen) (Ping timeout: 245 seconds)
2024-07-29 18:32:25 +0200euphores(~SASL_euph@user/euphores)
2024-07-29 18:32:37 +0200 <Rembane> But maybe they can be thrown away if not used?
2024-07-29 18:32:40 +0200Square2(~Square@user/square)
2024-07-29 18:32:46 +0200 <c_wraith> So maybe there are cases where it's a visible performance improvement not to infer Typeable constraints and require them to be explicitly requested
2024-07-29 18:33:04 +0200placidusax(~user@user/meritamen)
2024-07-29 18:34:59 +0200sprout(~quassel@2a02-a448-3a80-0-9023-d965-287a-ca2f.fixed6.kpn.net) (Ping timeout: 260 seconds)
2024-07-29 18:35:02 +0200 <dolio> Now that you say that, I think it might not really be passing around these dictionaries at all. I seem to recall something about it just making them up wherever they're needed, so long as it knows that the 'instance' is valid.
2024-07-29 18:35:35 +0200 <dolio> But, you could explain that in terms of how type classes work.
2024-07-29 18:36:10 +0200misterfish(~misterfis@178.225.21.32)
2024-07-29 18:36:20 +0200sprout(~quassel@2a02-a448-3a80-0-414d-4612-f265-dc79.fixed6.kpn.net)
2024-07-29 18:37:04 +0200 <dolio> Like, there is no instance `Typeable e => Typeable (Foo e)`, there are just arbitrarily many instances `Typeable (Foo T)`, so there is no `Typeabale T` 'packed in' there.
2024-07-29 18:37:55 +0200placidusax(~user@user/meritamen) (Ping timeout: 264 seconds)
2024-07-29 18:38:44 +0200placidusax(~user@user/meritamen)
2024-07-29 18:39:18 +0200 <c_wraith> I think it has to create an instance dictionary in order for things to work when all that's available locally are constrained type variables
2024-07-29 18:40:03 +0200 <dolio> Given enough time, you could write a program like that yourself, with whatever extension allows you to write instances like that.
2024-07-29 18:42:21 +0200 <c_wraith> But I do see your point - the automatic instances don't add constraints, they're on every concrete type separately
2024-07-29 18:42:44 +0200 <dolio> Yeah, I think that's the mental model comparable to what it's doing.
2024-07-29 18:44:02 +0200placidusax(~user@user/meritamen) (Ping timeout: 272 seconds)
2024-07-29 18:44:11 +0200 <c_wraith> That does fit with the behavior I'm observing. So I'll adopt that model to explain why this constraint needs to be specified
2024-07-29 18:45:40 +0200cheater(~Username@user/cheater)
2024-07-29 18:48:05 +0200VedantT(~VedantT@2603:6000:b500:29a9:ad0f:c3fb:7a12:8bae)
2024-07-29 18:51:01 +0200misterfish(~misterfis@178.225.21.32) (Ping timeout: 248 seconds)
2024-07-29 18:54:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-07-29 18:55:08 +0200euleritian(~euleritia@dynamic-176-006-140-157.176.6.pool.telefonica.de)
2024-07-29 18:55:27 +0200Midjak(~MarciZ@82.66.147.146)
2024-07-29 18:58:23 +0200 <dolio> There probably is enough information in the type rep for it to implement something like the schematic instance, but I guess it'd be complicated.
2024-07-29 18:59:33 +0200Enrico63(~Enrico63@81.109.143.226) (Ping timeout: 256 seconds)
2024-07-29 19:00:59 +0200visilii(~visilii@188.254.110.179)
2024-07-29 19:02:50 +0200visilii_(~visilii@46.61.242.154)
2024-07-29 19:06:29 +0200 <JuanDaugherty> generic programming support is the apparent rationale, and it looks like a solidly committed feature
2024-07-29 19:06:39 +0200visilii(~visilii@188.254.110.179) (Ping timeout: 252 seconds)
2024-07-29 19:07:17 +0200VedantT(~VedantT@2603:6000:b500:29a9:ad0f:c3fb:7a12:8bae) (Quit: Client closed)
2024-07-29 19:07:57 +0200 <JuanDaugherty> and potentially a huge time sink
2024-07-29 19:08:51 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: on the move)
2024-07-29 19:16:34 +0200placidusax(~user@user/meritamen)
2024-07-29 19:18:42 +0200visilii_(~visilii@46.61.242.154) (Ping timeout: 276 seconds)
2024-07-29 19:23:31 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-29 19:23:45 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-29 19:23:57 +0200placidusax(~user@user/meritamen) (Ping timeout: 265 seconds)
2024-07-29 19:24:48 +0200placidusax(~user@user/meritamen)
2024-07-29 19:26:29 +0200CiaoSen(~Jura@2a05:5800:2e9:3100:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds)
2024-07-29 19:30:00 +0200placidusax(~user@user/meritamen) (Ping timeout: 260 seconds)
2024-07-29 19:30:30 +0200placidusax(~user@user/meritamen)
2024-07-29 19:31:10 +0200hayk(~hayk@141.136.90.108)
2024-07-29 19:32:13 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: crappy window$)
2024-07-29 19:32:16 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-07-29 19:35:17 +0200placidusax(~user@user/meritamen) (Ping timeout: 248 seconds)
2024-07-29 19:36:01 +0200placidusax(~user@user/meritamen)
2024-07-29 19:36:19 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-29 19:37:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-29 19:40:46 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-29 19:40:49 +0200placidusax(~user@user/meritamen) (Ping timeout: 252 seconds)
2024-07-29 19:41:37 +0200placidusax(~user@user/meritamen)
2024-07-29 19:42:04 +0200VedantT(~VedantT@2603:6000:b500:29a9:ad0f:c3fb:7a12:8bae)
2024-07-29 19:46:15 +0200stehun(~stehun@143.176.245.112)
2024-07-29 19:46:41 +0200placidusax(~user@user/meritamen) (Ping timeout: 244 seconds)
2024-07-29 19:47:20 +0200placidusax(~user@user/meritamen)
2024-07-29 19:49:30 +0200cheater(~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
2024-07-29 19:51:51 +0200placidusax(~user@user/meritamen) (Ping timeout: 244 seconds)
2024-07-29 19:52:57 +0200placidusax(~user@user/meritamen)
2024-07-29 19:57:42 +0200placidusax(~user@user/meritamen) (Ping timeout: 252 seconds)
2024-07-29 19:58:17 +0200stehun(~stehun@143.176.245.112) (Quit: Client closed)
2024-07-29 20:01:11 +0200LawrenceBerkheim(~LBerkheim@user/LawrenceBerkheim)
2024-07-29 20:01:27 +0200ell(~ellie@user/ellie) (Quit: Ping timeout (120 seconds))
2024-07-29 20:01:36 +0200 <LawrenceBerkheim> Quick question. What's the difference between data Thing = String and data Thing = Thing String
2024-07-29 20:01:39 +0200 <LawrenceBerkheim> Am I going crazy?
2024-07-29 20:01:47 +0200ell(~ellie@user/ellie)
2024-07-29 20:01:47 +0200 <LawrenceBerkheim> Or where do I read on that difference
2024-07-29 20:02:14 +0200 <ncf> the first one declares Thing as a data type with one constructor named String
2024-07-29 20:02:19 +0200 <ncf> do you mean type Thing = String?
2024-07-29 20:02:52 +0200 <LawrenceBerkheim> Let me check
2024-07-29 20:03:11 +0200 <LawrenceBerkheim> I keep mixing up type vs data holy shit
2024-07-29 20:03:49 +0200 <mauke> 'data Thing = String' creates a type called 'Thing' with a single value called 'String' (which is unrelated to the standard type 'String')
2024-07-29 20:04:07 +0200 <LawrenceBerkheim> https://learnyouahaskell.com/making-our-own-types-and-typeclasses Here the first example is data Bool = True | False
2024-07-29 20:04:21 +0200 <mauke> 'data Thing = Thing String' creates a type called 'Thing', which has a data constructor also called 'Thing', which has a single field of type 'String'
2024-07-29 20:04:49 +0200 <LawrenceBerkheim> Oh shit mauke
2024-07-29 20:04:53 +0200 <LawrenceBerkheim> thanks
2024-07-29 20:06:21 +0200 <mauke> in either case, the data constructors ('String' and 'Thing', respectively) are technically unrelated to the types whose names they share
2024-07-29 20:06:42 +0200 <LawrenceBerkheim> yesssss
2024-07-29 20:06:49 +0200 <mauke> which is why some people prefer 'data Foo = MkFoo ...'
2024-07-29 20:07:04 +0200 <monochrom> in "data Bool = True | False", True and False are data constructors. (Not types.)
2024-07-29 20:07:06 +0200 <mauke> to disambiguate between type constructors and data constructors
2024-07-29 20:07:19 +0200 <monochrom> Another way to say it: they are values.
2024-07-29 20:07:56 +0200billchenchina-(~billchenc@118.38.173.226)
2024-07-29 20:08:20 +0200 <mauke> .oO( common values shared by all Haskellers )
2024-07-29 20:08:42 +0200billchenchina-(~billchenc@118.38.173.226) (Remote host closed the connection)
2024-07-29 20:09:03 +0200 <monochrom> values and types are in separate name spaces, so you can have a value called Bool and a type called Bool and they can be unrelated. No one literally does that, but don't let kind-hearted conventions fool you.
2024-07-29 20:09:08 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-29 20:09:29 +0200sporkl(~Thunderbi@2601:183:4c00:84f0:6969:1114:a1a7:d509)
2024-07-29 20:09:42 +0200sporkl(~Thunderbi@2601:183:4c00:84f0:6969:1114:a1a7:d509) ()
2024-07-29 20:10:34 +0200 <monochrom> When I teach C, I even show students that this is completely legal and the computer is completely unconfused: "typedef enum coin { HEAD, TAIL } listnode; typedef struct listnode { struct listnode *next; } coin;"
2024-07-29 20:11:14 +0200 <dolio> I do it. :þ
2024-07-29 20:11:21 +0200 <monochrom> haha
2024-07-29 20:11:37 +0200 <dolio> Well, they're probably not completely unrelated. But not just a constructor for the type of the same name.
2024-07-29 20:12:06 +0200 <monochrom> Money and meaningful names are the root of all evil.
2024-07-29 20:12:26 +0200 <mauke> struct stat, stat() // POSIX
2024-07-29 20:12:54 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr)
2024-07-29 20:13:02 +0200 <mauke> IIRC C++ has some special disambiguation rules because of stat
2024-07-29 20:13:48 +0200sympt(~sympt@user/sympt)
2024-07-29 20:13:49 +0200 <mauke> monochrom: do you also teach them about labels?
2024-07-29 20:14:12 +0200 <monochrom> As in goto? For better or worse, I don't have time to teach goto.
2024-07-29 20:14:28 +0200 <mauke> labels are the only thing in C that have function scope
2024-07-29 20:14:33 +0200 <mauke> and they live in their own namespace as well
2024-07-29 20:15:11 +0200 <monochrom> I would rather spend time torturing them with function pointers of functions that take moar function pointer arguments than teach them goto. :)
2024-07-29 20:15:22 +0200 <mauke> that's just induction :-)
2024-07-29 20:15:36 +0200 <monochrom> yeah and higher-order common sense
2024-07-29 20:16:34 +0200 <mauke> switch (n % 3) { case 0: printf("%d is divisible by three\n", n); break; defualt: printf("%d is not evenly divisible by three\n", n); break; }
2024-07-29 20:16:36 +0200 <monochrom> Wait, if I have "void f(void) { int x; ... }", doesn't that x also have function scope?
2024-07-29 20:16:37 +0200 <mauke> ^ good bug
2024-07-29 20:17:03 +0200 <mauke> monochrom: sort of. technically it's block scope
2024-07-29 20:17:11 +0200alexherbo2(~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2024-07-29 20:17:12 +0200 <monochrom> Oh! That, right.
2024-07-29 20:17:38 +0200 <mauke> it just covers the entire function because it's the first declaration in the function body
2024-07-29 20:17:40 +0200 <monochrom> yeah labels have to exceed block and be delimited by only the enclosing function.
2024-07-29 20:18:46 +0200cheater(~Username@user/cheater)
2024-07-29 20:18:50 +0200 <monochrom> Sorry, what is the bug there?
2024-07-29 20:19:13 +0200 <mauke> it doesn't output anything if n is not divisible by 3
2024-07-29 20:19:49 +0200 <monochrom> Oh! "defualt" is not "default".
2024-07-29 20:20:15 +0200VedantT(~VedantT@2603:6000:b500:29a9:ad0f:c3fb:7a12:8bae) (Quit: Client closed)
2024-07-29 20:20:21 +0200 <mauke> mixing case labels and regular labels is always great fun
2024-07-29 20:21:30 +0200 <mauke> int *ptr; goto L1; { L2: printf("n = %d\n", *ptr); goto L3; int n; L1: n = 42; ptr = &n; goto L2; } L3: ; // I think this is technically legal C
2024-07-29 20:22:09 +0200VedantT(~VedantT@2603:6000:b500:29a9:ad0f:c3fb:7a12:8bae)
2024-07-29 20:25:06 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-29 20:28:41 +0200 <LawrenceBerkheim> I just found this notation `::=`. What is it called? (So I could google)
2024-07-29 20:28:50 +0200 <LawrenceBerkheim> google is annoying as it doesn't seem to pick up these weird characters
2024-07-29 20:29:02 +0200 <dolio> Looks like formal grammaer specification.
2024-07-29 20:29:17 +0200 <LawrenceBerkheim> Is it not haskell notation?
2024-07-29 20:29:31 +0200 <LawrenceBerkheim> I know that the walrus operator is usually for assignment of values to variables
2024-07-29 20:29:35 +0200 <LawrenceBerkheim> at least from maths
2024-07-29 20:30:06 +0200 <dolio> Someone could have come up with a Haskell operator with that name, but I haven't seen it.
2024-07-29 20:30:12 +0200 <dolio> https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form <-- I have seen this.
2024-07-29 20:30:24 +0200 <monochrom> Every author uses ::= for their custom purpose.
2024-07-29 20:30:36 +0200 <monochrom> Similarly, ~
2024-07-29 20:30:48 +0200placidusax(~user@user/meritamen)
2024-07-29 20:31:06 +0200 <yushyin> but BNF is likely
2024-07-29 20:31:37 +0200 <monochrom> Similarly, , ; : @ !
2024-07-29 20:32:22 +0200 <monochrom> Or rather, every language has its own idea what to use , ; : @ ! for.
2024-07-29 20:32:46 +0200 <monochrom> I know languages in which list literal syntax is [1;2;3] not [1,2,3].
2024-07-29 20:32:54 +0200 <dolio> As they should.
2024-07-29 20:33:01 +0200 <monochrom> Good luck asking "what does ; mean?" without context.
2024-07-29 20:33:16 +0200 <mauke> everybody wants the colon
2024-07-29 20:33:17 +0200 <danse-nr3> ; is noisy
2024-07-29 20:33:46 +0200 <monochrom> That's a tautology. Only the unit type is not noisy.
2024-07-29 20:33:49 +0200 <mauke> [|1;2;3|]
2024-07-29 20:34:05 +0200 <danse-nr3> , is less noisy
2024-07-29 20:34:35 +0200 <dolio> Should use nbsp to separate list elements. Least noisy.
2024-07-29 20:34:45 +0200 <mauke> (1 2 3)
2024-07-29 20:35:01 +0200 <Rembane> LIST(1,2,3,4,5)
2024-07-29 20:35:21 +0200 <mauke> pushmark 3 2 1
2024-07-29 20:35:36 +0200 <monochrom> NOOOO! First do Gödel numbering. Then use nbsp to express the number in unary. >:)
2024-07-29 20:35:37 +0200 <dolio> Can't just use normal spaces, because that's application.
2024-07-29 20:36:07 +0200 <mauke> no, you can do application with just juxtaposition
2024-07-29 20:36:37 +0200 <yushyin> yesterday i had to read about hocon, where elements are either separated by , OR \n ...
2024-07-29 20:36:42 +0200placidusax(~user@user/meritamen) (Ping timeout: 276 seconds)
2024-07-29 20:36:49 +0200 <mauke> [(sqrt)x] -- application
2024-07-29 20:36:56 +0200 <mauke> [sqrt x] -- two elements
2024-07-29 20:37:09 +0200placidusax(~user@user/meritamen)
2024-07-29 20:37:14 +0200 <monochrom> Well that's just like Haskell and shell scripts where commands are separated by ; or \n
2024-07-29 20:38:09 +0200 <monochrom> and Lean's tactic proof sublanguage, too :)
2024-07-29 20:38:53 +0200 <mauke> if you squint wrong, perl's list separator is one or more commas
2024-07-29 20:39:16 +0200 <monochrom> hee hee
2024-07-29 20:39:17 +0200 <yushyin> :)
2024-07-29 20:39:20 +0200 <jle`> in nix it's nice, list items are separated by spaces
2024-07-29 20:39:30 +0200 <mauke> [1, 2,, 3,,, 4] # this is ok
2024-07-29 20:39:50 +0200 <monochrom> I think Larry Wall explicitly stated that Perl is designed to be squintable like that because "inspired by natural language flexibility"
2024-07-29 20:40:03 +0200 <yushyin> jle`: but many want to change that to commas
2024-07-29 20:40:19 +0200 <jle`> i wasn't aware there was controversy
2024-07-29 20:40:26 +0200 <mauke> in this case you have to squint because this , is not a separator at all, it's infix list concatenation
2024-07-29 20:40:32 +0200 <mauke> well, most of them
2024-07-29 20:42:22 +0200placidusax(~user@user/meritamen) (Remote host closed the connection)
2024-07-29 20:42:52 +0200placidusax(~user@user/meritamen)
2024-07-29 20:45:07 +0200 <danse-nr3> hmm good point, why is list concat : rather than ,?
2024-07-29 20:45:08 +0200zzz(~z@user/zero) (Ping timeout: 255 seconds)
2024-07-29 20:45:53 +0200 <danse-nr3> 1:2:3:[] versus 1,2,3,[]
2024-07-29 20:46:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-07-29 20:46:22 +0200 <danse-nr3> i guess , got in the syntax before getting the opportunity
2024-07-29 20:46:27 +0200 <ncf> tuples would be ambiguous
2024-07-29 20:46:34 +0200 <monochrom> That : is not list concat. It's prepend one element, not concat two lists.
2024-07-29 20:46:40 +0200 <danse-nr3> oh right, good point ncf
2024-07-29 20:46:51 +0200 <danse-nr3> probably better for , to stay in the syntax
2024-07-29 20:47:08 +0200 <danse-nr3> yeah right monochrom, squeezing the last neuron juices here
2024-07-29 20:47:50 +0200placidusax(~user@user/meritamen) (Ping timeout: 255 seconds)
2024-07-29 20:48:25 +0200 <monochrom> Let me provide the last straw.
2024-07-29 20:48:28 +0200placidusax(~user@user/meritamen)
2024-07-29 20:48:40 +0200 <monochrom> In Haskell, we write "term :: type" and "head : tail".
2024-07-29 20:48:50 +0200 <monochrom> In SML, it's "term : type" and "head :: tail"
2024-07-29 20:49:02 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-29 20:49:18 +0200 <ncf> or you know Every Other Functional Language
2024-07-29 20:49:37 +0200 <danse-nr3> was some reasoning about frequency of usage i think, although personally i use term - type more than head - tail
2024-07-29 20:49:49 +0200 <monochrom> And both actually make sense in their respective idiomatic code and the consideration of "higher frequency <-> shorter name"
2024-07-29 20:50:15 +0200 <danse-nr3> huffmann coding heh :)
2024-07-29 20:50:46 +0200 <danse-nr3> a nice post about writing it in haskell featured in haskell weekly recently
2024-07-29 20:51:08 +0200 <monochrom> That one defeats itself.
2024-07-29 20:51:17 +0200tremon(~tremon@83.80.159.219)
2024-07-29 20:51:28 +0200 <danse-nr3> ?
2024-07-29 20:52:27 +0200 <monochrom> 1st stage bothers to use a binary search tree to avoid expensive sorting. Then 2nd stage not only does expensive sorting, but insertion sort to top it off.
2024-07-29 20:53:09 +0200placidusax(~user@user/meritamen) (Ping timeout: 248 seconds)
2024-07-29 20:53:52 +0200 <danse-nr3> oh, admittedly i did not read the code that carefully
2024-07-29 20:54:08 +0200placidusax(~user@user/meritamen)
2024-07-29 20:55:02 +0200igemnace(~igemnace@user/igemnace) (Remote host closed the connection)
2024-07-29 20:55:23 +0200igemnace(~igemnace@user/igemnace)
2024-07-29 20:55:49 +0200 <Lears> I wrote a thing: https://discourse.haskell.org/t/trials-tribulations-for-transitivity
2024-07-29 20:55:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-29 20:56:06 +0200 <monochrom> The proper algorithm that everyone knows: The same priority queue holds both individual chars and general Huffman trees. You start off with purely individual chars, sure; but intermediate states will have a mix of both.
2024-07-29 20:56:46 +0200 <monochrom> That article: BST for priority queue for individual chars, but put the Huffman trees in a flat list by insertion sort.
2024-07-29 20:57:13 +0200 <danse-nr3> that's why posts that are editable on github are awesome
2024-07-29 20:57:29 +0200 <danse-nr3> Lears are you Leary?
2024-07-29 20:57:37 +0200 <monochrom> Oh, like I actually have time to go correct them.
2024-07-29 20:58:01 +0200 <danse-nr3> well ... fair
2024-07-29 20:58:59 +0200 <monochrom> Instead, it is much more efficient to just refer people to well established correct textbooks.
2024-07-29 20:59:00 +0200 <Lears> Yes. This is my alt nick.
2024-07-29 20:59:12 +0200placidusax(~user@user/meritamen) (Remote host closed the connection)
2024-07-29 20:59:20 +0200 <danse-nr3> cool i'll check the link then =D
2024-07-29 20:59:32 +0200placidusax(~user@user/meritamen)
2024-07-29 21:00:49 +0200VedantT(~VedantT@2603:6000:b500:29a9:ad0f:c3fb:7a12:8bae) (Quit: Client closed)
2024-07-29 21:01:21 +0200ZharMeny(~user@185.248.130.75)
2024-07-29 21:01:28 +0200 <danse-nr3> title was intriguing anyways, but i'm quite tired at this hour
2024-07-29 21:02:32 +0200 <monochrom> Some years ago another blog post made a wrong monad to explain monads. The blog post also made it to HWN.
2024-07-29 21:03:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-07-29 21:03:40 +0200target_i(~target_i@user/target-i/x-6023099)
2024-07-29 21:04:23 +0200ZharMeny(~user@185.248.130.75) (Changing host)
2024-07-29 21:04:23 +0200ZharMeny(~user@user/ZharMeny)
2024-07-29 21:04:29 +0200placidusax(~user@user/meritamen) (Ping timeout: 255 seconds)
2024-07-29 21:04:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-29 21:05:03 +0200 <danse-nr3> hmm looks very interesting but a bit above my head at the moment
2024-07-29 21:05:14 +0200placidusax(~user@user/meritamen)
2024-07-29 21:07:11 +0200 <monochrom> data M a = M Integer a; pure a = M 0 a; M x a >>= k = case k a of M y b -> M (x + y + 1) b
2024-07-29 21:07:34 +0200 <danse-nr3> (i was referring to Lears' post)
2024-07-29 21:07:46 +0200 <monochrom> I put it on my exam and asked my students "why does it break a monad law?" and the students saw what's wrong.
2024-07-29 21:08:53 +0200 <dolio> Did anyone answer, "it doesn't"?
2024-07-29 21:08:55 +0200 <monochrom> Generally, blog posts are of poor quality.
2024-07-29 21:09:05 +0200 <monochrom> I think no.
2024-07-29 21:09:17 +0200 <dolio> That students name was Albert Einstein.
2024-07-29 21:09:56 +0200placidusax(~user@user/meritamen) (Ping timeout: 252 seconds)
2024-07-29 21:10:07 +0200 <mauke> it's fine as long as you don't add an Eq instance
2024-07-29 21:11:58 +0200 <monochrom> The blog post added something stronger than an Eq instance: The Integer field is meant to be observable.
2024-07-29 21:12:20 +0200 <mauke> instance Monoid Integer where { mempty = 0; mappend x y = x + y + 1 } -- there, now it's just Writer
2024-07-29 21:12:36 +0200 <monochrom> Why did Einstein say it doesn't?
2024-07-29 21:12:59 +0200 <dolio> It's clearly the quotient such that the number doesn't matter.
2024-07-29 21:13:24 +0200 <dolio> Just keeping track behind the scenes.
2024-07-29 21:13:53 +0200 <danse-nr3> it's like saying "generally, IRC messages are of poor quality" monochrom. Just can't compare blogs with books (yet)
2024-07-29 21:15:38 +0200 <monochrom> That is why I am only in a few channels where I have seen good quality.
2024-07-29 21:16:16 +0200 <monochrom> Similarly there are a few blog authors I have identified as good quality.
2024-07-29 21:16:41 +0200 <danse-nr3> have you got a blog yourself with links? Heh, i am old
2024-07-29 21:17:11 +0200 <monochrom> For random strangers you have to work at the level of "doubtful quality until proven otherwise". Likewise youtubers etc.
2024-07-29 21:17:58 +0200 <monochrom> I don't know whether it counts as "blog", but my haskell articles are at https://www.vex.net/~trebla/haskell/
2024-07-29 21:18:33 +0200petrichor(~znc-user@user/petrichor)
2024-07-29 21:19:20 +0200 <danse-nr3> once upon in a time i liked someone's site and then browsed to the links page where they would recommend their favourites. In those times, there were "sites"
2024-07-29 21:19:55 +0200 <dolio> Are you a member of any webrings?
2024-07-29 21:19:56 +0200 <monochrom> mauke: That breaks a monoid law.
2024-07-29 21:20:20 +0200 <monochrom> No.
2024-07-29 21:20:46 +0200 <mauke> yes, but now the Monad instance is fine
2024-07-29 21:20:52 +0200 <mauke> it's called "information hiding"
2024-07-29 21:21:06 +0200 <JuanDaugherty> danse-nr3, what are there now instead of 'sites'?
2024-07-29 21:21:27 +0200 <JuanDaugherty> if anything
2024-07-29 21:21:27 +0200 <danse-nr3> profiles on social networks
2024-07-29 21:21:34 +0200 <JuanDaugherty> i c
2024-07-29 21:21:50 +0200 <mauke> https://www.okmij.org/ftp/ good site
2024-07-29 21:22:08 +0200 <haskellbridge> <Bowuigi> Webring-style sites still exist tho, mostly at Gemini and Gopher, but they exist
2024-07-29 21:22:26 +0200 <dolio> Wow.
2024-07-29 21:22:42 +0200 <haskellbridge> <Bowuigi> Search engines were added for convenience, but they aren't strictly necessary
2024-07-29 21:23:08 +0200ZharMeny(~user@user/ZharMeny) (Ping timeout: 252 seconds)
2024-07-29 21:23:26 +0200 <JuanDaugherty> i call that a grabbag of stuffs landing, stuffs thought cool or interesting or whatever by the owner
2024-07-29 21:23:59 +0200 <JuanDaugherty> occasionally relevant some central thing then not so grabbaggy
2024-07-29 21:25:06 +0200 <JuanDaugherty> as often as not bitrotted
2024-07-29 21:25:23 +0200 <monochrom> mauke: If the Integer field is hidden information, I respect that, I don't have a qualm. But in the blog post, exposing the Integer field is the whole point of that example, IOW it's as bad as adding deriving Eq.
2024-07-29 21:25:32 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-07-29 21:25:52 +0200 <mauke> yeah
2024-07-29 21:26:04 +0200 <dolio> I wasn't seriously suggesting that it was a good example.
2024-07-29 21:26:06 +0200 <mauke> were they trying to count binds or something?
2024-07-29 21:26:15 +0200 <monochrom> Yeah.
2024-07-29 21:26:16 +0200ZharMeny(~user@185.248.130.75)
2024-07-29 21:26:19 +0200 <mauke> unfortunate
2024-07-29 21:26:35 +0200 <dolio> But, there can be subtleties with similar examples.
2024-07-29 21:26:45 +0200ZharMeny(~user@185.248.130.75) (Changing host)
2024-07-29 21:26:45 +0200ZharMeny(~user@user/ZharMeny)
2024-07-29 21:26:45 +0200sympt(~sympt@user/sympt) (Ping timeout: 276 seconds)
2024-07-29 21:26:49 +0200 <monochrom> Maybe I'll find the link and then stop whining about it further. Sorry!
2024-07-29 21:27:01 +0200dans68384(~danse-nr3@user/danse-nr3)
2024-07-29 21:27:10 +0200 <dolio> Can you print an approximation to a real number?
2024-07-29 21:28:24 +0200euleritian(~euleritia@dynamic-176-006-140-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-29 21:28:44 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 21:29:22 +0200 <dolio> Every computable function ℝ -> ⁠⁠ℚ is constant.
2024-07-29 21:30:00 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Ping timeout: 276 seconds)
2024-07-29 21:30:40 +0200 <dolio> But what if the actions of printing 'arbitrarily chosen' approximants in ℚ are actually considered the same IO action?
2024-07-29 21:32:44 +0200 <monochrom> This: https://betterprogramming.pub/monads-are-just-fancy-semicolons-ffe38401fd0e
2024-07-29 21:33:19 +0200 <monochrom> Err OK I think they didn't make us sign up to read the whole thing back then.
2024-07-29 21:33:43 +0200 <Lears> It's fine to write a monad that counts binds, you just need to remember that return trivialises and hence cancels an adjacent bind---the identity of that Monoid is -1.
2024-07-29 21:33:59 +0200 <monochrom> Yeah
2024-07-29 21:34:41 +0200 <yushyin> monochrom: https://archive.is/V8T6z
2024-07-29 21:35:24 +0200 <monochrom> Nice thanks.
2024-07-29 21:36:19 +0200 <JuanDaugherty> https://github.com/chippyash/Monad actual thing
2024-07-29 21:40:11 +0200 <ncf> Lears: why -1?
2024-07-29 21:40:33 +0200 <ncf> actually, what monoid?
2024-07-29 21:42:05 +0200 <Lears> The one that mauke wrote above, which turns the monad in question into Writer.
2024-07-29 21:42:25 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-07-29 21:43:34 +0200euleritian(~euleritia@dynamic-176-006-140-157.176.6.pool.telefonica.de)
2024-07-29 21:43:51 +0200dans68384(~danse-nr3@user/danse-nr3) (Remote host closed the connection)
2024-07-29 21:44:05 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-29 21:44:12 +0200placidusax(~user@user/meritamen)
2024-07-29 21:45:00 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-29 21:46:18 +0200euleritian(~euleritia@dynamic-176-006-140-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-29 21:46:36 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 21:46:49 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-07-29 21:48:53 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 21:48:54 +0200placidusax(~user@user/meritamen) (Ping timeout: 252 seconds)
2024-07-29 21:49:11 +0200euleritian(~euleritia@dynamic-176-006-140-157.176.6.pool.telefonica.de)
2024-07-29 21:49:38 +0200euleritian(~euleritia@dynamic-176-006-140-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-29 21:49:55 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 21:50:00 +0200placidusax(~user@user/meritamen)
2024-07-29 21:51:18 +0200 <ncf> oh, backlog
2024-07-29 21:54:58 +0200placidusax(~user@user/meritamen) (Ping timeout: 252 seconds)
2024-07-29 21:55:39 +0200placidusax(~user@user/meritamen)
2024-07-29 21:56:04 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-29 21:57:58 +0200zero(~z@user/zero)
2024-07-29 22:00:27 +0200placidusax(~user@user/meritamen) (Ping timeout: 252 seconds)
2024-07-29 22:01:17 +0200placidusax(~user@user/meritamen)
2024-07-29 22:03:34 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: good night)
2024-07-29 22:04:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-29 22:05:57 +0200placidusax(~user@user/meritamen) (Ping timeout: 252 seconds)
2024-07-29 22:06:45 +0200placidusax(~user@user/meritamen)
2024-07-29 22:11:33 +0200placidusax(~user@user/meritamen) (Ping timeout: 248 seconds)
2024-07-29 22:12:28 +0200placidusax(~user@user/meritamen)
2024-07-29 22:17:28 +0200placidusax(~user@user/meritamen) (Ping timeout: 265 seconds)
2024-07-29 22:18:03 +0200placidusax(~user@user/meritamen)
2024-07-29 22:20:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-29 22:23:00 +0200Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2024-07-29 22:23:16 +0200placidusax(~user@user/meritamen) (Ping timeout: 265 seconds)
2024-07-29 22:26:02 +0200 <edwardk> dolio lives!
2024-07-29 22:27:28 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-07-29 22:27:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 22:28:07 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-07-29 22:28:10 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 22:30:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-29 22:30:23 +0200Square2(~Square@user/square) (Ping timeout: 245 seconds)
2024-07-29 22:30:36 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-29 22:31:44 +0200 <dolio> I do.
2024-07-29 22:33:08 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-29 22:34:35 +0200 <davean> edwardk lives
2024-07-29 22:38:15 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 265 seconds)
2024-07-29 22:46:38 +0200michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2024-07-29 22:53:20 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-07-29 22:58:30 +0200VedantT(~VedantT@2603:6000:b500:29a9:ad0f:c3fb:7a12:8bae)
2024-07-29 22:58:46 +0200VedantT(~VedantT@2603:6000:b500:29a9:ad0f:c3fb:7a12:8bae) (Client Quit)
2024-07-29 23:08:28 +0200hayk(~hayk@141.136.90.108) (Remote host closed the connection)
2024-07-29 23:09:35 +0200hayk(~hayk@141.136.90.108)
2024-07-29 23:11:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-29 23:13:01 +0200hayk(~hayk@141.136.90.108) (Remote host closed the connection)
2024-07-29 23:26:19 +0200Square2(~Square@user/square)
2024-07-29 23:30:54 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-07-29 23:31:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-29 23:35:50 +0200LawrenceBerkheim(~LBerkheim@user/LawrenceBerkheim) (Remote host closed the connection)
2024-07-29 23:37:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-07-29 23:39:20 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io)
2024-07-29 23:41:34 +0200migas977(~migas@static.140.65.63.178.clients.your-server.de)
2024-07-29 23:51:01 +0200placidusax(~user@user/meritamen)
2024-07-29 23:53:27 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)