Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 .. 5022
— 502,152 events total
2020-11-09 17:29:49 <bqv> is there an easy lens op to get just the indexes, rather than (index, element) with iview/^@. ?
2020-11-09 17:30:36 <maerwald> bqv: you can always use `to`
2020-11-09 17:31:02 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-09 17:31:15 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-09 17:31:28 <maerwald> https://hackage.haskell.org/package/optics-core-0.3.0.1/docs/Optics-Getter.html#v:to
2020-11-09 17:31:49 → mupf joins (~micha@v22017094964653601.ultrasrv.de)
2020-11-09 17:32:36 <bqv> well, not sure that helps so much
2020-11-09 17:32:43 <bqv> i have an indexedlens
2020-11-09 17:33:00 <bqv> just wanna get an index out of it without having to & fst it
2020-11-09 17:33:12 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-09 17:33:23 × leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 260 seconds)
2020-11-09 17:33:35 × texasmynsted quits (~texasmyns@64.44.55.28) (Read error: Connection reset by peer)
2020-11-09 17:33:37 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-09 17:34:01 → texasmynsted joins (~texasmyns@64.44.55.28)
2020-11-09 17:34:03 → samlamamma joins (~user@h188-122-129-70.cust.a3fiber.se)
2020-11-09 17:34:37 → texasmyn_ joins (~texasmyns@64.44.55.28)
2020-11-09 17:35:38 <samlamamma> Pure FP noob here. I need to traverse a circular graph in a DFS manner. How do I check if I've visited a node before? Basically I need object identities which doesn't depend on the shape of the whole data.
2020-11-09 17:35:43 → leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-09 17:35:46 × adm_ quits (~adm@43.229.88.236) (Remote host closed the connection)
2020-11-09 17:36:20 → adm_ joins (~adm@43.229.88.236)
2020-11-09 17:36:33 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 17:38:23 × knupfer quits (~Thunderbi@200116b82c4b6a00c4d1ff5d8f844e90.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-11-09 17:38:37 × texasmynsted quits (~texasmyns@64.44.55.28) (Ping timeout: 264 seconds)
2020-11-09 17:38:54 <merijn> What data structure do you have your graph in?
2020-11-09 17:39:11 <merijn> i.e. can't you just "make up" a unique identity per node and call it a day
2020-11-09 17:39:39 <maerwald> > iviews (ito id) (\i _ -> i) ('i', 'x') -- bqv
2020-11-09 17:39:41 <lambdabot> 'i'
2020-11-09 17:40:09 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-11-09 17:40:25 <bqv> oh, nice
2020-11-09 17:40:31 <bqv> iviews ilens const
2020-11-09 17:40:50 <bqv> no convenient operator though i guess
2020-11-09 17:40:54 <bqv> ah well
2020-11-09 17:40:55 × kupi quits (uid212005@gateway/web/irccloud.com/x-qdwmnzjhildlwlnh) (Quit: Connection closed for inactivity)
2020-11-09 17:40:58 × adm_ quits (~adm@43.229.88.236) (Ping timeout: 260 seconds)
2020-11-09 17:41:03 <maerwald> stop complaining :p
2020-11-09 17:41:06 <samlamamma> merijn: Yeah, I was thinking I can just add an integer to each and use that as its identity. I'm curious what the idiomatic choice is
2020-11-09 17:41:10 <bqv> :D
2020-11-09 17:41:50 <merijn> samlamamma: You need some form of node identity for graphs and if you don't have a particular one you need "just assign incrementing integers" is about as sensible as it can be
2020-11-09 17:42:45 × tobiasBora quits (~weechat@176-190-197-81.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-11-09 17:42:46 × asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 268 seconds)
2020-11-09 17:42:51 <samlamamma> Hey, fair enough.
2020-11-09 17:47:46 → iqubic joins (~user@2601:602:9500:4870:f97f:76da:55:8502)
2020-11-09 17:48:50 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-09 17:48:57 × samlamamma quits (~user@h188-122-129-70.cust.a3fiber.se) (Ping timeout: 256 seconds)
2020-11-09 17:49:30 → goldfire joins (~anonymous@c-76-124-205-20.hsd1.pa.comcast.net)
2020-11-09 17:50:16 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
2020-11-09 17:53:00 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-11-09 17:53:52 × chaosmasttter quits (~chaosmast@p200300c4a7087201c8e962581689150e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-09 17:54:29 → britva joins (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f)
2020-11-09 17:54:47 → Ariakenom_ joins (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se)
2020-11-09 17:55:11 × britva quits (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Client Quit)
2020-11-09 17:55:25 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds)
2020-11-09 17:55:29 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-09 17:55:57 → conal joins (~conal@64.71.133.70)
2020-11-09 17:56:31 hackage clash-prelude 1.2.5 - CAES Language for Synchronous Hardware - Prelude library https://hackage.haskell.org/package/clash-prelude-1.2.5 (QBayLogic)
2020-11-09 17:57:00 × Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-09 17:57:24 → Ariakenom joins (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se)
2020-11-09 17:57:25 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
2020-11-09 17:57:31 hackage clash-ghc 1.2.5, clash-lib 1.2.5 (QBayLogic): https://qbin.io/nasa-ebooks-5888
2020-11-09 17:57:53 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-09 17:58:39 × Eugleo quits (5ab552b3@gateway/web/cgi-irc/kiwiirc.com/ip.90.181.82.179) (Quit: Connection closed)
2020-11-09 17:59:31 × jakob_ quits (~textual@p200300f49f16220061868217aabcc5ae.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-09 18:00:01 × GsC_RuL3Z quits (~GsC_RuL3Z@185.163.110.116) ()
2020-11-09 18:01:31 hackage uniqueness-periods-vector-examples 0.14.2.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.14.2.0 (OleksandrZhabenko)
2020-11-09 18:03:57 × Ariakenom_ quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-09 18:05:45 × dmwit quits (~dmwit@pool-108-28-166-212.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-09 18:10:11 × alp quits (~alp@88.126.45.36) (Remote host closed the connection)
2020-11-09 18:10:36 → alp joins (~alp@2a01:e0a:58b:4920:45f9:8edd:2bfa:dd05)
2020-11-09 18:11:37 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-09 18:17:29 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-09 18:17:38 → vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-09 18:18:25 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-09 18:21:35 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-09 18:21:39 → KevinM joins (~KevinM@185.204.1.185)
2020-11-09 18:22:44 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2020-11-09 18:23:21 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-09 18:23:45 → dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-09 18:24:43 → chaosmasttter joins (~chaosmast@p200300c4a7087201c8e962581689150e.dip0.t-ipconnect.de)
2020-11-09 18:24:49 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-09 18:25:14 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-09 18:26:34 → mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-11-09 18:29:08 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-09 18:30:47 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-09 18:32:36 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-09 18:33:09 × Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 256 seconds)
2020-11-09 18:33:20 × borne quits (~fritjof@200116b864d35e0021c47849b07375d7.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-11-09 18:34:28 → juuandyy joins (~juuandyy@90.166.144.65)
2020-11-09 18:35:23 → Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com)
2020-11-09 18:38:50 → valdyn joins (~valdyn@host-88-217-143-53.customer.m-online.net)
2020-11-09 18:39:14 × mmohammadi9812 quits (~mmohammad@5.238.175.25) (Ping timeout: 256 seconds)
2020-11-09 18:39:45 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds)
2020-11-09 18:40:49 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-11-09 18:42:28 → daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-09 18:44:12 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-09 18:44:21 → mmohammadi9812 joins (~mmohammad@5.238.175.25)
2020-11-09 18:44:41 <bqv> y'know when you get to that stage where you have 3 distinct but overlapping refactors going on at the same time
2020-11-09 18:44:45 <bqv> or is that just me
2020-11-09 18:46:23 <Uniaika> :'D
2020-11-09 18:49:57 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-09 18:52:16 → conal joins (~conal@64.71.133.70)
←Prev  Next→
Page 1 .. 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 .. 5022

All times are in UTC.