Newest at the top
2024-10-10 13:17:41 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
2024-10-10 13:15:56 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) (Quit: I was getting bored) |
2024-10-10 13:11:47 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
2024-10-10 13:11:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-10-10 13:06:36 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) |
2024-10-10 13:06:19 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) (Client Quit) |
2024-10-10 13:05:08 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-10 13:04:36 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
2024-10-10 13:04:21 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) |
2024-10-10 13:03:02 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 13:01:53 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:472f:e50a:4274:4d00) |
2024-10-10 13:00:32 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-10 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-10 12:48:17 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 12:45:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-10 12:39:23 +0200 | mari-estel | (~mari-este@user/danza) (Quit: disgusting) |
2024-10-10 12:33:57 +0200 | td_ | (~td@i53870924.versanet.de) td_ |
2024-10-10 12:29:59 +0200 | td_ | (~td@i53870924.versanet.de) (Quit: waking up from the american dream ...) |
2024-10-10 12:29:32 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-10 12:21:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 12:20:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-10-10 12:19:00 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:a9:fe28:b6b6:f17b) (Ping timeout: 272 seconds) |
2024-10-10 12:17:06 +0200 | CiaoSen | (~Jura@2a05:5800:224:6a00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
2024-10-10 12:16:45 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-10 12:15:01 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-10 12:09:42 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-10 12:05:41 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-10 12:03:43 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
2024-10-10 12:02:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) alexherbo2 |
2024-10-10 11:58:41 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 11:56:49 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-10 11:54:25 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-10 11:53:08 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
2024-10-10 11:51:49 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2024-10-10 11:50:23 +0200 | ash3en | (~Thunderbi@149.222.134.179) (Quit: ash3en) |
2024-10-10 11:33:55 +0200 | ash3en | (~Thunderbi@149.222.134.179) ash3en |
2024-10-10 11:31:33 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
2024-10-10 11:28:49 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 11:27:24 +0200 | fireking` | (~user@36-227-119-41.dynamic-ip.hinet.net) |
2024-10-10 11:27:07 +0200 | ash3en | (~Thunderbi@149.222.134.179) (Ping timeout: 264 seconds) |
2024-10-10 11:25:36 +0200 | famubu | (~julinuser@14.139.174.50) (Quit: leaving) |
2024-10-10 11:23:20 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
2024-10-10 11:22:22 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 11:21:48 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
2024-10-10 11:14:59 +0200 | <probie> | I was sure I'd seen it somewhere as a newtype |
2024-10-10 11:14:42 +0200 | <yahb2> | [False,False,False,False,False,True,False,False,False,True] |
2024-10-10 11:14:42 +0200 | <probie> | % map ((getPredicate . foldMap Predicate) [(> 5), even, (/= 8)]) [1..10] |
2024-10-10 11:14:19 +0200 | <yahb2> | <no output> |
2024-10-10 11:14:19 +0200 | <probie> | % import Data.Functor.Contravariant |
2024-10-10 11:08:28 +0200 | <lambdabot> | [False,False,False,False,False,True,False,False,False,True] |