Newest at the top
2024-10-28 00:30:31 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-28 00:30:02 +0100 | sadmax | (~user@64.130.91.66) (Read error: Connection reset by peer) |
2024-10-28 00:26:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-28 00:25:34 +0100 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 260 seconds) |
2024-10-28 00:16:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-28 00:14:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-28 00:09:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-28 00:07:27 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-10-28 00:06:50 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb2791fd33152230db35.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-10-28 00:03:05 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 23:59:55 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-10-27 23:58:01 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22e6:c94f:1c0:b044:1c91:65be) (Read error: Connection reset by peer) |
2024-10-27 23:57:58 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22e6:c94f:1c0:b044:1c91:65be) |
2024-10-27 23:57:07 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
2024-10-27 23:55:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 23:55:35 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:74e1:c8a:7c82:4a6e:f6bc:e938) (Ping timeout: 252 seconds) |
2024-10-27 23:51:33 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-27 23:51:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 23:50:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8be3:6384:4679:8a68) |
2024-10-27 23:50:14 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:74e1:c8a:7c82:4a6e:f6bc:e938) |
2024-10-27 23:49:06 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-27 23:48:37 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-27 23:47:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:aed9:931d:949:6711) (Ping timeout: 264 seconds) |
2024-10-27 23:40:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 23:37:47 +0100 | <monochrom> | Sure, blogs are cheap, books are expensive. You get what you pay for. |
2024-10-27 23:37:08 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) (Read error: Connection reset by peer) |
2024-10-27 23:36:45 +0100 | <monochrom> | Blogs are not cohesive. Books are. |
2024-10-27 23:36:33 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) |
2024-10-27 23:36:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 23:30:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 23:28:34 +0100 | Everything | (~Everythin@195.138.86.118) |
2024-10-27 23:26:33 +0100 | Everything | (~Everythin@178-133-204-231.mobile.vf-ua.net) (Ping timeout: 252 seconds) |
2024-10-27 23:25:32 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) (Read error: Connection reset by peer) |
2024-10-27 23:25:12 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) |
2024-10-27 23:25:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 23:24:22 +0100 | guestycute | (~guestycut@75.149.164.102) (Client Quit) |
2024-10-27 23:22:49 +0100 | <guestycute> | hmm that seems cool! i will look into it ^_^ |
2024-10-27 23:22:39 +0100 | guestycute | (~guestycut@75.149.164.102) |
2024-10-27 23:22:25 +0100 | <geekosaur> | (https://reasonablypolymorphic.com/) |
2024-10-27 23:22:08 +0100 | <geekosaur> | that's a book site but it links to the author's blog which is about type level programming |
2024-10-27 23:21:47 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-27 23:21:46 +0100 | guestycute | (~guestycut@67-134-33-194.dia.static.qwest.net) (Quit: Client closed) |
2024-10-27 23:21:35 +0100 | <geekosaur> | https://thinkingwithtypes.com/ ? |
2024-10-27 23:21:22 +0100 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
2024-10-27 23:21:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 23:19:00 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) (Read error: Connection reset by peer) |
2024-10-27 23:18:29 +0100 | <guestycute> | sorry if that sounds silly lol |
2024-10-27 23:18:24 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-10-27 23:17:28 +0100 | <guestycute> | does anyone know some nice resources for learning about doing more like.. type-level stuff? i am kindof messing around with kinds and GADTs and stuff, but im wondering if there is something cohesiv |
2024-10-27 23:15:27 +0100 | guestycute | (~guestycut@67-134-33-194.dia.static.qwest.net) |