Newest at the top
| 2025-12-03 14:48:28 +0100 | <Leary> | You can also use `NamedFieldPuns` in construction if you name your functions correspondingly. |
| 2025-12-03 14:45:46 +0100 | <lucabtz> | though i could initialize them with the brackets i guess |
| 2025-12-03 14:44:51 +0100 | <lucabtz> | now it is only the construction which looks ugly |
| 2025-12-03 14:44:41 +0100 | <lucabtz> | day03 = Day "2025-3" parseInput solve1 solve2 (testInput, testOutput) |
| 2025-12-03 14:43:43 +0100 | <lucabtz> | Leary: https://paste.tomsmeding.com/fuEJWIam looks great! |
| 2025-12-03 14:23:27 +0100 | akegalj | (~akegalj@141-138-27-206.dsl.iskon.hr) |
| 2025-12-03 14:20:09 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-03 14:20:04 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-12-03 14:19:03 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 14:18:49 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 14:18:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-03 14:17:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-03 14:17:45 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-03 14:17:06 +0100 | AlexNoo_ | AlexNoo |
| 2025-12-03 14:14:23 +0100 | <lucabtz> | but yeah your idea seems good, at least for documentation purpose |
| 2025-12-03 14:14:10 +0100 | <lucabtz> | sorry i wasnt very clear |
| 2025-12-03 14:13:54 +0100 | <lucabtz> | yeah selectors dont work |
| 2025-12-03 14:12:07 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-03 14:09:59 +0100 | <tomsmeding> | ah |
| 2025-12-03 14:09:51 +0100 | <Leary> | lucabtz: I would still name the fields, then use `NamedFieldPuns` when pattern matching. It's just selectors that won't work. |
| 2025-12-03 14:09:19 +0100 | <tomsmeding> | what doesn't work about records? |
| 2025-12-03 14:07:29 +0100 | akegalj | (~akegalj@78-0-210-92.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2025-12-03 14:04:48 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-03 14:04:43 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-12-03 14:04:43 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:28ad:499f:4e0e:de68) (Changing host) |
| 2025-12-03 14:04:43 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:28ad:499f:4e0e:de68) |
| 2025-12-03 14:03:55 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 264 seconds) |
| 2025-12-03 14:03:38 +0100 | <lucabtz> | i dont like it has a lot of parameters with no names, but records dont seem to work with existential types (i can put them but i still need to pattern match it seems) |
| 2025-12-03 14:02:44 +0100 | <lucabtz> | is there a way i can improve the Day type here https://paste.tomsmeding.com/pO7MeUTu |
| 2025-12-03 13:50:34 +0100 | causal | (~eric@50.46.156.145) (Quit: WeeChat 4.6.3) |
| 2025-12-03 13:48:41 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-03 13:46:20 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.0) |
| 2025-12-03 13:34:14 +0100 | yin | (~zero@user/zero) (Ping timeout: 260 seconds) |
| 2025-12-03 13:31:34 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-12-03 13:24:54 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-12-03 13:23:21 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-03 13:17:52 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 246 seconds) |
| 2025-12-03 13:16:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-03 13:15:34 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 13:13:30 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) |
| 2025-12-03 13:10:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-03 13:08:46 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-03 13:05:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-03 13:01:53 +0100 | <__monty__> | But maybe it's to show off the AI hardware they're working on? |
| 2025-12-03 13:01:22 +0100 | <__monty__> | That's what I'm hoping. |
| 2025-12-03 13:01:10 +0100 | <Leary> | Looks like his account got hacked? |
| 2025-12-03 13:00:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-03 12:57:07 +0100 | <__monty__> | edwardk: Do the AI videos set the tone for future content on your YouTube? |
| 2025-12-03 12:48:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-03 12:44:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |