Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 .. 5022
— 502,152 events total
2021-03-11 22:07:16 <minoru_shiraeesh> ok, at that level the fp is often irrelevant
2021-03-11 22:08:03 Rembane_ is now known as Rembane
2021-03-11 22:08:18 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-03-11 22:08:35 → acidjnk_new joins (~acidjnk@p200300d0c72b95695d3c722039acad7c.dip0.t-ipconnect.de)
2021-03-11 22:10:54 <minoru_shiraeesh> the point I'm trying to make is that there should be a spot on the "scale" axis where the fp is very relevant
2021-03-11 22:11:20 × dfeuer quits (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Remote host closed the connection)
2021-03-11 22:11:25 <monochrom> We already know. I think we can stop beating a dead horse now.
2021-03-11 22:12:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-11 22:15:05 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-11 22:15:53 → dwt joins (~dwt@2601:2c6:8080:618:7090:bcee:c3c7:64ac)
2021-03-11 22:17:36 → smol joins (b0259152@host-176-37-145-82.b025.la.net.ua)
2021-03-11 22:19:05 <minoru_shiraeesh> don't assume that other people know what you know.
2021-03-11 22:19:31 × Psybur quits (~user@unaffiliated/psybur) (Read error: Connection reset by peer)
2021-03-11 22:19:55 <minoru_shiraeesh> that's a theory of mind thing
2021-03-11 22:20:22 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
2021-03-11 22:20:25 × dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-03-11 22:21:27 × gitgood quits (~gitgood@82-132-217-138.dab.02.net) (Read error: Connection reset by peer)
2021-03-11 22:22:02 × smol quits (b0259152@host-176-37-145-82.b025.la.net.ua) (Ping timeout: 240 seconds)
2021-03-11 22:22:35 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-11 22:23:13 → ces joins (~ces@fsf/member/ces)
2021-03-11 22:24:37 × borne quits (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-03-11 22:25:31 → borne joins (~fritjof@2a06:8782:ffbb:1337:e811:68d9:a46:a27f)
2021-03-11 22:26:03 → rj joins (~x@gateway/tor-sasl/rj)
2021-03-11 22:27:10 → smol joins (b0259152@host-176-37-145-82.b025.la.net.ua)
2021-03-11 22:27:40 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-11 22:27:46 <inkbottle> There must be something I'm confused about in this "Yoneda Lemma" comment: "The Yoneda lemma tells us that all Set-valued functors can be obtained from hom-functors through natural transformations, and it explicitly enumerates all such transformations" (https://bartoszmilewski.com/2015/09/01/the-yoneda-lemma/)
2021-03-11 22:28:10 → slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-03-11 22:29:01 <monochrom> One thing the sentence doesn't say is: natural transformtions from who to whom?
2021-03-11 22:29:22 <inkbottle> hum...
2021-03-11 22:29:34 <monochrom> If you don't know, the sentence is vague.
2021-03-11 22:30:12 × Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-03-11 22:30:16 <inkbottle> What I thought, the first time, after quite some time.
2021-03-11 22:30:16 <monochrom> So I recommend looking at the detailed theorem statement before revisiting "summarizing" sentences.
2021-03-11 22:30:47 <inkbottle> Right
2021-03-11 22:31:18 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-11 22:32:10 <monochrom> As it happens, I made a much better comment yesterday. http://tunes.org/~nef/logs/haskell/21.03.10 then look for the time 15:34:58.
2021-03-11 22:32:43 <Gurkenglas_> There's these two packages not on stackage, one depends on the other, I can stack install one but that doesnt let me stack init the other
2021-03-11 22:33:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-11 22:33:43 <inkbottle> Thanks
2021-03-11 22:34:08 → kiweun joins (~kiweun@2607:fea8:2a62:9600:dc3f:d8f8:3e53:f67a)
2021-03-11 22:35:21 <Gurkenglas_> Oh that was guessable enough, I put the dependency folder into the depending folder before calling stack init again.
2021-03-11 22:36:42 <Gurkenglas_> (and not aborting stack install on the depending one when i saw that it was trying a bunch of resolvers with no hope let it tell me about --omit-packages, which told me it was looking for a subfolder with the name of that dependency.)
2021-03-11 22:38:03 × puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 246 seconds)
2021-03-11 22:41:44 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-11 22:42:14 → puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-11 22:42:16 → tfl^ joins (tfl@ip98-184-89-2.mc.at.cox.net)
2021-03-11 22:42:42 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-11 22:45:03 × elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-03-11 22:45:51 × mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Remote host closed the connection)
2021-03-11 22:46:08 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-11 22:49:04 × hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2021-03-11 22:51:19 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-11 22:51:33 × danvet_ quits (~danvet@212-51-149-181.fiber7.init7.net) (Ping timeout: 264 seconds)
2021-03-11 22:51:57 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-03-11 22:54:57 → heatsink joins (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-11 22:57:53 × crobbins quits (~crobbins@2600:1700:48eb:8490:3c7c:49f3:78e9:cf98) (Remote host closed the connection)
2021-03-11 22:58:32 × inkbottle quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-11 22:58:53 → inkbottle joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr)
2021-03-11 23:00:02 × heatsink quits (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds)
2021-03-11 23:00:17 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-11 23:01:57 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:ac7b:d5c9:2180:6a41)
2021-03-11 23:01:57 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-11 23:02:23 → ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net)
2021-03-11 23:03:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-11 23:03:15 × elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-03-11 23:03:34 × knupfer quits (~Thunderbi@i59F7FF85.versanet.de) (Ping timeout: 256 seconds)
2021-03-11 23:04:05 × Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 272 seconds)
2021-03-11 23:04:52 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-03-11 23:05:10 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-11 23:05:21 → Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
2021-03-11 23:06:02 × nrdmn98 quits (~nrdmn@95.129.53.118) (Remote host closed the connection)
2021-03-11 23:06:21 → nrdmn98 joins (~nrdmn@95.129.53.118)
2021-03-11 23:06:22 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-11 23:06:54 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 260 seconds)
2021-03-11 23:07:12 × borne quits (~fritjof@2a06:8782:ffbb:1337:e811:68d9:a46:a27f) (Ping timeout: 260 seconds)
2021-03-11 23:08:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-11 23:09:14 → noctux joins (~noctux@unaffiliated/noctux)
2021-03-11 23:09:24 × fendor_ quits (~fendor@77.119.131.133.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-03-11 23:10:06 → rj joins (~x@gateway/tor-sasl/rj)
2021-03-11 23:10:58 × dh quits (dh@bsd.ee) (Disconnected by services)
2021-03-11 23:11:04 → dh_ joins (dh@bsd.ee)
2021-03-11 23:12:19 × ces quits (~ces@fsf/member/ces) (Quit: WeeChat 3.0)
2021-03-11 23:13:51 × dh_ quits (dh@bsd.ee) (Client Quit)
2021-03-11 23:14:05 → dh joins (dh@bsd.ee)
2021-03-11 23:17:14 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-11 23:17:21 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 264 seconds)
2021-03-11 23:17:38 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2021-03-11 23:18:50 → s00pcan joins (~chris@107.181.165.217)
2021-03-11 23:23:45 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-11 23:27:42 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-03-11 23:27:45 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 246 seconds)
2021-03-11 23:29:05 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2021-03-11 23:35:21 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-11 23:35:23 × idhugo_ quits (~idhugo@80-62-117-241-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-03-11 23:35:49 → idhugo_ joins (~idhugo@80-62-117-241-mobile.dk.customer.tdc.net)
2021-03-11 23:37:15 → heatsink joins (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-11 23:37:37 → rj joins (~x@gateway/tor-sasl/rj)
2021-03-11 23:38:26 × APugNamedPugsley quits (~13052@2601:58a:8300:f6a0:70c9:fc3c:b74d:902d) (Ping timeout: 264 seconds)
2021-03-11 23:41:19 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-03-11 23:41:55 → dfeuer joins (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net)
←Prev  Next→
Page 1 .. 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 .. 5022

All times are in UTC.