2024/06/10

2024-06-10 00:16:58 +0200AlexZenon(~alzenon@178.34.160.196) (Ping timeout: 255 seconds)
2024-06-10 00:19:49 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-06-10 00:21:06 +0200AlexZenon(~alzenon@178.34.160.196)
2024-06-10 00:22:11 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-06-10 00:23:51 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds)
2024-06-10 00:24:29 +0200acidjnk(~acidjnk@p200300d6e714dc386d02759bd76503b8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-06-10 00:26:12 +0200TonyStone(~TonyStone@user/TonyStone)
2024-06-10 00:31:15 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-11-184-148-4-136.dsl.bell.ca) (Ping timeout: 260 seconds)
2024-06-10 00:37:51 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-10 00:43:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 00:49:27 +0200esph(~weechat@user/esph) (Ping timeout: 260 seconds)
2024-06-10 00:55:19 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-06-10 00:56:00 +0200esph(~weechat@user/esph)
2024-06-10 01:00:35 +0200esph(~weechat@user/esph) (Ping timeout: 264 seconds)
2024-06-10 01:01:20 +0200JimL(~quassel@89.162.16.26) (Ping timeout: 252 seconds)
2024-06-10 01:02:11 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2024-06-10 01:03:35 +0200JimL(~quassel@89.162.16.26)
2024-06-10 01:14:07 +0200phma(~phma@host-67-44-208-103.hnremote.net) (Read error: Connection reset by peer)
2024-06-10 01:17:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-10 01:20:28 +0200phma(~phma@host-67-44-208-42.hnremote.net)
2024-06-10 01:21:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-06-10 01:21:50 +0200CiaoSen(~Jura@2a05:5800:2b3:7d00:e6b9:7aff:fe80:3d03)
2024-06-10 01:21:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 01:26:16 +0200CiaoSen(~Jura@2a05:5800:2b3:7d00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds)
2024-06-10 01:27:33 +0200JimL(~quassel@89.162.16.26) (Remote host closed the connection)
2024-06-10 01:28:46 +0200JimL(~quassel@89.162.16.26)
2024-06-10 01:33:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 01:40:15 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-06-10 01:47:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 01:59:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 02:04:24 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-10 02:06:58 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-10 02:08:19 +0200ft(~ft@i5C743B3C.versanet.de) (Ping timeout: 272 seconds)
2024-06-10 02:09:41 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2024-06-10 02:09:55 +0200ft(~ft@mue-88-130-105-242.dsl.tropolys.de)
2024-06-10 02:10:18 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-06-10 02:23:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 02:25:52 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2024-06-10 02:27:41 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-06-10 02:34:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 02:45:44 +0200dcoutts_(~duncan@77.109.149.106)
2024-06-10 02:47:55 +0200 <glguy> Java likes a nice long namespace
2024-06-10 02:52:22 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds)
2024-06-10 02:58:33 +0200hammond(proscan@gateway02.insomnia247.nl) (Changing host)
2024-06-10 02:58:33 +0200hammond(proscan@user/hammond2)
2024-06-10 03:05:18 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-06-10 03:06:08 +0200krei-se(~krei-se@p5085db77.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-06-10 03:07:35 +0200rekahsoft(~rekahsoft@184.148.4.136)
2024-06-10 03:08:56 +0200krei-se(~krei-se@p57af2529.dip0.t-ipconnect.de)
2024-06-10 03:19:11 +0200rekahsoft(~rekahsoft@184.148.4.136) (Remote host closed the connection)
2024-06-10 03:22:42 +0200 <hammond> JavaDoesLikeANiceLongNameSpaceBestWayToGoStrangeClojureUsesItAsAnUnderLyingTech
2024-06-10 03:26:22 +0200 <geekosaur> …FactoryFactoryFactory
2024-06-10 03:42:14 +0200xff0x(~xff0x@2405:6580:b080:900:8b0f:4c93:c18a:67f2) (Ping timeout: 256 seconds)
2024-06-10 03:45:02 +0200phma(~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer)
2024-06-10 03:45:29 +0200phma(~phma@host-67-44-208-42.hnremote.net)
2024-06-10 03:53:28 +0200xff0x(~xff0x@2405:6580:b080:900:253a:fa9b:b2fb:f690)
2024-06-10 04:01:41 +0200Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-06-10 04:12:12 +0200Pixi(~Pixi@user/pixi)
2024-06-10 04:16:43 +0200dcoutts_(~duncan@77.109.149.106) (Ping timeout: 246 seconds)
2024-06-10 04:22:45 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.3.1)
2024-06-10 04:27:02 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-06-10 04:36:03 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-06-10 04:57:50 +0200td_(~td@83.135.9.0) (Ping timeout: 252 seconds)
2024-06-10 04:58:09 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-06-10 04:59:35 +0200td_(~td@i5387090D.versanet.de)
2024-06-10 05:00:00 +0200Taneb(~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.)
2024-06-10 05:01:13 +0200Taneb(~Taneb@runciman.hacksoc.org)
2024-06-10 05:02:41 +0200Pozyomka(~pyon@user/pyon) (Ping timeout: 268 seconds)
2024-06-10 05:24:13 +0200Pozyomka(~pyon@user/pyon)
2024-06-10 05:27:01 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2024-06-10 05:28:43 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-06-10 05:29:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-06-10 05:40:52 +0200JimL(~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-06-10 05:43:52 +0200JimL(~quassel@89.162.16.26)
2024-06-10 05:45:30 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-06-10 05:46:06 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-06-10 05:48:46 +0200aforemny(~aforemny@2001:9e8:6ceb:b100:bc7c:4872:4d7c:fc47)
2024-06-10 05:50:10 +0200aforemny_(~aforemny@2001:9e8:6cc8:c600:4ce7:611a:8656:4065) (Ping timeout: 268 seconds)
2024-06-10 06:01:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 06:13:32 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-06-10 06:15:06 +0200jrm(~jrm@user/jrm) (Quit: ciao)
2024-06-10 06:15:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 06:16:43 +0200jrm(~jrm@user/jrm)
2024-06-10 06:19:53 +0200mei(~mei@user/mei)
2024-06-10 06:26:58 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-06-10 06:28:02 +0200mei(~mei@user/mei) (Ping timeout: 252 seconds)
2024-06-10 06:33:08 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-06-10 06:33:46 +0200Jackneill(~Jackneill@94-21-227-230.pool.digikabel.hu)
2024-06-10 06:37:03 +0200Pixi(~Pixi@user/pixi)
2024-06-10 06:38:50 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-06-10 06:39:48 +0200califax(~califax@user/califx)
2024-06-10 06:46:31 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds)
2024-06-10 06:51:37 +0200mei(~mei@user/mei)
2024-06-10 06:57:05 +0200gmg(~user@user/gehmehgeh)
2024-06-10 07:00:36 +0200philopsos1(~caecilius@user/philopsos)
2024-06-10 07:17:14 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-06-10 07:27:36 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-06-10 07:29:16 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de)
2024-06-10 07:29:38 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-10 07:29:58 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de)
2024-06-10 07:30:08 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-06-10 07:46:12 +0200acidjnk(~acidjnk@p200300d6e714dc68495b9afe8547f64e.dip0.t-ipconnect.de)
2024-06-10 07:53:10 +0200michalz(~michalz@185.246.207.222)
2024-06-10 08:00:36 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-10 08:23:04 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-06-10 08:23:24 +0200tekki(~tekki@2601:602:680:2280::a1ba)
2024-06-10 08:24:36 +0200tekki(~tekki@2601:602:680:2280::a1ba) (Quit: WeeChat 4.2.1)
2024-06-10 08:29:29 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 256 seconds)
2024-06-10 08:32:53 +0200tekki(~tekki@2601:602:680:2280::a1ba)
2024-06-10 08:46:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 08:50:57 +0200tekki(~tekki@2601:602:680:2280::a1ba) (Quit: WeeChat 4.2.1)
2024-06-10 08:57:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 08:59:11 +0200gawen(~gawen@user/gawen) (Quit: cya)
2024-06-10 09:01:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 09:06:50 +0200gawen(~gawen@user/gawen)
2024-06-10 09:09:27 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-06-10 09:37:12 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-10 09:37:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-10 09:54:19 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-10 10:06:01 +0200[exa](~exa@user/exa/x-3587197) (Ping timeout: 246 seconds)
2024-06-10 10:06:08 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-06-10 10:06:16 +0200chele(~chele@user/chele)
2024-06-10 10:10:03 +0200danse-nr3(~danse-nr3@ge-19-106-201.service.infuturo.it)
2024-06-10 10:14:37 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-10 10:14:45 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de)
2024-06-10 10:15:03 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-10 10:15:29 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de)
2024-06-10 10:17:17 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-10 10:17:40 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de)
2024-06-10 10:20:31 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-10 10:20:34 +0200cfricke(~cfricke@user/cfricke)
2024-06-10 10:21:50 +0200euleritian(~euleritia@77.22.252.56)
2024-06-10 10:23:13 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-06-10 10:27:30 +0200kuribas(~user@ptr-17d51enr7p7flltmuq7.18120a2.ip6.access.telenet.be)
2024-06-10 10:32:41 +0200CiaoSen(~Jura@2a05:5800:2d9:be00:e6b9:7aff:fe80:3d03)
2024-06-10 10:35:37 +0200biberu\(~biberu@user/biberu)
2024-06-10 10:35:39 +0200iteratee_(~kyle@162.218.222.207)
2024-06-10 10:36:12 +0200sam113102(~sam@24.157.253.231)
2024-06-10 10:36:17 +0200MironZ3(~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds))
2024-06-10 10:36:17 +0200sam113101(~sam@24.157.253.231) (Read error: Connection reset by peer)
2024-06-10 10:36:20 +0200sam113102sam113101
2024-06-10 10:36:23 +0200caubert_(~caubert@user/caubert)
2024-06-10 10:36:29 +0200iteratee(~kyle@162.218.222.207) (Read error: Connection reset by peer)
2024-06-10 10:36:35 +0200MironZ3(~MironZ@nat-infra.ehlab.uk)
2024-06-10 10:37:11 +0200remexre(~remexre@user/remexre) (Ping timeout: 264 seconds)
2024-06-10 10:37:19 +0200remexre(~remexre@user/remexre)
2024-06-10 10:38:23 +0200caubert(~caubert@user/caubert) (Ping timeout: 264 seconds)
2024-06-10 10:38:55 +0200CiaoSen(~Jura@2a05:5800:2d9:be00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds)
2024-06-10 10:38:59 +0200biberu(~biberu@user/biberu) (Ping timeout: 264 seconds)
2024-06-10 10:38:59 +0200biberu\biberu
2024-06-10 10:55:22 +0200forell(~forell@user/forell) (Ping timeout: 246 seconds)
2024-06-10 10:56:12 +0200sawilagar(~sawilagar@user/sawilagar)
2024-06-10 10:58:30 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 268 seconds)
2024-06-10 11:00:01 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de)
2024-06-10 11:20:28 +0200forell(~forell@user/forell)
2024-06-10 11:21:24 +0200euleritian(~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-10 11:21:41 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-10 11:38:42 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-06-10 11:40:08 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-06-10 11:41:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 11:43:48 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-06-10 11:44:36 +0200__monty__(~toonn@user/toonn)
2024-06-10 11:51:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 11:52:42 +0200zetef(~quassel@136.255.76.202)
2024-06-10 11:52:55 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2024-06-10 11:57:29 +0200zetef(~quassel@136.255.76.202) (Ping timeout: 252 seconds)
2024-06-10 11:57:51 +0200zetef(~quassel@5.2.182.99)
2024-06-10 11:58:06 +0200laxmik(~user@pc192b.fzu.cz)
2024-06-10 12:04:45 +0200dcoutts_(~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f)
2024-06-10 12:08:22 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-06-10 12:12:30 +0200danse-nr3(~danse-nr3@ge-19-106-201.service.infuturo.it) (Ping timeout: 268 seconds)
2024-06-10 12:12:43 +0200mei(~mei@user/mei) (Ping timeout: 246 seconds)
2024-06-10 12:14:53 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-10 12:17:31 +0200mei(~mei@user/mei)
2024-06-10 12:19:30 +0200zetef(~quassel@5.2.182.99) (Remote host closed the connection)
2024-06-10 12:24:55 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-06-10 12:29:41 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2024-06-10 12:29:46 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2024-06-10 12:38:30 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-06-10 12:39:21 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-06-10 12:41:25 +0200michalz(~michalz@185.246.207.222) (Ping timeout: 246 seconds)
2024-06-10 12:41:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-06-10 12:43:13 +0200michalz(~michalz@185.246.207.221)
2024-06-10 12:45:18 +0200acidjnk(~acidjnk@p200300d6e714dc68495b9afe8547f64e.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-06-10 12:48:52 +0200cfricke(~cfricke@user/cfricke)
2024-06-10 12:58:44 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-06-10 12:59:41 +0200myme(~myme@2a01:799:d5c:5f00:afc2:43bf:76e1:e67c) (Ping timeout: 268 seconds)
2024-06-10 13:00:36 +0200myme(~myme@2a01:799:d5c:5f00:1e2b:ea2d:8288:44e3)
2024-06-10 13:05:51 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 268 seconds)
2024-06-10 13:27:57 +0200Square(~Square@user/square)
2024-06-10 13:30:06 +0200danse-nr3(~danse-nr3@an-19-179-102.service.infuturo.it)
2024-06-10 13:31:57 +0200cfricke(~cfricke@user/cfricke)
2024-06-10 13:37:02 +0200mei(~mei@user/mei) (Ping timeout: 252 seconds)
2024-06-10 13:46:25 +0200acidjnk(~acidjnk@p200300d6e714dc68495b9afe8547f64e.dip0.t-ipconnect.de)
2024-06-10 13:47:34 +0200[exa](~exa@user/exa/x-3587197)
2024-06-10 13:51:51 +0200zetef(~quassel@136.255.76.202)
2024-06-10 13:52:53 +0200dcoutts_(~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 240 seconds)
2024-06-10 13:54:52 +0200CiaoSen(~Jura@2a05:5800:2d9:be00:e6b9:7aff:fe80:3d03)
2024-06-10 14:00:03 +0200falafel(~falafel@2a0c:5a87:3103:ec01::62b8)
2024-06-10 14:07:24 +0200akegalj(~akegalj@78-0-117-143.adsl.net.t-com.hr)
2024-06-10 14:14:22 +0200masterbuilder(~quassel@user/masterbuilder) (Remote host closed the connection)
2024-06-10 14:22:35 +0200laxmik(~user@pc192b.fzu.cz) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2024-06-10 14:26:33 +0200bontaq(~user@ool-45779c03.dyn.optonline.net)
2024-06-10 14:27:51 +0200dcoutts_(~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f)
2024-06-10 14:30:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-06-10 14:32:57 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection)
2024-06-10 14:35:14 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
2024-06-10 14:48:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 14:48:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 14:49:08 +0200falafel(~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 268 seconds)
2024-06-10 14:52:47 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-06-10 15:01:28 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-10 15:11:41 +0200akegalj(~akegalj@78-0-117-143.adsl.net.t-com.hr) (Ping timeout: 240 seconds)
2024-06-10 15:13:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 15:14:30 +0200fun-safe-math(~fun-safe-@24.21.106.247) (Read error: Connection reset by peer)
2024-06-10 15:17:59 +0200troydm(~troydm@user/troydm) (Ping timeout: 264 seconds)
2024-06-10 15:20:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 15:30:49 +0200 <danse-nr3> i removed a forall from a type and, with my surprise, had to propagate more constraints to the callers. Did not expect type encapsulation to be able to hide some constraints required by callers
2024-06-10 15:32:12 +0200 <haskellbridge> <Heffalump (@hsenag:matrix.org)> danse-nr3: can you give an example? Depending on where the forall was might it have been to do with the type variables no longer being scoped?
2024-06-10 15:33:12 +0200 <danse-nr3> yes, i guess something along those lines happened. Had expected constraints to be unavoidable though regardless of scoping
2024-06-10 15:34:08 +0200 <Heffalump> danse-nr3: yeah, it does seem odd, I'm wondering if the scoping meant that your subordinate clauses were constraining the relationships in type variables in some way
2024-06-10 15:34:46 +0200CiaoSen(~Jura@2a05:5800:2d9:be00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds)
2024-06-10 15:36:47 +0200 <danse-nr3> yes in the forall i had an `a ~ b` that i removed, i just not get how that constraint was not explicit two callers before, while it had to become explicit afterwards. Expected those callers not to be affected by the structure of types being used eventually
2024-06-10 15:36:48 +0200dcoutts_(~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 256 seconds)
2024-06-10 15:37:52 +0200 <Heffalump> danse-nr3: was it a top-level or nested forall? Can you provide any fragments of the signature even if the whole code is too long/confidential?
2024-06-10 15:38:23 +0200 <danse-nr3> huh let's see...
2024-06-10 15:40:09 +0200 <danse-nr3> @paste
2024-06-10 15:40:09 +0200 <lambdabot> A pastebin: https://paste.debian.net/
2024-06-10 15:40:44 +0200 <danse-nr3> here it is https://paste.debian.net/1319806/
2024-06-10 15:41:20 +0200ystael(~ystael@user/ystael)
2024-06-10 15:41:27 +0200 <Heffalump> oh, I didn't realise from your description that it's in a data declaration, not a function type signature
2024-06-10 15:42:17 +0200ocra8(~ocra8@user/ocra8)
2024-06-10 15:44:13 +0200 <lortabac> danse-nr3: the forall syntax in your example defines an existential
2024-06-10 15:44:29 +0200 <Heffalump> what's b? Is it a transcription error given it doesn't appear in the rest of it
2024-06-10 15:44:57 +0200 <lortabac> if you remove the forall, the constraints become a data-type context, which is a deprecated feature that doesn't add much to the declaration
2024-06-10 15:45:19 +0200 <danse-nr3> maybe an error Heffalump
2024-06-10 15:45:50 +0200 <danse-nr3> fixed https://paste.debian.net/1319807/
2024-06-10 15:46:29 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-06-10 15:46:45 +0200 <danse-nr3> hm yes it defined an existential. Does that make constraints opaque to callers?
2024-06-10 15:47:00 +0200 <haskellbridge> <Heffalump (@hsenag:matrix.org)> yes
2024-06-10 15:47:20 +0200 <lortabac> you only need the constraint to hold when the value is constructed
2024-06-10 15:47:21 +0200euleritian(~euleritia@dynamic-176-006-012-188.176.6.pool.telefonica.de)
2024-06-10 15:47:31 +0200 <Heffalump> well, it means the person *constructing* the value has to provide the constraints
2024-06-10 15:47:38 +0200 <Heffalump> but the person consuming them gets the benefit of them
2024-06-10 15:47:56 +0200 <danse-nr3> oh right, i get it now. Thanks both!
2024-06-10 15:49:24 +0200 <danse-nr3> .oO(although it looks like i had to add constraints also to constructor functions)
2024-06-10 15:50:04 +0200 <danse-nr3> oh well, i guess this will become clearer to me with more practice
2024-06-10 15:50:42 +0200 <Heffalump> I'm a bit surprised by that but it could depend on the exact detail of what the constructor function was doing
2024-06-10 15:51:41 +0200 <danse-nr3> yeah not anything we can deepen without getting into more details i guess
2024-06-10 15:51:58 +0200 <lortabac> if A's arguments are variables that are passed from somewhere else, you require the constraints in the function where A is constructed
2024-06-10 15:53:06 +0200 <danse-nr3> was that not the case also before, with the forall?
2024-06-10 15:53:46 +0200 <lortabac> yes I'm talking about the existential
2024-06-10 15:54:29 +0200 <lortabac> well about both cases (but without the forall it's a kind-of pathological case so let's ignore it)
2024-06-10 15:55:16 +0200 <cheater> hey chat what do you call those things again that start with a # ?
2024-06-10 15:55:20 +0200 <cheater> like #identifier
2024-06-10 15:55:35 +0200causal(~eric@50.35.88.207)
2024-06-10 15:56:09 +0200 <haskellbridge> <mauke (@mauke:matrix.org)> Hashtags
2024-06-10 15:56:40 +0200 <cheater> no
2024-06-10 15:56:48 +0200 <stefan-__> labels
2024-06-10 15:57:15 +0200 <cheater> right
2024-06-10 15:57:16 +0200 <cheater> just found it
2024-06-10 15:57:20 +0200 <cheater> MagicHash labels
2024-06-10 15:57:25 +0200 <cheater> can they be used to bind stuff?
2024-06-10 15:58:03 +0200 <cheater> wait no. it's not MagicHash
2024-06-10 15:58:13 +0200euleritian(~euleritia@dynamic-176-006-012-188.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-10 15:58:30 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-10 15:59:57 +0200 <cheater> man the ghc manual sucks for those things
2024-06-10 16:03:06 +0200 <yushyin> overloaded labels?
2024-06-10 16:03:21 +0200 <cheater> yeah
2024-06-10 16:03:24 +0200 <cheater> but the manual sucks
2024-06-10 16:03:25 +0200 <cheater> haha
2024-06-10 16:05:31 +0200talukara(~talukara@user/talukara)
2024-06-10 16:05:34 +0200talukara(~talukara@user/talukara) (Remote host closed the connection)
2024-06-10 16:07:22 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-06-10 16:07:56 +0200euleritian(~euleritia@dynamic-176-006-012-188.176.6.pool.telefonica.de)
2024-06-10 16:12:31 +0200akegalj(~akegalj@78-0-117-143.adsl.net.t-com.hr)
2024-06-10 16:13:25 +0200dcoutts_(~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f)
2024-06-10 16:15:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 16:17:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 16:45:53 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-10 16:57:14 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-06-10 17:02:30 +0200akegalj(~akegalj@78-0-117-143.adsl.net.t-com.hr) (Quit: leaving)
2024-06-10 17:06:32 +0200euleritian(~euleritia@dynamic-176-006-012-188.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-10 17:06:49 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-10 17:07:03 +0200zetef(~quassel@136.255.76.202) (Remote host closed the connection)
2024-06-10 17:07:38 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-06-10 17:16:08 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-06-10 17:25:32 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-06-10 17:26:04 +0200rvalue(~rvalue@user/rvalue)
2024-06-10 17:29:23 +0200danse-nr3(~danse-nr3@an-19-179-102.service.infuturo.it) (Ping timeout: 264 seconds)
2024-06-10 17:29:47 +0200danse-nr3(~danse-nr3@151.47.215.215)
2024-06-10 17:32:32 +0200Domitar(~Domitar@83-131-235-54.adsl.net.t-com.hr)
2024-06-10 17:35:36 +0200bliminse(~bliminse@user/bliminse)
2024-06-10 17:42:45 +0200Lycurgus(~georg@user/Lycurgus)
2024-06-10 17:43:45 +0200Domitar(~Domitar@83-131-235-54.adsl.net.t-com.hr) (Remote host closed the connection)
2024-06-10 17:44:04 +0200killy(~killy@staticline-31-183-152-52.toya.net.pl)
2024-06-10 17:53:21 +0200sabino(~sabino@user/sabino)
2024-06-10 17:57:35 +0200danse-nr3(~danse-nr3@151.47.215.215) (Ping timeout: 264 seconds)
2024-06-10 18:00:11 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-06-10 18:00:40 +0200op_4(~tslil@user/op-4/x-9116473)
2024-06-10 18:02:46 +0200Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-06-10 18:08:01 +0200falafel(~falafel@2a0c:5a87:3103:ec01::62b8)
2024-06-10 18:09:19 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-06-10 18:13:34 +0200dcoutts_(~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 246 seconds)
2024-06-10 18:14:56 +0200rosco(~rosco@183.171.74.212)
2024-06-10 18:16:22 +0200rosco(~rosco@183.171.74.212) (Client Quit)
2024-06-10 18:16:33 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2024-06-10 18:16:39 +0200rosco(~rosco@183.171.74.212)
2024-06-10 18:22:30 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-06-10 18:23:22 +0200euleritian(~euleritia@dynamic-176-006-177-166.176.6.pool.telefonica.de)
2024-06-10 18:30:09 +0200falafel(~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 256 seconds)
2024-06-10 18:33:42 +0200Guest22(~Guest17@host-80-44-189-9.as13285.net)
2024-06-10 18:36:35 +0200sabino(~sabino@user/sabino) (Ping timeout: 264 seconds)
2024-06-10 18:38:39 +0200Guest22(~Guest17@host-80-44-189-9.as13285.net) (Quit: Client closed)
2024-06-10 18:40:38 +0200falafel(~falafel@2a0c:5a87:3103:ec01::62b8)
2024-06-10 18:43:45 +0200Inst(~Inst@user/Inst) (Read error: Connection reset by peer)
2024-06-10 18:56:48 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-06-10 19:00:48 +0200sabino(~sabino@user/sabino)
2024-06-10 19:01:11 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 264 seconds)
2024-06-10 19:02:51 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2024-06-10 19:06:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 19:06:27 +0200euleritian(~euleritia@dynamic-176-006-177-166.176.6.pool.telefonica.de) (Ping timeout: 255 seconds)
2024-06-10 19:07:28 +0200euleritian(~euleritia@dynamic-176-007-149-014.176.7.pool.telefonica.de)
2024-06-10 19:11:39 +0200falafel(~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 256 seconds)
2024-06-10 19:12:06 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-06-10 19:14:55 +0200euleritian(~euleritia@dynamic-176-007-149-014.176.7.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-06-10 19:15:51 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-06-10 19:25:53 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-06-10 19:31:18 +0200Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-06-10 19:32:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 19:38:27 +0200zopsicle(~zopsicle@2001:1c02:2f00:2f00:32e6:384:6858:a41)
2024-06-10 19:43:18 +0200sp1ff(~user@c-24-21-45-157.hsd1.wa.comcast.net) (Remote host closed the connection)
2024-06-10 19:43:18 +0200philopsos1(~caecilius@user/philopsos)
2024-06-10 19:52:19 +0200Square(~Square@user/square)
2024-06-10 19:53:17 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-10 19:54:15 +0200Tisoxin(~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat)
2024-06-10 19:55:53 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-10 20:15:01 +0200euleritian(~euleritia@dynamic-176-004-182-181.176.4.pool.telefonica.de)
2024-06-10 20:21:43 +0200TactfulCitrus(~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047)
2024-06-10 20:23:12 +0200 <monochrom> Disagree. The manual is good.
2024-06-10 20:24:26 +0200 <Rembane> The best thing is to go here and get a link to the right part of the manual.
2024-06-10 20:26:01 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-10 20:26:22 +0200zetef(~quassel@5.2.182.98)
2024-06-10 20:28:32 +0200 <geekosaur> there's a lot of options that aren't listed in a reasonable indexy place, you only find them in random sections outside the options section of the manual
2024-06-10 20:31:03 +0200TactfulCitrus(~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 260 seconds)
2024-06-10 20:31:50 +0200rosco(~rosco@183.171.74.212) (Quit: Lost terminal)
2024-06-10 20:34:53 +0200sp1ff(~user@c-24-21-45-157.hsd1.wa.comcast.net)
2024-06-10 20:36:26 +0200 <c_wraith> There's also the comment on the recent work on making template haskell more future-proof, pointing out that the TH library really should link to the GHC manual section on everything TH can do in syntax, rather than with the library. I definitely ran into that learning TH. When I found the manual section on it, a lot of the library made more sense.
2024-06-10 20:37:09 +0200 <davean> I mean why wouldn't you start with reading the manual and then looking at the library?
2024-06-10 20:37:19 +0200 <davean> Its the manual
2024-06-10 20:37:21 +0200 <c_wraith> because I was modifying existing code.
2024-06-10 20:37:41 +0200 <c_wraith> It used lots of stuff from the library and basically no syntax other than splices.
2024-06-10 20:38:08 +0200 <davean> If its an internet protocol I read the RFC(s) then looks at hte library, if its an implimentation of research I read the paper then look at the library, etc.
2024-06-10 20:38:19 +0200 <monochrom> I will anger everyone, both sides, by stating that users should read both the manual and the library docs, and the manual and doc authros should cross-reference completely.
2024-06-10 20:38:42 +0200 <c_wraith> What about when you're tweaking existing code as an annoyance during your day job?
2024-06-10 20:38:44 +0200 <davean> monochrom: Oh I agree you should read both, I think there is a logical order to do it in though
2024-06-10 20:39:14 +0200 <davean> c_wraith: either learn what I'm doing, or more usually read the update guide GHC provides
2024-06-10 20:39:35 +0200 <EvanR> if you cross your eyes just right you can read both simultaneously
2024-06-10 20:39:58 +0200 <c_wraith> update guide? what does that have to do with changing the behavior of existing code when not upgrading?
2024-06-10 20:39:58 +0200 <monochrom> I fear that sometimes the two are co-recursive so you will have to read both interleaved and multiple passes.
2024-06-10 20:40:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-10 20:40:19 +0200 <monochrom> haha EvanR
2024-06-10 20:40:39 +0200target_i(~target_i@user/target-i/x-6023099)
2024-06-10 20:41:29 +0200 <c_wraith> I am a bit sad about the "always use quotes in preference to explicit TH data types" advice, as it means you can't use typed quotes/splices in a lot of cases.
2024-06-10 20:42:15 +0200 <c_wraith> I suppose you can't used typed quotes/splices safely with expressions constructed with TH data types, either. So I guess it's not the worst loss.
2024-06-10 20:42:32 +0200zetef(~quassel@5.2.182.98) (Remote host closed the connection)
2024-06-10 20:43:33 +0200kuribas(~user@ptr-17d51enr7p7flltmuq7.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2024-06-10 20:43:42 +0200 <c_wraith> The other thing I ran into with that advice was that there are things you can't quote or splice, and they seem to come up a lot. Yet despite my memory of running into them a lot, I can't remember what they were...
2024-06-10 20:47:10 +0200 <davean> With TemplateHaskell I found I also had to read the implimentation because of their insane adhoc Q monad stuff
2024-06-10 20:48:21 +0200 <c_wraith> and Q's implementation is so circular...
2024-06-10 20:48:26 +0200 <davean> Yep
2024-06-10 20:48:32 +0200 <davean> And full of bottoms
2024-06-10 20:48:42 +0200 <davean> What functions exist? Depends on how its run!
2024-06-10 20:49:03 +0200 <davean> That is some of the worst Haskell code I have seen in my life
2024-06-10 20:49:18 +0200 <EvanR> what functions exist, depends on your choice of foundations
2024-06-10 20:50:18 +0200 <c_wraith> the API for TH is pretty weird, too. Lots of functions that take Q Exp instead of just taking Exp and expecting you to use Applicative/Monad to make the types work
2024-06-10 20:52:11 +0200euleritian(~euleritia@dynamic-176-004-182-181.176.4.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-06-10 20:52:11 +0200dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer)
2024-06-10 20:52:18 +0200 <tomsmeding> c_wraith: I think the idea of that set of utility functions is "poor man's idiom brackets"
2024-06-10 20:53:43 +0200dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
2024-06-10 20:54:01 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 255 seconds)
2024-06-10 20:55:46 +0200sabino(~sabino@user/sabino) (Quit: Lambda _ -> x)
2024-06-10 21:02:54 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-06-10 21:07:42 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-06-10 21:22:04 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-10 21:22:57 +0200califax(~califax@user/califx)
2024-06-10 21:24:25 +0200killy(~killy@staticline-31-183-152-52.toya.net.pl) (Ping timeout: 268 seconds)
2024-06-10 21:37:07 +0200akegalj(~akegalj@78-0-117-143.adsl.net.t-com.hr)
2024-06-10 21:42:14 +0200Jackneill_(~Jackneill@178-164-237-9.pool.digikabel.hu)
2024-06-10 21:45:23 +0200Jackneill(~Jackneill@94-21-227-230.pool.digikabel.hu) (Ping timeout: 268 seconds)
2024-06-10 21:46:33 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-06-10 21:59:52 +0200euleritian(~euleritia@77.22.252.56)
2024-06-10 22:04:57 +0200killy(~killy@staticline-31-183-152-52.toya.net.pl)
2024-06-10 22:14:03 +0200troydm(~troydm@user/troydm)
2024-06-10 22:17:53 +0200killy(~killy@staticline-31-183-152-52.toya.net.pl) (Ping timeout: 252 seconds)
2024-06-10 22:21:22 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
2024-06-10 22:48:48 +0200killy(~killy@staticline-31-183-152-52.toya.net.pl)
2024-06-10 22:55:29 +0200bearen(bearen@user/bearen)
2024-06-10 22:58:20 +0200bearen(bearen@user/bearen) (Remote host closed the connection)
2024-06-10 23:01:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-10 23:01:54 +0200zmt00(~zmt00@user/zmt00)
2024-06-10 23:10:11 +0200 <cheater> um den Schwierigkeitsgrad der hierigen Konversation zu verändern, habe ich mich entschieden, nur noch Böhmisch zu sprechen
2024-06-10 23:10:52 +0200ocra8(~ocra8@user/ocra8) (Quit: WeeChat 4.3.1)
2024-06-10 23:11:23 +0200Square(~Square@user/square) (Ping timeout: 264 seconds)
2024-06-10 23:14:14 +0200 <cheater> monochrom: i believe the manual and the library docs should be encoded in 3-space in such a way that the text viewed from one angle is the relevant part of the ghc manual, whereas when viewed from another angle it is the library doc, kind of like on the cover of the more modern editions of GEB. then you should cross-eye the text so that you are reading both at the exact same time.
2024-06-10 23:18:07 +0200haskellbridgesm (@simonmic:matrix.org) is intrigued
2024-06-10 23:23:37 +0200akegalj(~akegalj@78-0-117-143.adsl.net.t-com.hr) (Quit: leaving)
2024-06-10 23:25:46 +0200Square(~Square@user/square)
2024-06-10 23:25:48 +0200ocra8(~ocra8@user/ocra8)
2024-06-10 23:27:38 +0200 <monochrom> You may also like the cover art of: https://www.amazon.com/Theory-Objects-Monographs-Computer-Science/dp/0387947752/
2024-06-10 23:29:58 +0200killy(~killy@staticline-31-183-152-52.toya.net.pl) (Ping timeout: 246 seconds)
2024-06-10 23:34:41 +0200 <EvanR> oh hell yeah
2024-06-10 23:35:04 +0200 <EvanR> a triangular squircular prism
2024-06-10 23:36:19 +0200 <EvanR> it's unfortunate that OOP can't represent it, vis a vis the circle ellipse paradox
2024-06-10 23:38:12 +0200 <monochrom> The paradox is caused by mutable state.
2024-06-10 23:38:26 +0200 <EvanR> just kidding
2024-06-10 23:38:32 +0200 <monochrom> OK heh
2024-06-10 23:39:03 +0200 <EvanR> what did cardelli call that shape again, trisquirclehedron or something
2024-06-10 23:39:27 +0200 <monochrom> I don't know :)
2024-06-10 23:43:33 +0200 <EvanR> https://cs.gmu.edu/~jessica/DimReducDanger.htm
2024-06-10 23:45:10 +0200 <EvanR> "There is an object we use everyday that has this shape. Can you think of it?"
2024-06-10 23:47:03 +0200pavonia(~user@user/siracusa)
2024-06-10 23:55:58 +0200AlexNoo_(~AlexNoo@94.233.240.142)
2024-06-10 23:59:05 +0200AlexZenon(~alzenon@178.34.160.196) (Ping timeout: 252 seconds)
2024-06-10 23:59:39 +0200AlexNoo(~AlexNoo@178.34.160.196) (Ping timeout: 260 seconds)
2024-06-10 23:59:41 +0200Square(~Square@user/square) (Ping timeout: 240 seconds)