2025/04/24

Newest at the top

2025-04-24 03:10:08 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-24 03:08:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-24 03:04:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 03:03:30 +0200xff0x(~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 272 seconds)
2025-04-24 03:01:05 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-04-24 03:00:54 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-24 03:00:39 +0200euleritian(~euleritia@77.23.248.47) (Remote host closed the connection)
2025-04-24 02:56:55 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-24 02:53:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 02:52:28 +0200euleritian(~euleritia@77.23.248.47)
2025-04-24 02:52:07 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-04-24 02:48:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 02:46:51 +0200otto_s(~user@p4ff274cd.dip0.t-ipconnect.de)
2025-04-24 02:45:13 +0200otto_s(~user@p4ff2790f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-04-24 02:37:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 02:31:35 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-04-24 02:31:11 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 265 seconds)
2025-04-24 02:30:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 02:28:20 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-04-24 02:26:24 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-24 02:19:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 02:19:43 +0200acidjnk(~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-24 02:17:56 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-24 02:17:53 +0200j1n37-(~j1n37@user/j1n37) (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:15:42 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 252 seconds)
2025-04-24 02:15:21 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-04-24 02:14:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 02:14:17 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-24 02:09:04 +0200comonad(~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de)
2025-04-24 02:08:50 +0200 <mauke> you gotta distinguish between exposing structure and mere text compression
2025-04-24 02:04:49 +0200comonad(~comonad@p54a035f0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-24 02:04:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-24 01:59:51 +0200sim590(~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.0)
2025-04-24 01:59:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-24 01:57:41 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-24 01:57:15 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-24 01:57:00 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-24 01:54:49 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-24 01:54:46 +0200comonad(~comonad@p54a035f0.dip0.t-ipconnect.de)
2025-04-24 01:54:40 +0200 <monochrom> I agree.
2025-04-24 01:54:14 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
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: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:52:24 +0200coius(~comonad@p200300d02734750008696bda49ccf100.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
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: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:48:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-24 01:46:41 +0200 <monochrom> Best of both worlds is obviously indentation and {;}.
2025-04-24 01:43:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn