2025/02/07

Newest at the top

2025-02-07 15:46:25 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-02-07 15:41:13 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-02-07 15:40:03 +0100weary-traveler(~user@user/user363627) user363627
2025-02-07 15:38:31 +0100comerijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-07 15:27:56 +0100alp(~alp@2001:861:8ca0:4940:10d4:1c8:6378:f058) (Remote host closed the connection)
2025-02-07 15:26:14 +0100alp(~alp@2001:861:8ca0:4940:10d4:1c8:6378:f058)
2025-02-07 15:25:43 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-02-07 15:25:23 +0100alp(~alp@2001:861:8ca0:4940:44a5:7d99:84a4:3579) (Remote host closed the connection)
2025-02-07 15:25:07 +0100otbergsten(~otbergste@user/otbergsten) (Remote host closed the connection)
2025-02-07 15:23:39 +0100alp(~alp@2001:861:8ca0:4940:44a5:7d99:84a4:3579)
2025-02-07 15:23:34 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-02-07 15:23:14 +0100ash3en(~Thunderbi@146.70.124.222) ash3en
2025-02-07 15:22:51 +0100alp(~alp@2001:861:8ca0:4940:a3a2:6e88:379e:aa42) (Remote host closed the connection)
2025-02-07 15:22:39 +0100ash3en(~Thunderbi@146.70.124.222) (Client Quit)
2025-02-07 15:21:25 +0100 <Rembane> kaol: It's a good guilty pleasure
2025-02-07 15:21:07 +0100alp(~alp@2001:861:8ca0:4940:a3a2:6e88:379e:aa42)
2025-02-07 15:20:18 +0100alp(~alp@2001:861:8ca0:4940:2075:3d97:bc20:fbec) (Remote host closed the connection)
2025-02-07 15:19:57 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-02-07 15:19:41 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-02-07 15:19:06 +0100ash3en(~Thunderbi@146.70.124.222) ash3en
2025-02-07 15:18:35 +0100alp(~alp@2001:861:8ca0:4940:2075:3d97:bc20:fbec)
2025-02-07 15:17:46 +0100alp(~alp@2001:861:8ca0:4940:96cf:da97:63ee:4d39) (Remote host closed the connection)
2025-02-07 15:17:29 +0100ash3en(~Thunderbi@146.70.124.222) (Quit: ash3en)
2025-02-07 15:17:06 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-07 15:16:06 +0100alp(~alp@2001:861:8ca0:4940:96cf:da97:63ee:4d39)
2025-02-07 15:15:09 +0100Googulator74Googulator
2025-02-07 15:14:40 +0100Googulator(~Googulato@81.183.235.203) (Ping timeout: 240 seconds)
2025-02-07 15:12:41 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-02-07 15:12:41 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-07 15:10:45 +0100Googulator74(~Googulato@81.183.235.203)
2025-02-07 15:09:55 +0100 <kaol> Or I could just use flip fix initialvalue $ \loop x -> ... I guess.
2025-02-07 15:07:50 +0100 <kaol> My guilty pleasure: -XBlockArguments just so that I can write initialValue & fix \loop x -> ...
2025-02-07 15:04:08 +0100Googulator(~Googulato@81.183.235.203)
2025-02-07 14:58:51 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-02-07 14:56:55 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-02-07 14:52:11 +0100ash3en(~Thunderbi@146.70.124.222) ash3en
2025-02-07 14:51:51 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2025-02-07 14:47:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-02-07 14:43:22 +0100Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2025-02-07 14:32:54 +0100Xe(~Xe@perl/impostor/xe) Xe
2025-02-07 14:31:55 +0100akegalj(~akegalj@89-172-213-142.adsl.net.t-com.hr)
2025-02-07 14:30:32 +0100Xe(~Xe@perl/impostor/xe) (Remote host closed the connection)
2025-02-07 14:28:20 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-07 14:23:56 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-07 14:16:24 +0100akegalj(~akegalj@95.168.121.14) (Read error: Connection reset by peer)
2025-02-07 14:16:14 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-02-07 14:15:08 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-02-07 14:08:00 +0100mange(~user@user/mange) (Quit: Zzz...)
2025-02-07 14:07:32 +0100Square2(~Square4@user/square) Square
2025-02-07 14:01:59 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)