Newest at the top
| 2025-10-08 11:10:06 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 11:07:17 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-08 11:06:42 +0200 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 11:05:43 +0200 | Googulator6 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 11:05:42 +0200 | Googulator63 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 11:04:43 +0200 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Quit: fp) |
| 2025-10-08 10:59:38 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-10-08 10:56:55 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-10-08 10:53:56 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-08 10:51:25 +0200 | <[exa]> | wait for the type tetris equivalent of smashing in the 4-square stick :D |
| 2025-10-08 10:51:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-08 10:49:37 +0200 | <fgarcia> | [exa]: i have been learning haskell these few weeks and got curious enough to check out other types for the numbers. i am liking how the compiler is helping me make things more general |
| 2025-10-08 10:47:19 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 10:47:12 +0200 | craunts7953 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-08 10:45:12 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 10:44:59 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 10:44:29 +0200 | <[exa]> | fgarcia: type tetris is underrated |
| 2025-10-08 10:43:21 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-10-08 10:40:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 10:40:43 +0200 | Googulator79 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 10:40:43 +0200 | Googulator6 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 10:39:02 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-08 10:35:53 +0200 | <fgarcia> | i think type tetris is real. ghc is cool |
| 2025-10-08 10:32:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 10:29:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-08 10:27:37 +0200 | jackneill__ | (~Jackneill@188-143-82-121.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2025-10-08 10:27:06 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-08 10:26:13 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-08 10:24:14 +0200 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-10-08 10:20:48 +0200 | trampi | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-08 10:20:07 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 10:15:26 +0200 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-08 10:15:15 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 10:08:47 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 10:08:33 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 10:04:49 +0200 | fp1 | fp |
| 2025-10-08 10:04:49 +0200 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Ping timeout: 264 seconds) |
| 2025-10-08 10:04:18 +0200 | fp1 | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 10:02:33 +0200 | fp1 | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 10:01:40 +0200 | fp1 | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 10:00:41 +0200 | Googulator34 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 10:00:41 +0200 | Googulator79 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 10:00:07 +0200 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 09:55:57 +0200 | trampi8 | trampi |
| 2025-10-08 09:55:23 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-08 09:52:32 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 265 seconds) |
| 2025-10-08 09:50:59 +0200 | Googulator34 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 09:50:58 +0200 | Googulator32 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 09:45:03 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-08 09:44:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |