Newest at the top
2025-06-13 16:36:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 16:34:58 +0200 | ChanServ | +v haskellbridge |
2025-06-13 16:34:58 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
2025-06-13 16:34:29 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-13 16:29:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 16:29:00 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
2025-06-13 16:28:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 16:23:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2025-06-13 16:22:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 16:22:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 16:21:06 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2025-06-13 16:20:51 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-06-13 16:19:32 +0200 | ski | . o O ( "Follow the types where they lead. Follow the types where they lead. Follow, follow, follow, follow .. follow the types where they lead." ) |
2025-06-13 16:18:06 +0200 | <ski> | kqr : i tend to mean the "lego/puzzle-like" mindset of consdering what pieces you have and what you want to construct .. commonly used when you're writing a sufficiently polymorphic (or say taking existential input) operation, but yea, also e.g. GADTs |
2025-06-13 16:15:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 16:15:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 16:12:27 +0200 | acidjnk_new | (~acidjnk@p54ad54c4.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-06-13 16:11:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-13 16:08:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 16:07:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 16:00:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 16:00:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 15:59:17 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f374cafb09973b7f579.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-06-13 15:58:40 +0200 | acidjnk_new | (~acidjnk@p54ad54c4.dip0.t-ipconnect.de) |
2025-06-13 15:56:09 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
2025-06-13 15:54:08 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
2025-06-13 15:52:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 15:52:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-13 15:51:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-13 15:50:34 +0200 | tabemann | (~tabemann@syn-098-006-070-098.biz.spectrum.com) tabemann |
2025-06-13 15:49:46 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
2025-06-13 15:46:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 15:45:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 15:45:50 +0200 | Guest66 | (~Guest66@2401:4900:883f:ad86:f412:b514:54ba:e15f) (Quit: Client closed) |
2025-06-13 15:38:48 +0200 | Achylles | (~Achylles@45.182.57.28) (Remote host closed the connection) |
2025-06-13 15:38:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 15:38:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 15:37:58 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-06-13 15:33:53 +0200 | ChanServ | +v haskellbridge |
2025-06-13 15:33:53 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
2025-06-13 15:33:16 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
2025-06-13 15:31:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 15:31:13 +0200 | mari14277 | (~mari-este@user/mari-estel) mari-estel |
2025-06-13 15:31:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 15:29:35 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
2025-06-13 15:29:34 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
2025-06-13 15:27:47 +0200 | ChanServ | +v haskellbridge |
2025-06-13 15:27:47 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
2025-06-13 15:27:34 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: Lost terminal) |
2025-06-13 15:27:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |