Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 273 274 275 276 277 278 279 280 281 282 283 .. 17986
— 1,798,569 events total
2021-06-04 04:05:51 <hololeap> you can derive Foldable for RoseTree the same way you derive Functor
2021-06-04 04:08:26 <Axman6> edwardk: I was playing with the idea of using discrimination for handling (let's say) messages of different types, and using Typeable, but it doesn't look like there's an easy way to discrimiinate over TypeRep (i'm sure you'll tell me there is...)
2021-06-04 04:12:21 → ddellacosta joins (~ddellacos@89.46.62.43)
2021-06-04 04:12:33 → notzmv joins (~zmv@user/notzmv)
2021-06-04 04:14:26 × nerdypepper quits (znc@152.67.162.71) (Changing host)
2021-06-04 04:14:26 → nerdypepper joins (znc@user/nerdypepper)
2021-06-04 04:14:36 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-04 04:16:18 → koishi_ joins (~koishi_@67.209.186.120.16clouds.com)
2021-06-04 04:17:11 × ddellacosta quits (~ddellacos@89.46.62.43) (Ping timeout: 265 seconds)
2021-06-04 04:17:51 <dmwit> In my tests, discrimination was worse than nlog(n) sorts for sizes all the way up to all of RAM.
2021-06-04 04:17:57 <dmwit> So maybe don't feel too bad if you don't find a way.
2021-06-04 04:19:05 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-06-04 04:20:06 × koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-06-04 04:23:00 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-04 04:23:54 × ddellaco_ quits (~ddellacos@86.106.143.235) (Remote host closed the connection)
2021-06-04 04:24:03 → ddellacosta joins (~ddellacos@86.106.143.235)
2021-06-04 04:27:57 → your-favorite-ni joins (~user@2600:1700:9490:79f0::a)
2021-06-04 04:29:23 × shriekingnoise quits (~shrieking@186.137.144.80) (Remote host closed the connection)
2021-06-04 04:29:48 <shachaf> For which types?
2021-06-04 04:30:07 × hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-06-04 04:31:06 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-04 04:31:34 → ddellaco_ joins (~ddellacos@86.106.121.48)
2021-06-04 04:32:40 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds)
2021-06-04 04:32:54 → werneta joins (~werneta@128.149.243.107)
2021-06-04 04:33:56 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-04 04:34:37 → reumeth joins (~reumeth@user/reumeth)
2021-06-04 04:34:42 → lavaman joins (~lavaman@98.38.249.169)
2021-06-04 04:36:08 × ddellaco_ quits (~ddellacos@86.106.121.48) (Ping timeout: 252 seconds)
2021-06-04 04:38:16 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds)
2021-06-04 04:38:20 × AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-04 04:38:52 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 244 seconds)
2021-06-04 04:39:46 × reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds)
2021-06-04 04:40:27 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2021-06-04 04:41:59 → Erutuon joins (~Erutuon@user/erutuon)
2021-06-04 04:44:05 × werneta quits (~werneta@128.149.243.107) (Ping timeout: 245 seconds)
2021-06-04 04:46:14 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 04:46:58 Pixi_ is now known as Pixi
2021-06-04 04:47:57 → ddellaco_ joins (~ddellacos@86.106.121.62)
2021-06-04 04:50:32 → o1lo01ol1o joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net)
2021-06-04 04:53:07 × ddellaco_ quits (~ddellacos@86.106.121.62) (Ping timeout: 272 seconds)
2021-06-04 04:55:01 × o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-04 04:55:46 samebchase2 is now known as samebchase
2021-06-04 04:57:49 → Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-06-04 04:58:00 × your-favorite-ni quits (~user@2600:1700:9490:79f0::a) (Remote host closed the connection)
2021-06-04 05:01:32 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-06-04 05:03:26 × Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-06-04 05:03:40 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds)
2021-06-04 05:03:54 → werneta joins (~werneta@128.149.243.107)
2021-06-04 05:04:30 × myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
2021-06-04 05:05:32 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-04 05:06:02 → Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-06-04 05:06:39 → ddellaco_ joins (~ddellacos@89.46.62.60)
2021-06-04 05:09:17 × mccoyb quits (~textual@2601:182:d000:3b50:6d20:ecfa:c38a:3ddb) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-04 05:10:10 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-04 05:11:10 × ddellaco_ quits (~ddellacos@89.46.62.60) (Ping timeout: 245 seconds)
2021-06-04 05:13:55 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
2021-06-04 05:14:07 → vicfred joins (~vicfred@user/vicfred)
2021-06-04 05:15:11 × Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-06-04 05:15:30 → Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-06-04 05:21:15 × Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-06-04 05:21:34 → Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-06-04 05:23:50 → ddellaco_ joins (~ddellacos@89.46.62.82)
2021-06-04 05:25:30 × oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-06-04 05:28:32 × ddellaco_ quits (~ddellacos@89.46.62.82) (Ping timeout: 272 seconds)
2021-06-04 05:30:07 × Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-06-04 05:30:27 → Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-06-04 05:35:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-04 05:35:22 → pe200012 joins (~pe200012@119.131.208.84)
2021-06-04 05:35:59 → chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5)
2021-06-04 05:36:05 × werneta quits (~werneta@128.149.243.107) (Ping timeout: 252 seconds)
2021-06-04 05:37:57 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 05:38:42 → nkpart joins (uid3844@id-3844.highgate.irccloud.com)
2021-06-04 05:40:09 → pieguy128 joins (~pieguy128@bas1-quebec14-67-70-101-46.dsl.bell.ca)
2021-06-04 05:40:23 → ddellaco_ joins (~ddellacos@86.106.121.108)
2021-06-04 05:41:49 × opqdonut quits (opqdonut@pseudo.fixme.fi) (Quit: rebooting)
2021-06-04 05:42:05 → hmmmas joins (~chenqisu1@183.217.202.217)
2021-06-04 05:42:24 × Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-06-04 05:42:27 × hmmmas quits (~chenqisu1@183.217.202.217) (Client Quit)
2021-06-04 05:42:44 → Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-06-04 05:45:15 × ddellaco_ quits (~ddellacos@86.106.121.108) (Ping timeout: 272 seconds)
2021-06-04 05:46:56 → shriekingnoise joins (~shrieking@186.137.144.80)
2021-06-04 05:47:39 <juhp> sm[m]: thanks!
2021-06-04 05:52:25 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-06-04 05:52:26 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-06-04 05:56:23 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan)
2021-06-04 05:58:04 → ddellaco_ joins (~ddellacos@86.106.121.78)
2021-06-04 06:02:44 × ddellaco_ quits (~ddellacos@86.106.121.78) (Ping timeout: 272 seconds)
2021-06-04 06:04:20 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-04 06:09:16 → imdoor joins (~imdoor@balticom-142-78-50.balticom.lv)
2021-06-04 06:09:57 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-04 06:10:17 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
2021-06-04 06:12:54 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-06-04 06:13:08 → werneta joins (~werneta@128.149.243.107)
2021-06-04 06:13:09 → chexum joins (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b)
2021-06-04 06:16:47 → derelict joins (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com)
2021-06-04 06:17:59 × werneta quits (~werneta@128.149.243.107) (Ping timeout: 272 seconds)
2021-06-04 06:19:24 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 06:22:25 → node-sh joins (~node-sh@2401:4900:3b29:78ba:5b23:3841:af60:74fd)
2021-06-04 06:26:17 → res0nat0r joins (~Fletch@dia.whatbox.ca)
2021-06-04 06:27:19 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
←Prev  Next→
Page 1 .. 273 274 275 276 277 278 279 280 281 282 283 .. 17986

All times are in UTC.