Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 790 791 792 793 794 795 796 797 798 799 800 .. 5022
— 502,152 events total
2020-10-22 00:09:37 <morphochrom> Too many morphisms lately as I learn the Yoneda lemma.
2020-10-22 00:09:55 <ghoulguy> sshine: yeah
2020-10-22 00:10:33 × codygman quits (codygman@gateway/vpn/privateinternetaccess/codygman) (Ping timeout: 260 seconds)
2020-10-22 00:11:04 <ghoulguy> monsterchrom
2020-10-22 00:11:27 <sshine> I'm trying to determine this type of morphism. https://staticdelivery.nexusmods.com/mods/110/images/42586-1-1379644403.jpg
2020-10-22 00:11:47 <morphochrom> That's a better one, I'll use it! Thanks.
2020-10-22 00:11:51 morphochrom is now known as monsterchrom
2020-10-22 00:12:41 <sshine> whenever I see movies with that type of monsters, I always imagine that since they come from outer space, they could just be super tiny.
2020-10-22 00:14:23 <ghoulguy> ski: spooki :)
2020-10-22 00:14:51 <monsterchrom> Romula d'deridex class warbid
2020-10-22 00:15:38 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-22 00:16:45 → burg_philo joins (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-22 00:18:52 sshine is now known as mshine
2020-10-22 00:18:59 → Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 00:19:11 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 00:19:17 → darthfork joins (~igloo@8.9.230.47)
2020-10-22 00:19:47 × darthfork quits (~igloo@8.9.230.47) (Client Quit)
2020-10-22 00:21:40 × burg_philo quits (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-22 00:21:58 → luto1 joins (~luto@185.163.110.116)
2020-10-22 00:22:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 00:23:04 <Squarism> Maybe a weird question, but i'll try. Given data D a = D a ; class C a b where ; get :: a -> Maybe b. Can I write an instance of C that matches the case when "a" is D <whatever> and "b" is D scopedVar. Somehow keep telling myself this should hold : appliedFkn :: forall b. b => Maybe (D b) ; appliedFkn = get (D Int). But I think I'm wrong there.
2020-10-22 00:24:14 → burg_philo joins (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-22 00:24:14 × burg_philo quits (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Client Quit)
2020-10-22 00:25:34 → darthfork joins (~igloo@8.9.230.47)
2020-10-22 00:25:41 × darthfork quits (~igloo@8.9.230.47) (Client Quit)
2020-10-22 00:26:44 <Squarism> My intuition feels this should be possible, but my constant fighting with the compiler tells me I've fundamentally confused myself about scope variables arent "wildcards" in this sense.
2020-10-22 00:27:36 → thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 00:27:59 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 00:28:09 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 00:30:28 × Wuzzy quits (~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 00:31:25 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Ping timeout: 240 seconds)
2020-10-22 00:32:02 × irc_user quits (uid423822@gateway/web/irccloud.com/x-ozudxpdqqqotmvjh) (Quit: Connection closed for inactivity)
2020-10-22 00:34:51 × alp quits (~alp@2a01:e0a:58b:4920:b176:4a05:144c:cd70) (Ping timeout: 272 seconds)
2020-10-22 00:35:02 × thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 00:35:36 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-10-22 00:36:09 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 00:37:33 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 00:37:34 → rx_ joins (~rx@2607:fea8:2c5f:faea::2277)
2020-10-22 00:38:52 ← rx_ parts (~rx@2607:fea8:2c5f:faea::2277) ()
2020-10-22 00:45:13 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds)
2020-10-22 00:45:44 × Ferdirand quits (~max@2001:4c78:2012:5000::2) (Ping timeout: 246 seconds)
2020-10-22 00:45:52 → Ferdirand joins (~max@2001:4c78:2012:5000::2)
2020-10-22 00:47:39 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-22 00:48:04 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 00:48:15 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 00:49:11 → Lord_of_Life joins (~Lord@46.217.219.190)
2020-10-22 00:50:42 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 00:50:52 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-22 00:50:52 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-22 00:50:52 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-22 00:55:53 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 00:56:33 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-22 00:57:05 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c4b2:ae08:d967:f34e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 00:57:08 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 272 seconds)
2020-10-22 00:57:18 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 01:00:26 × crestfallen quits (~john@128.32.176.159) (Quit: Leaving)
2020-10-22 01:00:43 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 01:00:49 × dsiypl4 quits (~dsiypl4@41.251.199.43) (Quit: Leaving)
2020-10-22 01:00:59 → acidjnk_new2 joins (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de)
2020-10-22 01:02:15 → LindaTheUltimate joins (3dded63f@61-222-214-63.HINET-IP.hinet.net)
2020-10-22 01:02:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-22 01:03:36 <koz_> Is there such a thing as a free Alternative?
2020-10-22 01:05:03 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476)
2020-10-22 01:05:21 <dolio> Certainly.
2020-10-22 01:05:49 <koz_> Lol... _just_ saw this: http://hackage.haskell.org/package/free-5.1.4/docs/Control-Alternative-Free.html
2020-10-22 01:06:30 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 01:07:17 × remexre quits (~nathan@207-153-38-50.fttp.usinternet.com) (Read error: Connection reset by peer)
2020-10-22 01:07:30 × klixto quits (~klixto@130.220.8.131) (Quit: WeeChat 2.9)
2020-10-22 01:07:47 → klixto joins (~klixto@130.220.8.131)
2020-10-22 01:08:37 → remexre joins (~nathan@207-153-38-50.fttp.usinternet.com)
2020-10-22 01:09:37 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 01:09:45 × LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-22 01:10:20 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds)
2020-10-22 01:12:24 × LindaTheUltimate quits (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection)
2020-10-22 01:14:15 × infinity0 quits (~infinity0@freenet/developer/infinity0) (Ping timeout: 260 seconds)
2020-10-22 01:17:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 01:18:06 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 01:18:46 → Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 01:18:57 hackage aeson-gadt-th 0.2.3 - Derivation of Aeson instances for GADTs https://hackage.haskell.org/package/aeson-gadt-th-0.2.3 (abrar)
2020-10-22 01:21:24 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 01:21:52 × ps-auxw quits (~arneb@p548c61b6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 01:21:56 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 01:22:02 → ukari joins (~ukari@unaffiliated/ukari)
2020-10-22 01:23:31 → infinity0 joins (~infinity0@freenet/developer/infinity0)
2020-10-22 01:24:57 hackage aeson-gadt-th 0.2.4 - Derivation of Aeson instances for GADTs https://hackage.haskell.org/package/aeson-gadt-th-0.2.4 (abrar)
2020-10-22 01:24:59 × nineonine quits (~textual@216.81.48.202) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 01:27:05 → plutoniix joins (~q@ppp-49-237-23-174.revip6.asianet.co.th)
2020-10-22 01:27:06 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 01:27:25 → Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 01:33:15 → VirusCorona joins (~roun@103.103.144.162)
2020-10-22 01:33:30 → ps-auxw joins (~arneb@p548c6f52.dip0.t-ipconnect.de)
2020-10-22 01:33:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 01:36:11 <monsterchrom> Haskell is a free alternative to Miranda. :)
2020-10-22 01:36:26 × plutoniix quits (~q@ppp-49-237-23-174.revip6.asianet.co.th) (Ping timeout: 256 seconds)
2020-10-22 01:36:38 × polyrain quits (~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 01:37:54 → bartemius joins (~bartemius@109.252.20.20)
2020-10-22 01:38:40 <VirusCorona> hola
2020-10-22 01:39:49 <mshine> koz_, hehe.
2020-10-22 01:40:29 × bitmagie quits (~Thunderbi@200116b806c15c0034a3f18e66d83a15.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-22 01:40:31 × klixto quits (~klixto@130.220.8.131) (Quit: WeeChat 2.9)
←Prev  Next→
Page 1 .. 790 791 792 793 794 795 796 797 798 799 800 .. 5022

All times are in UTC.