Newest at the top
2025-04-24 01:27:51 +0200 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
2025-04-24 01:27:37 +0200 | <EvanR> | I can't even tell people "you can" do that seriously |
2025-04-24 01:27:25 +0200 | <EvanR> | "you can" but basically, you won't |
2025-04-24 01:26:02 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-04-24 01:24:20 +0200 | <haskellbridge> | <loonycyborg> but that really feels like violation of DRY to me |
2025-04-24 01:23:44 +0200 | <haskellbridge> | <loonycyborg> sure you can write it like C instead with explicit {;} |
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:25 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-04-24 01:21:24 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-04-24 01:20:52 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-04-24 01:20:16 +0200 | <EvanR> | is optional indentation in haskell really optional really |
2025-04-24 01:20:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
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:18:48 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-24 01:18:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-24 01:18:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-24 01:17:36 +0200 | califax_ | califax |
2025-04-24 01:17:36 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
2025-04-24 01:17:00 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (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 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
2025-04-24 01:16:14 +0200 | califax_ | (~califax@user/califx) califx |
2025-04-24 01:13:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 01:09:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) |
2025-04-24 01:08:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-04-24 01:08:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-04-24 01:06:05 +0200 | sprotte24 | (~sprotte24@p200300d16f32c2005ced4df4a507f443.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-24 01:02:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 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 00:57:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 248 seconds) |
2025-04-24 00:55:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 00:48:54 +0200 | Guest60 | (~Guest60@128.149.247.6) (Ping timeout: 240 seconds) |
2025-04-24 00:44:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-24 00:41:27 +0200 | comonad | coius |
2025-04-24 00:39:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 00:33:28 +0200 | <EvanR> | doom non-eternal |
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:31:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
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: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:29:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-24 00:28:44 +0200 | <EvanR> | on nightmare mode, all play sessions will terminate |
2025-04-24 00:28:13 +0200 | <Rembane> | I don't think there is due to no Turing for Dhall. |
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:25:36 +0200 | emm | (~emm@user/edmeme) (Quit: WeeChat 4.6.1) |
2025-04-24 00:24:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-24 00:17:21 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
2025-04-24 00:16:16 +0200 | sam113101 | (~sam@modemcable232.166-202-24.mc.videotron.ca) (Ping timeout: 276 seconds) |
2025-04-24 00:13:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-24 00:10:48 +0200 | sam113102 | sam113101 |