2025-03-22 00:00:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 00:03:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 00:04:10 +0100 | <monochrom> | :) |
2025-03-22 00:04:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-22 00:06:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-03-22 00:07:56 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-03-22 00:08:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 00:09:04 +0100 | <EvanR> | escaping hell with monads is so great |
2025-03-22 00:09:33 +0100 | <EvanR> | I just wish there was an escaping hell with functor to go with it / before it |
2025-03-22 00:10:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-03-22 00:19:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 00:24:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 00:35:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 00:38:12 +0100 | <monochrom> | Generally "escaping hell with function programming" is what we need to include all of the above and more. |
2025-03-22 00:39:31 +0100 | <monochrom> | There is now a functional programming playing card deck. Some conference was handing out them to attendees. |
2025-03-22 00:40:34 +0100 | <monochrom> | My student went and got one and showed me. He first let me randomly drew one card. I drew the monad card. (Other cards are like: GADT, Scheme macros, shift-reset, ...) |
2025-03-22 00:41:23 +0100 | <monochrom> | I don't normally believe in Tarot cards, but FP cards seems to have better predictive power! |
2025-03-22 00:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 00:46:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 00:46:51 +0100 | ski | . o O ( "Ccard V2.0 - a category theory card game" <http://www.verify-it.de/sub/ccard/index.html> ) |
2025-03-22 00:51:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
2025-03-22 00:51:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 00:54:51 +0100 | <EvanR> | scheme macros |
2025-03-22 00:54:55 +0100 | <EvanR> | is that all it says |
2025-03-22 00:55:00 +0100 | <EvanR> | or is there flavor text at least |
2025-03-22 00:56:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-03-22 00:58:07 +0100 | geekosaur | notes that ski's link doesn't seem to describe the same game |
2025-03-22 00:58:30 +0100 | <geekosaur> | it appears to all be CT statements of increasing complexity |
2025-03-22 00:59:26 +0100 | geekosaur | also wonders if the one monochrom is talking about is more like Tarot, or more like M:tG |
2025-03-22 01:03:37 +0100 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
2025-03-22 01:04:28 +0100 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
2025-03-22 01:06:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-22 01:07:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 01:09:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds) |
2025-03-22 01:10:52 +0100 | sonny | (~sonny@142.113.172.116) sonny |
2025-03-22 01:11:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 01:15:19 +0100 | sonny | (~sonny@142.113.172.116) () |
2025-03-22 01:17:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2025-03-22 01:17:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-22 01:18:21 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f6518434db087d421fc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2025-03-22 01:22:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 01:23:19 +0100 | sprotte24 | (~sprotte24@p200300d16f266c002dc4a2d25f2ad6fe.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-03-22 01:27:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 01:29:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-22 01:32:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 01:34:02 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-03-22 01:34:21 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-22 01:36:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 01:38:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 01:42:28 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
2025-03-22 01:43:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 01:45:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-03-22 01:48:30 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:314f:c6fc:a776:72e4) (Read error: Connection reset by peer) |
2025-03-22 01:53:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-03-22 01:53:59 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-22 01:54:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 01:59:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 02:05:10 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2025-03-22 02:10:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 02:10:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-22 02:15:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-22 02:16:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 02:18:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 02:21:48 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-03-22 02:23:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 02:23:48 +0100 | alp | (~alp@2001:861:8ca0:4940:4f32:5e1f:632d:94e1) (Ping timeout: 246 seconds) |
2025-03-22 02:26:26 +0100 | malte | (~malte@mal.tc) malte |
2025-03-22 02:28:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 02:32:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-03-22 02:32:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-03-22 02:44:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 02:45:44 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds) |
2025-03-22 02:48:23 +0100 | JuanDaugherty | ColinRobinson |
2025-03-22 02:48:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 02:58:09 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-22 02:59:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:01:35 +0100 | catties | Catty |
2025-03-22 03:04:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 03:04:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 03:09:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 03:15:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:18:07 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-03-22 03:21:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 03:24:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:29:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 03:42:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:47:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 03:50:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 03:52:30 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-22 03:54:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 03:55:13 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-03-22 03:55:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-22 03:58:02 +0100 | <haskellbridge> | <Bowuigi> The link was broken for me but it's available on https://web.archive.org/web/20240813095622/www.verify-it.de/sub/ccard/index.html |
2025-03-22 03:58:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:58:25 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-22 04:01:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-22 04:03:23 +0100 | kh0d_ | (~kh0d@212.200.181.160) |
2025-03-22 04:03:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 04:06:12 +0100 | kh0d | (~kh0d@212.200.65.86) (Ping timeout: 252 seconds) |
2025-03-22 04:09:57 +0100 | tavare | (~tavare@150.129.88.189) |
2025-03-22 04:09:57 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-03-22 04:09:57 +0100 | tavare | (~tavare@user/tavare) tavare |
2025-03-22 04:13:34 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-03-22 04:15:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 04:20:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-22 04:31:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 04:35:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 04:36:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 04:40:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 04:45:55 +0100 | kh0d_ | (~kh0d@212.200.181.160) (Remote host closed the connection) |
2025-03-22 04:46:27 +0100 | kh0d | (~kh0d@212.200.181.160) kh0d |
2025-03-22 04:47:09 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Quit: No Ping reply in 180 seconds.) |
2025-03-22 04:47:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 04:48:18 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-03-22 04:50:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-03-22 04:51:30 +0100 | euleritian | (~euleritia@95.90.214.149) |
2025-03-22 04:52:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 04:53:08 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-22 04:53:43 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
2025-03-22 04:54:36 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
2025-03-22 04:58:00 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-22 04:58:39 +0100 | tromp | (~textual@2a02:a210:cba:8500:40b3:acb4:4579:83af) (Ping timeout: 265 seconds) |
2025-03-22 05:00:04 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-22 05:03:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 05:08:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 05:14:31 +0100 | euleritian | (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
2025-03-22 05:15:03 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-22 05:18:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 05:19:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
2025-03-22 05:20:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 05:23:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 05:25:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 05:34:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 05:37:06 +0100 | <ski> | worked for me, Bowuigi (although only with HTTP, not with with HTTPS) |
2025-03-22 05:38:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 05:42:03 +0100 | <haskellbridge> | <Bowuigi> I tried http but it didn't work, maybe my browser cached the 404 lol |
2025-03-22 05:43:28 +0100 | <ski> | (sure you didn't manage to copy the ending angle bracket into the URL ?) |
2025-03-22 05:50:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 05:50:17 +0100 | Wanderer | (~wanderer@user/wanderer) Wanderer |
2025-03-22 05:54:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 05:55:07 +0100 | <iteratee> | I managed to port ihp-hsx to Lucid (v2). Is there anyone around from the IHP project? I think it's useful, and worth publishing either way, but I'm wondering about in-tree or a seperate repo and package on hackage. |
2025-03-22 05:57:31 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-22 06:05:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 06:06:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 06:10:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 06:10:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 06:16:19 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-03-22 06:16:36 +0100 | califax | (~califax@user/califx) califx |
2025-03-22 06:21:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 06:21:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
2025-03-22 06:22:17 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2025-03-22 06:23:49 +0100 | jrm | (~jrm@user/jrm) jrm |
2025-03-22 06:24:46 +0100 | lortal | (~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) Lortal |
2025-03-22 06:25:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 06:36:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 06:41:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 06:43:35 +0100 | <jackdk> | I haven't seen much IHP news lately, and generally not a whole lot on IRC. I'd try their project github or discourse.haskell.org or old.reddit.com/r/haskell, probably in that order |
2025-03-22 06:51:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 06:52:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 06:55:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-22 06:57:50 +0100 | <iteratee> | I was going to post a PR in either case, but sometimes it's easier if you can catch someone online for a lower-latency conversation. |
2025-03-22 06:58:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 07:00:29 +0100 | <iteratee> | The lucid port is surprisingly short. |
2025-03-22 07:00:36 +0100 | <iteratee> | https://github.com/digitallyinduced/ihp/pull/2055/commits/aa3b6d4c571cd4650893926e0922404c445c13d7 |
2025-03-22 07:01:10 +0100 | <iteratee> | It helps that attributes are less cumbersome with lucid. |
2025-03-22 07:05:46 +0100 | greenflower | (~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) greenflower |
2025-03-22 07:06:09 +0100 | lortal | (~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) (Remote host closed the connection) |
2025-03-22 07:08:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 07:13:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-22 07:13:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 07:24:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 07:26:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-03-22 07:26:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-22 07:29:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-22 07:29:56 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-03-22 07:31:16 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2025-03-22 07:31:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 07:36:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 07:36:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 07:40:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-03-22 07:40:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 07:47:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 07:51:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 08:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-22 08:00:14 +0100 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
2025-03-22 08:00:32 +0100 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-03-22 08:01:01 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-22 08:02:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 08:07:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 08:15:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-03-22 08:15:28 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-03-22 08:16:04 +0100 | <haskellbridge> | <Bowuigi> ski no, none of your links would work if that was the case |
2025-03-22 08:16:22 +0100 | <haskellbridge> | <Bowuigi> The URL detection in SchildiChat is pretty smart |
2025-03-22 08:16:50 +0100 | Lord_of_Life_ | Lord_of_Life |
2025-03-22 08:18:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 08:21:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 08:21:53 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-03-22 08:22:03 +0100 | euleritian | (~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) |
2025-03-22 08:22:25 +0100 | euleritian | (~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-03-22 08:22:44 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-22 08:23:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-22 08:24:06 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-22 08:24:25 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-22 08:25:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 08:27:42 +0100 | greenflower | (~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) (Ping timeout: 240 seconds) |
2025-03-22 08:27:46 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-22 08:33:47 +0100 | <ski> | (mm. i've just noticed that apparently some IRC clients (and some terminals that also do approximate URI/URL detection) don't properly honor or understand delimiting a URL/URI in context, in appendix of RFC 1738,2396,3986 ("Uniform Resource Locators/Identifier(s) (URL/URI) (Generic Syntax)") at |
2025-03-22 08:33:52 +0100 | <ski> | <https://datatracker.ietf.org/doc/html/rfc1738#page-22>,<https://datatracker.ietf.org/doc/html/rfc2396#appendix-E>,<https://tools.ietf.org/html/rfc3986#appendix-C>) |
2025-03-22 08:33:55 +0100 | <ski> | maybe the site was down, temporarily |
2025-03-22 08:34:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 08:36:38 +0100 | <mauke> | this is the one I use: https://metacpan.org/dist/URL-Search/source/lib/URL/Search.pm#L142 :-) |
2025-03-22 08:38:20 +0100 | sarna | (~sarna@d168-237.icpnet.pl) (Remote host closed the connection) |
2025-03-22 08:38:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 08:39:24 +0100 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
2025-03-22 08:41:58 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk |
2025-03-22 08:46:07 +0100 | random-jellyfish | (~developer@2a0c:5a85:2204:c400:d8f1:9420:4e45:2fc) |
2025-03-22 08:46:07 +0100 | random-jellyfish | (~developer@2a0c:5a85:2204:c400:d8f1:9420:4e45:2fc) (Changing host) |
2025-03-22 08:46:07 +0100 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
2025-03-22 08:47:02 +0100 | danza | (~danza@user/danza) danza |
2025-03-22 08:50:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 08:50:42 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2025-03-22 08:51:35 +0100 | euleritian | (~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) |
2025-03-22 08:55:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 08:59:24 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-03-22 09:03:59 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
2025-03-22 09:05:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 09:06:40 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
2025-03-22 09:06:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 09:08:47 +0100 | kh0d | (~kh0d@212.200.181.160) (Remote host closed the connection) |
2025-03-22 09:10:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-22 09:11:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 09:18:38 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2025-03-22 09:19:16 +0100 | kh0d | (~kh0d@212.200.181.160) |
2025-03-22 09:19:27 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-03-22 09:20:23 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-03-22 09:21:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 09:24:04 +0100 | kh0d | (~kh0d@212.200.181.160) (Ping timeout: 260 seconds) |
2025-03-22 09:25:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 09:25:32 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
2025-03-22 09:26:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 09:32:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 09:32:17 +0100 | euleritian | (~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-03-22 09:32:35 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-22 09:36:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-22 09:48:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 09:51:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 09:53:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 09:53:08 +0100 | kh0d | (~kh0d@89.216.103.150) kh0d |
2025-03-22 09:56:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 09:57:28 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
2025-03-22 10:03:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 10:04:29 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 10:05:43 +0100 | danz80407 | (~danza@user/danza) danza |
2025-03-22 10:06:38 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
2025-03-22 10:08:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 10:11:26 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-03-22 10:12:14 +0100 | euleritian | (~euleritia@95.90.214.149) |
2025-03-22 10:13:43 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:cff7:42c9:19d2:40d1) dhil |
2025-03-22 10:14:45 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 265 seconds) |
2025-03-22 10:17:09 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-03-22 10:17:55 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-22 10:19:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 10:24:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-22 10:33:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 10:37:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 10:38:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 10:40:35 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:cff7:42c9:19d2:40d1) (Ping timeout: 244 seconds) |
2025-03-22 10:41:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-03-22 10:42:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 10:49:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 10:54:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-22 11:00:51 +0100 | danz80407 | (~danza@user/danza) (Remote host closed the connection) |
2025-03-22 11:04:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 11:07:05 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-22 11:09:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 11:09:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-22 11:09:53 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-03-22 11:11:24 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-22 11:11:57 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 246 seconds) |
2025-03-22 11:13:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-22 11:18:39 +0100 | kh0d | (~kh0d@89.216.103.150) |
2025-03-22 11:18:48 +0100 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
2025-03-22 11:19:28 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2025-03-22 11:20:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 11:22:14 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 11:23:33 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
2025-03-22 11:25:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 11:26:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-22 11:30:06 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-22 11:31:23 +0100 | Dhanush45 | (~Dhanush45@2409:408d:414:7384:cb6:97a:cdaf:f294) |
2025-03-22 11:32:43 +0100 | Dhanush45 | (~Dhanush45@2409:408d:414:7384:cb6:97a:cdaf:f294) (Client Quit) |
2025-03-22 11:33:09 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
2025-03-22 11:33:11 +0100 | Dhanush45 | (~Dhanush45@157.49.104.75) |
2025-03-22 11:33:57 +0100 | <Dhanush45> | Hi members |
2025-03-22 11:34:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 11:35:22 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-03-22 11:36:11 +0100 | Dhanush45 | (~Dhanush45@157.49.104.75) (Client Quit) |
2025-03-22 11:42:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 11:46:06 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-22 11:49:02 +0100 | <int-e> | . o O ( hi quitter ) |
2025-03-22 11:51:56 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
2025-03-22 11:52:44 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2025-03-22 11:53:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 11:58:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 11:58:33 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk |
2025-03-22 12:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-22 12:02:17 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-22 12:07:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 12:09:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 12:10:32 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-03-22 12:12:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 12:14:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 12:19:16 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-03-22 12:23:48 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
2025-03-22 12:25:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 12:27:30 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-03-22 12:28:47 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2025-03-22 12:30:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 12:30:34 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-03-22 12:31:51 +0100 | random-jellyfish | (~developer@2a0c:5a85:2204:c400:6c84:67dc:960d:3228) |
2025-03-22 12:31:51 +0100 | random-jellyfish | (~developer@2a0c:5a85:2204:c400:6c84:67dc:960d:3228) (Changing host) |
2025-03-22 12:31:51 +0100 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
2025-03-22 12:35:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 12:40:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 12:50:10 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-03-22 12:51:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 12:53:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 12:56:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-22 12:57:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 12:59:56 +0100 | tremon | (~tremon@83.80.159.219) tremon |
2025-03-22 13:02:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 13:04:05 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-22 13:06:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 13:11:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 13:16:48 +0100 | malte | (~malte@mal.tc) malte |
2025-03-22 13:19:39 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
2025-03-22 13:20:37 +0100 | greenflower | (~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) greenflower |
2025-03-22 13:22:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 13:24:05 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk |
2025-03-22 13:24:56 +0100 | malte_ | (~malte@mal.tc) malte |
2025-03-22 13:25:44 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-03-22 13:25:44 +0100 | malte_ | malte |
2025-03-22 13:27:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 13:28:20 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-22 13:32:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-22 13:36:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 13:38:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 13:40:21 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 248 seconds) |
2025-03-22 13:40:44 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
2025-03-22 13:42:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-03-22 13:43:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-22 13:44:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 13:54:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 13:59:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 14:00:40 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) |
2025-03-22 14:10:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 14:14:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 14:21:32 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-22 14:24:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 14:25:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 14:28:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 14:30:10 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-22 14:30:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 14:37:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 14:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 14:44:44 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-03-22 14:53:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 14:57:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-22 15:00:28 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) (Remote host closed the connection) |
2025-03-22 15:00:50 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) |
2025-03-22 15:08:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 15:09:02 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 244 seconds) |
2025-03-22 15:09:16 +0100 | euleritian | (~euleritia@dynamic-176-006-137-161.176.6.pool.telefonica.de) |
2025-03-22 15:10:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 15:13:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 15:14:43 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-03-22 15:15:15 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-03-22 15:15:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 15:23:52 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-03-22 15:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 15:28:39 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
2025-03-22 15:29:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 15:38:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 15:43:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 15:47:29 +0100 | greenflower | (~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) (Quit: Client closed) |
2025-03-22 15:54:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 15:54:28 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2025-03-22 15:54:37 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-03-22 15:55:19 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2025-03-22 15:56:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 15:56:52 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-03-22 15:57:17 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) acidjnk |
2025-03-22 15:58:11 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
2025-03-22 15:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 16:00:12 +0100 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
2025-03-22 16:00:42 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
2025-03-22 16:00:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 16:02:00 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
2025-03-22 16:02:49 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-22 16:09:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 16:15:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-22 16:20:23 +0100 | litharge | (litharge@libera/bot/litharge) (Ping timeout: 615 seconds) |
2025-03-22 16:23:30 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2025-03-22 16:25:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 16:26:40 +0100 | malte | (~malte@mal.tc) malte |
2025-03-22 16:30:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-03-22 16:31:13 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-03-22 16:32:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 16:39:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 16:39:46 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 16:41:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 16:44:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 16:45:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 16:48:30 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-03-22 16:48:49 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) acidjnk |
2025-03-22 16:54:41 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-03-22 16:55:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 16:56:36 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-03-22 16:59:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 17:00:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-22 17:02:55 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 17:03:58 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
2025-03-22 17:05:21 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-22 17:05:57 +0100 | manwithluck | (~manwithlu@2a09:bac1:5ba0:20::38a:2b) manwithluck |
2025-03-22 17:06:34 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-03-22 17:09:07 +0100 | euleritian | (~euleritia@dynamic-176-006-137-161.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
2025-03-22 17:10:08 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
2025-03-22 17:10:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 17:13:54 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
2025-03-22 17:14:22 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-03-22 17:15:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 17:21:05 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
2025-03-22 17:21:56 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
2025-03-22 17:26:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 17:26:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 17:30:00 +0100 | <sim590> | I'm trying to upload a new version of the candidate 0.1.0.0 for my package opendht-hs: https://hackage.haskell.org/package/opendht-hs-0.1.0.0/candidate. But, the README file is not updated. I've tried reuploading a new candidate twice under "maintain" button. The README should be this one on my github page: https://github.com/sim590/opendht-hs/. The difference is in the "Dependencies" section. |
2025-03-22 17:30:50 +0100 | <sim590> | I can see that the README in the tar ball I select is the right thing. I entered the archive with Vim and I saw the README was fine. |
2025-03-22 17:30:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 17:31:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 17:31:56 +0100 | <sim590> | Do I actually need to delete the candidate and reupload ? |
2025-03-22 17:32:50 +0100 | <sim590> | The "upload a new cnadidate button" says: "If you upload a new candidate with the same version as an existing candidate, the older will be overwritten.", so I should not have to. |
2025-03-22 17:34:40 +0100 | <geekosaur> | this seems like a bug in hackage-server. perhaps ask in #hackage? |
2025-03-22 17:34:51 +0100 | <sim590> | Ahhh, right. I'll do. |
2025-03-22 17:35:00 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-22 17:36:49 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) (Ping timeout: 260 seconds) |
2025-03-22 17:37:05 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6) |
2025-03-22 17:40:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 17:42:25 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 248 seconds) |
2025-03-22 17:42:28 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 17:44:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 17:45:09 +0100 | kh0d | (~kh0d@212.200.181.160) |
2025-03-22 17:49:39 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-22 17:50:04 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 272 seconds) |
2025-03-22 17:56:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 17:58:16 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
2025-03-22 17:58:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-03-22 17:59:02 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-22 18:02:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 18:04:15 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
2025-03-22 18:06:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e1c2:84b0:caab:9b02) |
2025-03-22 18:11:53 +0100 | yago | (~yago@2a0c:5a82:1708:200:5441:db13:8b84:88e5) |
2025-03-22 18:12:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 18:14:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 18:17:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 18:19:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 18:25:23 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-03-22 18:26:24 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2025-03-22 18:29:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 18:34:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 18:41:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 18:42:12 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
2025-03-22 18:42:24 +0100 | ash3en1 | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 18:42:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-22 18:44:22 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-03-22 18:44:41 +0100 | ash3en1 | ash3en |
2025-03-22 18:46:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 18:49:08 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
2025-03-22 18:53:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-22 18:57:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 18:57:08 +0100 | Owner_ | (~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6) |
2025-03-22 18:58:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 18:58:32 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 19:01:06 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6) (Ping timeout: 276 seconds) |
2025-03-22 19:01:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 19:02:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 19:09:27 +0100 | Digitteknohippie | Digit |
2025-03-22 19:12:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 19:13:04 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
2025-03-22 19:17:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 19:18:23 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 19:20:28 +0100 | Catty | catties |
2025-03-22 19:20:50 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2025-03-22 19:21:10 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
2025-03-22 19:24:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-22 19:24:40 +0100 | Square | (~Square@user/square) Square |
2025-03-22 19:28:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 19:31:32 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-22 19:33:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 19:35:44 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-22 19:41:13 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-22 19:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 19:42:19 +0100 | <Noinia> | Does anyone know if the wasm backend is suposed to support ghc-plugins (together with TH?) already? |
2025-03-22 19:43:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 19:43:22 +0100 | <Noinia> | I don't see a ticket on gitlab, but compiling my package (which uses both TH and a GHC plugin) fails with 'Plugins require -fno-external-interpreter'. (But adding that flag does not really seem to make any difference for some reason) |