Newest at the top
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) |
2024-10-27 23:15:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 23:14:03 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-10-27 23:13:47 +0100 | Vq | (~vq@90-226-100-90-no600.tbcn.telia.com) (Ping timeout: 252 seconds) |
2024-10-27 23:13:00 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) |
2024-10-27 23:12:45 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:beb:c91d:f90b:4897:5a56:f166) (Ping timeout: 276 seconds) |
2024-10-27 23:09:02 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 23:06:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-27 23:06:34 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-27 23:06:01 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-10-27 23:05:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 23:03:48 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:beb:c91d:f90b:4897:5a56:f166) |
2024-10-27 23:03:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Ping timeout: 248 seconds) |
2024-10-27 23:02:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 23:01:48 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-27 23:01:00 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
2024-10-27 22:58:23 +0100 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 252 seconds) |
2024-10-27 22:55:50 +0100 | hgolden__ | (~hgolden@23.162.40.110) hgolden |
2024-10-27 22:52:55 +0100 | vglfr | (~vglfr@2607:fb91:836:4cfb:ad2:e57:b394:3d9a) (Read error: Connection reset by peer) |
2024-10-27 22:52:41 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-27 22:51:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 22:48:40 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-27 22:47:53 +0100 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
2024-10-27 22:47:28 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-27 22:46:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 22:43:17 +0100 | danza | (~danza@user/danza) danza |
2024-10-27 22:40:24 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-27 22:39:51 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
2024-10-27 22:39:04 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |