Logs: liberachat/#haskell
| 2025-12-03 09:54:01 | <chromoblob> | i think you should first find the length, then take (l - n) where l is length |
| 2025-12-03 10:06:16 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-12-03 10:06:55 | <Axman6> | > let dropEnd n xs = zipWith const xs (drop n xs) in dropEnd 3 "ABCDEFG" |
| 2025-12-03 10:06:59 | <lambdabot> | "ABCD" |
| 2025-12-03 10:07:13 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-03 10:07:28 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 10:07:38 | <Axman6> | This has the benefit of being lazy too, it only eevaluates n elements ahead of the the output. lucabtz ^ |
| 2025-12-03 10:07:56 | <Axman6> | zipWith const is an incredibly useful thing to know about |
| 2025-12-03 10:08:16 | <Axman6> | > let dropEnd n xs = zipWith const xs (drop n xs) in dropEnd 3 [0..] |
| 2025-12-03 10:08:20 | <lambdabot> | [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... |
| 2025-12-03 10:08:39 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-12-03 10:09:45 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-12-03 10:09:59 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-03 10:11:32 | <lucabtz> | thank you Axman6 |
| 2025-12-03 10:13:16 | × | Square2 quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2025-12-03 10:18:32 | <lucabtz> | i think Leary's way with foldr should be lazy too |
| 2025-12-03 10:19:03 | × | hsw quits (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-12-03 10:19:27 | → | hsw joins (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) |
| 2025-12-03 10:21:30 | Googulator93 | is now known as Googulator |
| 2025-12-03 10:22:50 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 10:26:56 | → | kuribas` joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-12-03 10:27:03 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-03 10:28:48 | × | kuribas quits (~user@2a02:1808:c7:cecf:a041:fccb:9242:86e9) (Ping timeout: 260 seconds) |
| 2025-12-03 10:30:34 | → | dhil joins (~dhil@5.151.29.137) |
| 2025-12-03 10:31:20 | → | tromp joins (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-03 10:36:29 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-03 10:36:42 | → | califax joins (~califax@user/califx) |
| 2025-12-03 10:40:44 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 10:40:59 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 10:43:40 | × | tromp quits (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-03 10:52:20 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 10:56:55 | trickard_ | is now known as trickard |
| 2025-12-03 10:56:59 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-03 11:01:07 | → | xff0x joins (~xff0x@2405:6580:b080:900:9a8d:d213:9a6f:7468) |
| 2025-12-03 11:01:21 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-12-03 11:04:05 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 11:04:10 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 11:08:20 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-03 11:09:05 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-03 11:09:38 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-12-03 11:11:30 | × | gawen quits (~gawen@user/gawen) (Client Quit) |
| 2025-12-03 11:15:20 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-12-03 11:16:31 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-03 11:20:51 | → | trickard__ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 11:21:16 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-03 11:24:15 | → | Inline joins (~inlinE@2001-4dd3-7fc8-0-f57-6413-8f27-9a87.ipv6dyn.netcologne.de) |
| 2025-12-03 11:27:57 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-03 11:32:58 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-03 11:35:29 | trickard__ | is now known as trickard |
| 2025-12-03 11:43:07 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-03 11:44:07 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-03 11:48:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-03 11:57:07 | <__monty__> | edwardk: Do the AI videos set the tone for future content on your YouTube? |
| 2025-12-03 12:00:56 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-03 12:01:10 | <Leary> | Looks like his account got hacked? |
| 2025-12-03 12:01:22 | <__monty__> | That's what I'm hoping. |
| 2025-12-03 12:01:53 | <__monty__> | But maybe it's to show off the AI hardware they're working on? |
| 2025-12-03 12:05:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-03 12:08:46 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-03 12:10:48 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-03 12:13:30 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) |
| 2025-12-03 12:15:34 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 12:16:03 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-03 12:17:52 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 246 seconds) |
| 2025-12-03 12:23:21 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-03 12:24:54 | → | p3n joins (~p3n@217.198.124.246) |
| 2025-12-03 12:31:34 | → | Square2 joins (~Square4@user/square) |
| 2025-12-03 12:34:14 | × | yin quits (~zero@user/zero) (Ping timeout: 260 seconds) |
| 2025-12-03 12:46:20 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.0) |
| 2025-12-03 12:48:41 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-03 12:50:34 | × | causal quits (~eric@50.46.156.145) (Quit: WeeChat 4.6.3) |
| 2025-12-03 13:02:44 | <lucabtz> | is there a way i can improve the Day type here https://paste.tomsmeding.com/pO7MeUTu |
| 2025-12-03 13:03:38 | <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 13:03:55 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 264 seconds) |
| 2025-12-03 13:04:43 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:28ad:499f:4e0e:de68) |
| 2025-12-03 13:04:43 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:28ad:499f:4e0e:de68) (Changing host) |
| 2025-12-03 13:04:43 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-12-03 13:04:48 | → | yin joins (~zero@user/zero) |
| 2025-12-03 13:07:29 | × | akegalj quits (~akegalj@78-0-210-92.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2025-12-03 13:09:19 | <tomsmeding> | what doesn't work about records? |
| 2025-12-03 13:09:51 | <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 13:09:59 | <tomsmeding> | ah |
| 2025-12-03 13:12:07 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-03 13:13:54 | <lucabtz> | yeah selectors dont work |
| 2025-12-03 13:14:10 | <lucabtz> | sorry i wasnt very clear |
| 2025-12-03 13:14:23 | <lucabtz> | but yeah your idea seems good, at least for documentation purpose |
| 2025-12-03 13:17:06 | AlexNoo_ | is now known as AlexNoo |
| 2025-12-03 13:17:45 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-12-03 13:17:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-03 13:18:08 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-03 13:18:49 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 13:19:03 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 13:20:04 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-03 13:20:09 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-03 13:23:27 | → | akegalj joins (~akegalj@141-138-27-206.dsl.iskon.hr) |
| 2025-12-03 13:43:43 | <lucabtz> | Leary: https://paste.tomsmeding.com/fuEJWIam looks great! |
| 2025-12-03 13:44:41 | <lucabtz> | day03 = Day "2025-3" parseInput solve1 solve2 (testInput, testOutput) |
| 2025-12-03 13:44:51 | <lucabtz> | now it is only the construction which looks ugly |
| 2025-12-03 13:45:46 | <lucabtz> | though i could initialize them with the brackets i guess |
| 2025-12-03 13:48:28 | <Leary> | You can also use `NamedFieldPuns` in construction if you name your functions correspondingly. |
All times are in UTC.