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