2025/12/03

Newest at the top

2025-12-03 11:09:59 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-03 11:09:45 +0100__monty__(~toonn@user/toonn) toonn
2025-12-03 11:08:39 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-12-03 11:08:20 +0100 <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 11:08:16 +0100 <Axman6> > let dropEnd n xs = zipWith const xs (drop n xs) in dropEnd 3 [0..]
2025-12-03 11:07:56 +0100 <Axman6> zipWith const is an incredibly useful thing to know about
2025-12-03 11:07:38 +0100 <Axman6> This has the benefit of being lazy too, it only eevaluates n elements ahead of the the output. lucabtz ^
2025-12-03 11:07:28 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-03 11:07:13 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-12-03 11:06:59 +0100 <lambdabot> "ABCD"
2025-12-03 11:06:55 +0100 <Axman6> > let dropEnd n xs = zipWith const xs (drop n xs) in dropEnd 3 "ABCDEFG"
2025-12-03 11:06:16 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds)
2025-12-03 10:54:01 +0100 <chromoblob> i think you should first find the length, then take (l - n) where l is length
2025-12-03 10:50:24 +0100X-Scale(~ARM@50.65.114.89.rev.vodafone.pt) X-Scale
2025-12-03 10:50:02 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-12-03 10:47:35 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-03 10:44:00 +0100trickard_trickard
2025-12-03 10:40:56 +0100Googulator93(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-03 10:40:49 +0100Googulator93(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-03 10:36:18 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-12-03 10:29:38 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-03 10:29:26 +0100hdggxin(~hdggxin@223.181.46.243)
2025-12-03 10:28:41 +0100kuribas(~user@2a02:1808:c7:cecf:a041:fccb:9242:86e9) kuribas
2025-12-03 10:27:42 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-03 10:26:45 +0100Inline(~inlinE@2001-4dd3-7fc8-0-434a-a4b1-7362-b14b.ipv6dyn.netcologne.de) (Ping timeout: 252 seconds)
2025-12-03 10:26:12 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-12-03 10:25:24 +0100tromp(~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-03 10:25:18 +0100trickard_(~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 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-03 10:16:33 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-03 10:14:07 +0100acidjnk(~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 +0100Googulator93(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-03 10:10:44 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-03 10:09:56 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-03 10:08:55 +0100X-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 +0100Googulator86Googulator
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 +0100gawen(~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 +0100mesaoptimizer(~user@user/PapuaHardyNet) PapuaHardyNet
2025-12-03 10:00:47 +0100mesaoptimizer(~user@user/PapuaHardyNet) (Client Quit)
2025-12-03 10:00:37 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-12-03 09:59:35 +0100mesaoptimizer(~user@user/PapuaHardyNet) PapuaHardyNet
2025-12-03 09:56:52 +0100inline__(~wbooze@cgn-195-14-219-152.nc.de) (Quit: Leaving)
2025-12-03 09:54:54 +0100fp1(~Thunderbi@130.233.53.128) (Ping timeout: 260 seconds)