| 2025-02-03 00:02:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 00:06:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-03 00:07:13 +0100 | remedan | (~remedan@62.245.108.153) (Quit: Bye!) |
| 2025-02-03 00:12:16 +0100 | remedan | (~remedan@62.245.108.153) remedan |
| 2025-02-03 00:17:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 00:19:08 +0100 | mange | (~user@user/mange) mange |
| 2025-02-03 00:24:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-03 00:26:22 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-03 00:29:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-02-03 00:29:29 +0100 | ljdarj1 | ljdarj |
| 2025-02-03 00:29:44 +0100 | remedan | (~remedan@62.245.108.153) (Quit: Bye!) |
| 2025-02-03 00:30:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 00:30:32 +0100 | remedan | (~remedan@62.245.108.153) remedan |
| 2025-02-03 00:35:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-03 00:35:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 00:36:20 +0100 | Tikosh | (~quassel@user/Tikosh) (Remote host closed the connection) |
| 2025-02-03 00:40:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-03 00:42:11 +0100 | haskellstudent | (~haskellst@2a02:586:8921:ec00:e4f4:e522:fb9a:494b) (Quit: Client closed) |
| 2025-02-03 00:42:21 +0100 | remedan | (~remedan@62.245.108.153) (Quit: Bye!) |
| 2025-02-03 00:44:32 +0100 | remedan | (~remedan@62.245.108.153) remedan |
| 2025-02-03 00:51:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 00:53:16 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2025-02-03 00:55:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-03 01:02:48 +0100 | remedan | (~remedan@62.245.108.153) (Ping timeout: 276 seconds) |
| 2025-02-03 01:06:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-03 01:06:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 01:10:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-03 01:18:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 01:21:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 01:22:35 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 01:26:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-03 01:28:00 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-02-03 01:29:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9526:2be3:6fc8:68b2) (Ping timeout: 260 seconds) |
| 2025-02-03 01:37:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 01:41:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-03 01:49:36 +0100 | erdem | (~erdem@user/erdem) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-03 01:52:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 01:56:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-03 01:56:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-02-03 01:57:19 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-03 01:59:48 +0100 | zero | (~z@user/zero) zero |
| 2025-02-03 02:00:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-03 02:02:27 +0100 | sprotte24 | (~sprotte24@p200300d16f1f590058a60236c8af074f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-03 02:06:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 02:10:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-03 02:10:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 02:15:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-03 02:16:52 +0100 | otto_s | (~user@p5b0441a3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-03 02:18:39 +0100 | otto_s | (~user@p4ff27d2f.dip0.t-ipconnect.de) |
| 2025-02-03 02:20:39 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-03 02:23:09 +0100 | zero | yin |
| 2025-02-03 02:26:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 02:31:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-03 02:31:39 +0100 | cheater | (~Username@user/cheater) (Remote host closed the connection) |
| 2025-02-03 02:32:30 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-02-03 02:34:03 +0100 | califax | (~califax@user/califx) califx |
| 2025-02-03 02:37:23 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-02-03 02:37:40 +0100 | cheater | (~Username@user/cheater) cheater |
| 2025-02-03 02:39:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-03 02:41:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 02:44:02 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-03 02:45:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-03 02:53:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 02:55:39 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f65c4b195c3583eb276.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-03 02:56:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 02:57:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 03:01:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-03 03:10:04 +0100 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2025-02-03 03:12:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 03:16:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-03 03:18:22 +0100 | remmie | (ianremsen@tilde.team) remsense |
| 2025-02-03 03:23:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-03 03:27:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 03:34:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-03 03:40:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-03 03:42:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 03:45:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 03:46:25 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-02-03 03:47:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-03 03:50:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-03 04:01:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 04:05:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-03 04:16:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 04:20:38 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-03 04:20:39 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 260 seconds) |
| 2025-02-03 04:20:53 +0100 | monochrm | monochrom |
| 2025-02-03 04:21:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-03 04:23:59 +0100 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 260 seconds) |
| 2025-02-03 04:24:35 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 04:30:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 04:31:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 04:35:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-03 04:35:21 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 276 seconds) |
| 2025-02-03 04:36:00 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-02-03 04:36:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-03 04:42:36 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-03 04:46:13 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 245 seconds) |
| 2025-02-03 04:46:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 04:48:07 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::9939) ensyde |
| 2025-02-03 04:49:12 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-03 04:50:49 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 260 seconds) |
| 2025-02-03 04:50:49 +0100 | monochrm | monochrom |
| 2025-02-03 04:51:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-03 04:59:07 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-03 05:02:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 05:02:58 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-03 05:09:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-03 05:11:31 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-03 05:12:09 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-03 05:13:37 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 248 seconds) |
| 2025-02-03 05:13:38 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 248 seconds) |
| 2025-02-03 05:13:38 +0100 | monochrm | monochrom |
| 2025-02-03 05:14:01 +0100 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2025-02-03 05:17:17 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-03 05:19:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 05:20:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 05:22:50 +0100 | aforemny | (~aforemny@2001:9e8:6cc0:e00:915f:b0b2:9520:8911) (Ping timeout: 272 seconds) |
| 2025-02-03 05:22:56 +0100 | aforemny_ | (~aforemny@i577B1307.versanet.de) aforemny |
| 2025-02-03 05:24:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-03 05:25:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-03 05:31:13 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Ping timeout: 245 seconds) |
| 2025-02-03 05:31:58 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-03 05:32:10 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2025-02-03 05:36:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 05:37:51 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-02-03 05:40:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-03 05:41:49 +0100 | <sim590> | I just uploaded my first candidate for a Haskell package https://hackage.haskell.org/package/opendht-hs-0.1.0.0/candidate. If anyone has suggestions, I'm all ears. I had, however, a question: why isn't my markdown haskell code block highlighted with syntax highlighting? I took a look at an example hackage pacakage which has a README file and has syntax highlight in his code block: |
| 2025-02-03 05:41:51 +0100 | <sim590> | https://hackage.haskell.org/package/highlight-1.0.0.1. Am I doing something wrong or is it just not possible to highlight Haskell code? I tried both with ```hs and ```haskell. |
| 2025-02-03 05:47:11 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::9939) (Quit: WeeChat 4.5.1) |
| 2025-02-03 05:51:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 05:51:36 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-03 05:52:54 +0100 | <int-e> | Hmm it looks like the final page loads `prismjs` but the preview doesn't. https://hackage.haskell.org/package/http-client-tls uses ```haskell |
| 2025-02-03 05:53:47 +0100 | <int-e> | (that was the first package from my browser history that had syntax highlighted example code) |
| 2025-02-03 05:57:40 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-02-03 05:59:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-03 06:01:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-03 06:05:40 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-02-03 06:06:33 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 246 seconds) |
| 2025-02-03 06:07:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 06:08:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 06:08:52 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-03 06:11:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-03 06:11:46 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-02-03 06:12:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-03 06:12:57 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-02-03 06:13:22 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-03 06:14:34 +0100 | michalz | (~michalz@185.246.207.193) |
| 2025-02-03 06:15:41 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-03 06:16:50 +0100 | JimL | (~quassel@89.162.16.26) |
| 2025-02-03 06:23:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 06:28:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-03 06:30:05 +0100 | alp | (~alp@2001:861:8ca0:4940:4932:ede2:9c95:5852) (Remote host closed the connection) |
| 2025-02-03 06:35:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-03 06:39:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 06:45:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-03 06:55:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 06:57:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 06:59:14 +0100 | <sim590> | int-e: oh, so it's only because of the candidate page layout that I don't see the highlight. When I'll publish it, i'll see the highlighting, right ? |
| 2025-02-03 06:59:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-03 07:01:42 +0100 | <sim590> | Looking at the page you sent, that's how I interpret it. That's great. Thanks for the clarification! |
| 2025-02-03 07:02:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-03 07:03:50 +0100 | <int-e> | sim590: That's what it looks like to me. |
| 2025-02-03 07:05:05 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-03 07:06:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-02-03 07:07:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-03 07:07:51 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-03 07:12:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 07:14:42 +0100 | ell | (~ellie@user/ellie) (Quit: Leaving) |
| 2025-02-03 07:16:24 +0100 | ell | (~ellie@user/ellie) ellie |
| 2025-02-03 07:17:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-03 07:17:32 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-03 07:26:17 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer) |
| 2025-02-03 07:27:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 07:29:09 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-02-03 07:32:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-03 07:33:18 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-02-03 07:35:41 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 244 seconds) |
| 2025-02-03 07:36:05 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Ping timeout: 248 seconds) |
| 2025-02-03 07:36:53 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-02-03 07:39:36 +0100 | euleritian | (~euleritia@dynamic-176-001-212-124.176.1.pool.telefonica.de) |
| 2025-02-03 07:43:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 07:43:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 07:47:34 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Ping timeout: 244 seconds) |
| 2025-02-03 07:47:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-03 07:48:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-03 07:50:37 +0100 | alp | (~alp@2001:861:8ca0:4940:c78a:20e1:b983:926e) |
| 2025-02-03 07:52:29 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-02-03 07:55:56 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-03 07:58:24 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-03 07:58:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 08:02:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-03 08:09:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 08:13:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-03 08:14:17 +0100 | urdh | (~urdh@user/urdh) urdh |
| 2025-02-03 08:24:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 08:29:45 +0100 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) misterfish |
| 2025-02-03 08:30:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 08:30:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-03 08:35:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-03 08:36:08 +0100 | kuribas | (~user@ptr-17d51emyzmm4mq8sbfo.18120a2.ip6.access.telenet.be) kuribas |
| 2025-02-03 08:36:11 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-03 08:38:39 +0100 | erdem | (~erdem@user/erdem) erdem |
| 2025-02-03 08:41:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 08:42:31 +0100 | kuribas | (~user@ptr-17d51emyzmm4mq8sbfo.18120a2.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-02-03 08:42:45 +0100 | kuribas | (~user@ptr-17d51emyzmm4mq8sbfo.18120a2.ip6.access.telenet.be) kuribas |
| 2025-02-03 08:46:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-03 08:47:37 +0100 | erdem | (~erdem@user/erdem) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-03 08:57:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-03 09:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-03 09:01:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-03 09:02:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-03 09:04:01 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-02-03 09:04:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-02-03 09:05:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-03 09:18:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 09:19:47 +0100 | <kuribas> | Is there any work on implementing type inference algorithms in prolog or logic languages (minikanren)? |
| 2025-02-03 09:20:22 +0100 | <kuribas> | It seems to me that inference rules lend themselves quite well towards logic programming, but I don't find a lot about this. |
| 2025-02-03 09:20:28 +0100 | <kuribas> | Maybe because it is inefficient? |
| 2025-02-03 09:23:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-03 09:24:24 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 260 seconds) |
| 2025-02-03 09:27:23 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-02-03 09:27:55 +0100 | <kuribas> | Also, prolog doesn't have occurs check. |
| 2025-02-03 09:30:03 +0100 | <tomsmeding> | simple prolog rules without cut can be directly translated to TeX inference rules with nothing more than a few regexes, but I'm not sure about the other way round |
| 2025-02-03 09:31:37 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2025-02-03 09:32:57 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-03 09:34:16 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-03 09:35:57 +0100 | <kuribas> | tomsmeding: I want to write them as an inductive data family in idris, then use elaborator reflection to translate them automatically. |
| 2025-02-03 09:36:12 +0100 | <kuribas> | Maybe a simple scheme/clojure macro to make it look nicer. |
| 2025-02-03 09:37:51 +0100 | <kuribas> | tomsmeding: I am just surprised, because it seems much easier to prove right than a full blown algorithm that includes logic variables and unification. |
| 2025-02-03 09:38:11 +0100 | <kuribas> | Of course, it doesn't prove the underlying logic system correct, but I don't really care about that. |
| 2025-02-03 09:38:12 +0100 | <tomsmeding> | if you can indeed express them very naturally in the logic language :) |
| 2025-02-03 09:39:03 +0100 | <tomsmeding> | if it turns out that the logic language is not quite expressive enough to do what you want and you end up needing to work around that, I'm not sure the result will really be much simpler than a straight implementation in a regular (functional) language |
| 2025-02-03 09:39:23 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-02-03 09:42:25 +0100 | drdo6 | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
| 2025-02-03 09:42:26 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-03 09:42:48 +0100 | <kuribas> | tomsmeding: The type becomes the relation proposition, and the values the dependencies. |
| 2025-02-03 09:43:45 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2025-02-03 09:43:46 +0100 | drdo6 | drdo |
| 2025-02-03 09:44:00 +0100 | <kuribas> | tomsmeding: it seems quite straigtforward. |
| 2025-02-03 09:44:11 +0100 | <kuribas> | Just basic logic relations, I don't see what more I will need. |
| 2025-02-03 09:44:12 +0100 | <tomsmeding> | you were already worrying about the occurs check above |
| 2025-02-03 09:44:41 +0100 | <kuribas> | Right :) If I use minikanren or core.logic, then the occurs check is on by default. |
| 2025-02-03 09:45:33 +0100 | <kuribas> | oh, there is even kanren in rust. |
| 2025-02-03 09:45:43 +0100 | <tomsmeding> | also it depends a little bit on what type system you're implementing, I think. If you look at a resource-linear type system, you have rules like: {A |- t1 : a -> b B |- t2 : a} / {A, B |- t1 t2 : b} |
| 2025-02-03 09:45:53 +0100 | <tomsmeding> | indicating the horizontal bar with '/' |
| 2025-02-03 09:46:13 +0100 | <tomsmeding> | this types function application; the point is that you need to partition the environment over the two subexpressions |
| 2025-02-03 09:46:32 +0100 | <tomsmeding> | and you're allowed to (implicitly in the rule) reorder the environment arbitrarily before said partitioning |
| 2025-02-03 09:47:05 +0100 | <tomsmeding> | on the other hand, perhaps this just works perfectly fine in a logic system |
| 2025-02-03 09:48:06 +0100 | <tomsmeding> | (if you want to see the whole type system: Fig 2 + Fig 3 from https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=24c850390fba27fc6f3241cb34ce7bc6f37… ) |
| 2025-02-03 09:48:36 +0100 | euleritian | (~euleritia@dynamic-176-001-212-124.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-03 09:48:43 +0100 | <kuribas> | Right, but then the context is part of the relation. |
| 2025-02-03 09:48:43 +0100 | <kuribas> | Maybe using a "merge" relation to merge contexts. |
| 2025-02-03 09:48:43 +0100 | kuribas | (~user@ptr-17d51emyzmm4mq8sbfo.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-02-03 09:48:54 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-03 09:48:57 +0100 | kuribas | (~user@ptr-17d51emyzmm4mq8sbfo.18120a2.ip6.access.telenet.be) kuribas |
| 2025-02-03 09:56:24 +0100 | alp | (~alp@2001:861:8ca0:4940:c78a:20e1:b983:926e) (Remote host closed the connection) |
| 2025-02-03 10:00:33 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-03 10:03:04 +0100 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 260 seconds) |
| 2025-02-03 10:06:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 10:09:11 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-03 10:10:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 10:11:52 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-02-03 10:12:52 +0100 | xacktm | (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 2025-02-03 10:13:18 +0100 | xacktm | (xacktm@user/xacktm) xacktm |
| 2025-02-03 10:18:13 +0100 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-02-03 10:28:53 +0100 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 248 seconds) |
| 2025-02-03 10:34:08 +0100 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-02-03 10:39:01 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
| 2025-02-03 10:40:47 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f21dc911a675e4b1045.dip0.t-ipconnect.de) acidjnk |
| 2025-02-03 10:54:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 10:55:42 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f21dc911a675e4b1045.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-03 10:56:07 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f21dc911a675e4b1045.dip0.t-ipconnect.de) acidjnk |
| 2025-02-03 10:58:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-03 11:01:32 +0100 | alp | (~alp@2001:861:8ca0:4940:c78a:20e1:b983:926e) |
| 2025-02-03 11:04:07 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-03 11:13:02 +0100 | sprotte24 | (~sprotte24@p200300d16f26a80008f1d39836015ac5.dip0.t-ipconnect.de) |
| 2025-02-03 11:15:05 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-03 11:16:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-03 11:28:14 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-02-03 11:40:49 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-02-03 11:42:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 11:46:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-03 11:47:12 +0100 | sreaming | (~screaming@37.48.95.216) (Quit: Ping timeout (120 seconds)) |
| 2025-02-03 11:47:27 +0100 | sreaming | (~screaming@37.48.95.216) |
| 2025-02-03 11:48:02 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-03 11:48:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-02-03 11:49:45 +0100 | kuribas` | (~user@ptr-17d51emyzmm4mq8sbfo.18120a2.ip6.access.telenet.be) kuribas |
| 2025-02-03 11:49:53 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 248 seconds) |
| 2025-02-03 11:49:53 +0100 | monochrm | monochrom |
| 2025-02-03 11:50:24 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-03 11:56:50 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-03 11:58:00 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 276 seconds) |
| 2025-02-03 12:00:12 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-02-03 12:01:42 +0100 | monochrm | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-03 12:03:37 +0100 | rachelambda89 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2025-02-03 12:04:26 +0100 | xstill_8 | (xstill@fimu/xstill) xstill |
| 2025-02-03 12:04:32 +0100 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2025-02-03 12:04:34 +0100 | xstill_8 | xstill_ |
| 2025-02-03 12:05:08 +0100 | agent314 | (~quassel@146.70.172.177) (Quit: No Ping reply in 180 seconds.) |
| 2025-02-03 12:05:19 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Read error: Connection reset by peer) |
| 2025-02-03 12:05:19 +0100 | rachelambda89 | rachelambda8 |
| 2025-02-03 12:06:33 +0100 | agent314 | (~quassel@146.70.172.177) agent314 |
| 2025-02-03 12:19:58 +0100 | kuribas | (~user@ptr-17d51emyzmm4mq8sbfo.18120a2.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-02-03 12:21:40 +0100 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
| 2025-02-03 12:23:51 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3608:a9f8:25ac:5469) |
| 2025-02-03 12:25:48 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-02-03 12:29:16 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-03 12:29:30 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-03 12:30:19 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-03 12:30:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 12:30:48 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-02-03 12:34:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-03 12:36:51 +0100 | mreh | (~matthew@host86-128-2-112.range86-128.btcentralplus.com) mreh |
| 2025-02-03 12:40:53 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2025-02-03 12:47:31 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2025-02-03 12:50:39 +0100 | <mreh> | is there a way to turn a Addr# into a Ptr? |
| 2025-02-03 12:51:17 +0100 | <mreh> | or `UArray i a` into a `Ptr a` |
| 2025-02-03 12:55:09 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2025-02-03 12:57:04 +0100 | <int-e> | :t GHC.Exts.Ptr |
| 2025-02-03 12:57:04 +0100 | <lambdabot> | GHC.Prim.Addr# -> GHC.Ptr.Ptr a |
| 2025-02-03 12:57:31 +0100 | <int-e> | make sure the array is frozen if you want to do this |
| 2025-02-03 12:57:43 +0100 | <int-e> | err |
| 2025-02-03 12:58:25 +0100 | <mreh> | int-e: ah, I missed that, thanks |
| 2025-02-03 12:58:29 +0100 | <int-e> | pinned is the point |
| 2025-02-03 12:59:43 +0100 | <int-e> | (So you probably shouldn't do that for an UArray because you have no control over whether the underlying ByteAray# is pinned or not. If it's not pinned, GCs can move it.) |
| 2025-02-03 13:00:49 +0100 | <int-e> | (And when you're writing Haskell code, GC can happen essentially anywhere.) |
| 2025-02-03 13:01:59 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-03 13:02:07 +0100 | <mreh> | hmm, yeah |
| 2025-02-03 13:03:02 +0100 | <mreh> | I need to a lot of inplace updates to improve the performance of a TGA parser |
| 2025-02-03 13:03:17 +0100 | <mreh> | and then spit it up into a Vulkan buffer |
| 2025-02-03 13:03:33 +0100 | <mreh> | so I figured STUArray was the way to go |
| 2025-02-03 13:06:09 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-02-03 13:09:00 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-03 13:10:38 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-03 13:10:38 +0100 | monochrm | monochrom |
| 2025-02-03 13:13:20 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-03 13:19:03 +0100 | <int-e> | mreh: if this is just at the FFI boundary, GHC has an extension to pass ByteArray# variants as pointers, so you don't have to convert to Addr# or Ptr a at all: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/ffi.html#unlifted-ffi-types |
| 2025-02-03 13:20:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 13:22:11 +0100 | <mreh> | int-e: It's a little above the FFI, I'm using Vulkan bindings someone else wrote. |
| 2025-02-03 13:23:04 +0100 | <mreh> | ...which give you a `Ptr a` for a chunk of mapped memory for use in buffers |
| 2025-02-03 13:23:17 +0100 | <mreh> | there might be a lower level API, just checking |
| 2025-02-03 13:24:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 13:28:13 +0100 | <smiesner> | what is Hydra exactly? https://hackage.haskell.org/package/hydra. What do I transform with it? models? meta models? |
| 2025-02-03 13:28:37 +0100 | <int-e> | Ah. Hrm. I'd think the low-level API is Storable. Maybe Data.Vector.Storable.Mutable is a good higher level abstraction for your purposes? |
| 2025-02-03 13:28:44 +0100 | <int-e> | mreh: ^ |
| 2025-02-03 13:29:53 +0100 | <lxsameer> | is there any way to write a polymorphic function like foo :: a -> Text but limit a to only couple of types? |
| 2025-02-03 13:30:20 +0100 | <mauke> | what, like show? |
| 2025-02-03 13:31:24 +0100 | <lxsameer> | mauke: I have two type A and B, I want foo to accept either of them as input |
| 2025-02-03 13:31:28 +0100 | <mreh> | int-e: I guess I'm trying to avoid doing allocations for every pixel |
| 2025-02-03 13:31:59 +0100 | <mreh> | lxsameer: Multiparameter type class? |
| 2025-02-03 13:32:01 +0100 | <int-e> | mreh: sure, that's why you want to use ST (or IO) |
| 2025-02-03 13:32:12 +0100 | <int-e> | mreh: and mutable arrays of vectors |
| 2025-02-03 13:32:29 +0100 | <lxsameer> | mreh: maybe. thank you |
| 2025-02-03 13:32:38 +0100 | <mauke> | is that a yes or a no? |
| 2025-02-03 13:33:17 +0100 | <lxsameer> | mauke: is that for me? |
| 2025-02-03 13:34:54 +0100 | <mreh> | int-e: I immediately went to unboxed arrays, for some reason, but this is a good idea |
| 2025-02-03 13:34:59 +0100 | <mreh> | thanks |
| 2025-02-03 13:35:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-02-03 13:35:40 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-03 13:36:33 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-02-03 13:37:24 +0100 | <mreh> | if ST is deterministic what does Data-Vector-Storable-Mutable.new do with unitialised memory? |
| 2025-02-03 13:37:51 +0100 | <merijn> | mreh: Crash, presumably :p |
| 2025-02-03 13:38:57 +0100 | <merijn> | And/or return garbage |
| 2025-02-03 13:39:35 +0100 | <mreh> | apparently storables have a zero |
| 2025-02-03 13:40:19 +0100 | <int-e> | mreh: it initializes all bytes to 0, https://hackage.haskell.org/package/vector-0.13.2.0/docs/src/Data.Vector.Storable.Mutable.html#sto… |
| 2025-02-03 13:40:21 +0100 | <mreh> | it doesn't matter, I'm going to write to every element, thanks everyone |
| 2025-02-03 13:40:32 +0100 | <mreh> | int-e: yeah, just trying to grok that now |
| 2025-02-03 13:40:34 +0100 | <mreh> | thanks again! |
| 2025-02-03 13:40:36 +0100 | <int-e> | there's unsafeNew that skips that step |
| 2025-02-03 13:40:45 +0100 | <mreh> | oh, handy |
| 2025-02-03 13:40:47 +0100 | <int-e> | and it's unsafe precisely because of that |
| 2025-02-03 13:44:17 +0100 | rvalue- | rvalue |
| 2025-02-03 13:44:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-03 13:46:32 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-03 14:08:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 14:12:35 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 14:13:29 +0100 | sprotte24 | (~sprotte24@p200300d16f26a80008f1d39836015ac5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-03 14:13:34 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-02-03 14:24:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-03 14:37:25 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-02-03 14:49:34 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-03 14:49:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-03 14:51:56 +0100 | tnt2 | tnt1 |
| 2025-02-03 14:55:42 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-02-03 14:56:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 15:01:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-03 15:05:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-02-03 15:05:25 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-02-03 15:13:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-02-03 15:17:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-03 15:18:51 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-02-03 15:27:10 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-03 15:27:46 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-02-03 15:28:03 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-03 15:28:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-03 15:28:36 +0100 | tnt2 | tnt1 |
| 2025-02-03 15:36:59 +0100 | <dminuoso> | lxsameer: Well yes, constraints are the way you limit polymorphic values to specific types (namely those that you have instances for) |
| 2025-02-03 15:38:48 +0100 | <dminuoso> | And Show is a typical `turn things into strings` example anyway. You do not need MPTC for this. |
| 2025-02-03 15:38:52 +0100 | <dminuoso> | Just a plain old typeclass. |
| 2025-02-03 15:40:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-02-03 15:40:39 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) jespada |
| 2025-02-03 15:41:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-03 15:44:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 15:48:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-03 15:50:57 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2025-02-03 15:57:49 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-02-03 15:58:23 +0100 | <carbolymer> | can I simplify this pattern: https://play.haskell.org/saved/nAhyanfL |
| 2025-02-03 15:58:33 +0100 | <carbolymer> | I mean, is it possible :D |
| 2025-02-03 16:04:06 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in) |
| 2025-02-03 16:05:31 +0100 | forell | (~forell@user/forell) forell |
| 2025-02-03 16:07:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-02-03 16:08:10 +0100 | euleritian | (~euleritia@dynamic-176-006-146-039.176.6.pool.telefonica.de) |
| 2025-02-03 16:16:36 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-02-03 16:21:20 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-03 16:23:23 +0100 | <ski> | kuribas : doing generalization can be a problem |
| 2025-02-03 16:23:24 +0100 | <ski> | tomsmeding : well, you could use Lolli (linear logic programming language), for that resource splitting |
| 2025-02-03 16:26:20 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-03 16:29:26 +0100 | <ski> | mm, but yes, you could either put the context as another parameter of the judgement relation. or push that to the (linear) meta-logic |
| 2025-02-03 16:33:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 16:37:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-03 16:46:26 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-02-03 16:51:49 +0100 | <Athas> | I am getting quite depressed at how annoying it is becoming to statically link GHC with Nixpkgs. It is teethering on the bring of being so complicated that I cannot justify learning how to do it. |
| 2025-02-03 16:52:53 +0100 | <carbolymer> | tbf it's quite easy with haskell.nix |
| 2025-02-03 16:53:22 +0100 | <carbolymer> | ah, link ghc |
| 2025-02-03 16:53:32 +0100 | <carbolymer> | I understood that you're trying to build your program |
| 2025-02-03 16:54:00 +0100 | <tomsmeding> | Athas: statically link ghc, or statically link your own program with ghc? |
| 2025-02-03 16:54:21 +0100 | <tomsmeding> | for the latter: https://hasufell.github.io/posts/2024-04-21-static-linking.html (disclaimer: I haven't tried this, but it seems a lot more convenient than being forced to use nix) |
| 2025-02-03 16:57:12 +0100 | <tomsmeding> | carbolymer: you can make f an inline lambda function :p |
| 2025-02-03 16:57:14 +0100 | <tomsmeding> | haskell is composable |
| 2025-02-03 16:57:31 +0100 | <carbolymer> | tomsmeding: with viewpatterns? |
| 2025-02-03 16:57:36 +0100 | <tomsmeding> | pattern Foo' s i <- (\(Foo s i) -> (s, i + length s) -> (s, i)) |
| 2025-02-03 16:57:39 +0100 | <tomsmeding> | you're already using viewpatterns |
| 2025-02-03 16:57:58 +0100 | <tomsmeding> | the next step is just doing what you can always do in haskell: if you have `f = ...` then you can replace uses of `f` with `...` |
| 2025-02-03 16:58:02 +0100 | <carbolymer> | ah I can chain them |
| 2025-02-03 16:58:06 +0100 | <tomsmeding> | no this is not a chain |
| 2025-02-03 16:58:08 +0100 | <carbolymer> | i.e. -> thing -> other thing |
| 2025-02-03 16:58:14 +0100 | <tomsmeding> | the first arrow is a regular lambda arrow |
| 2025-02-03 16:58:17 +0100 | <tomsmeding> | the second is a ViewPattern arrow |
| 2025-02-03 16:58:18 +0100 | <carbolymer> | oh wait |
| 2025-02-03 16:58:19 +0100 | <carbolymer> | right |
| 2025-02-03 16:58:27 +0100 | <tomsmeding> | I recommend you put parentheses around the lambda |
| 2025-02-03 16:58:33 +0100 | <tomsmeding> | but I didn't because it looks funny without |
| 2025-02-03 16:59:07 +0100 | <tomsmeding> | (and while you _can_ chain ViewPatterns, if you brain allows it, they would chain to the right, because the right-hand side of the ViewPatterns `->` is again a pattern, which could be a ViewPattern if you so desire) |
| 2025-02-03 16:59:23 +0100 | <Athas> | tomsmeding: the latter, sorry. |
| 2025-02-03 16:59:44 +0100 | <tomsmeding> | then see maerwald's post that I linked |
| 2025-02-03 17:00:07 +0100 | <Athas> | That adds yet another piece of infrastructure (docker, alpine). |
| 2025-02-03 17:00:26 +0100 | <tomsmeding> | you need alpine I guess, but no need for docker, bwrap works fine enough |
| 2025-02-03 17:00:43 +0100 | <tomsmeding> | but I guess my threshold for bwrap is a lot smaller because I already know how it works from the playground :) |
| 2025-02-03 17:00:53 +0100 | <Athas> | Then I need to learn how to use alpine, and perhaps I need a library that is not in alpine (or not statically linked), etc. It doesn't look like an easy path. |
| 2025-02-03 17:01:05 +0100 | <tomsmeding> | what system libraries do you need? |
| 2025-02-03 17:01:21 +0100 | <tomsmeding> | the haskell stuff would just come from ghcup |
| 2025-02-03 17:01:25 +0100 | <Athas> | Not system libraries, necessarily - other libraries. gplk is one I needed recently. |
| 2025-02-03 17:01:45 +0100 | <tomsmeding> | I see |
| 2025-02-03 17:01:48 +0100 | <dminuoso> | Athas: Try haskell.nix |
| 2025-02-03 17:02:15 +0100 | <Athas> | Today I did manage to bump Nixpkgs while preserving static compilation, but only by using an older version of elfutils, as the newest version apparently doesn't support static linking. |
| 2025-02-03 17:02:20 +0100 | <dminuoso> | Athas: It is dead trivial to statically link haskell programs, you dont have to suffer from this incoherent manually managed sort-of stackage resolver clone |
| 2025-02-03 17:02:42 +0100 | <dminuoso> | and nixpkgs bumps dont regularly interfere with your build plans. |
| 2025-02-03 17:03:03 +0100 | <carbolymer> | yeah, haskell.nix has pinned nixpkgs |
| 2025-02-03 17:03:04 +0100 | <Athas> | Nixpkgs bumps never interfere, as I pin with niv. |
| 2025-02-03 17:03:22 +0100 | <Athas> | Perhaps it is time to investigate haskell.nix again. I remember rejecting it once, but not clearly why. |
| 2025-02-03 17:03:30 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 246 seconds) |
| 2025-02-03 17:03:53 +0100 | <Athas> | I did like building with Nixpkgs because my project is also *in* Nixpkgs as a derivation, and using it myself increased the odds I would notice breakage. |
| 2025-02-03 17:04:12 +0100 | mreh | (~matthew@host86-128-2-112.range86-128.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2025-02-03 17:04:15 +0100 | <dminuoso> | fair. |
| 2025-02-03 17:04:33 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2025-02-03 17:04:42 +0100 | <Athas> | But perhaps that advantage is not that great. Depends on whether nixpkgs continues to cause me trouble! |
| 2025-02-03 17:04:46 +0100 | <dminuoso> | Athas: Were you following nh2's guide? |
| 2025-02-03 17:05:14 +0100 | <Athas> | dminuoso: no, I found that guide impossible to understand. I wrote my own. |
| 2025-02-03 17:05:31 +0100 | <Athas> | I am doing this: https://sigkill.dk/blog/2024-05-22-static-linking-on-nix-with-ghc96.html |
| 2025-02-03 17:07:29 +0100 | <dminuoso> | Athas: Also regarding interference, this is not about niv but rather nixpkgs pinning hackage versions to some arbitrary stuff that mostly works together, but sometimes does not. |
| 2025-02-03 17:07:49 +0100 | <Athas> | dminuoso: yeah, but I actually care very much about my code working with precisely those versions. |
| 2025-02-03 17:07:59 +0100 | <dminuoso> | Yeah fair enough. |
| 2025-02-03 17:08:00 +0100 | <Athas> | (But not so much that I bump nixpkgs all that often.) |
| 2025-02-03 17:08:11 +0100 | <Athas> | It's a land of contrasts and hypocrisy. |
| 2025-02-03 17:08:29 +0100 | <dminuoso> | Haskell and nix are not fun together, in my experience. :( |
| 2025-02-03 17:08:59 +0100 | <tomsmeding> | what is the source of all this madness again? That system linkers are unable to statically link some libraries in, but keep some others as dynamic instead? |
| 2025-02-03 17:09:25 +0100 | <tomsmeding> | (hence needing to statically link libc if you want to statically link anything, and you can't statically link glibc, hence you need to use alpine with musl or something?) |
| 2025-02-03 17:09:43 +0100 | <Athas> | tomsmeding: I am linking all-statically. I think it is just that static linking is not fashionable, so it is not a well tested path. That is probably why something broke in elfutils. |
| 2025-02-03 17:10:01 +0100 | <Athas> | I even link statically with glibc! It works fine if you understand the caveats. |
| 2025-02-03 17:10:03 +0100 | <carbolymer> | tomsmeding: thanks, that lambda trick works. I can never wrap my brain around mixing viewpatterns and regular haskell syntax |
| 2025-02-03 17:10:23 +0100 | <dminuoso> | Athas: So you're trying to statically link elfutils into your haskell binary?? |
| 2025-02-03 17:10:29 +0100 | <dminuoso> | Sorry for the double question mark. |
| 2025-02-03 17:10:43 +0100 | <Athas> | dminuoso: I have to, don't I? GHC depends on libdw and libdw depends on elfutils. |
| 2025-02-03 17:10:49 +0100 | <tomsmeding> | Athas: then what's nix necessary for? Getting static versions of a bunch of C libraries you need? |
| 2025-02-03 17:10:56 +0100 | <Athas> | tomsmeding: yes. |
| 2025-02-03 17:11:01 +0100 | <dminuoso> | Athas: Hold on, Im confused. |
| 2025-02-03 17:11:08 +0100 | <dminuoso> | 15:59:23 Athas │ tomsmeding: the latter, sorry. |
| 2025-02-03 17:11:19 +0100 | <tomsmeding> | heh |
| 2025-02-03 17:11:20 +0100 | <dminuoso> | But what you just said suggests you want a statically linked GHC binary |
| 2025-02-03 17:11:24 +0100 | <dminuoso> | Which one is it? |
| 2025-02-03 17:11:34 +0100 | <Athas> | Tom Sydney mentions that you can compile GHC without DWARF support, and I guess that's what I'll eventually have to figure out how to do. |
| 2025-02-03 17:11:45 +0100 | <Athas> | I don't care about the linking of GHC. I want to statically link my Haskell program. |
| 2025-02-03 17:11:50 +0100 | <tomsmeding> | (isn't the GHC-without-DWARF the _default_?) |
| 2025-02-03 17:11:57 +0100 | <Athas> | Not in Nixpkgs. |
| 2025-02-03 17:12:00 +0100 | <tomsmeding> | ah. |
| 2025-02-03 17:12:16 +0100 | <Athas> | Maybe not anywhere? My understanding is that GHC-with-DWARF is the default since 9.6. |
| 2025-02-03 17:12:23 +0100 | <tomsmeding> | O.o |
| 2025-02-03 17:14:40 +0100 | <tomsmeding> | doesn't appear in any of the 9.6.* release notes |
| 2025-02-03 17:18:15 +0100 | euleritian | (~euleritia@dynamic-176-006-146-039.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-03 17:18:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-03 17:21:23 +0100 | <tomsmeding> | Athas: I think dminuoso's point was that while elfutils is a dependency of GHC, statically linking your program should not need a statically-linked GHC, and hence should not need statically linking elfutils in the first place |
| 2025-02-03 17:22:32 +0100 | <Athas> | tomsmeding: it is a dependency of the GHC RTS. |
| 2025-02-03 17:22:40 +0100 | <tomsmeding> | ah |
| 2025-02-03 17:22:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 17:23:23 +0100 | <Athas> | I assume it's the reason GHC produces better stack traces now, but I don't need that for my release executables anyway. |
| 2025-02-03 17:23:45 +0100 | <Athas> | The only reason I didn't disable it is because I can't figure out how to override the GHC configuration in Nixpkgs. |
| 2025-02-03 17:24:03 +0100 | <Athas> | (I did not look very diligently, however.) |
| 2025-02-03 17:26:14 +0100 | agent314 | (~quassel@146.70.172.177) (Ping timeout: 244 seconds) |
| 2025-02-03 17:26:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 17:34:32 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-03 17:40:17 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-02-03 17:40:29 +0100 | urdh_ | (~urdh@user/urdh) urdh |
| 2025-02-03 17:41:56 +0100 | urdh | (~urdh@user/urdh) (Ping timeout: 272 seconds) |
| 2025-02-03 17:41:56 +0100 | urdh_ | urdh |
| 2025-02-03 17:42:11 +0100 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-02-03 17:43:23 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-02-03 17:55:29 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-02-03 17:57:12 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-03 18:00:44 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-03 18:01:18 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) jespada |
| 2025-02-03 18:10:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 18:14:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 18:17:31 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-02-03 18:25:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-03 18:42:15 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-03 18:45:55 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2025-02-03 18:49:56 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2025-02-03 18:50:15 +0100 | forell | (~forell@user/forell) (Ping timeout: 246 seconds) |
| 2025-02-03 18:51:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-03 18:56:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-02-03 18:56:30 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-02-03 18:58:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 19:02:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-02-03 19:03:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 19:03:41 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-03 19:03:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-03 19:05:59 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Client Quit) |
| 2025-02-03 19:07:02 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-03 19:07:03 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-02-03 19:07:29 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-03 19:09:19 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) ft |
| 2025-02-03 19:10:36 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Client Quit) |
| 2025-02-03 19:11:09 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-03 19:11:41 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-03 19:17:15 +0100 | <albet70> | mapK p [] k = k [] |
| 2025-02-03 19:17:26 +0100 | <albet70> | mapK p (x: xs) k = p x $ \v -> mapK p xs $ \ns -> k (v : ns) |
| 2025-02-03 19:17:37 +0100 | <albet70> | rec = \ls -> \k -> mapK (\x -> \c -> if x == 0 then k [x] else c (1/x)) ls k |
| 2025-02-03 19:17:48 +0100 | <albet70> | rec [1,2,3,0,4] id |
| 2025-02-03 19:18:11 +0100 | <albet70> | this mapK can do eary return? |
| 2025-02-03 19:22:53 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-03 19:24:36 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-03 19:24:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-02-03 19:25:03 +0100 | <tomsmeding> | albet70: yes, being able to use non-local control flow, such as jumping out of the middle of a computation, is one of the things you can do with CPS-transformed code |
| 2025-02-03 19:25:42 +0100 | <c_wraith> | note that the simplest way to think about it is asking what it reduces to in the non-empty case. |
| 2025-02-03 19:25:59 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-03 19:26:13 +0100 | <c_wraith> | it reduces to a call to p, so it can do anything p can do. |
| 2025-02-03 19:28:08 +0100 | <tomsmeding> | related: https://git.tomsmeding.com/yahb2/tree/src/ExitEarly.hs |
| 2025-02-03 19:28:34 +0100 | <tomsmeding> | (this is just ContT with a different name) |
| 2025-02-03 19:34:22 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 19:34:53 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 19:35:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-03 19:36:01 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) jespada |
| 2025-02-03 19:37:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-02-03 19:38:36 +0100 | euleritian | (~euleritia@dynamic-176-006-140-194.176.6.pool.telefonica.de) |
| 2025-02-03 19:40:13 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-03 19:40:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-03 19:44:34 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 19:45:05 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 19:45:06 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-03 19:47:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 19:49:24 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-02-03 19:50:19 +0100 | <albet70> | I like to learn common method between difference languages, type is wonderful, but value level is more common |
| 2025-02-03 19:50:31 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-03 19:51:42 +0100 | <albet70> | use ContT in Haskell is elegant, but sometimes I like to know how to implement the function in other languages by function |
| 2025-02-03 19:51:49 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-03 19:52:03 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-03 19:52:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-03 19:53:23 +0100 | <albet70> | like most languages have lambda expression, is that means I can turn lambda expression in Haskell to lambda expression in other languages |
| 2025-02-03 19:54:45 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 19:55:12 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-03 19:55:16 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 19:55:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-02-03 19:56:17 +0100 | <mauke> | albet70: that looks like it can do early return, but not lazy evaluation |
| 2025-02-03 19:58:05 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-03 20:04:03 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-03 20:04:56 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 20:05:27 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 20:10:42 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-03 20:11:46 +0100 | <albet70> | yes |
| 2025-02-03 20:13:48 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-03 20:14:40 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-02-03 20:18:36 +0100 | remedan | (~remedan@62.245.108.153) remedan |
| 2025-02-03 20:18:50 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 20:19:21 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 20:19:31 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-02-03 20:24:02 +0100 | <smiesner> | hi, again i'd like to ask if someone knows tools for model-to-model transformations in haskell. is hydra such a tool? i want to translate from/to different UDP standards |
| 2025-02-03 20:25:24 +0100 | <albet70> | how to do statement in function without in do notation? like the rec [1,2,3,0,4] id will return [0.0], how let it be [1,2,3,0]? |
| 2025-02-03 20:26:09 +0100 | <albet70> | since that p in mapK can't keep value |
| 2025-02-03 20:26:47 +0100 | hellwolf | (~user@274b-85a5-2831-cb8b-0f00-4d40-07d0-2001.sta.estpak.ee) (Quit: rcirc on GNU Emacs 29.4) |
| 2025-02-03 20:26:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-02-03 20:27:05 +0100 | hellwolf | (~user@262a-8508-ab6e-9670-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-02-03 20:27:17 +0100 | <albet70> | or can it? |
| 2025-02-03 20:27:36 +0100 | <davean> | albet70: I can not parse what you said |
| 2025-02-03 20:29:01 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 20:29:04 +0100 | <hellwolf> | I think by statement, it means like those "statements" in other languages where effectful expression are usually sequentially laid out. |
| 2025-02-03 20:29:16 +0100 | <hellwolf> | it certainly misses the Haskell context. |
| 2025-02-03 20:29:32 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 20:29:57 +0100 | <hellwolf> | albet70: we might need to suggest you to think differently. what are the starting materials you have? |
| 2025-02-03 20:30:09 +0100 | <davean> | Maybem I'm not sure what they asked was even coherent english though. |
| 2025-02-03 20:30:34 +0100 | <hellwolf> | right. hmm, only LLM can try, at that point. |
| 2025-02-03 20:30:39 +0100 | <hellwolf> | *can parse |
| 2025-02-03 20:32:05 +0100 | euleritian | (~euleritia@dynamic-176-006-140-194.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-03 20:32:15 +0100 | <mauke> | I can't connect the first sentence, but the rest makes sense |
| 2025-02-03 20:32:23 +0100 | euleritian | (~euleritia@ip5f5ad1be.dynamic.kabel-deutschland.de) |
| 2025-02-03 20:32:34 +0100 | <davean> | mauke: yah that first sentance seems pretty critical though. |
| 2025-02-03 20:36:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 20:37:49 +0100 | <albet70> | try to keep the previous result befor meet the break item in the list, like rec [1,2,3,0,4] return [1,2,3,0] not just [0], but that p in mapK can not keep previous result |
| 2025-02-03 20:39:12 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 20:39:43 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 20:40:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 20:40:24 +0100 | <albet70> | rec = \ls -> \k -> mapK (\x -> \c -> if x == 0 then k ? else c (1/x)) ls k |
| 2025-02-03 20:44:04 +0100 | Square | (~Square@user/square) Square |
| 2025-02-03 20:45:49 +0100 | <hellwolf> | https://paste.tomsmeding.com/E5JKADZq |
| 2025-02-03 20:46:49 +0100 | <kuribas`> | > foldr (\x k a -> if x == 0 then [0] else x:k a) id [1, 2, 3, 0, 4] [] |
| 2025-02-03 20:46:50 +0100 | <lambdabot> | [1,2,3,0] |
| 2025-02-03 20:47:34 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Quit: prasad) |
| 2025-02-03 20:47:46 +0100 | <dminuoso> | Athas: Can you share your nix derivation, perhaps including the builder output on how it fails? |
| 2025-02-03 20:47:52 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::89) |
| 2025-02-03 20:48:34 +0100 | <kuribas`> | albet70: you can turn a right fold into a left fold with early exit. |
| 2025-02-03 20:49:23 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 20:49:54 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 20:50:39 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-03 20:51:48 +0100 | sprotte24 | (~sprotte24@p200300d16f26a80008f1d39836015ac5.dip0.t-ipconnect.de) |
| 2025-02-03 20:55:29 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 248 seconds) |
| 2025-02-03 20:59:34 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 21:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-03 21:00:05 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 21:01:17 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-03 21:03:20 +0100 | <Athas> | dminuoso: it doesn't fail anymore. Before it failed with a linker error about libdw.a referencing some undefined symbols . |
| 2025-02-03 21:03:40 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-03 21:04:11 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-02-03 21:05:39 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-03 21:07:00 +0100 | ColinRobinson | JuanDaugherty |
| 2025-02-03 21:08:17 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-02-03 21:09:45 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 21:10:16 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 21:10:44 +0100 | <dminuoso> | Oh it sporadically stopped? |
| 2025-02-03 21:11:06 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-02-03 21:11:25 +0100 | <dminuoso> | Non-deterministic nix realisations is something I haven't experienced in a while |
| 2025-02-03 21:14:07 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-03 21:16:41 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-03 21:17:31 +0100 | JuanDaugherty | ColinRobinson |
| 2025-02-03 21:17:53 +0100 | foul_owl | (~kerry@193.42.0.124) (Ping timeout: 248 seconds) |
| 2025-02-03 21:18:15 +0100 | <Athas> | dminuoso: no, it stopped because I jammed a hack in there. One moment, I'll remove the hack. |
| 2025-02-03 21:19:56 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 21:20:27 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 21:20:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-03 21:20:30 +0100 | ljdarj1 | ljdarj |
| 2025-02-03 21:24:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 21:29:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-03 21:30:07 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 21:30:37 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 21:31:43 +0100 | foul_owl | (~kerry@174-21-138-88.tukw.qwest.net) foul_owl |
| 2025-02-03 21:33:36 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-03 21:40:18 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 21:40:32 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-03 21:40:49 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 21:43:23 +0100 | <Athas> | dminuoso: https://gist.github.com/athas/d862f8842b51a5fc4b3aa0005c487a5b |
| 2025-02-03 21:43:41 +0100 | <Athas> | Debugging these things is particularly thrilling because I have to wait for a complete rebuild. |
| 2025-02-03 21:43:46 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-03 21:43:55 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 2025-02-03 21:44:09 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-02-03 21:44:41 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-03 21:50:29 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-03 21:50:52 +0100 | <dminuoso> | Athas: My experience with nixpkgs builds is limited, how useful is `nix develop` there? |
| 2025-02-03 21:51:00 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-03 21:51:13 +0100 | <dminuoso> | Trying to debug these types of errors with just plain `nix build` is.. just feasible. |
| 2025-02-03 21:51:19 +0100 | <dminuoso> | s/feasible/infeasible/ |
| 2025-02-03 21:51:31 +0100 | <dminuoso> | (Talking about haskell nixpkgs builds of course) |
| 2025-02-03 21:51:31 +0100 | <haskellbridge> | <magic_rb> Yeah "nix develop" is your friend here |
| 2025-02-03 21:51:45 +0100 | <Athas> | "nix develop" is a flakes-only feature, isn't it? |
| 2025-02-03 21:51:56 +0100 | <haskellbridge> | <magic_rb> No |
| 2025-02-03 21:52:05 +0100 | <haskellbridge> | <magic_rb> Its a "nix-command" only feature |
| 2025-02-03 21:52:22 +0100 | <dminuoso> | There is a pre-nix-command variant too, if you fancy that. |
| 2025-02-03 21:52:33 +0100 | <dminuoso> | Think it was with nix-shell. |
| 2025-02-03 21:53:22 +0100 | <Athas> | I do use a nix-shell environment too, but that doesn't link statically, so it's not so useful for debugging this. |
| 2025-02-03 21:53:48 +0100 | <Athas> | (In practice I use a trivially small project to debug the Nix setup.) |