2025-04-24 00:01:16 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-04-24 00:01:57 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-04-24 00:02:54 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 245 seconds) |
2025-04-24 00:03:15 +0200 | img | (~img@user/img) img |
2025-04-24 00:08:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 00:08:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-04-24 00:10:04 +0200 | sam113102 | (~sam@modemcable232.166-202-24.mc.videotron.ca) sam113101 |
2025-04-24 00:10:44 +0200 | sam113101 | (~sam@modemcable232.166-202-24.mc.videotron.ca) (Ping timeout: 244 seconds) |
2025-04-24 00:10:48 +0200 | sam113102 | sam113101 |
2025-04-24 00:13:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-24 00:16:16 +0200 | sam113101 | (~sam@modemcable232.166-202-24.mc.videotron.ca) (Ping timeout: 276 seconds) |
2025-04-24 00:17:21 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
2025-04-24 00:24:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 00:25:36 +0200 | emm | (~emm@user/edmeme) (Quit: WeeChat 4.6.1) |
2025-04-24 00:27:10 +0200 | <EvanR> | dhall configuration language looks pretty cool. I wonder if there is a way to write DOOM with it |
2025-04-24 00:28:13 +0200 | <Rembane> | I don't think there is due to no Turing for Dhall. |
2025-04-24 00:28:44 +0200 | <EvanR> | on nightmare mode, all play sessions will terminate |
2025-04-24 00:29:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-24 00:29:13 +0200 | <haskellbridge> | <Bowuigi> Dhall can't do much wrt IO, but if you generate source for another lang with it you can |
2025-04-24 00:30:57 +0200 | <haskellbridge> | <Bowuigi> If you force some conditions into the player you could fit it into totality, like always getting closer to the goal (using a fixed set of markers, distance wouldn't work) or a timer |
2025-04-24 00:31:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-24 00:31:59 +0200 | <haskellbridge> | <Bowuigi> Just a very very large timer would suffice, it can be larger than the longest playtime recorded, no problem |
2025-04-24 00:33:28 +0200 | <EvanR> | doom non-eternal |
2025-04-24 00:39:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 00:41:27 +0200 | comonad | coius |
2025-04-24 00:44:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-24 00:48:54 +0200 | Guest60 | (~Guest60@128.149.247.6) (Ping timeout: 240 seconds) |
2025-04-24 00:55:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 00:57:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 248 seconds) |
2025-04-24 01:00:10 +0200 | <haskellbridge> | <loonycyborg> what's the point of dhall if it doesn't even support optional indentation like Haskell? |
2025-04-24 01:02:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 01:06:05 +0200 | sprotte24 | (~sprotte24@p200300d16f32c2005ced4df4a507f443.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-24 01:08:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-04-24 01:08:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-04-24 01:09:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) |
2025-04-24 01:13:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 01:16:14 +0200 | califax_ | (~califax@user/califx) califx |
2025-04-24 01:17:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
2025-04-24 01:17:00 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-04-24 01:17:00 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
2025-04-24 01:17:36 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
2025-04-24 01:17:36 +0200 | califax_ | califax |
2025-04-24 01:18:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 01:18:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-24 01:18:48 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-24 01:19:57 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
2025-04-24 01:20:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-04-24 01:20:16 +0200 | <EvanR> | is optional indentation in haskell really optional really |
2025-04-24 01:20:52 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-04-24 01:21:24 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-04-24 01:23:25 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-04-24 01:23:31 +0200 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 265 seconds) |
2025-04-24 01:23:44 +0200 | <haskellbridge> | <loonycyborg> sure you can write it like C instead with explicit {;} |
2025-04-24 01:24:20 +0200 | <haskellbridge> | <loonycyborg> but that really feels like violation of DRY to me |
2025-04-24 01:26:02 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-04-24 01:27:25 +0200 | <EvanR> | "you can" but basically, you won't |
2025-04-24 01:27:37 +0200 | <EvanR> | I can't even tell people "you can" do that seriously |
2025-04-24 01:27:51 +0200 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
2025-04-24 01:30:33 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
2025-04-24 01:32:54 +0200 | <geekosaur> | what's not DRY about explicit braces? I mean, you avoid repeating the indentation! |
2025-04-24 01:43:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 01:46:41 +0200 | <monochrom> | Best of both worlds is obviously indentation and {;}. |
2025-04-24 01:48:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 01:49:16 +0200 | <monochrom> | Would you say that type annotations (except to resolve ambiguous instances) violate DRY because types are inferred so the term already has the same information so don't repeat it in types? |
2025-04-24 01:50:41 +0200 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-04-24 01:52:24 +0200 | coius | (~comonad@p200300d02734750008696bda49ccf100.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-04-24 01:53:31 +0200 | <EvanR> | I pretty much dropped DRY after writing haskell because so much cruft is removed you have the luxury of repeating stuff for emphasis |
2025-04-24 01:54:07 +0200 | <EvanR> | it is known that if you reduce a program to minimum size it looks like random noise |
2025-04-24 01:54:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-04-24 01:54:40 +0200 | <monochrom> | I agree. |
2025-04-24 01:54:46 +0200 | comonad | (~comonad@p54a035f0.dip0.t-ipconnect.de) |
2025-04-24 01:54:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-04-24 01:57:00 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-24 01:57:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-04-24 01:57:41 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-24 01:59:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 01:59:51 +0200 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.0) |
2025-04-24 02:04:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-24 02:04:49 +0200 | comonad | (~comonad@p54a035f0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-24 02:08:50 +0200 | <mauke> | you gotta distinguish between exposing structure and mere text compression |
2025-04-24 02:09:04 +0200 | comonad | (~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de) |
2025-04-24 02:14:17 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-04-24 02:14:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 02:15:21 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2025-04-24 02:15:42 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
2025-04-24 02:15:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-04-24 02:17:53 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-24 02:17:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 02:19:43 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-24 02:19:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 02:26:24 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-04-24 02:28:20 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
2025-04-24 02:30:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 02:31:11 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
2025-04-24 02:31:35 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
2025-04-24 02:37:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 02:45:13 +0200 | otto_s | (~user@p4ff2790f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-04-24 02:46:51 +0200 | otto_s | (~user@p4ff274cd.dip0.t-ipconnect.de) |
2025-04-24 02:48:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 02:52:07 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-04-24 02:52:28 +0200 | euleritian | (~euleritia@77.23.248.47) |
2025-04-24 02:53:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 02:56:55 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-24 03:00:39 +0200 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
2025-04-24 03:00:54 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-24 03:01:05 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-04-24 03:03:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 272 seconds) |
2025-04-24 03:04:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 03:08:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-24 03:10:08 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
2025-04-24 03:10:49 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
2025-04-24 03:15:23 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-04-24 03:16:58 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
2025-04-24 03:20:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 03:21:11 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-24 03:25:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-24 03:25:22 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-04-24 03:34:05 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-04-24 03:35:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 03:40:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-24 03:51:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 03:56:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-24 03:57:43 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-04-24 04:07:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 04:10:26 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2025-04-24 04:10:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-24 04:14:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-24 04:23:04 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
2025-04-24 04:25:18 +0200 | td_ | (~td@i5387092F.versanet.de) (Ping timeout: 276 seconds) |
2025-04-24 04:25:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 04:26:20 +0200 | td_ | (~td@83.135.9.7) |
2025-04-24 04:29:18 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-04-24 04:30:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 04:31:38 +0200 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2025-04-24 04:33:34 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
2025-04-24 04:33:34 +0200 | Katarushisu6 | Katarushisu |
2025-04-24 04:35:02 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-04-24 04:41:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 04:46:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 04:52:27 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-24 04:53:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-04-24 04:56:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 05:01:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 05:07:07 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-04-24 05:09:05 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-24 05:12:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 05:17:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-24 05:17:56 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-04-24 05:28:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 05:29:41 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) aforemny |
2025-04-24 05:29:53 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:1f00:ffd3:1d85:d158:aa27) (Ping timeout: 268 seconds) |
2025-04-24 05:32:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 05:40:35 +0200 | michalz | (~michalz@185.246.207.205) |
2025-04-24 05:42:14 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-04-24 05:43:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 05:45:27 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-04-24 05:50:11 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-04-24 05:51:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-24 06:01:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 06:06:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-24 06:14:58 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-24 06:15:26 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
2025-04-24 06:17:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 06:18:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-24 06:22:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 06:32:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 06:38:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-24 06:45:15 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 244 seconds) |
2025-04-24 06:48:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 06:48:51 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
2025-04-24 06:49:09 +0200 | puke | (~puke@user/puke) puke |
2025-04-24 06:53:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-24 07:04:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 07:05:30 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-04-24 07:09:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 07:18:28 +0200 | <haskellbridge> | <Liamzee> welp, sponsors page has been updated, and some errors exist |
2025-04-24 07:18:49 +0200 | <haskellbridge> | <Liamzee> i guess this is the inevitable result of using accursedUnutterablePerformIO unsafely |
2025-04-24 07:19:26 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-04-24 07:19:58 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-04-24 07:20:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 07:22:36 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-04-24 07:23:10 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-04-24 07:27:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-24 07:31:07 +0200 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 276 seconds) |
2025-04-24 07:32:02 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
2025-04-24 07:34:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-04-24 07:38:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 07:42:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-24 07:45:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 07:46:26 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-24 07:49:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 07:50:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-24 07:56:14 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-24 07:56:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-24 08:00:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 08:01:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 08:02:59 +0200 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
2025-04-24 08:03:01 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-04-24 08:06:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 08:08:29 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-24 08:09:45 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
2025-04-24 08:10:41 +0200 | echoreply | (~echoreply@45.32.163.16) echoreply |
2025-04-24 08:17:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 08:17:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-24 08:20:25 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
2025-04-24 08:21:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 08:22:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 08:23:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-24 08:26:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 08:27:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-24 08:27:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 08:29:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-24 08:32:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 08:33:15 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-04-24 08:33:32 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-04-24 08:33:47 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) acidjnk |
2025-04-24 08:34:52 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-04-24 08:35:18 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) acidjnk |
2025-04-24 08:36:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 08:38:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-24 08:42:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) |
2025-04-24 08:45:52 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-24 09:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-24 09:01:01 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-24 09:02:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 09:07:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-24 09:13:17 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-24 09:14:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
2025-04-24 09:18:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 09:20:37 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-24 09:20:39 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-04-24 09:21:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-04-24 09:22:01 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-04-24 09:22:22 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
2025-04-24 09:23:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-24 09:23:28 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-24 09:24:47 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 272 seconds) |
2025-04-24 09:25:31 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
2025-04-24 09:26:14 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-24 09:27:08 +0200 | haritzondo | (~hrtz@152.37.68.178) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-04-24 09:33:39 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-04-24 09:35:17 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2025-04-24 09:39:37 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-24 09:40:57 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
2025-04-24 09:41:09 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
2025-04-24 09:54:57 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 248 seconds) |
2025-04-24 09:58:56 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-04-24 10:01:15 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-04-24 10:03:45 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:c9c8:e2be:ff6d:9e09) (Quit: Leaving) |
2025-04-24 10:17:04 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-04-24 10:18:10 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-04-24 10:21:09 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.5.2) |
2025-04-24 10:32:10 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
2025-04-24 10:34:39 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 244 seconds) |
2025-04-24 10:37:21 +0200 | Square2 | (~Square4@user/square) Square |
2025-04-24 10:40:06 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-24 10:42:15 +0200 | swamp_ | (~zmt00@user/zmt00) zmt00 |
2025-04-24 10:45:24 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
2025-04-24 10:48:01 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-04-24 10:55:10 +0200 | <haskellbridge> | <Liamzee> what are the pros and cons of having a PGRef type? Wherein PG refers to Postgres? |
2025-04-24 10:55:53 +0200 | <haskellbridge> | <Liamzee> that's to say, a Postgres table is described as an immutable reference to a mutable Postgres table in some database |
2025-04-24 10:56:29 +0200 | <haskellbridge> | <Liamzee> I mean, afaik, the ecosystem around postgres is relatively mature, but is there a benefit to having a PGRef type? |
2025-04-24 10:57:49 +0200 | <mari-estel> | are you not using a library Liamzee? |
2025-04-24 10:59:11 +0200 | <haskellbridge> | <Liamzee> i am |
2025-04-24 10:59:28 +0200 | <haskellbridge> | <Liamzee> i'm just wondering if PGRef would be a better way to do it than existing systems |
2025-04-24 11:00:39 +0200 | <mari-estel> | main drawback i can think of, you lose abstraction over the database engine |
2025-04-24 11:02:54 +0200 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 240 seconds) |
2025-04-24 11:03:06 +0200 | <tomsmeding> | Liamzee: core to the API of databases is queries spanning multiple tables and transactions spanning multiple queries |
2025-04-24 11:03:20 +0200 | <tomsmeding> | I'm not sure how that would be more natural using something like a PGRef |
2025-04-24 11:03:59 +0200 | dhil | (~dhil@5.151.29.137) dhil |
2025-04-24 11:04:18 +0200 | chele | (~chele@user/chele) chele |
2025-04-24 11:08:44 +0200 | <haskellbridge> | <Liamzee> i'm actually wondering if PGRef would offer any advantages over existing systems |
2025-04-24 11:09:18 +0200 | <haskellbridge> | <Liamzee> like, fooRef implies an immutable pointer to a mutable object |
2025-04-24 11:09:49 +0200 | <haskellbridge> | <Liamzee> beyond, say, the base case of shared memory, does representing network, database, or even file resources as a reference have any advantages at all? |
2025-04-24 11:10:25 +0200 | <tomsmeding> | it depends on whether the operations you want to perform on that resource are anything like those that are natural on a mutable reference |
2025-04-24 11:11:03 +0200 | <haskellbridge> | <Liamzee> and that idea essentially points to ResourceT |
2025-04-24 11:11:05 +0200 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/package/resourcet |
2025-04-24 11:27:10 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 260 seconds) |
2025-04-24 11:27:34 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 260 seconds) |
2025-04-24 11:28:01 +0200 | sus0 | (zero@user/zeromomentum) (Ping timeout: 252 seconds) |
2025-04-24 11:33:33 +0200 | jcarpenter2 | (~lol@96.78.87.197) (Ping timeout: 244 seconds) |
2025-04-24 11:35:06 +0200 | jcarpenter2 | (~lol@96.78.87.197) |
2025-04-24 11:37:44 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
2025-04-24 11:41:24 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-24 11:42:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-24 11:54:40 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-04-24 11:58:27 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
2025-04-24 12:08:32 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-04-24 12:09:45 +0200 | end | (~end@user/end/x-0094621) end^ |
2025-04-24 12:11:10 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
2025-04-24 12:15:49 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-04-24 12:20:41 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
2025-04-24 12:21:30 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2025-04-24 12:30:20 +0200 | mari82815 | (~mari-este@user/mari-estel) mari-estel |
2025-04-24 12:32:29 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 245 seconds) |
2025-04-24 12:53:34 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-04-24 12:59:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) |
2025-04-24 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-24 13:01:06 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) acidjnk |
2025-04-24 13:02:01 +0200 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
2025-04-24 13:02:11 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-24 13:03:41 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
2025-04-24 13:05:46 +0200 | kmein | (~weechat@user/kmein) kmein |
2025-04-24 13:15:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-24 13:30:59 +0200 | shaeto | (~Shaeto@94.25.234.42) |
2025-04-24 13:33:10 +0200 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
2025-04-24 13:36:02 +0200 | paotsaq | (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) |
2025-04-24 13:36:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
2025-04-24 13:37:40 +0200 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
2025-04-24 13:38:35 +0200 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
2025-04-24 13:38:47 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
2025-04-24 13:45:08 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-04-24 13:46:14 +0200 | mari82815 | (~mari-este@user/mari-estel) (Ping timeout: 245 seconds) |
2025-04-24 13:56:04 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2025-04-24 13:56:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 13:57:08 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-24 13:58:22 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
2025-04-24 14:18:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-24 14:19:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-24 14:21:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-04-24 14:21:46 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2025-04-24 14:26:27 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
2025-04-24 14:28:14 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
2025-04-24 14:29:13 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
2025-04-24 14:29:39 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-04-24 14:30:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-24 14:30:14 +0200 | tomku | (~tomku@user/tomku) tomku |
2025-04-24 14:36:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-24 14:37:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
2025-04-24 14:47:25 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-24 14:49:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-04-24 14:49:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-04-24 14:49:54 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-24 15:00:44 +0200 | qaotsap | (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) |
2025-04-24 15:03:24 +0200 | paotsaq | (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) (Ping timeout: 260 seconds) |
2025-04-24 15:05:25 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-24 15:06:27 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
2025-04-24 15:11:27 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.238) |
2025-04-24 15:13:57 +0200 | AlexZenon | (~alzenon@94.233.240.73) (Ping timeout: 248 seconds) |
2025-04-24 15:15:20 +0200 | AlexNoo | (~AlexNoo@94.233.240.73) (Ping timeout: 265 seconds) |
2025-04-24 15:18:02 +0200 | AlexZenon | (~alzenon@178.34.151.238) |
2025-04-24 15:24:53 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
2025-04-24 15:25:22 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
2025-04-24 15:31:19 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-04-24 16:13:53 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-04-24 16:17:44 +0200 | BolzmannPain | (~BolzmannP@user/BolzmannPain) BolzmannPain |
2025-04-24 16:17:53 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-04-24 16:19:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-04-24 16:24:36 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-24 16:25:53 +0200 | euleritian | (~euleritia@77.23.248.47) |
2025-04-24 16:30:22 +0200 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 272 seconds) |
2025-04-24 16:30:29 +0200 | AlexNoo_ | AlexNoo |
2025-04-24 16:31:02 +0200 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |