2025/04/23

Newest at the top

2025-04-24 01:27:51 +0200jespada(~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 +0200pointlessslippe1(~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 +0200jespada(~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 265 seconds)
2025-04-24 01:23:25 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-04-24 01:21:24 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-24 01:20:52 +0200pavonia(~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 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-24 01:19:57 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection)
2025-04-24 01:18:48 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-24 01:18:47 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-24 01:18:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 01:17:36 +0200califax_califax
2025-04-24 01:17:36 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-24 01:17:00 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-04-24 01:17:00 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-04-24 01:17:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-04-24 01:16:14 +0200califax_(~califax@user/califx) califx
2025-04-24 01:13:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 01:09:12 +0200xff0x(~xff0x@2405:6580:b080:900:3224:6849:dd00:457c)
2025-04-24 01:08:58 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-04-24 01:08:12 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-24 01:06:05 +0200sprotte24(~sprotte24@p200300d16f32c2005ced4df4a507f443.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-24 01:02:44 +0200merijn(~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 +0200xff0x(~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 248 seconds)
2025-04-24 00:55:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 00:48:54 +0200Guest60(~Guest60@128.149.247.6) (Ping timeout: 240 seconds)
2025-04-24 00:44:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-24 00:41:27 +0200comonadcoius
2025-04-24 00:39:48 +0200merijn(~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 +0200ljdarj(~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 +0200merijn(~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 +0200emm(~emm@user/edmeme) (Quit: WeeChat 4.6.1)
2025-04-24 00:24:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 00:17:21 +0200sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2025-04-24 00:16:16 +0200sam113101(~sam@modemcable232.166-202-24.mc.videotron.ca) (Ping timeout: 276 seconds)
2025-04-24 00:13:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-24 00:10:48 +0200sam113102sam113101