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