2025/12/21

Newest at the top

2025-12-21 22:59:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 22:58:42 +0100skum(~skum@user/skum) skum
2025-12-21 22:58:16 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-21 22:58:03 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-21 22:57:55 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-12-21 22:54:12 +0100 <EvanR> before you can play an unlosable game you have to define the game
2025-12-21 22:53:18 +0100 <EvanR> except writing the types wrong
2025-12-21 22:53:09 +0100 <EvanR> one day we will have the perfect type system that makes mistakes impossible
2025-12-21 22:52:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 22:51:21 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-12-21 22:51:05 +0100 <int-e> The thing is, the given examples are too symmetric and part 1 is actually fine with the reversed input. So it's a pretty brilliant bug to have in this problem.
2025-12-21 22:49:54 +0100 <hololeap> of course :)
2025-12-21 22:49:54 +0100 <c_wraith> that's the part of programming people keep forgetting
2025-12-21 22:49:16 +0100 <int-e> just don't make mistakes ;)
2025-12-21 22:49:05 +0100FloorCalc(~user@user/FloorCalc) (Remote host closed the connection)
2025-12-21 22:48:41 +0100 <hololeap> you still need to write tests
2025-12-21 22:48:22 +0100 <hololeap> (or anything of the nature of "the right things in the wrong places")
2025-12-21 22:47:47 +0100 <hololeap> haskell's type system can't prevent reverse-string footguns
2025-12-21 22:45:23 +0100 <int-e> hmm, reversing the input (at least that's what I think it was) is a fun one.
2025-12-21 22:43:57 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-21 22:43:34 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-12-21 22:41:57 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 252 seconds)
2025-12-21 22:41:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-21 22:37:12 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd)
2025-12-21 22:29:24 +0100 <EvanR> if it compiles it must be true
2025-12-21 22:27:19 +0100karenw(~karenw@user/karenw) (Ping timeout: 246 seconds)
2025-12-21 22:24:17 +0100 <cheater> ne1 here try granule
2025-12-21 22:11:44 +0100milan2(~milan@88.212.61.169) (Quit: WeeChat 4.5.2)
2025-12-21 22:09:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 22:07:43 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds)
2025-12-21 22:00:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-21 21:54:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 21:50:10 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-12-21 21:49:15 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-12-21 21:47:06 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-21 21:46:53 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-21 21:44:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-21 21:39:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 21:31:27 +0100karenw(~karenw@user/karenw) karenw
2025-12-21 21:28:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-21 21:23:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 21:23:23 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2025-12-21 21:23:00 +0100rainbyte(~rainbyte@186.22.19.214) (Quit: rainbyte)
2025-12-21 21:16:18 +0100 <milan2> Ah list I constructed by self recursive function was reversed.
2025-12-21 21:12:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-21 21:09:39 +0100ljdarj1ljdarj
2025-12-21 21:09:38 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-12-21 21:08:47 +0100ystael(~ystael@user/ystael) ystael
2025-12-21 21:08:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 21:07:26 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj