Newest at the top
| 2025-12-03 10:29:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-03 10:29:26 +0100 | hdggxin | (~hdggxin@223.181.46.243) |
| 2025-12-03 10:28:41 +0100 | kuribas | (~user@2a02:1808:c7:cecf:a041:fccb:9242:86e9) kuribas |
| 2025-12-03 10:27:42 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 10:26:45 +0100 | Inline | (~inlinE@2001-4dd3-7fc8-0-434a-a4b1-7362-b14b.ipv6dyn.netcologne.de) (Ping timeout: 252 seconds) |
| 2025-12-03 10:26:12 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-12-03 10:25:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-03 10:25:18 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 10:17:00 +0100 | <lucabtz> | yeah thats cool |
| 2025-12-03 10:16:46 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 10:16:33 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 10:14:07 +0100 | acidjnk | (~acidjnk@p200300d6e71719231986af8ebf40e0fc.dip0.t-ipconnect.de) acidjnk |
| 2025-12-03 10:11:44 +0100 | <Leary> | This should be moderately faster: https://play.haskell.org/saved/E1adTNLc |
| 2025-12-03 10:10:49 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 10:10:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 10:09:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-03 10:08:55 +0100 | X-Scale | (~ARM@50.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-03 10:08:50 +0100 | <lucabtz> | i think with a list of length n repeating init N times should have complexity O(n * N), while yeah reverse . drop N . reverse should scale like 2n + N ~ O(n) |
| 2025-12-03 10:07:35 +0100 | Googulator86 | Googulator |
| 2025-12-03 10:06:28 +0100 | <lucabtz> | yeah i though of that too |
| 2025-12-03 10:06:08 +0100 | <Leary> | lucabtz: There won't be a /great/ way, but `reverse . drop n . reverse` should be better than that. |
| 2025-12-03 10:03:49 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-12-03 10:03:38 +0100 | <lucabtz> | im composing init with itself n times, but im pretty sure it isnt a great way |
| 2025-12-03 10:03:13 +0100 | <lucabtz> | is there a way to drop the last n elements of a list? |
| 2025-12-03 10:01:03 +0100 | mesaoptimizer | (~user@user/PapuaHardyNet) PapuaHardyNet |
| 2025-12-03 10:00:47 +0100 | mesaoptimizer | (~user@user/PapuaHardyNet) (Client Quit) |
| 2025-12-03 10:00:37 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-03 09:59:35 +0100 | mesaoptimizer | (~user@user/PapuaHardyNet) PapuaHardyNet |
| 2025-12-03 09:56:52 +0100 | inline__ | (~wbooze@cgn-195-14-219-152.nc.de) (Quit: Leaving) |
| 2025-12-03 09:54:54 +0100 | fp1 | (~Thunderbi@130.233.53.128) (Ping timeout: 260 seconds) |
| 2025-12-03 09:47:39 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 09:46:07 +0100 | fp1 | (~Thunderbi@130.233.53.128) fp |
| 2025-12-03 09:40:52 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 09:40:45 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 09:38:22 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-12-03 09:37:45 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 09:37:25 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-12-03 09:37:00 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
| 2025-12-03 09:35:26 +0100 | <akegalj> | Is there a flag for ghci that saves output to a file ? IIRC there is option for this, but can't find it. |
| 2025-12-03 09:35:09 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-03 09:34:43 +0100 | akegalj | (~akegalj@78-0-210-92.adsl.net.t-com.hr) akegalj |
| 2025-12-03 09:34:32 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-03 09:34:14 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2025-12-03 09:34:03 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-03 09:33:50 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-03 09:33:42 +0100 | Vq | (~vq@user/vq) Vq |
| 2025-12-03 09:33:42 +0100 | Vq | (~vq@90-224-37-169-no600.tbcn.telia.com) (Changing host) |
| 2025-12-03 09:30:23 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-03 09:30:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-03 09:27:39 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |