2025/04/24

2025-04-24 00:01:16 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-24 00:01:57 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-24 00:02:54 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 245 seconds)
2025-04-24 00:03:15 +0200img(~img@user/img) img
2025-04-24 00:08:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 00:08:40 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-04-24 00:10:04 +0200sam113102(~sam@modemcable232.166-202-24.mc.videotron.ca) sam113101
2025-04-24 00:10:44 +0200sam113101(~sam@modemcable232.166-202-24.mc.videotron.ca) (Ping timeout: 244 seconds)
2025-04-24 00:10:48 +0200sam113102sam113101
2025-04-24 00:13:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-24 00:16:16 +0200sam113101(~sam@modemcable232.166-202-24.mc.videotron.ca) (Ping timeout: 276 seconds)
2025-04-24 00:17:21 +0200sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2025-04-24 00:24:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 00:25:36 +0200emm(~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 +0200merijn(~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 +0200ljdarj(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 00:41:27 +0200comonadcoius
2025-04-24 00:44:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-24 00:48:54 +0200Guest60(~Guest60@128.149.247.6) (Ping timeout: 240 seconds)
2025-04-24 00:55:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 00:57:57 +0200xff0x(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 01:06:05 +0200sprotte24(~sprotte24@p200300d16f32c2005ced4df4a507f443.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-24 01:08:12 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-24 01:08:58 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-04-24 01:09:12 +0200xff0x(~xff0x@2405:6580:b080:900:3224:6849:dd00:457c)
2025-04-24 01:13:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 01:16:14 +0200califax_(~califax@user/califx) califx
2025-04-24 01:17:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-04-24 01:17:00 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-04-24 01:17:00 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-04-24 01:17:36 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-24 01:17:36 +0200califax_califax
2025-04-24 01:18:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 01:18:47 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-24 01:18:48 +0200gmg(~user@user/gehmehgeh) gehmehgeh
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:20:06 +0200ChaiTRex(~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 +0200pavonia(~user@user/siracusa) siracusa
2025-04-24 01:21:24 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-24 01:23:25 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
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: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 +0200pointlessslippe1(~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 +0200jespada(~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada
2025-04-24 01:30:33 +0200hgolden(~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 +0200merijn(~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 +0200merijn(~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 +0200jespada(~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-24 01:52:24 +0200coius(~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 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-24 01:54:40 +0200 <monochrom> I agree.
2025-04-24 01:54:46 +0200comonad(~comonad@p54a035f0.dip0.t-ipconnect.de)
2025-04-24 01:54:49 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-24 01:57:00 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-24 01:57:15 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-24 01:57:41 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-24 01:59:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 01:59:51 +0200sim590(~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.0)
2025-04-24 02:04:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-24 02:04:49 +0200comonad(~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 +0200comonad(~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de)
2025-04-24 02:14:17 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-24 02:14:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 02:15:21 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-04-24 02:15:42 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 252 seconds)
2025-04-24 02:15:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-24 02:17:53 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-24 02:17:56 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-24 02:19:43 +0200acidjnk(~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-24 02:19:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 02:26:24 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-24 02:28:20 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-04-24 02:30:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 02:31:11 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 265 seconds)
2025-04-24 02:31:35 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-04-24 02:37:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 02:45:13 +0200otto_s(~user@p4ff2790f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-04-24 02:46:51 +0200otto_s(~user@p4ff274cd.dip0.t-ipconnect.de)
2025-04-24 02:48:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 02:52:07 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-04-24 02:52:28 +0200euleritian(~euleritia@77.23.248.47)
2025-04-24 02:53:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 02:56:55 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-24 03:00:39 +0200euleritian(~euleritia@77.23.248.47) (Remote host closed the connection)
2025-04-24 03:00:54 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-24 03:01:05 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-04-24 03:03:30 +0200xff0x(~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 272 seconds)
2025-04-24 03:04:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 03:08:59 +0200merijn(~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 +0200pointlessslippe1(~pointless@62.106.85.17) (Quit: ZNC - http://znc.in)
2025-04-24 03:15:23 +0200pointlessslippe1(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 03:21:11 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-24 03:25:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-24 03:25:22 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-04-24 03:34:05 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-04-24 03:35:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 03:40:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-24 03:51:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 03:56:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-24 03:57:43 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-24 04:07:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 04:10:26 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-04-24 04:10:27 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-24 04:14:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-24 04:23:04 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection)
2025-04-24 04:25:18 +0200td_(~td@i5387092F.versanet.de) (Ping timeout: 276 seconds)
2025-04-24 04:25:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 04:26:20 +0200td_(~td@83.135.9.7)
2025-04-24 04:29:18 +0200EvanR(~EvanR@user/evanr) EvanR
2025-04-24 04:30:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 04:31:38 +0200Katarushisu6(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-04-24 04:33:34 +0200Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds)
2025-04-24 04:33:34 +0200Katarushisu6Katarushisu
2025-04-24 04:35:02 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-24 04:41:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 04:46:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 04:52:27 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-24 04:53:49 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-24 04:56:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 05:01:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 05:07:07 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-24 05:09:05 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-24 05:12:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 05:17:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-24 05:17:56 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-24 05:28:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 05:29:41 +0200aforemny_(~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) aforemny
2025-04-24 05:29:53 +0200aforemny(~aforemny@2001:9e8:6ce5:1f00:ffd3:1d85:d158:aa27) (Ping timeout: 268 seconds)
2025-04-24 05:32:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 05:40:35 +0200michalz(~michalz@185.246.207.205)
2025-04-24 05:42:14 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-04-24 05:43:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 05:45:27 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-04-24 05:50:11 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-04-24 05:51:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-24 06:01:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 06:06:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-24 06:14:58 +0200Googulator8(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-24 06:15:26 +0200Googulator8(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-24 06:17:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 06:18:06 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-24 06:22:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 06:32:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 06:38:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-24 06:45:15 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 244 seconds)
2025-04-24 06:48:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 06:48:51 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2025-04-24 06:49:09 +0200puke(~puke@user/puke) puke
2025-04-24 06:53:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-24 07:04:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 07:05:30 +0200takuan(~takuan@d8D86B601.access.telenet.be)