Logs on 2024-10-20 (liberachat/#haskell)
| 00:03:04 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 00:07:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:12:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 00:13:46 | × | tremon quits (~tremon@83.80.159.219) (Remote host closed the connection) |
| 00:17:42 | × | alexherbo2 quits (~alexherbo@2a02-8440-3405-e8d3-ccc5-56ba-c460-8382.rev.sfr.net) (Remote host closed the connection) |
| 00:21:30 | × | dcoutts__ quits (~duncan@host81-132-101-226.range81-132.btcentralplus.com) (Ping timeout: 276 seconds) |
| 00:22:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:27:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:29:05 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:40:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:42:13 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:44:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:49:09 | nitrix | is now known as nitrix-or-treat |
| 00:55:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:55:44 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 01:00:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:01:43 | → | adamCS joins (~adamCS@70.107.91.225) |
| 01:10:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:15:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 01:24:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 01:25:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 01:26:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:33:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:37:55 | → | jinsun joins (~jinsun@user/jinsun) |
| 01:47:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:47:38 | × | identity quits (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 01:51:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:02:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:05:04 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 02:05:34 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:07:01 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 02:10:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:14:33 | → | joeyadams joins (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 02:16:47 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 02:17:20 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 02:19:34 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 02:23:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:27:54 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 02:28:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 02:29:21 | → | heheGuest32 joins (~heheGuest@130.65.254.11) |
| 02:30:56 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 02:31:02 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 02:32:04 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 02:34:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 02:35:19 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 02:36:33 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 02:36:33 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 02:36:48 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 02:36:58 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 02:37:57 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 02:38:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:41:10 | × | heheGuest32 quits (~heheGuest@130.65.254.11) (Quit: Client closed) |
| 02:42:38 | → | fmira joins (~user@user/fmira) |
| 02:42:51 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 02:43:12 | → | fmira joins (~user@user/fmira) |
| 02:43:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 02:43:29 | × | td_ quits (~td@i53870911.versanet.de) (Ping timeout: 255 seconds) |
| 02:45:28 | → | td_ joins (~td@i53870918.versanet.de) |
| 02:55:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:57:27 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 03:00:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:11:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:17:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 03:21:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 03:29:02 | → | LispTyro joins (~pepsi@129.159.85.69) |
| 03:29:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:32:03 | × | LispTyro quits (~pepsi@129.159.85.69) (Quit: leaving) |
| 03:33:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:43:04 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 03:44:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:49:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 04:00:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:04:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:09:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:14:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:14:45 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 04:15:18 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 04:16:02 | × | joeyadams quits (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 04:25:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:30:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:40:14 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 04:41:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:42:45 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:44:55 | → | Axman6 joins (~Axman6@user/axman6) |
| 04:46:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:56:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:03:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:10:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:10:52 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 265 seconds) |
| 05:13:24 | → | dolio joins (~dolio@130.44.140.168) |
| 05:16:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:26:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:26:34 | → | travgm joins (~travgm@fsf/member/travgm) |
| 05:30:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:41:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:45:22 | → | hgolden_ joins (~hgolden@169.150.203.23) |
| 05:47:29 | → | billchenchina- joins (~billchenc@103.152.35.21) |
| 05:47:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:48:05 | × | hgolden__ quits (~hgolden@146.70.173.165) (Ping timeout: 248 seconds) |
| 05:48:35 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 05:55:25 | × | synchrom1 quits (~john@2406:5a00:2497:300:bcf8:f387:b864:86a) (Read error: Connection reset by peer) |
| 05:56:11 | → | synchromesh joins (~john@2406:5a00:2497:300:4954:b4e9:3b17:4347) |
| 05:58:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:01:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 06:05:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:07:28 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:11:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:14:08 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 06:14:41 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 248 seconds) |
| 06:15:07 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:19:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 06:22:18 | × | travgm quits (~travgm@fsf/member/travgm) (Remote host closed the connection) |
| 06:27:50 | × | jinsun quits (~jinsun@user/jinsun) () |
| 06:27:57 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb98d57e0eca7fa23c28.dip0.t-ipconnect.de) |
| 06:30:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:32:41 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:34:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 06:45:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:52:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:56:35 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 06:57:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:00:02 | × | tt123109783243 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 07:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:39 | → | caconym joins (~caconym@user/caconym) |
| 07:03:34 | → | tt123109783243 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 07:03:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:03:51 | → | euphores joins (~SASL_euph@user/euphores) |
| 07:04:57 | × | yoneda quits (~mike@193.206.102.122) (Ping timeout: 246 seconds) |
| 07:07:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 07:12:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:20:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:25:21 | × | synchromesh quits (~john@2406:5a00:2497:300:4954:b4e9:3b17:4347) (Quit: WeeChat 4.0.5) |
| 07:28:28 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:31:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:32:35 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:36:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 07:37:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 07:39:49 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 07:43:22 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:47:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:51:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:52:03 | × | druchan quits (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:52:25 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:01:45 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:02:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:07:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:13:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:14:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:15:10 | × | billchenchina- quits (~billchenc@103.152.35.21) (Quit: Leaving) |
| 08:17:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:22:28 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:22:34 | × | petrichor quits (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 08:26:02 | → | petrichor joins (~znc-user@user/petrichor) |
| 08:28:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:32:45 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:33:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:40:09 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 08:43:21 | → | briandaed joins (~root@185.234.210.211) |
| 08:44:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:45:48 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 08:49:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 09:05:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:08:14 | → | synchromesh joins (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) |
| 09:09:14 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 09:10:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:11:59 | → | rmca joins (~rob@188.120.84.50) |
| 09:13:20 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 09:14:04 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 09:14:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:17:49 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:18:18 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 09:18:31 | → | euleritian joins (~euleritia@dynamic-176-006-136-224.176.6.pool.telefonica.de) |
| 09:18:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 09:21:49 | × | euleritian quits (~euleritia@dynamic-176-006-136-224.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:22:07 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 09:28:01 | → | mreh joins (~matthew@host86-128-2-51.range86-128.btcentralplus.com) |
| 09:29:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:33:23 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:34:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 09:45:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:45:22 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 09:46:02 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 09:48:44 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 09:49:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 09:50:30 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:51:30 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 09:52:50 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 09:53:42 | → | kmein joins (~weechat@user/kmein) |
| 10:00:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:03:38 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:05:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 10:11:30 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb98d57e0eca7fa23c28.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 10:11:55 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:15:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:19:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 10:30:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:35:00 | × | paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 10:35:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 10:41:58 | × | petrichor quits (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 10:44:09 | → | petrichor joins (~znc-user@user/petrichor) |
| 10:46:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:48:39 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 10:50:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:50:54 | → | vincenter joins (~vincenter@119.14.36.100) |
| 10:54:15 | → | paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 10:54:44 | × | vincenter quits (~vincenter@119.14.36.100) (Client Quit) |
| 10:58:59 | → | Digitteknohippie joins (~user@user/digit) |
| 10:59:21 | × | Digit quits (~user@user/digit) (Ping timeout: 265 seconds) |
| 11:01:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:05:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:09:00 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:16:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:22:39 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 11:22:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 11:23:13 | → | euleritian joins (~euleritia@dynamic-176-006-136-224.176.6.pool.telefonica.de) |
| 11:26:30 | → | __monty__ joins (~toonn@user/toonn) |
| 11:30:00 | × | euleritian quits (~euleritia@dynamic-176-006-136-224.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:30:18 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:30:27 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 11:30:46 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:32:21 | × | mreh quits (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 246 seconds) |
| 11:33:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Client Quit) |
| 11:34:16 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:34:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:39:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 11:40:26 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 11:42:38 | → | Hobbyboy joins (Hobbyboy@hobbyboy.co.uk) |
| 11:45:35 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 11:49:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:50:04 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 11:53:44 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 11:54:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 11:54:22 | → | euleritian joins (~euleritia@dynamic-176-006-136-224.176.6.pool.telefonica.de) |
| 12:04:07 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 265 seconds) |
| 12:05:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:08:44 | → | identity joins (~identity@user/ZharMeny) |
| 12:09:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:16:00 | ← | Luj9 parts (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (The Lounge - https://thelounge.chat) |
| 12:17:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:21:57 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 12:22:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 12:28:19 | × | Square quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 12:32:33 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 12:32:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:33:57 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 12:34:30 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:37:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 12:41:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:42:35 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 12:44:53 | → | rosco joins (~rosco@60.53.7.10) |
| 12:46:49 | → | tremon joins (~tremon@83.80.159.219) |
| 12:48:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:53:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 13:00:58 | → | Everything joins (~Everythin@46.211.77.168) |
| 13:04:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:05:54 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 13:06:03 | × | rosco quits (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 13:11:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 13:12:38 | × | euleritian quits (~euleritia@dynamic-176-006-136-224.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 13:15:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:16:05 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:16:31 | × | synchromesh quits (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) (Read error: Connection reset by peer) |
| 13:17:17 | → | euleritian joins (~euleritia@dynamic-176-001-133-076.176.1.pool.telefonica.de) |
| 13:17:54 | → | synchromesh joins (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) |
| 13:18:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:19:51 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 13:20:07 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 13:20:32 | → | synchrom1 joins (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) |
| 13:21:45 | → | Digit joins (~user@user/digit) |
| 13:22:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:23:10 | → | synchrom2 joins (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) |
| 13:23:16 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 13:23:18 | × | ftzm quits (~ftzm@085080243044.dynamic.telenor.dk) (Ping timeout: 245 seconds) |
| 13:23:34 | × | synchromesh quits (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) (Ping timeout: 260 seconds) |
| 13:24:36 | → | synchromesh joins (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) |
| 13:24:37 | × | benjaminl quits (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 13:25:04 | → | benjaminl joins (~benjaminl@user/benjaminl) |
| 13:26:19 | × | synchrom1 quits (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) (Ping timeout: 260 seconds) |
| 13:27:57 | × | synchrom2 quits (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) (Ping timeout: 252 seconds) |
| 13:28:17 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 13:30:00 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 13:33:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:39:40 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:41:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:43:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:46:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:47:13 | → | supercode joins (~supercode@user/supercode) |
| 13:47:59 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 13:54:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:54:59 | → | dcoutts__ joins (~duncan@host81-132-101-226.range81-132.btcentralplus.com) |
| 13:58:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:58:35 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 14:00:23 | → | hgolden__ joins (~hgolden@146.70.173.37) |
| 14:03:04 | × | hgolden_ quits (~hgolden@169.150.203.23) (Ping timeout: 260 seconds) |
| 14:03:18 | × | adamCS quits (~adamCS@70.107.91.225) (Ping timeout: 245 seconds) |
| 14:09:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:14:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 14:16:58 | → | adamCS joins (~adamCS@71.167.235.212) |
| 14:17:57 | → | CiaoSen joins (~Jura@2a05:5800:2db:600:ca4b:d6ff:fec1:99da) |
| 14:18:53 | → | vglfr joins (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 14:19:02 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:21:02 | × | Everything quits (~Everythin@46.211.77.168) (Ping timeout: 272 seconds) |
| 14:22:35 | → | Everything joins (~Everythin@178-133-57-213.mobile.vf-ua.net) |
| 14:31:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:34:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:36:19 | × | dcoutts__ quits (~duncan@host81-132-101-226.range81-132.btcentralplus.com) (Ping timeout: 260 seconds) |
| 14:43:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 14:54:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:54:35 | × | euleritian quits (~euleritia@dynamic-176-001-133-076.176.1.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 14:55:32 | → | euleritian joins (~euleritia@dynamic-176-006-142-030.176.6.pool.telefonica.de) |
| 14:57:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:59:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 15:01:28 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 15:03:43 | → | weary-traveler joins (~user@user/user363627) |
| 15:09:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:11:04 | × | Xe quits (~cadey@perl/impostor/xe) (Quit: WeeChat 4.4.2) |
| 15:14:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:15:30 | → | Xe joins (~cadey@perl/impostor/xe) |
| 15:20:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:25:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 15:26:02 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 15:27:32 | → | califax joins (~califax@user/califx) |
| 15:29:24 | → | alioguzhan joins (~Thunderbi@78.173.69.170) |
| 15:31:22 | → | hgolden_ joins (~hgolden@static-198-44-129-83.cust.tzulo.com) |
| 15:32:28 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 15:34:04 | × | hgolden__ quits (~hgolden@146.70.173.37) (Ping timeout: 260 seconds) |
| 15:35:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:39:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:41:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:45:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:51:00 | × | CiaoSen quits (~Jura@2a05:5800:2db:600:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 15:56:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:57:46 | → | ubert joins (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) |
| 15:59:57 | × | Everything quits (~Everythin@178-133-57-213.mobile.vf-ua.net) (Quit: leaving) |
| 16:01:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:02:24 | × | ubert quits (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 16:03:51 | × | euleritian quits (~euleritia@dynamic-176-006-142-030.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:04:09 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:04:10 | → | rosco joins (~rosco@60.53.7.10) |
| 16:11:22 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:12:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:17:22 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 16:17:24 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:17:38 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:17:57 | <lxsameer> | hey folks, how should I make a new instance of a class that has a `not visible` method? |
| 16:18:31 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:19:11 | <c_wraith> | if there's no way to import it... someone really didn't want you to do that. |
| 16:19:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 16:20:01 | <lxsameer> | c_wraith: it's ToRow class of postgres-simple, according to the docs I have to implement that class |
| 16:20:54 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 16:20:54 | ljdarj1 | is now known as ljdarj |
| 16:22:44 | <c_wraith> | lxsameer: so the index ( https://hackage.haskell.org/package/postgresql-simple-0.7.0.0/docs/doc-index-T.html ) says ToRow is exported from two locations, but toRow is only exported from one. |
| 16:22:46 | <geekosaur> | according to the docs I'm reading, you're supposed to derive `Generic` and `ToRow` and not touch iy |
| 16:23:11 | <c_wraith> | you need to import toRow in order for it to be visible |
| 16:24:02 | <c_wraith> | So make sure you're importing Database.PostgreSQL.Simple.ToRow |
| 16:24:50 | × | fr33domlover quits (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 16:24:53 | <lxsameer> | geekosaur: tried that as well, but the compiler suggest i need use a standalone 'deriving instance' |
| 16:25:01 | <lxsameer> | c_wraith: let me try |
| 16:25:12 | <geekosaur> | that can happen with older compilers, yes |
| 16:25:29 | <c_wraith> | geekosaur: I'm not sure that's strictly true, given that it says the Generic implementation only works with product types, not sums. |
| 16:25:40 | <lxsameer> | geekosaur: i'm on 9.6 |
| 16:26:16 | <geekosaur> | right, 9.8 has changes that make standalone deriving less necessary |
| 16:26:37 | <geekosaur> | and I think 9.10 has another |
| 16:26:55 | <lxsameer> | geekosaur: ahh ok then |
| 16:26:57 | → | fr33domlover joins (~fr33domlo@towards.vision) |
| 16:26:58 | <lxsameer> | thanks folks |
| 16:30:29 | × | rosco quits (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 16:34:07 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:40:07 | → | AlexNoo_ joins (~AlexNoo@178.34.162.25) |
| 16:40:57 | → | simendsjo joins (~user@84.211.91.108) |
| 16:41:54 | × | AlexZenon quits (~alzenon@178.34.151.233) (Ping timeout: 260 seconds) |
| 16:43:38 | × | AlexNoo quits (~AlexNoo@178.34.151.233) (Ping timeout: 255 seconds) |
| 16:46:09 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 16:46:36 | → | euleritian joins (~euleritia@dynamic-176-006-142-030.176.6.pool.telefonica.de) |
| 16:47:18 | → | AlexZenon joins (~alzenon@178.34.162.25) |
| 16:49:09 | → | pavonia joins (~user@user/siracusa) |
| 16:49:56 | AlexNoo_ | is now known as AlexNoo |
| 16:54:12 | × | euleritian quits (~euleritia@dynamic-176-006-142-030.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:54:30 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:55:45 | × | AlexZenon quits (~alzenon@178.34.162.25) (Ping timeout: 246 seconds) |
| 16:55:55 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:56:45 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:59:36 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:00:40 | → | AlexZenon joins (~alzenon@178.34.162.25) |
| 17:01:00 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 252 seconds) |
| 17:02:10 | → | haritz joins (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 17:02:10 | × | haritz quits (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 17:02:10 | → | haritz joins (~hrtz@user/haritz) |
| 17:09:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:10:44 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:11:30 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 17:13:42 | → | euleritian joins (~euleritia@dynamic-176-006-142-030.176.6.pool.telefonica.de) |
| 17:14:38 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 17:14:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:20:21 | × | euleritian quits (~euleritia@dynamic-176-006-142-030.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:20:39 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:21:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 17:30:29 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:30:38 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:32:25 | × | synchromesh quits (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) (Read error: Connection reset by peer) |
| 17:33:16 | → | synchromesh joins (~john@2406:5a00:2497:300:dd93:cdaa:8c5a:4091) |
| 17:38:21 | → | ham joins (~ham@user/ham) |
| 17:39:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:44:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 17:48:19 | → | joeyadams joins (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 17:48:25 | → | michalz joins (~michalz@185.246.207.222) |
| 17:54:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:56:43 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 17:59:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 18:10:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:14:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:25:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:30:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:33:52 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:37:07 | → | dcoutts joins (~duncan@212.187.244.50) |
| 18:40:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:44:00 | → | travgm joins (~username@fsf/member/travgm) |
| 18:45:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 18:51:14 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 18:55:06 | → | caubert joins (~caubert@136.244.111.235) |
| 18:55:06 | × | caubert quits (~caubert@136.244.111.235) (Changing host) |
| 18:55:06 | → | caubert joins (~caubert@user/caubert) |
| 18:56:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:56:28 | × | supercode quits (~supercode@user/supercode) (Quit: Client closed) |
| 18:57:06 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 18:58:49 | × | dcoutts quits (~duncan@212.187.244.50) (Ping timeout: 265 seconds) |
| 19:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:00:39 | → | caconym joins (~caconym@user/caconym) |
| 19:01:37 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 19:05:18 | → | weary-traveler joins (~user@user/user363627) |
| 19:05:20 | → | TMA joins (tma@twin.jikos.cz) |
| 19:05:23 | × | travgm quits (~username@fsf/member/travgm) (Ping timeout: 255 seconds) |
| 19:11:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:15:42 | → | dcoutts joins (~duncan@185.201.60.254) |
| 19:15:54 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 19:18:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:21:27 | × | briandaed quits (~root@185.234.210.211) (Remote host closed the connection) |
| 19:35:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:37:52 | → | neuroevolutus joins (~neuroevol@79.127.222.205) |
| 19:40:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 19:45:30 | × | neuroevolutus quits (~neuroevol@79.127.222.205) (Quit: Client closed) |
| 19:49:04 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 19:50:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:55:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 19:55:22 | → | hgolden__ joins (~hgolden@146.70.173.101) |
| 19:56:45 | → | user363627 joins (~user@user/user363627) |
| 19:57:44 | × | hgolden_ quits (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 19:59:05 | → | neuroevolutus joins (~neuroevol@79.127.222.218) |
| 19:59:38 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:b99b:866d:1e85:f777) |
| 19:59:45 | k_hachig_ | is now known as k_hachig |
| 19:59:45 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 248 seconds) |
| 20:00:25 | user363627 | is now known as weary-traveler |
| 20:06:00 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:06:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:12:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 20:18:05 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 20:18:42 | <dolio> | Has anyone tried measuring which CPU tradeoffs match Haskell programs better? E.G. there are chips that have more cache, but run at lower frequencies. If you read reviews, they will say those are "better for games," but "worse for productivity." But I don't know how representative "productivity" is of writing and using Haskell programs. Does Haskell benefit from more cache due to overall less locality? Or are the effects of that not significant enough to matt |
| 20:18:42 | <dolio> | er? |
| 20:19:37 | × | dcoutts quits (~duncan@185.201.60.254) (Remote host closed the connection) |
| 20:22:34 | <int-e> | . o O ( "productivity" - can they be more nebulous please ) |
| 20:23:21 | <int-e> | Anyway, no, but I would also guess that larger caches benefit Haskell more than higher CPU frequencies. |
| 20:23:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:23:46 | → | jero98772 joins (~jero98772@2800:484:1d7c:cc00::11) |
| 20:26:38 | <davean> | dolio: yes there have been messures. Its complicated. It also varies by the program a degree. |
| 20:28:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:29:21 | <davean> | Predictors and prefetchers matter a ton. Generally more than cache specificly. |
| 20:29:51 | <davean> | Intercore latency can also matter a lot. |
| 20:31:20 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 20:34:11 | → | Square joins (~Square@user/square) |
| 20:36:13 | <monochrom> | I'm afraid Haskell programs are both CPU-intensive and memory-intensive. |
| 20:36:26 | × | xal quits (~xal@mx1.xal.systems) (Quit: bye) |
| 20:39:20 | → | xal joins (~xal@mx1.xal.systems) |
| 20:41:36 | <davean> | Yah Haskell does a lot of memory writes so it hits AGUs hard. It also reads from writes a lot so reading from the write buffer matters. |
| 20:41:42 | <davean> | There are a lot of low level details here |
| 20:45:14 | × | jero98772 quits (~jero98772@2800:484:1d7c:cc00::11) (Remote host closed the connection) |
| 20:50:12 | <TMA> | int-e: "productivity" is a nickname for "office applications" |
| 20:51:00 | <monochrom> | and which in turn is euphemism for bloatware </rant> |
| 20:52:45 | <dolio> | Is Agda a game or productivity? :þ |
| 20:53:15 | <monochrom> | recreational math >:) |
| 20:54:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:59:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:00:12 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:01:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:03:45 | <dolio> | Also, I'm not sure "office application" is what they mean anymore. I think they might mean "encoding videos," because they have the idea that a non-negligible portion of the population consists of professional youtubers. Also probably because office applications have run fast enough for a long time now. |
| 21:04:45 | <monochrom> | Professionals edit videos in an office so it's an office application. >:) |
| 21:04:47 | <davean> | Productivity does infact include office applications in benchmarks. And no, office applications do not run fast enough. Many business spreadsheets can still take quite a while to run |
| 21:05:08 | <dolio> | Oh yeah, I forgot about how much people do with spreadsheets. :þ |
| 21:05:20 | <dolio> | It's frightening. |
| 21:06:47 | <monochrom> | I bet "productivity" just means "not gaming" and/or "doesn't need GPU". |
| 21:07:26 | <davean> | My understanding is productivity doesn't include scientific workloads either. |
| 21:07:30 | <int-e> | . o O ( gaming but the game is Factorio ) |
| 21:08:24 | <Franciman> | most haskell software is bloatware too lol |
| 21:08:30 | <Franciman> | most modern stuff is bloatware |
| 21:08:37 | <Franciman> | can't have a 127kb haskell executable |
| 21:08:58 | <dmj`> | not if you're linking with the rts |
| 21:09:22 | <Franciman> | i think the same goes for all other modern languages, except maybe rust? |
| 21:09:51 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 21:11:01 | <dmj`> | "modern C" |
| 21:11:23 | <davean> | Franciman: There are Haskell compilers that can do 127kB but they're limited ones. |
| 21:11:31 | <monochrom> | I mean, sure, if you go to an app store, they have a much richer classification than game vs productivity (e.g., in that context, productivity does mean office applications; video processing has its own class). But in the context of selling PCs, it's really the very simplistic trichotomy of GPU-bound, video editing, neither (which is nicknamed "productivity"). |
| 21:11:33 | <haskellbridge> | <ellyse_e> Franciman: i think rust executables are notoriously large, zig is a better example in release mode |
| 21:13:11 | <Franciman> | cool, thanks |
| 21:13:57 | <davean> | monochrom: right, no one sells consumer PCs for scientific, thats the field of HPC/Supercomputer sales or at the very least specialized workstations. |
| 21:15:02 | <identity> | ellyse_e: rust executables are not really special in that regard, go's easily balloon too |
| 21:25:45 | × | joeyadams quits (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 21:27:13 | × | neuroevolutus quits (~neuroevol@79.127.222.218) (Ping timeout: 256 seconds) |
| 21:27:42 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:27:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:32:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 21:38:07 | <dmj`> | rust are probably big due to inlining |
| 21:39:10 | <dmj`> | go's static linking is cool |
| 21:43:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:48:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 21:48:43 | × | rmca quits (~rob@188.120.84.50) (Ping timeout: 245 seconds) |
| 21:51:01 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:52:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:58:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:09:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:14:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 22:24:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:24:58 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:29:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:36:36 | × | vglfr quits (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 252 seconds) |
| 22:37:10 | → | vglfr joins (~vglfr@2607:fb90:ea53:d11b:ac39:c391:e58f:67d5) |
| 22:40:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:41:33 | × | vglfr quits (~vglfr@2607:fb90:ea53:d11b:ac39:c391:e58f:67d5) (Ping timeout: 252 seconds) |
| 22:41:47 | → | vglfr joins (~vglfr@2607:fb90:eabf:c341:ad3:f757:4ed5:dde4) |
| 22:45:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:48:49 | → | markasoftware joins (~quassel@107.161.26.124) |
| 22:48:57 | × | markasoftware_ quits (~quassel@107.161.26.124) (Ping timeout: 276 seconds) |
| 22:55:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:59:14 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:03:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 23:14:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:16:51 | → | travgm joins (~username@fsf/member/travgm) |
| 23:18:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 23:23:08 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 23:24:24 | × | vglfr quits (~vglfr@2607:fb90:eabf:c341:ad3:f757:4ed5:dde4) (Read error: Connection reset by peer) |
| 23:29:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:33:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 23:35:25 | → | vglfr joins (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 23:36:04 | → | Henson joins (~kvirc@bras-base-owsdon5915w-grc-09-64-231-69-12.dsl.bell.ca) |
| 23:38:08 | <Henson> | I'm experiencing what appears to be a memory leak when rapidly creating ForeignPtrs using calloc on one team of threads, and passing them via an MVar to another team of threads that remove them from the MVars an allow them to be GCd with the finalizerFree. This leak does not happen when using Ptrs with an explicit "free". It also doesn't happen when using asyncBound. But it does happen... |
| 23:39:08 | <Henson> | when using async with multiple threads and the creation/destruction happening on multiple capabilities. If I use "-N1" and restrict Haskell to a single core, it then doesn't happen when using "async". Does anybody have any suggestions as to why this might be happening? |
| 23:42:29 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 23:42:56 | → | supercode joins (~supercode@user/supercode) |
| 23:44:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:46:10 | × | travgm quits (~username@fsf/member/travgm) (Ping timeout: 252 seconds) |
| 23:47:34 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 23:49:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:49:32 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:52:32 | × | divya quits (~user@139.5.10.160) (Read error: Connection reset by peer) |
| 23:55:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:55:32 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:58:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 23:58:10 | ljdarj1 | is now known as ljdarj |
All times are in UTC on 2024-10-20.