Newest at the top
2025-02-21 13:27:01 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
2025-02-21 13:25:45 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
2025-02-21 13:22:33 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
2025-02-21 13:19:54 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
2025-02-21 13:18:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
2025-02-21 13:17:35 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-02-21 13:16:10 +0100 | Googulator57 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
2025-02-21 13:15:40 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
2025-02-21 13:15:40 +0100 | tdslrapts^ | (~tdslrapts@108.192.66.114) |
2025-02-21 13:11:26 +0100 | jespada | (~jespada@2800:a4:223d:ab00:6d03:599e:2fec:ccc) jespada |
2025-02-21 13:09:53 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
2025-02-21 13:06:40 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
2025-02-21 13:04:58 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
2025-02-21 13:01:52 +0100 | <Rembane> | \o/ |
2025-02-21 13:00:15 +0100 | <haskellbridge> | <l0negamer> Hi Haskell IRC (and Matrix!). I've posted on the discourse about the monad of no return proposal, and it would be good to get feedback, community input, and/or interest in implementation on the post. You can find it here: https://discourse.haskell.org/t/monad-of-no-return-next-steps/11443?u=l0negamer |
2025-02-21 12:55:33 +0100 | acidjnk | (~acidjnk@p200300d6e7283f0735af0e4522a01c1a.dip0.t-ipconnect.de) acidjnk |
2025-02-21 12:55:14 +0100 | acidjnk | (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-02-21 12:51:10 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
2025-02-21 12:49:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-02-21 12:49:02 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
2025-02-21 12:45:29 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
2025-02-21 12:45:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-21 12:44:40 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-02-21 12:44:10 +0100 | Googulator85 | (~Googulato@81.183.235.203) (Quit: Client closed) |
2025-02-21 12:43:58 +0100 | Googulator57 | (~Googulato@81.183.235.203) |
2025-02-21 12:41:11 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-02-21 12:41:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
2025-02-21 12:33:37 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
2025-02-21 12:28:08 +0100 | tdslrapts^ | (~tdslrapts@108.192.66.114) (Ping timeout: 252 seconds) |
2025-02-21 12:26:38 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 245 seconds) |
2025-02-21 12:25:24 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
2025-02-21 12:16:55 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
2025-02-21 12:10:26 +0100 | Googulator85 | (~Googulato@81.183.235.203) |
2025-02-21 12:09:26 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
2025-02-21 12:08:37 +0100 | tnt2 | tnt1 |
2025-02-21 12:08:37 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
2025-02-21 12:08:06 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-02-21 12:07:28 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-02-21 12:07:06 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2025-02-21 12:04:21 +0100 | <Rembane> | I wonder what they'll do with their newfound knowledge. |
2025-02-21 12:01:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-02-21 11:57:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-21 11:57:12 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
2025-02-21 11:56:20 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
2025-02-21 11:54:19 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
2025-02-21 11:52:01 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
2025-02-21 11:51:28 +0100 | bjarki | (~bjarki@tg-ux07.rhi.hi.is) (Quit: Client closed) |
2025-02-21 11:46:46 +0100 | <bjarki> | Thank you! |
2025-02-21 11:42:48 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Client Quit) |
2025-02-21 11:42:45 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |