2025/02/01

Newest at the top

2025-02-01 06:57:32 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-02-01 06:56:39 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-02-01 06:56:33 +0100Guest93(~Guest62@c-73-217-79-154.hsd1.co.comcast.net)
2025-02-01 06:56:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 06:53:32 +0100Flow(~none@gentoo/developer/flow) flow
2025-02-01 06:49:29 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 252 seconds)
2025-02-01 06:45:16 +0100EvanR(~EvanR@user/evanr) EvanR
2025-02-01 06:45:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-01 06:44:53 +0100EvanR(~EvanR@user/evanr) (Ping timeout: 248 seconds)
2025-02-01 06:40:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 06:37:45 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-02-01 06:34:19 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-01 06:30:51 +0100LearsLeary
2025-02-01 06:30:48 +0100Leary(~Leary@user/Leary/x-0910699) (Ping timeout: 252 seconds)
2025-02-01 06:30:32 +0100Lears(~Leary@user/Leary/x-0910699) Leary
2025-02-01 06:30:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-01 06:29:42 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-01 06:28:54 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Ping timeout: 260 seconds)
2025-02-01 06:25:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 06:22:51 +0100prasad(~Thunderbi@2601:243:c001:3f07::fe) (Ping timeout: 246 seconds)
2025-02-01 06:18:38 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-02-01 06:14:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-01 06:09:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 05:58:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-01 05:54:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 05:45:52 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-02-01 05:43:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-01 05:41:18 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-01 05:39:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 05:35:07 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-01 05:28:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-01 05:26:16 +0100aforemny(~aforemny@i577B135A.versanet.de) (Ping timeout: 252 seconds)
2025-02-01 05:25:14 +0100aforemny_(~aforemny@2001:9e8:6ce1:bc00:8ce8:3eef:6047:48a7) aforemny
2025-02-01 05:23:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 05:13:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-01 05:12:04 +0100ensyde(~ensyde@2601:5c6:c200:6dc0::64a2) ensyde
2025-02-01 05:10:08 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-02-01 05:08:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 04:57:43 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-02-01 04:57:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-01 04:54:25 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-01 04:50:13 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-01 04:48:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 04:43:13 +0100td_(~td@i5387092E.versanet.de) (Ping timeout: 248 seconds)
2025-02-01 04:41:41 +0100 <euouae> :P
2025-02-01 04:41:41 +0100 <euouae> I'm good
2025-02-01 04:41:35 +0100 <EvanR> haskell is illogical so you're good
2025-02-01 04:41:28 +0100 <EvanR> type theory has to do with logic
2025-02-01 04:41:18 +0100 <euouae> perhaps only interested as it pertains to my purposes of writing software
2025-02-01 04:41:01 +0100 <euouae> I'm not super interested in the crazy type theory stuff; I already had some exposure with Coq so at least I saw it in action elsewhere