Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 549 550 551 552 553 554 555 556 557 558 559 .. 5022
— 502,152 events total
2020-10-10 00:55:46 → Sososasa joins (~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 00:56:09 <mcmoor> Oh yeah I just remember than you can add instances in other program
2020-10-10 00:56:36 <mcmoor> So now I'm questioning the intent of the code author... Thank you very much!
2020-10-10 00:56:43 × Sososasa quits (~textual@2601:643:8000:a570:9513:b921:a468:618c) (Client Quit)
2020-10-10 00:56:58 → abian1 joins (~abian@89.47.234.28)
2020-10-10 00:57:09 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-10 00:57:22 <dolio> Even if you could reason from all the instances in scope that no others could be declared under GHC's rules, you still can't really assume that.
2020-10-10 00:57:36 <dolio> Because it's not that sophisticated.
2020-10-10 00:58:06 → Sososasa joins (~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 00:58:10 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:4dfb:5801:d091:3e18)
2020-10-10 00:59:00 × Sososasa quits (~textual@2601:643:8000:a570:9513:b921:a468:618c) (Client Quit)
2020-10-10 01:00:50 → jdgr joins (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139)
2020-10-10 01:04:46 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 01:05:18 → Sososasa joins (~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 01:05:26 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-10 01:07:03 × Sososasa quits (~textual@2601:643:8000:a570:9513:b921:a468:618c) (Client Quit)
2020-10-10 01:08:37 × Icewing quits (~Icewing@unaffiliated/icewing) (Ping timeout: 264 seconds)
2020-10-10 01:09:17 → Sososasa joins (~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 01:12:50 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-10 01:12:52 × xff0x quits (~fox@2001:1a81:5233:da00:49ff:f70d:c215:5652) (Ping timeout: 260 seconds)
2020-10-10 01:14:28 → xff0x joins (~fox@2001:1a81:5240:100:49ff:f70d:c215:5652)
2020-10-10 01:15:16 → abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net)
2020-10-10 01:18:05 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-10 01:18:35 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 01:18:35 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 01:18:35 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-10 01:20:05 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-10-10 01:25:48 × cr0ssw1nd quits (~crosswind@adsl-174.176.58.193.tellas.gr) (Ping timeout: 256 seconds)
2020-10-10 01:28:42 × ralejs quits (~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-10 01:28:43 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-10 01:29:08 → ralejs joins (~ralejs@2620:10d:c093:400::5:a494)
2020-10-10 01:29:49 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 01:30:48 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Client Quit)
2020-10-10 01:31:18 × oisdk quits (~oisdk@2001:bb6:3329:d100:d4b4:3667:7218:633) (Quit: oisdk)
2020-10-10 01:31:58 hackage hasql-dynamic-statements 0.3 - Toolkit for constructing Hasql statements dynamically https://hackage.haskell.org/package/hasql-dynamic-statements-0.3 (NikitaVolkov)
2020-10-10 01:32:51 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 01:33:21 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-10 01:33:49 → Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-10 01:33:53 × alp_ quits (~alp@2a01:e0a:58b:4920:3c2d:d48c:8093:50d4) (Ping timeout: 272 seconds)
2020-10-10 01:34:43 × Tops21 quits (~Tobias@dyndsl-095-033-021-014.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-10 01:34:53 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-10 01:36:22 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 01:36:33 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-10 01:36:39 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-10 01:36:39 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-10 01:36:51 → z0 joins (~z0@104.248.22.38)
2020-10-10 01:44:47 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-10 01:48:34 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-10 01:48:51 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-10 01:49:05 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-10 01:50:28 hackage Z-IO 0.1.4.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.4.0 (winterland)
2020-10-10 01:50:39 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: No route to host)
2020-10-10 01:50:55 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-10 01:50:56 × z0 quits (~z0@104.248.22.38) (Quit: Lost terminal)
2020-10-10 01:53:38 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2020-10-10 01:59:49 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-10 02:02:09 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-10 02:03:05 → HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-10 02:04:21 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 02:08:04 → cosimone_ joins (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad)
2020-10-10 02:08:18 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-10 02:09:07 × theDon quits (~td@94.134.91.7) (Ping timeout: 240 seconds)
2020-10-10 02:09:10 × Sososasa quits (~textual@2601:643:8000:a570:9513:b921:a468:618c) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-10 02:10:03 × Rudd0^ quits (~Rudd0@185.189.115.98) (Ping timeout: 260 seconds)
2020-10-10 02:11:12 → theDon joins (~td@muedsl-82-207-238-179.citykom.de)
2020-10-10 02:11:35 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 260 seconds)
2020-10-10 02:11:36 cosimone_ is now known as cosimone
2020-10-10 02:14:07 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 02:16:22 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
2020-10-10 02:16:31 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-10 02:22:08 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-10 02:22:23 × jdgr quits (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) (Quit: Connection closed)
2020-10-10 02:24:30 → wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de)
2020-10-10 02:25:38 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-10 02:27:13 → st8less joins (~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-10 02:30:28 × shatriff quits (~vitaliish@78.111.190.16) (Remote host closed the connection)
2020-10-10 02:31:05 → shatriff joins (~vitaliish@78.111.190.16)
2020-10-10 02:32:46 ← rayer parts (path@gateway/shell/xshellz/x-xigijdelvsqhpmpl) ()
2020-10-10 02:36:30 → Volt_ joins (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net)
2020-10-10 02:37:07 × st8less quits (~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c) (Ping timeout: 240 seconds)
2020-10-10 02:38:37 → sepi joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-10-10 02:39:41 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-10 02:41:23 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 02:42:46 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 02:45:09 × spew quits (uid195861@gateway/web/irccloud.com/x-bxhjiqhornabfyxm) (Quit: Connection closed for inactivity)
2020-10-10 02:45:24 <sepi> Might be a dumb question but if I wanted to pair two numbers, can I just do list comprehension for that
2020-10-10 02:45:48 <ghoulguy> What would lists have to do with it?
2020-10-10 02:47:07 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 02:47:39 <sepi> Finite state machine doing the union function, for the start state. I believe they just start simontaenously so they are just paired like (s1, s2)
2020-10-10 02:48:16 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 02:49:05 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 02:50:34 <dsal> pair sounds a lot like a tuple.
2020-10-10 02:50:40 <dsal> Yeah, that's a tuple.
2020-10-10 02:50:51 <dsal> Perhaps you could expand your problem statement a bit.
2020-10-10 02:51:15 <c_wraith> or at least explain why you think lists are involved. that question is still standing.
2020-10-10 02:51:31 <ski> sepi's doing finite state machines, iirc ?
2020-10-10 02:52:21 <ski> sepi : if you want to pair corresponding elements, then a plain list comprehension will not do that
2020-10-10 02:52:38 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 02:52:44 <ski> > [(s,t) | s <- [0,1,2],t <- [3,4,5]]
2020-10-10 02:52:46 <lambdabot> [(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)]
←Prev  Next→
Page 1 .. 549 550 551 552 553 554 555 556 557 558 559 .. 5022

All times are in UTC.