Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 .. 18030
— 1,802,995 events total
2021-07-19 00:13:19 → yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net)
2021-07-19 00:14:33 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds)
2021-07-19 00:15:38 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-19 00:18:21 <dminuoso> Mmm. Im doing an URL style percent encoding/decoding of bytestring. I have two Word8 and want to prepend them to a ByteString, what's the efficient way to do this here?
2021-07-19 00:19:32 <Axman6> I would have a look at the bytestring-base16 code to find efficient ways to do things. otherwise I'd probably just say use a builder if it's likely you'll be doing more appends/prepends
2021-07-19 00:21:33 <dminuoso> I was thinking along the lines of: let dualton c1 c2 = unsafeCreate 2 $ \p -> poke p c1 >> poke (p `plusPtr` 1) c2 in dualton x1 x2 <> rest
2021-07-19 00:21:45 <dminuoso> Axman6: Mmm.
2021-07-19 00:22:10 <dminuoso> Ah, yes. Perhaps that is the better way indeed
2021-07-19 00:22:57 <Axman6> if you know exactly how large the result will be there's definitely tricks to make it fast, but usually if the question is ')how do I construct a bytestring from parts" the answer is Builder
2021-07-19 00:23:52 × smtnet3 quits (~asdfasdfa@202.36.244.28) (Quit: Leaving)
2021-07-19 00:26:36 <dminuoso> Mmm, so on the outside Im inside conduit. Maybe there's a way to stream a bytestring builder into a conduit
2021-07-19 00:27:21 <dminuoso> Apparently not, but that's fine
2021-07-19 00:28:03 → zebrag joins (~chris@user/zebrag)
2021-07-19 00:29:03 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-19 00:29:46 <dminuoso> @tell burnsidesLlama It just occured to me, that the generalization you are looking for is `scanl` or `scanr`.
2021-07-19 00:29:46 <lambdabot> Consider it noted.
2021-07-19 00:32:22 × jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-19 00:32:42 × Atum_ quits (~IRC@user/atum/x-2392232) (Ping timeout: 240 seconds)
2021-07-19 00:36:38 <Axman6> dminuoso: using https://hackage.haskell.org/package/bytestring-0.11.1.0/docs/Data-ByteString-Builder-Internal.html#t:ChunkIOStream you can efficiently stream a bytestring
2021-07-19 00:40:20 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-19 00:41:38 <Axman6> ... maybe, actually struggling to see how to take in Builders and then use that
2021-07-19 00:42:41 Ttech is now known as Adran
2021-07-19 00:44:42 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-19 00:44:52 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-19 00:45:00 → hughjfchen[m] joins (~hughjfche@2001:470:69fc:105::c29d)
2021-07-19 00:56:24 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-19 00:58:05 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
2021-07-19 01:02:47 × Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-19 01:02:53 × waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2021-07-19 01:03:36 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-19 01:05:00 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-19 01:07:59 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-19 01:12:16 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-19 01:17:26 → enemeth79 joins (uid309041@id-309041.tooting.irccloud.com)
2021-07-19 01:18:37 → meinside_ joins (uid24933@id-24933.brockwell.irccloud.com)
2021-07-19 01:19:00 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-07-19 01:23:09 × xff0x_ quits (~xff0x@2001:1a81:525b:ea00:e4bc:612d:f531:cac7) (Ping timeout: 250 seconds)
2021-07-19 01:25:10 → xff0x_ joins (~xff0x@2001:1a81:5299:ea00:490d:5ed2:61e8:145d)
2021-07-19 01:25:57 → dre joins (~dre@2001:8003:c932:c301:e078:5df6:bd54:b22a)
2021-07-19 01:27:39 → jmorris joins (uid433911@id-433911.stonehaven.irccloud.com)
2021-07-19 01:29:29 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-07-19 01:29:53 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-19 01:34:53 → derelict joins (~derelict@user/derelict)
2021-07-19 01:40:35 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-07-19 01:43:32 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-07-19 01:44:08 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-19 01:44:15 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-19 01:46:21 × ph88^ quits (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) (Ping timeout: 255 seconds)
2021-07-19 01:47:15 × smichel17 quits (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Quit: smichel17)
2021-07-19 01:49:14 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2021-07-19 01:49:50 × shailangsa quits (~shailangs@host86-145-14-107.range86-145.btcentralplus.com) (Ping timeout: 268 seconds)
2021-07-19 01:50:40 × yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-19 01:51:56 × alx741 quits (~alx741@186.178.109.120) (Quit: alx741)
2021-07-19 02:00:19 → yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net)
2021-07-19 02:01:24 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-19 02:01:46 → ph88^ joins (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c)
2021-07-19 02:06:20 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2021-07-19 02:11:02 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-07-19 02:12:38 × td_ quits (~td@muedsl-82-207-238-204.citykom.de) (Ping timeout: 258 seconds)
2021-07-19 02:13:52 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-19 02:14:20 → td_ joins (~td@muedsl-82-207-238-108.citykom.de)
2021-07-19 02:15:11 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
2021-07-19 02:15:11 FinnElija is now known as Guest3119
2021-07-19 02:15:11 × Guest3119 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (strontium.libera.chat (Nickname regained by services)))
2021-07-19 02:15:11 finn_elija is now known as FinnElija
2021-07-19 02:16:58 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
2021-07-19 02:17:07 → cheater joins (~Username@user/cheater)
2021-07-19 02:19:23 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
2021-07-19 02:20:15 → h98 joins (~h98@187.83.249.216.dyn.smithville.net)
2021-07-19 02:25:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-19 02:25:58 → shailangsa joins (~shailangs@host86-186-191-14.range86-186.btcentralplus.com)
2021-07-19 02:29:18 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-07-19 02:35:28 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-07-19 02:38:19 × peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-19 02:40:02 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-19 02:40:46 <dmj`> int-e: there is a patreon for GRIN work yes
2021-07-19 02:41:13 <dmj`> Some of what I said is related to that
2021-07-19 02:41:55 → chris_ joins (~chris@81.96.113.213)
2021-07-19 02:44:10 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-19 02:44:12 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-07-19 02:44:57 allbery_b is now known as geekosaur
2021-07-19 02:44:57 → lavaman joins (~lavaman@98.38.249.169)
2021-07-19 02:46:42 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-19 02:49:10 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-07-19 02:52:27 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-07-19 02:56:57 × jushur quits (~human@user/jushur) (Quit: ¯\_(ツ)_/¯)
2021-07-19 02:59:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-19 03:00:51 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
2021-07-19 03:01:41 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds)
2021-07-19 03:02:35 → vicfred joins (~vicfred@user/vicfred)
2021-07-19 03:05:12 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-19 03:11:10 → GeorgeArmani joins (~GeorgeArm@76-236-222-208.lightspeed.tukrga.sbcglobal.net)
2021-07-19 03:11:30 <GeorgeArmani> Can someone help me understand this error message ?
2021-07-19 03:11:32 <GeorgeArmani> any' :: (a -> Bool) -> a -> Bool
2021-07-19 03:11:32 <GeorgeArmani> any' f xs = foldl step False xs where
2021-07-19 03:11:33 <GeorgeArmani> step acc (y:ys)
2021-07-19 03:11:33 <GeorgeArmani> | f y = True
2021-07-19 03:11:34 <GeorgeArmani> | otherwise = acc
2021-07-19 03:11:41 <GeorgeArmani> Fold.hs:52:30: error:
2021-07-19 03:11:42 <GeorgeArmani> • Occurs check: cannot construct the infinite type: a ~ t0 [a]
←Prev  Next→
Page 1 .. 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 .. 18030

All times are in UTC.