Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 840 841 842 843 844 845 846 847 848 849 850 .. 5022
— 502,152 events total
2020-10-24 17:44:25 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-10-24 17:46:19 × alp quits (~alp@2a01:e0a:58b:4920:f8ae:1b82:109a:d6a2) (Ping timeout: 272 seconds)
2020-10-24 17:48:19 × son0p quits (~son0p@181.136.122.143) (Ping timeout: 246 seconds)
2020-10-24 17:48:58 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-24 17:49:14 × Guest54698 quits (5a319fdb@lfbn-nan-1-68-219.w90-49.abo.wanadoo.fr) (Ping timeout: 245 seconds)
2020-10-24 17:49:32 → son0p joins (~son0p@181.136.122.143)
2020-10-24 17:52:15 × mirrorbird_ quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 17:56:11 × Patternmaster quits (~georg@li1192-118.members.linode.com) (Ping timeout: 240 seconds)
2020-10-24 17:58:36 → Patternmaster joins (~georg@li1192-118.members.linode.com)
2020-10-24 17:58:39 → mimi_vx joins (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291)
2020-10-24 17:59:42 → daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no)
2020-10-24 18:00:01 × reeiiko quits (~reeiiko@84.39.116.180) ()
2020-10-24 18:00:39 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 18:02:01 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 18:02:01 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 18:02:01 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-24 18:02:32 × ixlun quits (~matthew@213.205.241.94) (Read error: Connection reset by peer)
2020-10-24 18:03:11 → christo joins (~chris@81.96.113.213)
2020-10-24 18:03:29 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-24 18:05:24 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 18:07:13 × MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-24 18:09:12 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-24 18:10:51 × kish` quits (~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-10-24 18:11:19 → kish joins (~oracle@unaffiliated/oracle)
2020-10-24 18:11:40 → andybkof2001 joins (~andybkof2@201.141.61.28)
2020-10-24 18:11:44 <andybkof2001> made your area like quebec and speak german, in the frontier méxico with texas,the flag is in the frontier, in horizont orange almost dark like brick in up, in half gray aluminum, and in down blue sky day, with letter L red shinning thick, no very thick just 1 cm and 4 mm with red fire in the right side in line like shadow the same red shinnig 9 mm right, at the left side 1 mm of shadow,
2020-10-24 18:11:44 <andybkof2001> and in down 3 mm of shadow red shinnig all the shadows stiked at the L the L no with waves in line 9 mm of fire 1 left and 3 in down , the L in the center of the new german flag occupying the entire gray strip with the shadow, the name is Deutcsh, coin deutsches. let the giants play baskectball with the browns.learn german https://app.memrise.com/course/920/5000-german-words-top-87/1/ copy
2020-10-24 18:11:44 <andybkof2001> the adress of the page, and paste somewhere, for read it later, go at the bookseller and ask for the diccionary english german and read it verbatim, https://www.youtube.com/watch?v=Y6DNjM4s-zw
2020-10-24 18:11:49 × andybkof2001 quits (~andybkof2@201.141.61.28) (Remote host closed the connection)
2020-10-24 18:12:08 → MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 18:12:09 × nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 265 seconds)
2020-10-24 18:13:02 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 272 seconds)
2020-10-24 18:13:55 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-24 18:14:15 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 18:14:35 <MarcelineVQ> That was kind of poetic until the urls
2020-10-24 18:17:11 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-24 18:18:20 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 18:19:25 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 264 seconds)
2020-10-24 18:19:42 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 18:23:42 → ixlun joins (~matthew@213.205.241.94)
2020-10-24 18:23:59 × danza quits (~francesco@host-87-16-96-139.retail.telecomitalia.it) (Quit: Leaving)
2020-10-24 18:25:23 → alp joins (~alp@2a01:e0a:58b:4920:ac5b:158:30e4:51d7)
2020-10-24 18:25:33 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 18:28:02 <koz_> The hell did I just read?
2020-10-24 18:28:11 → coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 18:28:56 × mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2020-10-24 18:29:49 <ixlun> Say I had: `Data Foo = Foo Ordering' and then : `x foo = ...'. How could I convert `foo' into a template haskell `Pat'?
2020-10-24 18:30:23 <ixlun> So far I've got `ConP ''Foo'
2020-10-24 18:31:00 <ixlun> but I'm unsure how to convert the Ordering type consturctor into a Pat
2020-10-24 18:31:44 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-24 18:32:47 tomsmeding is going to assume that was a markov chain generator
2020-10-24 18:33:16 <ixlun> I don't want to have to write: foo2Pat (Foo EQ) = [p|Foo EQ|] for all Ordering
2020-10-24 18:35:03 <tomsmeding> ixlun: wild guess, would it not just be ConP ''Foo (ConP ''EQ) ?
2020-10-24 18:35:16 <tomsmeding> or, well, ConP ''Foo [ConP ''EQ]
2020-10-24 18:35:39 <ixlun> Ahhhhh
2020-10-24 18:36:00 <ixlun> Didn't get that it would have another ConP as it's child
2020-10-24 18:36:01 <tomsmeding> EQ is also just a data constructor :)
2020-10-24 18:36:22 <ixlun> thanks tomsmeding :-)
2020-10-24 18:36:26 <ixlun> TH is really cool!
2020-10-24 18:37:27 <chkno> What's the simplest way to use TCP (client & server) while keeping the rest of my program Safe? I'm starting from "error: [-Wunsafe, -Werror=unsafe] ... Network.Socket: Can't be safely imported! The module itself isn't safe." network-simple gives the same error, and pipes-network looks complicated. Should I bite the bullet and learn Pipes or make small module that wraps Network.Socket & mark it
2020-10-24 18:37:33 <chkno> Trustworthy?
2020-10-24 18:38:23 → Kolkrabe joins (~user@unaffiliated/siracusa)
2020-10-24 18:39:07 → avdb joins (~avdb@ip-62-235-13-212.dsl.scarlet.be)
2020-10-24 18:41:20 × incertia quits (~incertia@d60-65-215-180.col.wideopenwest.com) (Ping timeout: 256 seconds)
2020-10-24 18:42:12 × daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds)
2020-10-24 18:42:36 → incertia joins (~incertia@d60-65-215-180.col.wideopenwest.com)
2020-10-24 18:43:36 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-24 18:44:29 → isovector1 joins (~isovector@172.103.217.169)
2020-10-24 18:44:35 × ericsagnes quits (~ericsagne@2405:6580:0:5100:7496:5c58:dab0:e60e) (Ping timeout: 272 seconds)
2020-10-24 18:46:16 → acidjnk_new3 joins (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de)
2020-10-24 18:47:57 → nyaomi joins (~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-24 18:50:32 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 18:51:48 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 18:51:58 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-24 18:51:58 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-24 18:51:58 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-24 18:52:50 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-10-24 18:53:05 × taurux quits (~taurux@net-188-152-78-51.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2020-10-24 18:54:10 × brettgilio_ quits (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com>)
2020-10-24 18:54:13 → taurux joins (~taurux@net-188-152-78-51.cust.vodafonedsl.it)
2020-10-24 18:55:22 → aki_ joins (~aki_@195.206.169.184)
2020-10-24 18:56:25 → ericsagnes joins (~ericsagne@2405:6580:0:5100:2c27:27e3:588f:de92)
2020-10-24 18:57:38 <merijn> Honestly, I don't think anyone's really using SafeHaskell these days
2020-10-24 18:57:43 ← isovector1 parts (~isovector@172.103.217.169) ("Leaving")
2020-10-24 18:58:09 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-24 18:58:10 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 19:00:10 → brettgilio joins (~brettgili@brettgilio.com)
2020-10-24 19:01:17 <Zetagon> Why not?
2020-10-24 19:03:24 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 19:03:28 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-10-24 19:03:52 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-24 19:04:33 → st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2020-10-24 19:04:41 → fandi joins (~fandi@118.97.77.114)
2020-10-24 19:07:54 <chkno> I suppose I could keep most of my program in transport-agnostic Safe modules and then just mix the TCP in with the rest in an Unsafe top-level Main. I'm using Safe because it came with -Weverything, and because https://wiki.haskell.org/Safe_Haskell says 'it's like -Wall', and I use -Wall (and -Wextra, -pedantic, clang-tidy, ...) when I write C.
2020-10-24 19:10:02 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 19:11:07 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 265 seconds)
2020-10-24 19:11:43 → chaosmasttter joins (~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de)
2020-10-24 19:12:13 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 19:12:25 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-24 19:13:27 → ddellacosta joins (~dd@86.106.121.168)
←Prev  Next→
Page 1 .. 840 841 842 843 844 845 846 847 848 849 850 .. 5022

All times are in UTC.