2025/08/08

Newest at the top

2025-08-08 04:15:24 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) (Server closed connection)
2025-08-08 04:10:59 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-08 04:07:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-08 04:00:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 03:58:31 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-08 03:55:35 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-08 03:53:43 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2025-08-08 03:50:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-08 03:45:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 03:40:42 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-08 03:36:58 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-08-08 03:36:44 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-08 03:35:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-08 03:30:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 03:18:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-08 03:18:35 +0200ames(~amelia@offtopia/offtopian/amelia) {ames}
2025-08-08 03:18:24 +0200ames(~amelia@offtopia/offtopian/amelia) (Server closed connection)
2025-08-08 03:17:59 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-08-08 03:15:09 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-08 03:13:18 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-08-08 03:11:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 03:07:20 +0200chewybread(~chewybrea@user/chewybread) (Remote host closed the connection)
2025-08-08 03:06:08 +0200weary-traveler(~user@user/user363627) user363627
2025-08-08 03:05:50 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-08 03:05:29 +0200chewybread(~chewybrea@user/chewybread) chewybread
2025-08-08 03:01:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-08 02:57:29 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-08 02:56:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 02:56:24 +0200xff0x(~xff0x@2405:6580:b080:900:b6cd:f0c8:c2fb:2237) (Ping timeout: 276 seconds)
2025-08-08 02:50:50 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-08-08 02:50:32 +0200weary-traveler(~user@user/user363627) user363627
2025-08-08 02:45:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-08 02:41:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 02:36:38 +0200iteratee(~kyle@199.119.84.78)
2025-08-08 02:36:31 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-08 02:36:24 +0200iteratee_(~kyle@199.119.84.78) (Server closed connection)
2025-08-08 02:31:41 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-08-08 02:30:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-08-08 02:25:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 02:21:45 +0200vetkat(~vetkat@user/vetkat) vetkat
2025-08-08 02:16:58 +0200vetkat(~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish)
2025-08-08 02:14:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-08 02:13:13 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-08 02:10:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 02:08:07 +0200Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-08-08 02:07:24 +0200acidjnk(~acidjnk@p200300d6e7171956e90dafb18b04e6cb.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-08-08 02:03:51 +0200Ranhir(~Ranhir@157.97.53.139) (Remote host closed the connection)
2025-08-08 02:03:36 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
2025-08-08 02:03:27 +0200 <Leary> energizer: I don't know, but it follows from (half of) homomorphism (for all xs, ys. h (xs <> ys) = h xs <> h ys) and will hold for any `foldMap f`.
2025-08-08 02:03:24 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Server closed connection)