2025/09/26

Newest at the top

2025-09-26 04:13:56 +0200inline(~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline
2025-09-26 04:13:33 +0200 <dcpagan> _single = _Cons . aside _Empty . _1
2025-09-26 04:13:31 +0200 <dcpagan> _single :: (Cons s s a a, AsEmpty s) => Traversal' s a
2025-09-26 04:13:15 +0200 <dcpagan> I want to define a prism that matches a list with a single element, and then get that element.
2025-09-26 04:03:40 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2025-09-26 04:02:31 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-26 03:59:23 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-26 03:59:23 +0200arandombit(~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919) (Changing host)
2025-09-26 03:59:23 +0200arandombit(~arandombi@2603:7000:4600:ffbe:ddc9:88a6:9e65:4919)
2025-09-26 03:57:33 +0200qqe(~qqq@185.54.23.100)
2025-09-26 03:56:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2025-09-26 03:41:07 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-26 03:35:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-09-26 03:33:35 +0200ChanServ+v haskellbridge
2025-09-26 03:33:35 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-09-26 03:32:27 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-09-26 03:30:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-26 03:25:36 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-26 03:20:15 +0200trickard_trickard
2025-09-26 03:19:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-26 03:19:39 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-26 03:14:07 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-26 03:12:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-26 03:08:06 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-26 03:01:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-26 02:57:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-26 02:57:01 +0200Square2(~Square@user/square) (Ping timeout: 264 seconds)
2025-09-26 02:53:53 +0200Square(~Square4@user/square) Square
2025-09-26 02:46:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-26 02:44:25 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-09-26 02:42:07 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-26 02:41:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-26 02:39:58 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-26 02:33:37 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 264 seconds)
2025-09-26 02:30:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-26 02:29:01 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer)
2025-09-26 02:25:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-26 02:20:10 +0200Zer000(~02@64.137.132.10) (Quit: Leaving)
2025-09-26 02:19:13 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-26 02:15:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-26 02:11:37 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds)
2025-09-26 02:11:06 +0200acidjnk(~acidjnk@p200300d6e7171936b1379f225ef04baa.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-09-26 02:09:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-26 02:09:23 +0200Digit(~user@user/digit) (Read error: Connection reset by peer)
2025-09-26 02:04:32 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 265 seconds)
2025-09-26 01:58:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-26 01:58:06 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-26 01:54:04 +0200st_aldini(~Thunderbi@136.48.46.187) (Remote host closed the connection)
2025-09-26 01:51:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-26 01:48:06 +0200arandombit(~arandombi@user/arandombit) arandombit