2026/02/28

Newest at the top

2026-02-28 22:40:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-02-28 22:39:47 +0100pavonia(~user@user/siracusa) siracusa
2026-02-28 22:38:07 +0100slomp_(~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Ping timeout: 264 seconds)
2026-02-28 22:35:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-28 22:32:38 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-02-28 22:32:27 +0100stackdroid18(~stackdroi@user/stackdroid) stackdroid
2026-02-28 22:32:04 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-28 22:31:04 +0100lbseale(~quassel@user/ep1ctetus) (Client Quit)
2026-02-28 22:30:21 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2026-02-28 22:30:07 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-28 22:26:30 +0100Enrico63(~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed)
2026-02-28 22:25:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-28 22:20:50 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 248 seconds)
2026-02-28 22:20:42 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2026-02-28 22:20:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-28 22:18:27 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2026-02-28 22:16:07 +0100rainbyte(~rainbyte@186.22.19.219) rainbyte
2026-02-28 22:10:05 +0100madresch(~Thunderbi@user/madresch) madresch
2026-02-28 22:09:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-02-28 22:08:18 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!)
2026-02-28 22:02:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-28 22:01:43 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-28 21:57:36 +0100rainbyte_(~rainbyte@186.22.19.219) (Ping timeout: 246 seconds)
2026-02-28 21:57:27 +0100n0den1te(~n0den1te@user/n0den1te) (Quit: leaving)
2026-02-28 21:52:35 +0100 <tomsmeding> probably monochrom was just right all along
2026-02-28 21:52:25 +0100 <tomsmeding> indeed
2026-02-28 21:52:17 +0100 <int-e> but there's no traversal here; f is just applied to the entire list that results from sequence
2026-02-28 21:52:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-28 21:51:29 +0100 <tomsmeding> yes
2026-02-28 21:51:23 +0100 <EvanR> djinn doesn't know traversable, literally unusable
2026-02-28 21:49:29 +0100 <tomsmeding> it just feels like one of those things that is bound to have some funny combinator
2026-02-28 21:49:20 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2026-02-28 21:49:17 +0100 <tomsmeding> yes
2026-02-28 21:49:05 +0100 <monochrom> I think it's already very cute. :)
2026-02-28 21:47:32 +0100 <tomsmeding> (no, this is not traverse)
2026-02-28 21:47:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-28 21:47:06 +0100 <tomsmeding> Is there a cute way to write `f <$> sequence x`?
2026-02-28 21:43:45 +0100emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-02-28 21:43:21 +0100rainbyte(~rainbyte@186.22.19.219) (Read error: Connection reset by peer)
2026-02-28 21:42:34 +0100rainbyte_(~rainbyte@186.22.19.219) rainbyte
2026-02-28 21:40:56 +0100stackdroid18(~stackdroi@user/stackdroid) (Ping timeout: 252 seconds)
2026-02-28 21:40:30 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-28 21:38:43 +0100misterfish(~misterfis@84.53.85.146) misterfish
2026-02-28 21:37:18 +0100polykernel_polykernel
2026-02-28 21:37:18 +0100polykernel(~polykerne@user/polykernel) (Ping timeout: 246 seconds)
2026-02-28 21:36:55 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2026-02-28 21:36:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-28 21:35:08 +0100polykernel_(~polykerne@user/polykernel) polykernel
2026-02-28 21:34:50 +0100euphores(~SASL_euph@user/euphores) euphores
2026-02-28 21:33:54 +0100rainbyte_(~rainbyte@186.22.19.214) (Ping timeout: 255 seconds)