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