Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 .. 5022
— 502,152 events total
2020-11-08 02:38:46 <opticblast> I'm thinking something with the type signature `Int -> Stream (Of ByteString) m () -> Stream (Of ByteString) m ByteString`.
2020-11-08 02:40:36 × tomku quits (~tomku@unaffiliated/tomku) (Quit: Lost terminal)
2020-11-08 02:40:42 <koz_> opticblast: What if said stream is infinite? Or 50 gigs big?
2020-11-08 02:41:05 × machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 240 seconds)
2020-11-08 02:41:43 <koz_> s/50/500/
2020-11-08 02:42:23 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-11-08 02:43:16 → tomku joins (~tomku@unaffiliated/tomku)
2020-11-08 02:43:39 <opticblast> Why should an infinite stream pose a problem? It should be possible to determine the next step of the resulting stream in bounded time (O(n)?)
2020-11-08 02:44:08 <koz_> opticblast: You said 'n bytes from its end'.
2020-11-08 02:44:16 <koz_> How do you determine where its end is?
2020-11-08 02:44:34 <opticblast> The naive solution would be to, at each step, ask whether the stream has `n` bytes left
2020-11-08 02:44:41 <koz_> Sure, and what if that never happens?
2020-11-08 02:44:58 <opticblast> Then the return value of the stream will never be requested, so it doesn't matter
2020-11-08 02:45:53 <koz_> Well, you could keep taking chunks of n, then feeding them back in as you go I guess?
2020-11-08 02:46:07 <koz_> You'd need 2n lookahead but that's OK.
2020-11-08 02:46:22 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad)
2020-11-08 02:46:39 <koz_> Try writing this using 'take' - I think that's the primitive you want.
2020-11-08 02:48:58 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2020-11-08 02:49:41 <opticblast> Wouldn't that have the problem of redoing part of the stream, I think? But `splitAt` works instead
2020-11-08 02:49:58 <koz_> Yeah, splitAt would be better.
2020-11-08 02:50:43 <opticblast> Thanks.
2020-11-08 02:51:31 × opticblast quits (~june@075-128-229-153.res.spectrum.com) (Quit: leaving)
2020-11-08 02:51:50 × xff0x quits (~fox@2001:1a81:52a6:6c00:4a69:14bb:4df0:c5bd) (Ping timeout: 244 seconds)
2020-11-08 02:53:09 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-08 02:53:57 → xff0x joins (~fox@2001:1a81:52da:100:71ff:17f4:8c8e:497)
2020-11-08 03:00:02 × cmeiklejohn1 quits (~cmeiklejo@84.39.117.57) ()
2020-11-08 03:02:34 × Gurkenglas__ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-11-08 03:05:24 lagothrix is now known as Guest95064
2020-11-08 03:05:24 × Guest95064 quits (~lagothrix@unaffiliated/lagothrix) (Killed (rothfuss.freenode.net (Nickname regained by services)))
2020-11-08 03:05:32 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-11-08 03:06:32 × theDon quits (~td@94.134.91.70) (Ping timeout: 258 seconds)
2020-11-08 03:08:24 → theDon joins (~td@muedsl-82-207-238-009.citykom.de)
2020-11-08 03:12:52 ← jcowan parts (sid325434@gateway/web/irccloud.com/x-evadozowlzlhtjmy) ()
2020-11-08 03:14:12 × Lycurgus quits (~niemand@98.4.97.110) (Ping timeout: 258 seconds)
2020-11-08 03:17:28 <xsperry> is there something like "aListOfValidPathCharacters" in System.FilePath or System.Directory?
2020-11-08 03:18:15 → elliott_ joins (~elliott_@170.121.246.50)
2020-11-08 03:18:45 × elliott_ quits (~elliott_@170.121.246.50) (Read error: Connection reset by peer)
2020-11-08 03:22:03 → Jarsto1 joins (~Jarsto@185.204.1.185)
2020-11-08 03:24:30 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-11-08 03:31:12 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-08 03:34:48 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-08 03:36:11 × esph quits (~weechat@unaffiliated/esph) (Quit: WeeChat 2.9)
2020-11-08 03:37:20 → esph joins (~weechat@unaffiliated/esph)
2020-11-08 03:37:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-08 03:37:23 × coeus quits (~coeus@p200300d027141600339fa72fa0100e7e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-08 03:37:27 × esph quits (~weechat@unaffiliated/esph) (Client Quit)
2020-11-08 03:38:45 → esph joins (~weechat@unaffiliated/esph)
2020-11-08 03:41:51 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-08 03:44:05 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 240 seconds)
2020-11-08 03:44:16 × andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection)
2020-11-08 03:50:51 → andi- joins (~andi-@NixOS/user/andi-)
2020-11-08 03:53:14 → coeus joins (~coeus@p200300d0273fc6004bc0c1d283592f2f.dip0.t-ipconnect.de)
2020-11-08 03:53:55 → zebrag joins (~inkbottle@aaubervilliers-654-1-107-146.w86-212.abo.wanadoo.fr)
2020-11-08 03:54:54 → drbean joins (~drbean@TC210-63-209-19.static.apol.com.tw)
2020-11-08 03:55:22 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-08 03:55:25 × inkbottle quits (~inkbottle@aaubervilliers-654-1-105-24.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-11-08 03:56:07 → kish joins (~oracle@unaffiliated/oracle)
2020-11-08 03:57:08 × esph quits (~weechat@unaffiliated/esph) (Quit: WeeChat 2.9)
2020-11-08 03:57:28 → esph joins (~weechat@unaffiliated/esph)
2020-11-08 04:01:02 × jrqc quits (~rofl@96.78.87.197) (Ping timeout: 272 seconds)
2020-11-08 04:01:25 → Rudd0 joins (~Rudd0@185.189.115.98)
2020-11-08 04:01:56 → jrqc joins (~rofl@96.78.87.197)
2020-11-08 04:03:34 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-11-08 04:05:01 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-08 04:07:07 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-11-08 04:07:39 × HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2020-11-08 04:14:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-11-08 04:18:07 × shailangsa quits (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Ping timeout: 244 seconds)
2020-11-08 04:20:30 → shailangsa joins (~shailangs@host86-186-133-58.range86-186.btcentralplus.com)
2020-11-08 04:22:39 → leungbk joins (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c)
2020-11-08 04:23:20 × leungbk quits (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) (Remote host closed the connection)
2020-11-08 04:23:40 → leungbk joins (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c)
2020-11-08 04:23:46 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad)
2020-11-08 04:25:50 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-11-08 04:26:24 → pthariensflame joins (~pthariens@2600:6c52:7280:100:549f:b99f:b44f:906e)
2020-11-08 04:26:35 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2020-11-08 04:26:39 × pthariensflame quits (~pthariens@2600:6c52:7280:100:549f:b99f:b44f:906e) (Client Quit)
2020-11-08 04:29:21 × leungbk quits (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) (Remote host closed the connection)
2020-11-08 04:29:25 × shailangsa quits (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Ping timeout: 240 seconds)
2020-11-08 04:29:31 → leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-08 04:29:55 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-wmifpqpkrhoujhbk) ()
2020-11-08 04:30:18 → leungbk` joins (~user@2605:e000:1315:706:2c8d:aa4e:f33b:48e6)
2020-11-08 04:30:35 → shailangsa joins (~shailangs@host86-185-102-101.range86-185.btcentralplus.com)
2020-11-08 04:30:57 × mmohammadi9812 quits (~mmohammad@5.238.175.25) (Quit: Quit)
2020-11-08 04:31:53 → mmohammadi9812 joins (~mmohammad@5.238.175.25)
2020-11-08 04:32:08 × irc_user quits (uid423822@gateway/web/irccloud.com/x-slumwyhvoxvagmka) (Quit: Connection closed for inactivity)
2020-11-08 04:33:16 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2020-11-08 04:34:57 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-08 04:37:00 hackage pandoc 2.11.1.1 - Conversion between markup formats https://hackage.haskell.org/package/pandoc-2.11.1.1 (JohnMacFarlane)
2020-11-08 04:38:25 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2020-11-08 04:39:01 hackage json-to-haskell 0.1.0.0 - https://hackage.haskell.org/package/json-to-haskell-0.1.0.0 (ChrisPenner)
2020-11-08 04:45:53 → da39a3ee5e6b4b0d joins (~textual@cm-171-98-71-90.revip7.asianet.co.th)
2020-11-08 04:48:05 × texasmynsted quits (~texasmyns@64.44.55.108) (Ping timeout: 244 seconds)
2020-11-08 04:48:07 × leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 260 seconds)
2020-11-08 04:48:13 × leungbk` quits (~user@2605:e000:1315:706:2c8d:aa4e:f33b:48e6) (Remote host closed the connection)
2020-11-08 04:48:21 → leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-08 04:50:59 × softwarm quits (4408f588@ip68-8-245-136.sd.sd.cox.net) (Remote host closed the connection)
2020-11-08 04:52:28 → x86-64 joins (47e7b36d@c-71-231-179-109.hsd1.wa.comcast.net)
2020-11-08 04:52:31 ← x86-64 parts (47e7b36d@c-71-231-179-109.hsd1.wa.comcast.net) ()
2020-11-08 04:53:26 → coot_ joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
←Prev  Next→
Page 1 .. 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 .. 5022

All times are in UTC.