2025/03/30

Newest at the top

2025-03-30 12:45:44 +0200 <Rembane> [exa]: I think we have some of those. They're usually Monoid/Semigroup newtypes.
2025-03-30 12:44:53 +0200 <[exa]> Rembane: so many opposites. Why don't we have a Up Down type?
2025-03-30 12:41:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-30 12:36:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-30 12:24:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-30 12:15:49 +0200NewtonTrendy(~ubuntu@user/bopqod) (Quit: WeeChat 3.5)
2025-03-30 12:14:23 +0200polyphem(~rod@p4fc2c911.dip0.t-ipconnect.de) polyphem
2025-03-30 12:11:29 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-30 11:59:42 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-03-30 11:59:24 +0200vgtw(~vgtw@user/vgtw) (Ping timeout: 260 seconds)
2025-03-30 11:58:23 +0200hattckory(~hattckory@70.27.118.207)
2025-03-30 11:56:51 +0200ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-30 11:54:18 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-03-30 11:48:44 +0200vgtw(~vgtw@user/vgtw) (Ping timeout: 252 seconds)
2025-03-30 11:48:32 +0200__monty__(~toonn@user/toonn) toonn
2025-03-30 11:48:29 +0200 <Rembane> ...for some values of opposite. :D
2025-03-30 11:48:21 +0200 <Rembane> There's an opposite to Either that's very useful for validating e.g. forms. When there can be loads of errors in different places and execution should never stop. Just seeing the definition makes me surprisingly happy: https://hackage.haskell.org/package/validation-1.1.3/docs/Data-Validation.html#t:Validation
2025-03-30 11:43:45 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-30 11:39:06 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-30 11:33:11 +0200tromp(~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8)
2025-03-30 11:25:46 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-30 11:18:53 +0200XZDXXZDX_
2025-03-30 11:08:27 +0200acidjnk(~acidjnk@p200300d6e71c4f61790abc3a16c69e44.dip0.t-ipconnect.de) acidjnk
2025-03-30 10:51:18 +0200XZDX(~xzdx@user/XZDX) XZDX
2025-03-30 10:50:48 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-30 10:39:09 +0200DigitteknohippieDigit
2025-03-30 10:37:08 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-30 10:36:51 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-30 10:35:24 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-03-30 10:34:40 +0200tromp(~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-03-30 10:33:07 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-03-30 10:31:11 +0200vgtw_(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2025-03-30 10:26:13 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-30 10:20:24 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-03-30 10:15:46 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-30 10:14:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-30 10:11:36 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-30 10:03:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-30 09:59:48 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-30 09:58:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-30 09:56:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-03-30 09:54:59 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-30 09:53:59 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-03-30 09:51:25 +0200Digitteknohippie(~user@user/digit) Digit
2025-03-30 09:48:53 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-03-30 09:48:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-30 09:48:12 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-03-30 09:43:27 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 246 seconds)
2025-03-30 09:19:03 +0200cawfee(root@2001:19f0:4400:79a1::babe) qjqqyy
2025-03-30 09:18:39 +0200cawfee(root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.5.1)