| 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 |