| 2024-06-10 00:16:58 +0200 | AlexZenon | (~alzenon@178.34.160.196) (Ping timeout: 255 seconds) |
| 2024-06-10 00:19:49 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-10 00:21:06 +0200 | AlexZenon | (~alzenon@178.34.160.196) |
| 2024-06-10 00:22:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-10 00:23:51 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |
| 2024-06-10 00:24:29 +0200 | acidjnk | (~acidjnk@p200300d6e714dc386d02759bd76503b8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-06-10 00:26:12 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-06-10 00:31:15 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-11-184-148-4-136.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2024-06-10 00:37:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-10 00:43:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 00:49:27 +0200 | esph | (~weechat@user/esph) (Ping timeout: 260 seconds) |
| 2024-06-10 00:55:19 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-10 00:56:00 +0200 | esph | (~weechat@user/esph) |
| 2024-06-10 01:00:35 +0200 | esph | (~weechat@user/esph) (Ping timeout: 264 seconds) |
| 2024-06-10 01:01:20 +0200 | JimL | (~quassel@89.162.16.26) (Ping timeout: 252 seconds) |
| 2024-06-10 01:02:11 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-06-10 01:03:35 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-10 01:14:07 +0200 | phma | (~phma@host-67-44-208-103.hnremote.net) (Read error: Connection reset by peer) |
| 2024-06-10 01:17:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-10 01:20:28 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) |
| 2024-06-10 01:21:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-10 01:21:50 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:7d00:e6b9:7aff:fe80:3d03) |
| 2024-06-10 01:21:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 01:26:16 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:7d00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-06-10 01:27:33 +0200 | JimL | (~quassel@89.162.16.26) (Remote host closed the connection) |
| 2024-06-10 01:28:46 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-10 01:33:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 01:40:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-10 01:47:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 01:59:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 02:04:24 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-10 02:06:58 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-10 02:08:19 +0200 | ft | (~ft@i5C743B3C.versanet.de) (Ping timeout: 272 seconds) |
| 2024-06-10 02:09:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-06-10 02:09:55 +0200 | ft | (~ft@mue-88-130-105-242.dsl.tropolys.de) |
| 2024-06-10 02:10:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-10 02:23:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 02:25:52 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-06-10 02:27:41 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-06-10 02:34:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 02:45:44 +0200 | dcoutts_ | (~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 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds) |
| 2024-06-10 02:58:33 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (Changing host) |
| 2024-06-10 02:58:33 +0200 | hammond | (proscan@user/hammond2) |
| 2024-06-10 03:05:18 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-06-10 03:06:08 +0200 | krei-se | (~krei-se@p5085db77.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-06-10 03:07:35 +0200 | rekahsoft | (~rekahsoft@184.148.4.136) |
| 2024-06-10 03:08:56 +0200 | krei-se | (~krei-se@p57af2529.dip0.t-ipconnect.de) |
| 2024-06-10 03:19:11 +0200 | rekahsoft | (~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 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8b0f:4c93:c18a:67f2) (Ping timeout: 256 seconds) |
| 2024-06-10 03:45:02 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer) |
| 2024-06-10 03:45:29 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) |
| 2024-06-10 03:53:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:253a:fa9b:b2fb:f690) |
| 2024-06-10 04:01:41 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-06-10 04:12:12 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-06-10 04:16:43 +0200 | dcoutts_ | (~duncan@77.109.149.106) (Ping timeout: 246 seconds) |
| 2024-06-10 04:22:45 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-06-10 04:27:02 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-06-10 04:36:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-06-10 04:57:50 +0200 | td_ | (~td@83.135.9.0) (Ping timeout: 252 seconds) |
| 2024-06-10 04:58:09 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-06-10 04:59:35 +0200 | td_ | (~td@i5387090D.versanet.de) |
| 2024-06-10 05:00:00 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.) |
| 2024-06-10 05:01:13 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2024-06-10 05:02:41 +0200 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 2024-06-10 05:24:13 +0200 | Pozyomka | (~pyon@user/pyon) |
| 2024-06-10 05:27:01 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-06-10 05:28:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-06-10 05:29:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-06-10 05:40:52 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-06-10 05:43:52 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-10 05:45:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-06-10 05:46:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-06-10 05:48:46 +0200 | aforemny | (~aforemny@2001:9e8:6ceb:b100:bc7c:4872:4d7c:fc47) |
| 2024-06-10 05:50:10 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc8:c600:4ce7:611a:8656:4065) (Ping timeout: 268 seconds) |
| 2024-06-10 06:01:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 06:13:32 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-06-10 06:15:06 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-06-10 06:15:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 06:16:43 +0200 | jrm | (~jrm@user/jrm) |
| 2024-06-10 06:19:53 +0200 | mei | (~mei@user/mei) |
| 2024-06-10 06:26:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-06-10 06:28:02 +0200 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2024-06-10 06:33:08 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-06-10 06:33:46 +0200 | Jackneill | (~Jackneill@94-21-227-230.pool.digikabel.hu) |
| 2024-06-10 06:37:03 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-06-10 06:38:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-10 06:39:48 +0200 | califax | (~califax@user/califx) |
| 2024-06-10 06:46:31 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-06-10 06:51:37 +0200 | mei | (~mei@user/mei) |
| 2024-06-10 06:57:05 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-10 07:00:36 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-10 07:17:14 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-10 07:27:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-06-10 07:29:16 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) |
| 2024-06-10 07:29:38 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-10 07:29:58 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) |
| 2024-06-10 07:30:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-10 07:46:12 +0200 | acidjnk | (~acidjnk@p200300d6e714dc68495b9afe8547f64e.dip0.t-ipconnect.de) |
| 2024-06-10 07:53:10 +0200 | michalz | (~michalz@185.246.207.222) |
| 2024-06-10 08:00:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-10 08:23:04 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-06-10 08:23:24 +0200 | tekki | (~tekki@2601:602:680:2280::a1ba) |
| 2024-06-10 08:24:36 +0200 | tekki | (~tekki@2601:602:680:2280::a1ba) (Quit: WeeChat 4.2.1) |
| 2024-06-10 08:29:29 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-06-10 08:32:53 +0200 | tekki | (~tekki@2601:602:680:2280::a1ba) |
| 2024-06-10 08:46:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 08:50:57 +0200 | tekki | (~tekki@2601:602:680:2280::a1ba) (Quit: WeeChat 4.2.1) |
| 2024-06-10 08:57:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 08:59:11 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-06-10 09:01:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 09:06:50 +0200 | gawen | (~gawen@user/gawen) |
| 2024-06-10 09:09:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-10 09:37:12 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-10 09:37:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-10 09:54:19 +0200 | machinedgod | (~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 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-10 10:06:16 +0200 | chele | (~chele@user/chele) |
| 2024-06-10 10:10:03 +0200 | danse-nr3 | (~danse-nr3@ge-19-106-201.service.infuturo.it) |
| 2024-06-10 10:14:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-10 10:14:45 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) |
| 2024-06-10 10:15:03 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-10 10:15:29 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) |
| 2024-06-10 10:17:17 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-10 10:17:40 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) |
| 2024-06-10 10:20:31 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-10 10:20:34 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-10 10:21:50 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-10 10:23:13 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-10 10:27:30 +0200 | kuribas | (~user@ptr-17d51enr7p7flltmuq7.18120a2.ip6.access.telenet.be) |
| 2024-06-10 10:32:41 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:be00:e6b9:7aff:fe80:3d03) |
| 2024-06-10 10:35:37 +0200 | biberu\ | (~biberu@user/biberu) |
| 2024-06-10 10:35:39 +0200 | iteratee_ | (~kyle@162.218.222.207) |
| 2024-06-10 10:36:12 +0200 | sam113102 | (~sam@24.157.253.231) |
| 2024-06-10 10:36:17 +0200 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds)) |
| 2024-06-10 10:36:17 +0200 | sam113101 | (~sam@24.157.253.231) (Read error: Connection reset by peer) |
| 2024-06-10 10:36:20 +0200 | sam113102 | sam113101 |
| 2024-06-10 10:36:23 +0200 | caubert_ | (~caubert@user/caubert) |
| 2024-06-10 10:36:29 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-06-10 10:36:35 +0200 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2024-06-10 10:37:11 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 264 seconds) |
| 2024-06-10 10:37:19 +0200 | remexre | (~remexre@user/remexre) |
| 2024-06-10 10:38:23 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 264 seconds) |
| 2024-06-10 10:38:55 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:be00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-06-10 10:38:59 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 264 seconds) |
| 2024-06-10 10:38:59 +0200 | biberu\ | biberu |
| 2024-06-10 10:55:22 +0200 | forell | (~forell@user/forell) (Ping timeout: 246 seconds) |
| 2024-06-10 10:56:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-10 10:58:30 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-06-10 11:00:01 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) |
| 2024-06-10 11:20:28 +0200 | forell | (~forell@user/forell) |
| 2024-06-10 11:21:24 +0200 | euleritian | (~euleritia@dynamic-176-006-017-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-10 11:21:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-10 11:38:42 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-06-10 11:40:08 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-06-10 11:41:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 11:43:48 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-10 11:44:36 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-10 11:51:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 11:52:42 +0200 | zetef | (~quassel@136.255.76.202) |
| 2024-06-10 11:52:55 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-06-10 11:57:29 +0200 | zetef | (~quassel@136.255.76.202) (Ping timeout: 252 seconds) |
| 2024-06-10 11:57:51 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-06-10 11:58:06 +0200 | laxmik | (~user@pc192b.fzu.cz) |
| 2024-06-10 12:04:45 +0200 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2024-06-10 12:08:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-10 12:12:30 +0200 | danse-nr3 | (~danse-nr3@ge-19-106-201.service.infuturo.it) (Ping timeout: 268 seconds) |
| 2024-06-10 12:12:43 +0200 | mei | (~mei@user/mei) (Ping timeout: 246 seconds) |
| 2024-06-10 12:14:53 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-10 12:17:31 +0200 | mei | (~mei@user/mei) |
| 2024-06-10 12:19:30 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-06-10 12:24:55 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-10 12:29:41 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2024-06-10 12:29:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-06-10 12:38:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-06-10 12:39:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-10 12:41:25 +0200 | michalz | (~michalz@185.246.207.222) (Ping timeout: 246 seconds) |
| 2024-06-10 12:41:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-10 12:43:13 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-06-10 12:45:18 +0200 | acidjnk | (~acidjnk@p200300d6e714dc68495b9afe8547f64e.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-06-10 12:48:52 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-10 12:58:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-10 12:59:41 +0200 | myme | (~myme@2a01:799:d5c:5f00:afc2:43bf:76e1:e67c) (Ping timeout: 268 seconds) |
| 2024-06-10 13:00:36 +0200 | myme | (~myme@2a01:799:d5c:5f00:1e2b:ea2d:8288:44e3) |
| 2024-06-10 13:05:51 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2024-06-10 13:27:57 +0200 | Square | (~Square@user/square) |
| 2024-06-10 13:30:06 +0200 | danse-nr3 | (~danse-nr3@an-19-179-102.service.infuturo.it) |
| 2024-06-10 13:31:57 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-10 13:37:02 +0200 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2024-06-10 13:46:25 +0200 | acidjnk | (~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 +0200 | zetef | (~quassel@136.255.76.202) |
| 2024-06-10 13:52:53 +0200 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 240 seconds) |
| 2024-06-10 13:54:52 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:be00:e6b9:7aff:fe80:3d03) |
| 2024-06-10 14:00:03 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-10 14:07:24 +0200 | akegalj | (~akegalj@78-0-117-143.adsl.net.t-com.hr) |
| 2024-06-10 14:14:22 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Remote host closed the connection) |
| 2024-06-10 14:22:35 +0200 | laxmik | (~user@pc192b.fzu.cz) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-06-10 14:26:33 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-06-10 14:27:51 +0200 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2024-06-10 14:30:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-06-10 14:32:57 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection) |
| 2024-06-10 14:35:14 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-06-10 14:48:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 14:48:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 14:49:08 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 268 seconds) |
| 2024-06-10 14:52:47 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-06-10 15:01:28 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-10 15:11:41 +0200 | akegalj | (~akegalj@78-0-117-143.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2024-06-10 15:13:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 15:14:30 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Read error: Connection reset by peer) |
| 2024-06-10 15:17:59 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 2024-06-10 15:20:45 +0200 | tromp | (~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 +0200 | CiaoSen | (~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 +0200 | dcoutts_ | (~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 +0200 | ystael | (~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 +0200 | ocra8 | (~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 +0200 | euleritian | (~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 +0200 | euleritian | (~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 +0200 | causal | (~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 +0200 | euleritian | (~euleritia@dynamic-176-006-012-188.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-10 15:58:30 +0200 | euleritian | (~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 +0200 | talukara | (~talukara@user/talukara) |
| 2024-06-10 16:05:34 +0200 | talukara | (~talukara@user/talukara) (Remote host closed the connection) |
| 2024-06-10 16:07:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-06-10 16:07:56 +0200 | euleritian | (~euleritia@dynamic-176-006-012-188.176.6.pool.telefonica.de) |
| 2024-06-10 16:12:31 +0200 | akegalj | (~akegalj@78-0-117-143.adsl.net.t-com.hr) |
| 2024-06-10 16:13:25 +0200 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2024-06-10 16:15:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 16:17:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 16:45:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-10 16:57:14 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-10 17:02:30 +0200 | akegalj | (~akegalj@78-0-117-143.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-06-10 17:06:32 +0200 | euleritian | (~euleritia@dynamic-176-006-012-188.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-10 17:06:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-10 17:07:03 +0200 | zetef | (~quassel@136.255.76.202) (Remote host closed the connection) |
| 2024-06-10 17:07:38 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-10 17:16:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-10 17:25:32 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-10 17:26:04 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-10 17:29:23 +0200 | danse-nr3 | (~danse-nr3@an-19-179-102.service.infuturo.it) (Ping timeout: 264 seconds) |
| 2024-06-10 17:29:47 +0200 | danse-nr3 | (~danse-nr3@151.47.215.215) |
| 2024-06-10 17:32:32 +0200 | Domitar | (~Domitar@83-131-235-54.adsl.net.t-com.hr) |
| 2024-06-10 17:35:36 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-06-10 17:42:45 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-06-10 17:43:45 +0200 | Domitar | (~Domitar@83-131-235-54.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2024-06-10 17:44:04 +0200 | killy | (~killy@staticline-31-183-152-52.toya.net.pl) |
| 2024-06-10 17:53:21 +0200 | sabino | (~sabino@user/sabino) |
| 2024-06-10 17:57:35 +0200 | danse-nr3 | (~danse-nr3@151.47.215.215) (Ping timeout: 264 seconds) |
| 2024-06-10 18:00:11 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-06-10 18:00:40 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-06-10 18:02:46 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-06-10 18:08:01 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-10 18:09:19 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-06-10 18:13:34 +0200 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 246 seconds) |
| 2024-06-10 18:14:56 +0200 | rosco | (~rosco@183.171.74.212) |
| 2024-06-10 18:16:22 +0200 | rosco | (~rosco@183.171.74.212) (Client Quit) |
| 2024-06-10 18:16:33 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-06-10 18:16:39 +0200 | rosco | (~rosco@183.171.74.212) |
| 2024-06-10 18:22:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-10 18:23:22 +0200 | euleritian | (~euleritia@dynamic-176-006-177-166.176.6.pool.telefonica.de) |
| 2024-06-10 18:30:09 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 256 seconds) |
| 2024-06-10 18:33:42 +0200 | Guest22 | (~Guest17@host-80-44-189-9.as13285.net) |
| 2024-06-10 18:36:35 +0200 | sabino | (~sabino@user/sabino) (Ping timeout: 264 seconds) |
| 2024-06-10 18:38:39 +0200 | Guest22 | (~Guest17@host-80-44-189-9.as13285.net) (Quit: Client closed) |
| 2024-06-10 18:40:38 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-10 18:43:45 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-06-10 18:56:48 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-10 19:00:48 +0200 | sabino | (~sabino@user/sabino) |
| 2024-06-10 19:01:11 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 264 seconds) |
| 2024-06-10 19:02:51 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-06-10 19:06:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-10 19:06:27 +0200 | euleritian | (~euleritia@dynamic-176-006-177-166.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-06-10 19:07:28 +0200 | euleritian | (~euleritia@dynamic-176-007-149-014.176.7.pool.telefonica.de) |
| 2024-06-10 19:11:39 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 256 seconds) |
| 2024-06-10 19:12:06 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-10 19:14:55 +0200 | euleritian | (~euleritia@dynamic-176-007-149-014.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-10 19:15:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-10 19:25:53 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-10 19:31:18 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-06-10 19:32:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 19:38:27 +0200 | zopsicle | (~zopsicle@2001:1c02:2f00:2f00:32e6:384:6858:a41) |
| 2024-06-10 19:43:18 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-06-10 19:43:18 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-10 19:52:19 +0200 | Square | (~Square@user/square) |
| 2024-06-10 19:53:17 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-10 19:54:15 +0200 | Tisoxin | (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-10 19:55:53 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-10 20:15:01 +0200 | euleritian | (~euleritia@dynamic-176-004-182-181.176.4.pool.telefonica.de) |
| 2024-06-10 20:21:43 +0200 | TactfulCitrus | (~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 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-10 20:26:22 +0200 | zetef | (~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 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 260 seconds) |
| 2024-06-10 20:31:50 +0200 | rosco | (~rosco@183.171.74.212) (Quit: Lost terminal) |
| 2024-06-10 20:34:53 +0200 | sp1ff | (~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 +0200 | tromp | (~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 +0200 | target_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 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-06-10 20:43:33 +0200 | kuribas | (~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 +0200 | euleritian | (~euleritia@dynamic-176-004-182-181.176.4.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-06-10 20:52:11 +0200 | dagit | (~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 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2024-06-10 20:54:01 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2024-06-10 20:55:46 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2024-06-10 21:02:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-10 21:07:42 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-10 21:22:04 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-10 21:22:57 +0200 | califax | (~califax@user/califx) |
| 2024-06-10 21:24:25 +0200 | killy | (~killy@staticline-31-183-152-52.toya.net.pl) (Ping timeout: 268 seconds) |
| 2024-06-10 21:37:07 +0200 | akegalj | (~akegalj@78-0-117-143.adsl.net.t-com.hr) |
| 2024-06-10 21:42:14 +0200 | Jackneill_ | (~Jackneill@178-164-237-9.pool.digikabel.hu) |
| 2024-06-10 21:45:23 +0200 | Jackneill | (~Jackneill@94-21-227-230.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2024-06-10 21:46:33 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-06-10 21:59:52 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-10 22:04:57 +0200 | killy | (~killy@staticline-31-183-152-52.toya.net.pl) |
| 2024-06-10 22:14:03 +0200 | troydm | (~troydm@user/troydm) |
| 2024-06-10 22:17:53 +0200 | killy | (~killy@staticline-31-183-152-52.toya.net.pl) (Ping timeout: 252 seconds) |
| 2024-06-10 22:21:22 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-06-10 22:48:48 +0200 | killy | (~killy@staticline-31-183-152-52.toya.net.pl) |
| 2024-06-10 22:55:29 +0200 | bearen | (bearen@user/bearen) |
| 2024-06-10 22:58:20 +0200 | bearen | (bearen@user/bearen) (Remote host closed the connection) |
| 2024-06-10 23:01:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-10 23:01:54 +0200 | zmt00 | (~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 +0200 | ocra8 | (~ocra8@user/ocra8) (Quit: WeeChat 4.3.1) |
| 2024-06-10 23:11:23 +0200 | Square | (~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 +0200 | haskellbridge | sm (@simonmic:matrix.org) is intrigued |
| 2024-06-10 23:23:37 +0200 | akegalj | (~akegalj@78-0-117-143.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-06-10 23:25:46 +0200 | Square | (~Square@user/square) |
| 2024-06-10 23:25:48 +0200 | ocra8 | (~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 +0200 | killy | (~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 +0200 | pavonia | (~user@user/siracusa) |
| 2024-06-10 23:55:58 +0200 | AlexNoo_ | (~AlexNoo@94.233.240.142) |
| 2024-06-10 23:59:05 +0200 | AlexZenon | (~alzenon@178.34.160.196) (Ping timeout: 252 seconds) |
| 2024-06-10 23:59:39 +0200 | AlexNoo | (~AlexNoo@178.34.160.196) (Ping timeout: 260 seconds) |
| 2024-06-10 23:59:41 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |