Newest at the top
| 2026-01-22 12:08:19 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-22 12:07:20 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-22 12:07:17 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-22 12:06:55 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-22 11:54:44 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2026-01-22 11:54:08 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-22 11:50:51 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-22 11:49:38 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 11:49:13 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-01-22 11:37:30 +0100 | <gentauro> | iirc, SPJ mentions Kmett in that talk (Haskell eXchange 2013) with pure admiration |
| 2026-01-22 11:33:34 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-22 11:18:26 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2026-01-22 11:16:21 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-01-22 11:12:08 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2026-01-22 11:11:43 +0100 | kimiamania4 | kimiamania |
| 2026-01-22 11:11:43 +0100 | kimiamania | (~b4b260c9@user/kimiamania) (Ping timeout: 264 seconds) |
| 2026-01-22 11:11:28 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-22 11:10:26 +0100 | kimiamania4 | (~b4b260c9@user/kimiamania) kimiamania |
| 2026-01-22 11:10:15 +0100 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2026-01-22 11:07:02 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 11:06:35 +0100 | <lortabac> | I may be wrong |
| 2026-01-22 11:05:15 +0100 | <danza> | oh i thought his was the first. Definitely one of the most extensive |
| 2026-01-22 11:02:40 +0100 | <lortabac> | `lens` is the one by Kmett |
| 2026-01-22 11:02:28 +0100 | <lortabac> | `lenses` is older than `lens` IIRC |
| 2026-01-22 11:02:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 11:01:37 +0100 | <gentauro> | my last leptop, I had the Haskell logo sticker cos Kmett gave me one :) |
| 2026-01-22 11:00:29 +0100 | <gentauro> | jackdk: wasn't it Edward Kmett that implemented `lenses` in Haskell? |
| 2026-01-22 10:59:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2026-01-22 10:50:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-22 10:49:22 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-22 10:49:22 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-01-22 10:49:22 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2026-01-22 10:47:18 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63 |
| 2026-01-22 10:45:37 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 10:44:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 10:43:44 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-01-22 10:35:59 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-01-22 10:30:26 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-01-22 10:28:30 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2026-01-22 10:25:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 10:22:50 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2026-01-22 10:21:01 +0100 | chele | (~chele@user/chele) chele |
| 2026-01-22 10:19:35 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-22 10:10:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-22 10:02:01 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-22 09:51:37 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-22 09:51:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-22 09:44:07 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2026-01-22 09:39:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-22 09:37:00 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |