Logs on 2024-10-19 (liberachat/#haskell)
| 00:00:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:04:06 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:08:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:10:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:15:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 00:17:29 | × | son0p quits (~ff@190.69.120.153) (Remote host closed the connection) |
| 00:17:59 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 00:26:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:30:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:32:12 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:41:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:43:19 | → | califax joins (~califax@user/califx) |
| 00:45:01 | → | son0p joins (~ff@190.69.120.153) |
| 00:45:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 00:56:43 | × | hiecaq quits (~hiecaq@user/hiecaq) (Read error: Connection reset by peer) |
| 00:56:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:00:31 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 01:01:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 01:12:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:12:42 | → | fmira joins (~user@user/fmira) |
| 01:14:33 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 01:15:15 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 01:16:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:19:30 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 01:20:28 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 01:20:43 | → | weary-traveler joins (~user@user/user363627) |
| 01:22:13 | × | alp quits (~alp@2001:861:e3d6:8f80:5390:64ff:457d:f218) (Remote host closed the connection) |
| 01:22:30 | → | alp joins (~alp@2001:861:e3d6:8f80:e9b8:53b5:5540:ffa5) |
| 01:22:51 | × | euleritian quits (~euleritia@146.52.11.212) (Ping timeout: 276 seconds) |
| 01:23:23 | → | euleritian joins (~euleritia@ip92340bd4.dynamic.kabel-deutschland.de) |
| 01:27:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:28:17 | × | xff0x quits (~xff0x@2405:6580:b080:900:b1c9:c57e:b0f1:f862) (Ping timeout: 252 seconds) |
| 01:30:03 | × | euleritian quits (~euleritia@ip92340bd4.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 01:30:23 | → | euleritian joins (~euleritia@dynamic-176-000-151-221.176.0.pool.telefonica.de) |
| 01:32:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:34:18 | → | troojg joins (~troojg@user/troojg) |
| 01:34:42 | → | infinity0 joins (~infinity0@pwned.gg) |
| 01:35:17 | × | alp quits (~alp@2001:861:e3d6:8f80:e9b8:53b5:5540:ffa5) (Ping timeout: 248 seconds) |
| 01:41:12 | → | xff0x joins (~xff0x@2405:6580:b080:900:b1c9:c57e:b0f1:f862) |
| 01:43:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:47:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:58:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:08:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:13:01 | → | billchenchina- joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 02:23:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:27:32 | × | identity quits (~identity@user/ZharMeny) (Read error: Connection reset by peer) |
| 02:28:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:37:08 | × | fireking04 quits (~user@36-227-66-185.dynamic-ip.hinet.net) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 02:39:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:42:28 | × | terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 02:44:11 | → | terrorjack4 joins (~terrorjac@2a01:4f8:c17:dc9f::) |
| 02:44:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 02:44:34 | × | td_ quits (~td@i53870913.versanet.de) (Ping timeout: 252 seconds) |
| 02:44:53 | → | rosco joins (~rosco@60.53.7.10) |
| 02:46:33 | → | td_ joins (~td@i53870911.versanet.de) |
| 02:50:57 | × | synchromesh quits (~john@2406:5a00:2497:300:bcf8:f387:b864:86a) (Read error: Connection reset by peer) |
| 02:51:59 | → | synchromesh joins (~john@2406:5a00:2497:300:bcf8:f387:b864:86a) |
| 02:52:59 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 02:54:18 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 02:54:44 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:55:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:55:23 | × | danso quits (~danso@user/danso) (Ping timeout: 245 seconds) |
| 02:57:37 | → | synchrom1 joins (~john@2406:5a00:2497:300:bcf8:f387:b864:86a) |
| 03:00:03 | × | synchromesh quits (~john@2406:5a00:2497:300:bcf8:f387:b864:86a) (Ping timeout: 246 seconds) |
| 03:00:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 03:06:38 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 03:07:15 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 03:09:07 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 03:11:42 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 03:13:24 | → | danso joins (~danso@user/danso) |
| 03:13:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:14:23 | → | hgolden__ joins (~hgolden@static-198-44-129-51.cust.tzulo.com) |
| 03:16:50 | × | hgolden_ quits (~hgolden@146.70.173.229) (Ping timeout: 252 seconds) |
| 03:17:20 | → | rvalue joins (~rvalue@user/rvalue) |
| 03:17:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 03:25:28 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 03:28:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:30:56 | × | spew quits (~spew@155.133.15.104) (Quit: spew) |
| 03:33:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 03:44:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:50:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 04:02:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:09:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:12:53 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 245 seconds) |
| 04:14:48 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 04:20:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:24:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 04:30:36 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:35:22 | → | hgolden_ joins (~hgolden@146.70.173.101) |
| 04:36:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:37:52 | × | hgolden__ quits (~hgolden@static-198-44-129-51.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 04:42:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:02:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:10:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:21:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:24:07 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 05:25:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:36:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:39:53 | → | hgolden__ joins (~hgolden@169.150.203.36) |
| 05:41:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:42:30 | × | hgolden_ quits (~hgolden@146.70.173.101) (Ping timeout: 252 seconds) |
| 05:51:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:56:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:57:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:04:20 | → | ftzm joins (~ftzm@085080243044.dynamic.telenor.dk) |
| 06:06:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:11:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 06:14:40 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 06:18:05 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:18:20 | × | euleritian quits (~euleritia@dynamic-176-000-151-221.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 06:22:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:25:05 | → | briandaed joins (~root@185.234.210.211.r.toneticgroup.pl) |
| 06:26:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:37:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:39:52 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:42:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 06:44:12 | → | euleritian joins (~euleritia@ip92340bd4.dynamic.kabel-deutschland.de) |
| 06:53:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:57:15 | × | koz quits (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:57:30 | → | koz joins (~koz@121.99.240.58) |
| 06:57:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:09 | × | alioguzhan quits (~Thunderbi@78.173.89.238) (Ping timeout: 246 seconds) |
| 07:00:17 | × | JamesMowery4 quits (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 07:00:34 | → | JamesMowery4 joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 07:00:42 | → | caconym joins (~caconym@user/caconym) |
| 07:03:50 | × | ft quits (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:07:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:14:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 07:25:21 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 07:26:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:27:44 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 07:29:18 | × | euleritian quits (~euleritia@ip92340bd4.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 07:30:35 | → | euleritian joins (~euleritia@dynamic-176-000-151-221.176.0.pool.telefonica.de) |
| 07:30:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:34:46 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 07:35:04 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb9288c4acbd45598026.dip0.t-ipconnect.de) |
| 07:38:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 07:38:11 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:39:32 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:41:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:43:59 | → | shryke_ joins (~shryke@91.103.43.254) |
| 07:45:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:47:31 | × | shryke quits (~shryke@91.103.43.254) (Ping timeout: 264 seconds) |
| 07:55:38 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 07:56:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:01:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 08:01:12 | × | rosco quits (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 08:05:13 | → | ash3en joins (~Thunderbi@193.32.248.167) |
| 08:09:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:10:03 | × | ash3en quits (~Thunderbi@193.32.248.167) (Client Quit) |
| 08:10:53 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:13:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 08:17:58 | → | ash3en joins (~Thunderbi@193.32.248.167) |
| 08:19:53 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:23:25 | × | ash3en quits (~Thunderbi@193.32.248.167) (Quit: ash3en) |
| 08:24:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:28:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 08:32:25 | → | qqe joins (~qqq@92.43.167.61) |
| 08:40:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:40:28 | × | qqe quits (~qqq@92.43.167.61) (Quit: leaving) |
| 08:42:25 | <haskellbridge> | <Paul Brinkmeier> I just relaxed an upper version bound of a depdendency, how do I get Cabal to use the now available newer version? "cabal build" just says "everything up to date". |
| 08:43:17 | → | dcoutts_ joins (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 08:43:30 | <sclv> | cabal clean will force a rebuild |
| 08:43:56 | <sclv> | but it could be cabal is forced to the older version by a transitive dep |
| 08:44:22 | <sclv> | you could add a cmd line constraint forcing the newer dep and see what happens |
| 08:45:12 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 08:45:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 08:46:23 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 08:54:29 | <haskellbridge> | <Paul Brinkmeier> Ah, "cabal clean && cabal build" did not reinstall it. How do I add the constraint? I can see the option "-c" but don't know it's syntax. |
| 08:54:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:55:24 | <sclv> | https://cabal.readthedocs.io/en/stable/ |
| 08:55:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:56:19 | <sclv> | and specifically https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html#cfg-field-constraints |
| 08:58:19 | <haskellbridge> | <Paul Brinkmeier> Thanks, didn't find that second one. |
| 08:58:49 | → | dcoutts__ joins (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 09:01:20 | × | dcoutts_ quits (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Read error: Connection reset by peer) |
| 09:02:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:10:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:11:22 | → | hgolden_ joins (~hgolden@23.162.40.69) |
| 09:14:04 | × | hgolden__ quits (~hgolden@169.150.203.36) (Ping timeout: 260 seconds) |
| 09:14:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 09:18:22 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:25:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:26:57 | → | mreh joins (~matthew@host86-128-2-51.range86-128.btcentralplus.com) |
| 09:29:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 09:41:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:46:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:48:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 09:56:11 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 09:56:42 | → | __monty__ joins (~toonn@user/toonn) |
| 09:56:57 | → | ash3en joins (~Thunderbi@193.32.248.167) |
| 09:57:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:02:03 | × | Square quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 10:03:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 10:06:12 | → | gmg joins (~user@user/gehmehgeh) |
| 10:11:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:14:48 | × | ash3en quits (~Thunderbi@193.32.248.167) (Quit: ash3en) |
| 10:15:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:26:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:27:07 | × | Inst quits (~Inst@user/Inst) (Remote host closed the connection) |
| 10:28:23 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:28:58 | → | Inst joins (~Inst@user/Inst) |
| 10:29:41 | → | ash3en joins (~Thunderbi@193.32.248.167) |
| 10:29:47 | → | img joins (~img@user/img) |
| 10:31:49 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:34:22 | × | ash3en quits (~Thunderbi@193.32.248.167) (Ping timeout: 265 seconds) |
| 10:34:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 10:36:44 | → | ash3en joins (~Thunderbi@193.32.248.167) |
| 10:38:52 | → | qqe joins (~qqq@92.43.167.61) |
| 10:39:52 | × | qqe quits (~qqq@92.43.167.61) (Client Quit) |
| 10:45:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:52:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:56:43 | × | natto17 quits (~natto@129.154.243.159) (Quit: a.) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:02:24 | × | ghoulguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 11:02:30 | → | caconym joins (~caconym@user/caconym) |
| 11:02:43 | → | glguy joins (glguy@libera/staff/glguy) |
| 11:02:58 | → | natto joins (~natto@129.154.243.159) |
| 11:03:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:05:02 | × | Inst quits (~Inst@user/Inst) (Remote host closed the connection) |
| 11:05:28 | → | Inst joins (~Inst@user/Inst) |
| 11:05:31 | × | ash3en quits (~Thunderbi@193.32.248.167) (Remote host closed the connection) |
| 11:06:41 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 11:06:58 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 11:08:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 11:09:36 | → | ash3en joins (~Thunderbi@193.32.248.167) |
| 11:19:24 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 11:20:40 | <mreh> | is there a random access data structure I can quickly marshall data from a Ptr into? |
| 11:20:52 | <mreh> | something a bit more abstract than just a raw Ptr |
| 11:24:32 | <Rembane> | Without knowing your usecase: Array or ByteString? |
| 11:24:53 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:25:08 | <mreh> | Rembane: looking up pixels from a opengl texture |
| 11:25:38 | <mreh> | I've got a Storable instance for each pixel |
| 11:26:20 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 11:26:41 | × | ash3en quits (~Thunderbi@193.32.248.167) (Ping timeout: 248 seconds) |
| 11:26:42 | ash3en1 | is now known as ash3en |
| 11:27:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:28:52 | <Rembane> | mreh: Got it. |
| 11:30:20 | <tomsmeding> | mreh: Data.Vector.Storable? |
| 11:31:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:41:33 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:42:43 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 11:42:47 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 11:47:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:47:51 | × | xff0x quits (~xff0x@2405:6580:b080:900:b1c9:c57e:b0f1:f862) (Quit: xff0x) |
| 11:48:02 | <mreh> | tomsmeding: ah yeah, unsafeWith right? |
| 11:48:08 | <mreh> | thanks guys |
| 11:48:41 | <tomsmeding> | mreh: read the docs of unsafeWith, that's not for writing |
| 11:49:05 | <tomsmeding> | but you can use unsafeWith from Data.Vector.Storable.Mutable |
| 11:49:13 | <tomsmeding> | and then unsafeFreeze it to obtain an immutable vector |
| 11:50:13 | <mreh> | tomsmeding: I only need to read from it |
| 11:50:26 | <tomsmeding> | but you need to create the vector somehow :) |
| 11:50:39 | <tomsmeding> | assuming that you have data behind a Ptr and want to use it as a vector |
| 11:51:03 | × | td_ quits (~td@i53870911.versanet.de) (Quit: waking up from the american dream ...) |
| 11:51:04 | <mreh> | yeah, I've got the Ptr which has been `malloc`ed already |
| 11:51:15 | <mreh> | I can't just throw that into unsafeWith? |
| 11:51:22 | <tomsmeding> | mreh: have you read the docs of unsafeWith |
| 11:51:34 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 11:51:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 11:52:01 | <tomsmeding> | an immutable vector is immutable, you're not allowed to modify its contents |
| 11:52:06 | <mreh> | not well enough... |
| 11:52:34 | <tomsmeding> | but as I said, create an IOVector from Data.Vector.Storable.Mutable, use _its_ unsafeWith to obtain a Ptr you can write to, and then Data.Vector.Storable.unsafeFreeze that thing |
| 11:52:48 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 11:52:57 | → | fireking04 joins (~user@36-227-66-185.dynamic-ip.hinet.net) |
| 11:52:59 | <tomsmeding> | where with the unsafeFreeze you pinky-promise to not modify the IOVector after that freeze |
| 11:53:28 | <tomsmeding> | mreh: an alternative is to create a ForeignPtr from your Ptr, and then use Data.Vector.Storable.unsafeFromForeignPtr |
| 11:53:42 | <tomsmeding> | that does not copy any data, just creates a new immutable vector with your Ptr as the backing storage |
| 11:53:54 | <tomsmeding> | but this is quite unsafe if you cannot guarantee that the data behind the Ptr will never change |
| 11:54:01 | <tomsmeding> | and also you need to watch deallocation |
| 11:54:46 | <tomsmeding> | (a ForeignPtr has a finalizer inside it, that you can set when you create the ForeignPtr, so if you are fine with giving ownership of the data to the vector, you can give it a free() finalizer) |
| 11:54:53 | <mreh> | the data from the Ptr is a copy of the texture data, so it shouldn't change unless I change it |
| 11:55:23 | <tomsmeding> | would it be acceptable to give full ownership of the Ptr to the vector, including the decision to deallocate the Ptr when the vector is garbage-collected? |
| 11:55:26 | → | td_ joins (~td@i53870911.versanet.de) |
| 11:55:42 | <mreh> | yeah, so you're saying use ForeignPtr? |
| 11:55:57 | <tomsmeding> | if yes, then you can indeed save a copy |
| 11:57:03 | <tomsmeding> | mreh: in particular, now that I peruse the docs: try mallocForeignPtrArray https://hackage.haskell.org/package/base-4.16.3.0/docs/Foreign-ForeignPtr.html#v:mallocForeignPtrArray |
| 11:57:30 | <tomsmeding> | with withForeignPtr you can look at the Ptr underlying that ForeignPtr |
| 11:57:36 | <tomsmeding> | and copy your texture data to it |
| 11:58:03 | <tomsmeding> | then use Data.Vector.Storable.unsafeFromForeignPtr0 to create your vector, which passes ownership of the ForeignPtr to the vector |
| 11:58:40 | <tomsmeding> | if you can't mallocForeignPtrArray you'll have to newForeignPtr with a FinalizerPtr corresponding to free() |
| 11:58:46 | → | troydm joins (~troydm@user/troydm) |
| 11:59:05 | <mreh> | thanks |
| 11:59:06 | <tomsmeding> | as for how you get a FinalizerPtr: look at the docs for FunPtr |
| 11:59:33 | <tomsmeding> | are you liking haskell so far? :p |
| 11:59:59 | <mreh> | I hope you're not being sarcastic! |
| 12:00:24 | <mreh> | all this wouldn't be an issue if I could find out why this segfaults unless I read the entire texture https://hackage.haskell.org/package/GPipe-Core-0.2.3.1/docs/src/Graphics.GPipe.Internal.Texture.html#readTexture2D |
| 12:00:51 | <tomsmeding> | partially :p This dance quite a bit more intricate than what one would do in e.g. C, but then, you do get a nice language in return |
| 12:00:58 | <tomsmeding> | .urlse |
| 12:01:04 | <tomsmeding> | (oops) |
| 12:01:08 | <tomsmeding> | ah yes |
| 12:01:34 | <tomsmeding> | did you check that this thing is only called from one thread so that your prints don't get interleaved with prints from other threads? |
| 12:01:43 | <tomsmeding> | which might be very confusing |
| 12:02:02 | <mreh> | it's all single threaded |
| 12:02:59 | <mreh> | I think it's one for someone who understands gl better |
| 12:03:11 | <tomsmeding> | mreh: so you're saying, if you call readTexture2D with w/h arguments that cover the full texture, all is fine; but if you read only part, then it segfaults? |
| 12:03:23 | <mreh> | tomsmeding: correct! it's weird |
| 12:04:11 | <mreh> | I think the author is misusing `glPixelStorei GL_PACK_ROW_LENGTH` |
| 12:04:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:04:46 | <tomsmeding> | where exactly is the segfault? |
| 12:04:47 | <mreh> | my reading of the gl docs say this should be the image width always |
| 12:05:38 | → | xff0x joins (~xff0x@2405:6580:b080:900:b1c9:c57e:b0f1:f862) |
| 12:05:50 | <mreh> | tomsmeding: I have no idea, my instrumentation code suggests outside of readTexture2D but if I comment out the call to readTexture2D it works |
| 12:06:26 | <mreh> | I was just calling it and printing the value to force evaluation |
| 12:06:39 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 12:08:13 | <tomsmeding> | mreh: I think you're right about at least GL_PACK_ROW_LENGTH, reading OpenGL docs |
| 12:09:07 | <tomsmeding> | I do wonder where the segfault is coming from then; presumably the buffer you get is _data_ and doesn't contain pointers, right? |
| 12:09:09 | <mreh> | I think the author is using the wrong function to splice an texture out |
| 12:09:24 | <tomsmeding> | so getting weirdly offset data shouldn't _segfault_, it should just get you incorrect texture data |
| 12:09:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:10:02 | × | fireking04 quits (~user@36-227-66-185.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 12:11:52 | <mreh> | I'm going to add some prints in there to see exactly where it segfaults |
| 12:11:58 | <tomsmeding> | ok I know no opengl so I dunno :) |
| 12:12:13 | <mreh> | I might be misremembering |
| 12:12:25 | <mreh> | yeah, I think it's once for OpenGL people |
| 12:12:28 | <mreh> | one* |
| 12:12:39 | <tomsmeding> | mreh: if you do that, make sure to `evaluate (force x)` (as in Control.DeepSeq.force) all previous values to ensure that laziness doesn't make you draw wrong conclusions |
| 12:12:45 | <tomsmeding> | (and as in Control.Exception.evaluate) |
| 12:13:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:13:17 | <tomsmeding> | or just print the values with your prints, that's even easier |
| 12:14:40 | <tomsmeding> | (afk) |
| 12:17:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 12:27:45 | → | pera joins (~pera@user/pera) |
| 12:28:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:29:06 | <mreh> | glReadPixels seems like a way better interface, so I may just add that function to gpipe |
| 12:29:37 | × | natto quits (~natto@129.154.243.159) (Quit: a.) |
| 12:30:29 | × | dcoutts__ quits (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 252 seconds) |
| 12:30:30 | <mreh> | if framebuffers weren't abstracted away... |
| 12:32:55 | → | natto joins (~natto@129.154.243.159) |
| 12:37:56 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds) |
| 12:38:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:42:42 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb9288c4acbd45598026.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 12:49:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:50:13 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 12:50:21 | → | ft joins (~ft@mue-88-130-105-072.dsl.tropolys.de) |
| 12:53:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:58:40 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb92589c444d779a5d25.dip0.t-ipconnect.de) |
| 13:00:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:02:45 | × | adamCS quits (~adamCS@70.107.91.225) (Ping timeout: 246 seconds) |
| 13:04:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:05:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:09:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 13:11:39 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:12:33 | × | Digit quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 13:12:39 | → | Digitteknohippie joins (~user@user/digit) |
| 13:12:59 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 13:13:18 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 13:14:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:18:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:23:42 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 13:28:47 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 255 seconds) |
| 13:29:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:33:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:44:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:46:00 | dilaver_7 | is now known as dilaver_ |
| 13:46:04 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb92589c444d779a5d25.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 13:46:17 | → | alexherbo2 joins (~alexherbo@2a02-8440-3117-634f-4098-9f20-02e8-19c4.rev.sfr.net) |
| 13:46:28 | × | briandaed quits (~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 13:50:34 | × | abrar quits (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.2.2) |
| 13:51:06 | → | abrar joins (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 13:51:11 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 13:52:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:52:48 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 13:52:48 | ljdarj1 | is now known as ljdarj |
| 13:54:03 | → | Digit joins (~user@user/digit) |
| 13:55:14 | × | euleritian quits (~euleritia@dynamic-176-000-151-221.176.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 13:55:29 | → | euleritian joins (~euleritia@dynamic-176-003-067-238.176.3.pool.telefonica.de) |
| 13:56:46 | → | identity joins (~identity@user/ZharMeny) |
| 13:58:50 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:02:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:03:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:07:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:08:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:13:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 14:15:03 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 14:22:45 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb92c56c41abacfd226c.dip0.t-ipconnect.de) |
| 14:29:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:32:02 | → | tremon joins (~tremon@83.80.159.219) |
| 14:34:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 14:39:07 | → | pavonia joins (~user@user/siracusa) |
| 14:44:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:46:05 | glguy | is now known as ghoulguy |
| 14:51:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 14:52:40 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 14:53:17 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 15:02:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:07:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:15:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:18:36 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 15:19:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 15:21:57 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 15:23:00 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:28:15 | × | alexherbo2 quits (~alexherbo@2a02-8440-3117-634f-4098-9f20-02e8-19c4.rev.sfr.net) (Remote host closed the connection) |
| 15:30:18 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 15:30:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:35:15 | → | divya joins (~user@139.5.10.160) |
| 15:37:16 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 15:37:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 15:37:26 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 15:37:47 | → | kilolympus joins (~kilolympu@2a04:ee41:4:32b3:8851:d986:a750:3278) |
| 15:42:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:48:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:53:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:53:54 | × | mreh quits (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 246 seconds) |
| 15:56:36 | × | kilolympus quits (~kilolympu@2a04:ee41:4:32b3:8851:d986:a750:3278) (Quit: See you later! :)) |
| 16:03:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:08:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:11:13 | pounce | is now known as cenopu |
| 16:12:19 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:16:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:20:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:29:22 | → | alexherbo2 joins (~alexherbo@2a02-8440-3117-634f-2cbd-5802-5295-7815.rev.sfr.net) |
| 16:31:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:36:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:41:54 | cenopu | is now known as pounce |
| 16:45:07 | × | hiecaq quits (~hiecaq@user/hiecaq) (Ping timeout: 264 seconds) |
| 16:46:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:48:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:51:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 16:51:51 | × | euleritian quits (~euleritia@dynamic-176-003-067-238.176.3.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 16:55:28 | → | dcoutts__ joins (~duncan@2a00:23c7:f007:1e01:b17f:7790:5a9f:b555) |
| 16:56:10 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 16:56:33 | → | leungbk joins (~user@2603:8000:1201:2dd2:4e49:f312:1e35:2361) |
| 16:57:52 | → | briandaed joins (~root@185.234.210.211.r.toneticgroup.pl) |
| 17:02:13 | → | euleritian joins (~euleritia@176.6.139.140) |
| 17:03:48 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 17:05:18 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:06:54 | → | dcoutts_ joins (~duncan@host81-132-101-226.range81-132.btcentralplus.com) |
| 17:07:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:09:25 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 17:09:27 | × | dcoutts__ quits (~duncan@2a00:23c7:f007:1e01:b17f:7790:5a9f:b555) (Read error: Connection reset by peer) |
| 17:14:24 | × | fr33domlover quits (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 17:18:02 | → | fr33domlover joins (~fr33domlo@towards.vision) |
| 17:18:38 | × | leungbk quits (~user@2603:8000:1201:2dd2:4e49:f312:1e35:2361) (Remote host closed the connection) |
| 17:19:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 17:24:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:32:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:36:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:42:32 | × | dcoutts_ quits (~duncan@host81-132-101-226.range81-132.btcentralplus.com) (Ping timeout: 252 seconds) |
| 17:42:48 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:44:49 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 17:44:56 | → | diod joins (~diod@bras-base-london140cw-grc-26-184-145-64-53.dsl.bell.ca) |
| 17:45:20 | <diod> | are there auto-parallelization optimizations in haskell? |
| 17:47:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:47:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:51:31 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:52:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 17:53:06 | × | alexherbo2 quits (~alexherbo@2a02-8440-3117-634f-2cbd-5802-5295-7815.rev.sfr.net) (Remote host closed the connection) |
| 17:53:25 | → | alexherbo2 joins (~alexherbo@2a02-8440-3117-634f-2cbd-5802-5295-7815.rev.sfr.net) |
| 17:53:59 | <monochrom> | No. |
| 17:55:05 | <diod> | ok, ty |
| 17:55:23 | <diod> | no isn't a proper sentence btw |
| 17:56:07 | <monochrom> | Proper sentences must I always write? On IRC? |
| 17:56:53 | <diod> | what's the point of using a period then? |
| 17:57:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:58:02 | <identity> | to make a point? |
| 17:58:12 | <monochrom> | :) |
| 17:58:44 | <monochrom> | It's my time and I don't need a point to spend time adding a period. |
| 18:00:15 | <identity> | you need at least a single point, like this one -> . |
| 18:00:26 | <monochrom> | haha |
| 18:01:23 | <sam113101> | what's point in haskell? |
| 18:02:35 | → | druchan joins (uid567859@id-567859.lymington.irccloud.com) |
| 18:02:36 | <monochrom> | It is a very overloaded symbol. |
| 18:02:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:03:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:04:50 | <int-e> | It's a very paradoxical one too because it's often seen in point-free code. |
| 18:04:50 | ← | diod parts (~diod@bras-base-london140cw-grc-26-184-145-64-53.dsl.bell.ca) () |
| 18:04:58 | <monochrom> | It shows up in 3.4, Prelude.map, f . g, and if you turn on OverloadedRecordDot, r.f |
| 18:05:36 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 18:06:09 | <monochrom> | Oh haha (.f) is also legal and means \r -> r.f |
| 18:06:11 | <int-e> | > [1..] |
| 18:06:12 | <lambdabot> | [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,... |
| 18:08:02 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 18:08:13 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 18:08:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 18:08:46 | <briandaed> | also forall a. |
| 18:09:40 | → | troojg joins (~troojg@user/troojg) |
| 18:10:06 | <monochrom> | (Prelude.id :: forall a. a->a) (asin . sin) [R{x=3.14}.x ..] |
| 18:10:13 | <monochrom> | see also https://en.wikipedia.org/wiki/Buffalo_buffalo_Buffalo_buffalo_buffalo_buffalo_Buffalo_buffalo >:) |
| 18:10:22 | → | simendsjo joins (~user@84.211.91.108) |
| 18:10:30 | <monochrom> | err oops |
| 18:10:48 | <monochrom> | (Prelude.map :: forall a b. (a->b) -> [a] -> [b]) (asin . sin) [R{x=3.14}.x ..] |
| 18:11:27 | <int-e> | and then there are extensions... https://downloads.haskell.org/ghc/9.12.1-alpha1/docs/users_guide/exts/record_wildcards.html |
| 18:12:11 | → | Square joins (~Square@user/square) |
| 18:12:36 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 18:14:06 | × | alexherbo2 quits (~alexherbo@2a02-8440-3117-634f-2cbd-5802-5295-7815.rev.sfr.net) (Remote host closed the connection) |
| 18:18:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:22:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 18:25:56 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 272 seconds) |
| 18:29:51 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 18:31:31 | → | Digit joins (~user@user/digit) |
| 18:33:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:37:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:40:09 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 18:45:39 | <dolio> | monochrom: BTW, "No." is a complete sentence, as well. :þ |
| 18:47:54 | → | neuroevolutus joins (~neuroevol@146.70.211.54) |
| 18:48:03 | → | michalz joins (~michalz@185.246.207.205) |
| 18:48:23 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:48:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:55:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:58:28 | × | euleritian quits (~euleritia@176.6.139.140) (Read error: Connection reset by peer) |
| 18:58:45 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:38 | → | caconym joins (~caconym@user/caconym) |
| 19:02:19 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 19:06:31 | → | spew joins (~spew@155.133.15.89) |
| 19:06:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:10:55 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:11:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:15:09 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:16:06 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 19:18:29 | → | alexherbo2 joins (~alexherbo@2a02-8440-3117-634f-2cbd-5802-5295-7815.rev.sfr.net) |
| 19:19:12 | → | mreh joins (~matthew@host86-128-2-51.range86-128.btcentralplus.com) |
| 19:21:33 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 19:22:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:24:02 | <monochrom> | :) |
| 19:26:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 19:30:30 | × | alexherbo2 quits (~alexherbo@2a02-8440-3117-634f-2cbd-5802-5295-7815.rev.sfr.net) (Remote host closed the connection) |
| 19:31:43 | × | neuroevolutus quits (~neuroevol@146.70.211.54) (Ping timeout: 256 seconds) |
| 19:37:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:42:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:49:35 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:53:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:53:44 | → | Digitteknohippie joins (~user@user/digit) |
| 19:53:59 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 19:57:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 20:06:20 | × | briandaed quits (~root@185.234.210.211.r.toneticgroup.pl) (Quit: leaving) |
| 20:07:21 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 20:08:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:08:55 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 20:09:29 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:12:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:13:19 | <dmj`> | chatgpt is getting pretty good at http-client :( |
| 20:14:06 | <[exa]> | dmj`: "http-client is written in such a natural language that chatgpt was able to learn it" |
| 20:14:33 | dmj` | sighs |
| 20:14:57 | <dmj`> | we need more obfuscation, more applicative combinators |
| 20:22:53 | <tomsmeding> | monochrom: next time someone asks about automatic parallelisation, and you feel like it, here is a paper you could send them to https://dl.acm.org/doi/pdf/10.1145/3632880 |
| 20:22:53 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 20:23:36 | → | euleritian joins (~euleritia@dynamic-176-006-139-140.176.6.pool.telefonica.de) |
| 20:23:53 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:23:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:27:09 | × | euleritian quits (~euleritia@dynamic-176-006-139-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 20:27:26 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 20:30:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 20:36:00 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 20:37:11 | × | mreh quits (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 255 seconds) |
| 20:41:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:47:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:55:23 | × | simendsjo quits (~user@84.211.91.108) (Ping timeout: 245 seconds) |
| 21:03:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:07:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:07:59 | <monochrom> | Yeah but Haskell doesn't have it, GHC doesn't have it. |
| 21:11:19 | <tomsmeding> | and probably never will |
| 21:11:49 | <tomsmeding> | (fancy runtime tricks in a strict language are all cool, but doing this in a lazy language is yet another level of difficulty) |
| 21:12:08 | <tomsmeding> | (I didn't read the paper but I saw the presentation, and it's pretty cool) |
| 21:13:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:14:15 | <dolio> | Just from the early part, this doesn't sound a ton different from what is in GHC. |
| 21:14:49 | <dolio> | Except instead of stack frames, it's thunks that are annotated and may be promoted to parallel tasks. |
| 21:17:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:20:55 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 21:25:57 | Digitteknohippie | is now known as Digit |
| 21:28:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:28:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:32:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:38:28 | × | pera quits (~pera@user/pera) (Ping timeout: 265 seconds) |
| 21:39:59 | → | pera joins (~pera@user/pera) |
| 21:40:07 | × | pera quits (~pera@user/pera) (Client Quit) |
| 21:43:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:47:37 | → | Everything joins (~Everythin@46.211.96.33) |
| 21:48:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:59:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:59:15 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 22:04:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:05:14 | → | dcoutts_ joins (~duncan@2a00:23c7:f007:1e01:b17f:7790:5a9f:b555) |
| 22:05:55 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:09:53 | → | mreh joins (~matthew@host86-128-2-51.range86-128.btcentralplus.com) |
| 22:14:19 | × | son0p quits (~ff@190.69.120.153) (Remote host closed the connection) |
| 22:14:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:21:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 22:23:15 | → | dcoutts__ joins (~duncan@host81-132-101-226.range81-132.btcentralplus.com) |
| 22:23:52 | × | dcoutts_ quits (~duncan@2a00:23c7:f007:1e01:b17f:7790:5a9f:b555) (Read error: Connection reset by peer) |
| 22:25:26 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 22:32:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:33:31 | × | spew quits (~spew@155.133.15.89) (Quit: spew) |
| 22:36:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:42:51 | → | alexherbo2 joins (~alexherbo@2a02-8440-3405-e8d3-ccc5-56ba-c460-8382.rev.sfr.net) |
| 22:47:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:52:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:56:13 | × | mreh quits (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 245 seconds) |
| 22:58:42 | → | son0p joins (~ff@190.69.120.153) |
| 23:03:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:05:10 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:05:48 | × | Everything quits (~Everythin@46.211.96.33) (Quit: leaving) |
| 23:07:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 23:08:22 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 23:08:23 | ljdarj1 | is now known as ljdarj |
| 23:10:48 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb92c56c41abacfd226c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 23:17:14 | → | BlackRoZe joins (~BlackRoZe@124.197.1.244) |
| 23:18:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:19:17 | × | BlackRoZe quits (~BlackRoZe@124.197.1.244) (Remote host closed the connection) |
| 23:23:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:24:53 | → | hgolden__ joins (~hgolden@146.70.173.165) |
| 23:27:12 | × | hgolden_ quits (~hgolden@23.162.40.69) (Ping timeout: 252 seconds) |
| 23:34:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:38:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 23:49:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:52:29 | × | billchenchina- quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 23:56:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
All times are in UTC on 2024-10-19.